搜索筛选:
搜索耗时0.0791秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：鲁四美,张建林,
来源：计算机工程与应用 年份：2010
在以Lu＆Smolka对SET协议支付过程的简化模型为研究对象的情况下，进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行形式描述，并在网络环境被入侵者控制的假设下......
[期刊论文] 作者：孙浩,袁惠梅,杨钧友,鲁四美,
来源：电子技术应用 年份：2009
介绍了基于AD73360芯片的多功能网络电能表的系统总体设计。通过FPGA与AD73360芯片相连接，由FPGA给AD73360芯片写控制字，然后再对采集的数据进行处理。重点介绍了基于AD73360的...
相关搜索：
