电子护照及其验证系统研究在边防检查工作中的应用

出入境边防检查是保障国家安全,维护国家正常出入境秩序的一项国家行为。电子护照的推广使用,给出入境边防检查工作带来了便利也引发了一系列新问题,因此,研究电子护照及其验证系统在边防检查工作中的应用显得极为重要,该研究将影响出入境检查工作的有效运行,对进一步维护出入境管理秩序和口岸安全稳定均有积极的指导意义。     

基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

安捷伦宣布其WiMAX预先一致性测试和生产解决方案顺利通过验证

近日．安捷伦科技公司宣布：其WiMAX设计验证和生产解决方案已经成功交付并获多家客户采用。这些解决方案拥有其他厂商的产品所无法比拟的卓越性能和功能，为工程师测试固定802．16-2004和移动802．16e-2005 WiMAX PHY提供了强大的研发和一致性测量能力。     

VLSI全定制版图分级LVS验证的研究

在VLSI芯片的全定制版图设计中，LVS验证日益复杂繁琐，本文系统介绍了用HERCULES实现LVS验证的原理、流程和配置文件，并讨论了如何用HERCULES高效率的实现分级LVS(Hierarchical LVS，简称HLVS)验证，这些技术和方法已经应用在成功流片的64位通用CPU全定制版图的设计中，提高了版图LVS验证的效率。     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

第三种波粒二象性的揭示及其实验验证

简单回顾了Einstein 1905年揭示的第一种波粒二象性（光的波粒二象性）与de Broglie 1923年揭示的第二种波粒二象性（实物粒子的波粒二象性）及其实验验证过程，指出了这两种波粒二象性的本质差别，分析了波粒二象性的逻辑体系并指出：只要把Gan1995年揭示的“经典（电磁）场在结构上的颗粒性”当作“第三种波粒二象性”就能构成“三种波粒二象性”的完美组合，利用“波粒二象性的相变假说”还可以把这“三种波粒二象性”和谐地统一起来。借助于经典条件下光的经典理论与量子理论究竟哪一个更为精确的实验判决（见《光散射学报》）2006年第1期第75．79页《Lorentz-Compton佯谬与一个双赢判决性散射实验设计》）还可以完成“第三种波粒二象性”和“波粒二象性的相变假说”的实验验证。     

WIZARD海军诱饵在北约实验中进行验证

2007年7月16日，以色列海法市，拉斐尔军事发展有限公司透露其WIZARD海军角反射器诱饵最近参加了北约海军每年举行的MCG／8电子战实验，该实验于上个月在挪威进行．     

GJB548修订中先进性与可行性的综合考虑

结合美军标准微电子器件试验方法和程序的发展变化以及我国集成电路生产和研制的现状与国情，论述了GJB548的修订原则和协调先进性与可行性的综合处理方法及体会。     

验证计划报表工具VMM Planner

本文介绍了Synopsys公司最新推出的验证计划报表工具VMM Planner。该工具能够帮助用户验证过程的计划阶段，用该工具特有的描述语言HVP语言或者通用的MS Office Excel工具，系统地、层次化地描述验证计划，并且在验证计划的实施过程中，将测试得到的各类数据，反标到验证计划中，产生相应的状态报告，追踪验证进程。