网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

LW-601喷水织机长丝织物松紧档疵点的成因及对策

松紧档疵点是喷水织机长丝织物织造过程中常见病疵之一。通过分析LW -60 1喷水织机的送经和卷取装置的工作原理 ,从机械调整与维护、生产过程管理及工艺优化等方面探讨了其产生的原因 ,并针对性提出了实用对策     

浅谈冲压模具的维修要领及常见故障的排除

介绍冲压模具修理和检查各环节的主要工作内容及维修要领 ,列举了常见故障的排除方法 ,通过总结实际生产中的修模经验 ,对缩短修模周期 ,降低成本 ,延长模具寿命有一定的参考价值。。     

下一代IP技术--GMPLS

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

电子束和接触式曝光机的混合曝光技术

Ⅰ线光致抗蚀剂可以同时实用电子束和光学系统曝光，在50kV加速电压下，其曝光剂量为50-100μC/cm^2，曝光后在0.7%NaOH溶液内显影1分钟。其灵敏度比PMMA快5倍，分辩率为0.5μm。采用两方法制备CaAsPHEMT：一种用Ⅰ线光致抗蚀剂，对源、漏及栅全部都采用电子束曝光，制备了0.5μm栅长的GaAs PHEMT；另一种将源、漏及栅分割成两部分，其中精细部分由电子束曝光，其余部分由光学系统曝光，用这种方法制备了0.25μm栅长的GaAs PHEMT。Ⅰ     

激光加电磁场诱变滇稻“三角大香糯”的育种初探

用He-Ne激光(1.5 mW,632.8 nm)辐照加电场磁场(电场强度1.2×106 m/V,2.0×106 m/V;磁感应强度4.8 T)激发处理了云南姚安三角大香糯稻种.通过育种和田间试验发现,多数处理种子仅产生非基因变异的表型变化,仅有5株发生性状变异.     

Windows下的数据采集和A/D转换

主要论述了使用Visual C 6.0在Windows下实现数据的实时采集和信号的图形显示，其中包括数据采集、A／D转换以及信号的实时显示等。使用面向对象的编程方法，构造了一个通用的A／D转换类，具有很好的可重用性。     

10～40Gb/s OEIC光接收机前端的最新研究进展

基于OEIC光接收机前端的集成方式和前放电路形式介绍了OEIC光接收机前端的最新研究进展.     

砂基中泥浆盾构法隧道施工开挖面稳定性试验研究

 通过模型试验，对泥浆盾构施工中泥浆维持开挖面稳定的力学机理，开挖面前缘土体的应力变化规律，泥浆压力作用机理及泥皮形态进行了研究，提出了中粗砂地基中临界泥浆压力 公式。     

Eu2+激活的碱土金属铝酸盐磷光体的研究进展

主要概述了Eu^2 激活的碱土金属铝酸盐磷光体的光谱特性，总结了近年来在铝酸盐基质研究以及长余辉机理研究等方面所取得的进展，同时对今后的研究提出了展望。