宋发兴
- 作品数：2 被引量：2H指数：1
- 供职机构：中国人民解放军更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种用于指针程序的形状分析方法被引量：1
- 2012年
- 指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。
- 刘刚胡凯平宋发兴
- 关键词：HOARE逻辑
- 支持多协议的读卡器设计被引量：1
- 2013年
- 针对目前市场上流行的大多数只提供单一应用的读卡器,设计了一种能够同时支持ISO7816、ISO14443 TYPEA以及ISO14443 TYPEB等多种协议的读卡器。该读卡器采用ATMEGA64L为主控制器,MFRC531为13.56M射频读写芯片,TDA8007为接触式CPU IC卡读写芯片,设计了基于JTAG的调试电路以及与主机通信的RS232通信电路。根据实际需求设计加载驱动程序完成了接触式CPU卡的上电激活以及复位应答的异步接收、射频卡的查询与防冲突等功能,配合以一种专用卡座,能够实现对包括MIFARE ONE卡、接触式CPU IC卡以及二代身份证等多种类型卡的操作。
- 谢轲宋发兴陈建行米兰
- 关键词：读卡器射频识别
