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

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

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

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

下一代IP技术--GMPLS

通用多协议标签交换 ,不仅支持实行分组交换的设备 ,也支持在时域 ,波长域和空间域进行交换的设备 .GMPLS的发展需要对现有的MPLS的信令和路由作出修改 ,也产生了新的协议。     

送电线路最小交叉跨越距离问题的解决

针对新建送电线路出现的最小交叉跨越距离问题 ,提出了采用特殊塔型及控制弧垂的解决方法 ,并通过充分的数据及计算来论证方法的可行性     

加强交叉铺网机控制的探讨

介绍了比利时OCTIR公司LF36型交叉铺网机的基本原理，并总结了对其安装、调试及纤网控制的心得体会。     

色用缓变光纤中交叉相位调制不稳定性分析

从非线性薛定谔方程出发得到了色散缓变光纤（DDF）中交叉相位调制（XPM）不稳定增益谱。研究了增益谱随入纤功率及光纤纵向色散参量的变化关系。结果表明：反常色散区的增益谱宽比正常色散区宽，且峰值增益高：DDF中XPM不稳定增益谱宽比常规光纤的宽，二者的比值随传输距离和光纤色散参量的乘积成指数增长；DDF的反常色散区是产生调制不稳定的较好的色散介质。     

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

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

洛马公司验证多无人系统的智能自主控制概念

在2008年8月12日～14日进行的一次演习中，洛马公司成功进行了智能控制和自主重新规划无人系统（ICARUS）成套技术的验证试验．     

瑞萨科技采用Synopsys VCS解决方案和VMM方法论

瑞萨科技采用了Synopsys的VCS功能验证解决方案开发复杂的SoC,并选定了VMM方法集,即Verification Methodology Manual(VMM) for System Verilog,用于验证其重要的SuperHyway总线片上互连架构。