数值方法确定地基承载力特征值的探讨

介绍了目前地基承载力的确定方法，研究了数值计算的可行性，并对其数值计算地基承载力的可靠性进行验证，指出应进一步完善确定地基承载力的方法，更好地解决群桩基础承载力的确定问题。     

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

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

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

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

软件

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

丝网印刷过程的优化策略

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

一个新的具有指定接收者(t,n)门限签名加密方案

提出了一个具有指定接收考验证的签名加密方案。该方案是数字签名与公钥密码体制的有机集成。与普通数字签名方案相比，除了具有认证性、数据完整性外还具有保密性和接收方的隐私性。然后又利用门限方案首次构造了一个（t,n)门限签名加密方案。该(t,n)门限签名方案具有数据传输安全、顽健性、通信代价更小、执行效率更高等特点。     

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

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

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

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