软件

虚拟仪器工具支持Linux操作系统；可进行高速形式验证的智能引擎；驱动软件支持数百种仪器；免费多核调试配置工具；光学器件设计工具支持网格计算。     

丝网印刷过程的优化策略

设计可靠而稳定的制造过程需要找出并控制所有影响最终产品的变数。导致产品出现缺陷的每个问题都与工艺、设备或设置有关。确定工艺敏感设备如SMT生产线中网板印刷机等所造成缺陷的原因并非易事。造成缺陷的原因是工艺参数失控,或设备故障,还是工艺参数的改变?如何能迅速发现缺陷原因以最大限度地减少生产停机时间? 这就需要创建验证过程,以监控设备、工艺及产品设置。通过验证过程,用户可以快速隔离并解决生产问题,有时甚至可以在出现问题之前即消除隐患。     

俄罗斯试验X-31ПMK高速反辐射导弹

俄罗斯正在试验在X-31П（称AS-17“氪”）高速反辐射导弹基础上研制的一种新型导弹．与现役反辐射导弹相比，这种导弹的尺寸更大、射程更远、性能更强．据称，这种导弹即X-31ПMK，是一种专供出口的导弹．目前，俄罗斯正在进行X-31ПMK高速反辐射导弹的作战验证试验．这种导弹服役后，在对敌防空压制方面的能力将大大超过现有系统．     

中国先进研究堆（CARR）：CARR工程2003年度进展

2003年，在上级主管单位的领导下，CARR工程取得较大进展，在各部门的积极配合下，努力工作，使工程在“质量、投资、进度”三大控制下正常开展。     

对实验室能力验证的认识

分别从实验室能力验证的设计、实施者和参加者的角度,谈谈对实验室能力验证的组织和运作及检验机构参加能力验证的程序和意义的认识。     

大师答疑

光盘刻录数据验证失败，会不会影响到光盘的寿命？；电源线的颜色都有特定含义吗？；P965主板能够支持双显卡吗？；各种光盘刻录格式之间有什么区别呢？；智能风扇为啥一点也不“智能”？。     

行业标准《外墙外保温技术规程》送审稿通过审查

由中国建筑科学研究院等单位编制的《外墙外保温技术规程》送审稿已在京通过审查。该《规程》具有以下特点：对《规程》中五种外保温系统的性能、质量、安全等关键技术进行把关，重点解决结合牢固与表面防裂问题；在国内基础研究工作比较薄弱的情况下，组织各相关单位对外保温系统做了大量的试验和工程验证工作，提出了高层与大面积应用时的锚固、抗震等措施和初步防火要求；     

IC设计复杂化加剧：先进验证方式重要性倍增

虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.