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

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

月桂醇聚氧乙烯醚硝酸酯助燃降污性能的研究

通过柴油发动机台架试验证明 ,月桂醇聚氧乙烯醚硝酸酯用作柴油添加剂 ,既可提高柴油的燃烧性能 ,又可降低排放尾气中的一氧化碳 (CO)、未燃碳氢化合物 (HC)、氮氧化物 (NOx)含量及烟度等多种功能 ,是一种良好的多功能柴油助燃消烟添加剂。     

煤矿瓦斯报警仪设计

瓦斯浓度监测报警系统主要由瓦斯浓度测定仪和计算机瓦斯浓度数据处理等相关软硬件组成。本系统由检测部分、执行部分及8031单片机控制分等组成，能实现瓦斯浓度、开关量的采集和开关信号的输出，并有数据显示功能，对瓦斯浓度进行实时监测、控制及超限警。计算机软件包括人机界面、数据处理、串行通信等模块，以控制为目的来考虑改善矿井通风，从而降低瓦斯浓度，确保安全生产。     

测量不确定度评定的应用

通过在压力检测中，对不确定度的分析与计算，介绍不确定度在检测中的应用。     

《绝对女神》第二次技术性内测印象

由金玉天立代理运营的韩国网络游戏《绝对女神》经过一个月的内部测试后，于2月18日开始第二次技术性内测，虽然这一次也称为内测，不过所有玩家都可以在官方站点申请到游戏账号进行游戏。至于广大参与测试的玩家所关心的结束测试后账号是否保留的问题官方尚未有明确答复，不过按照目前的情况来判断，众多玩家都参与的测试，删除账号的可能性应该不大。     

马来酸及其酐和衣康酸与PP熔体接枝反应机理的研究

以马来酸酐作对照，用热分析、流变、化学分析等方法，研究了马来酸和衣康酸在非隔氧条件下与ＰＰ熔体催化接枝反应的特点和规律，阐述了单体结构－单元反应相对速率－－接枝产物结构之间的关系，提出了３种接枝物的结构模型。     

195—B1型挖掘机初步试验情况

正在金堆城钼业公司露天矿试用的195-B_1型挖掘机是与美国B-E公司合作制造的。主要性能参数见表1。     

氦氢混合工质单级GM型脉管制冷特性实验研究

针对80K温区，在一台单级GM型脉管制冷机中进行了氦氢二元混合工质的实验研究。实验结果表明，采用一定组分的氦氢混合工质可以提高脉管制冷机的制冷性能。     

20K以下温区单级脉管制冷机直流控制实验研究

开展了20K以下温区单级脉管制冷机的实验研究，考察了直流流动对制冷机性能的影响，估算了不同制冷温度下制冷机循环的需气量，在对直流进行控制的情况下，采用2kW(RW2)和4kW(CP4)压缩机分别获得了18．7K和14．7K的最低制冷温度，对应的在30K的制冷量分别为10W和29．5W。