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

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

固体酸烷基化工艺完成验证

芬兰纳斯特（Neste）石油公司采用固体酸催化剂（SAC）的烷基化验证装置加工炼油厂烯烃，采用环境友好的沸石催化剂，截至2006年2月已运转2年。反应系统液相温度为50—90℃，无需硫酸法技术所需的制冷。异丁彬烯烃（I／O）值为8～10。催化剂在气相下用氢气在250℃下进行再生，即氢气汽提／中温再生（MTR）。     

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

智能推理中的宽度优先法

试图提出图分层的概念，并以此概念为基础给出一种通用的图的宽度优先算法，以实现图的重新表示及寻找连通子图等操作；同时，还举例说明了该方法在智能ＣＡＤ中的应用。     

预测系统中的类比推理方法

本文提出用类比方法处理历史性数据的模型。该模型将所有与“目标”系统相似的“源”系统分别进行类比处理、再综合所有类比结果、得到预报策略。并且,给出了该模型的实现算法。     

酸解木薯淀粉在涤／棉织物上浆中的应用

用实验的方法验证了采用酸解木薯淀粉在涤／棉织物上浆中的可操作性，并证明了用酸解木薯淀粉可替代CMC、PTA和聚丙稀酸甲酯等浆料，可用作涤／棉织物的上浆剂。     

洛马公司验证多无人系统的智能自主控制概念

在2008年8月12日～14日进行的一次演习中，洛马公司成功进行了智能控制和自主重新规划无人系统（ICARUS）成套技术的验证试验．