亚波长设计中的可制造性验证方法

描述了一种采用分辨率提高技术后用于可制造性设计的验证方法.该方法的目的是验证设计功能与设计目的是否一致,更精确地说,使刻印出来的图像与设计一致.还描述了这种基于模型的验证方法的过程建模,实例说明这种方法的性能.     

非接触IC卡芯片的低成本测试

随着RFID技术和规范的不断成熟．我国的第二代身份证卡上开始使用基于RFID技术的非接触IC卡芯片．对于设计验证和大规模量产时面临的测试问题，本文介绍了一种非接触IC卡芯片低成本测试的解决方案。与普通的测试方法要求IC测试仪（ATE）有比较昂贵的混合信号测试部件来发送／识别RF信号相比．该解决方案只需要ATE有一般的数字电路的测试功能．结合RF应用模块，就可以在保证测试精度和稳定性的前提下实现时芯片要求的所有测试。其最大的优点是大大降低ATE本身的硬件成本．测试时间很短，并且有很好的灵活性。     

软件

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

丝网印刷过程的优化策略

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

3GPP中的协议一致性测试研究

随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 3G协议实现之间能够互操作 ,一致性测试是非常必要的。文中根据笔者在 3GPP中T1信令组工作背景为基础 ,并以MAC部分测试结构和方式为例 ,给出了形式化的TTCN格式。全面的论述了 3GPP中的协议一致性测试过程     

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

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

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

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

对实验室能力验证的认识

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

大师答疑

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