其他

思博伦专业测试验证Quidway S6500业内领先；BEA将开放关于Java持久性API部分的Kodo源代码。[编者按]     

Internet网络安全现状与未来

一、从Internet商务协议谈起 近年来,Internet蓬勃发展,其中最引人注目的是Inter-net商务的发展。以前,Interent主页多半是用来宣传公司和组织的形象或介绍公司的产品,起宣传和广告的作用。最近,人们开始认真地谈论利用Internet经商的事情了。这样,在Internet传送的信息中就包含了交易支付的信息,这可千万不能大意。在这样的大背景下,人们开始认真地设计安全可靠的Internet商务协议。尽管当前Internet安全商务协议正处于呼之欲出的状态和实验阶段。但是,我们相信总有一天,利用Internet进行商务交易这一美梦终会成真。 众所周知,协议的设计是一件很困难的事情。我们把使用密码算法或以密码算法为核心的协议称之为密码协议。例如,认证协议和非否认协议等。即使一个最简单的认证协议,其主体只有2～3个,交换的报文只有3～4条,如果要从形式上证明其正确性和安全性,也是十分困难的。更何况     

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

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

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

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

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

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

软件

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

水利建筑行业腐败新现象及防范对策

根据苏锡常地区农业灌溉的现状分析了节水灌溉的必要性,明确了在节水灌溉中应遵循的原则,提出该地区应以发展高效节水灌溉工程和发展生态渠道建设为农业节水灌溉工程重点。     

论水利信息广播

本文提出了水利信息广播的概念。文章主要对当前广播类水利信息进行了分析和归类，论述了发展水利信息广播在水利现代化中的重要意义，同时初步探讨了新时期的信息广播技术，并对如何发展水利信息广播提出了相关建议。     

北京市政府加强政务网站建设和管理工作

6月20日下午，北京市政府召开第121次市长办公会议，研究进一步加强首都之窗等政务网站建设和管理等工作。市委副书记、市长王岐山主持会议。会议提出，要用3至5年时间，使首都之窗网站成为全市政务信息公开的重要渠道；实现网上办事“一口受理”，绝大多数行政许可项目实现在线处理。     

丝网印刷过程的优化策略

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