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

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

基于ISM和AHP的冷链物流影响因素研究

以冷链物流系统为研究对象,通过专家调查法、解释结构模型法和层次分析法,研究了影响冷链物流系统的主要因素。通过Delphi专家调查法,从影响冷链物流发展的诸多因素中筛选出12个关键影响因素。应用解释结构模型法,建立1个冷链物流关键影响因素的多级递阶结构模型并进行分析。在此结构模型的基础上,利用层次分析法,构造判断矩阵,计算重要性程度,并进行一致性检验,最后求得各影响因素的综合权重,并进行排序。     

多指版图结构对纳米MOSFET阈值特性的影响分析

针对纳米级工艺多指栅MOS晶体管的不同版图结构及其阈值波动的相关特性进行分析和研究。通过将基于Fujitsu 90nm工艺的三种不同版图结构实现的N型多指栅MOSFET器件阈值电压VTH作为工艺波动的研究对象,运用多元非线性回归算法对测试芯片进行系统工艺波动与随机工艺波动的提取和分析,并对与尺寸、版图结构相关的随机工艺波动特性进行了评估。测试结果表明三种版图结构中有源区共有结构具有最佳的电流驱动特性,有源区隔离结构抑制系统波动能力最优,折叠栅结构具有同尺寸器件较低的阈值电压并可以最有效地抑制随机工艺波动。     

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

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

8VSB芯片的层次式设计方法

提出了深亚微米下系统级芯片层次式版图设计的方法，并用该方法设计了HDTV信道解码芯片8VSB的版图。实例设计结果表明，该方法在节约面积、加速时序收敛方面效果明显，大大缩短了芯片设计周期。     

安捷伦宣布其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。按照这种速率，软件调试需要几年的时