Code mechanical solidification and verification in MEMS security devices
张卫平, 陈文元, 赵小林, 李胜勇, Yong Dong Jiang · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2006
代码机制(VMCM ) 的虚拟机作为为代码的一个新概念,机械团结和确认被建议并且能在 MEMS (微机电的系统) 被使用为高后果系统的安全设备。基于物理代码机制, VMCM 鈥瞫 配置,第三的编码方法,跑的行动和逻辑的跑的条件的研究被导出。多水平法律机制的诉讼被设计并且与 VMCM 方法验证了,证明介绍方法是有效的。关键词 MEMS (微机电的系统) 安全设备 - 编码机械团结和确认 - 代码机制(VMCM ) 的虚拟机 - 高科技研究和中国(资助号码 863-2003AA404210 ) 的开发节目支持的第三的系统工程