鲁四美

作品数：2被引量：3H指数：1
导出分析报告
供职机构：首都师范大学信息工程学院更多>>
发文主题：FPGAAD73360VHDLSMVSET更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《电子技术应用》《计算机工程与应用》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SET协议模型的改进与SMV分析被引量：2
《计算机工程与应用》2010年第8期113-116,共4页鲁四美 张建林 
北京市教委科技计划(No.KM200510028016)
在以Lu&Smolka对SET协议支付过程的简化模型为研究对象的情况下,进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行形式描述,并在网络环境被入侵者控制的假设下,利用SMV分析了协议的认证性、保密性和完整性,发现攻击并...
关键词：安全电子交易 符号模型验证器 符号模型 模型检测 
基于AD73360的多功能网络电能表设计被引量：1
《电子技术应用》2009年第3期55-57,共3页孙浩 袁惠梅 杨钧友 鲁四美 
介绍了基于AD73360芯片的多功能网络电能表的系统总体设计。通过FPGA与AD73360芯片相连接,由FPGA给AD73360芯片写控制字,然后再对采集的数据进行处理。重点介绍了基于AD73360的多功能网络电能表的硬件设计,同时也介绍了FPGA的VHDL设计...
关键词：电能表 AD73360 FPGA VHDL 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部