SMS模型在杭州湾潮流模拟中的应用

通过对实测资料(潮位、流速、潮量)的验证,确定本次数学模型的可靠性,它能为整个钱塘江河口综合规划方案的预测提供依据。     

分组密码算法芯片验证

介绍了分组密码算法芯片验证的流程、内容和方法,详细介绍了分组密码算法芯片的验证技术——测试基准。     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

绝缘涂敷制件的加工工艺研究与应用

主要论述了电工绝缘粉末的性能及其在高压电器设备应用中的有关试验项目。     

钻探用变量泥浆泵曲轴强度的计算

随着钻探业的不断发展 ,日趋需要大功率的泥浆泵 ,文章介绍了大变量泥浆泵机组中曲轴的设计。     

以HDD代替江底隧道铺设管缆的建议

刘广志院士看到“Trenchless Technology”July.2002的一篇关于中油华东公司在南京三江口钻成一口大口径跨越长江的钻孔的报道后，向四川和915工程公司提出“以钻代坑”穿越大江大河，以加快西部大开发的步伐，提升我国自主研发重型非开发设备的建议。     

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

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

乡镇汽车客运站场布局方法研究

针对传统乡镇汽车客运站布局存在的问题,分析和考虑了农村道路网结构的特点,运用层次分析法,提出了"二次分层"乡镇汽车客运站布局方法,改进了传统乡镇汽车客运站布局的盲目性与不合理性.最后,通过成都新津县的实例验证了方法的可行性.