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

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

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。     

软X射线对血液有形成分表面电荷的影响——2、淋巴细胞和血小板膜电荷的变化

软X射线不仅能引起红细胞表面电荷的变化,同时也能导致淋巴细胞和血小板表面电荷下降,表现为照射后它们的电泳率下降。低剂量范围内,这种电荷的变化是暂时性的,照后4小时降到最低点,24小时后恢复到对照的水平。细胞电泳率的下降与辐射剂量相关。淋巴细胞是一个复杂的细胞群,正常状态下,按细胞在电场中泳动速度的快慢,可分为两个组分:快峰为T细胞,慢峰为B细胞。软X射线照射以后,T和B细胞的电泳率皆减慢,频数分布峰值下降,离散度加大。血小板成分单一,电泳率较一致。 从照射浓集的血小板再加回自身血浆中电泳率的下降较照射血浆再加到血小板中的电泳率下降大得多;受照射的血小板在磷酸缓冲液中电泳率下降较在血浆悬液中严重得多;2000 rad照后,悬浮于血浆中的血小板电泳率能恢复,而悬浮于磷酸缓冲液中则不能恢复,三个方面来看,血浆中可能存在抗辐射因子。超氧化物岐化酶能有效地预防血小板电泳率的下降,从而可阻止血小板的凝聚。     

SO2转化温度异常情况分析

结合凤山实业总公司硫酸车间 SO2 转化系统的具体工艺流程 ,分析近几年转化系统出现温度不正常的原因 ,提出解决方法     

南水北调西线工程可调水量分析

在受水区缺水形势严峻的情况下，引水工程可调水量的确定主要与三个因素有关：一是引水河流及引水坝址径流量；二是坝址上下游用水要求；三是引水水库工程规模。在考虑各种因素影响后，提出各引水坝址可调水量占坝比径流量的比例在70％左右比较合适，按现阶段推荐的两种方案，可调水量可达160亿－170亿m^3.     

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

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

地应力对岩心渗透率伤害实验及机理分析

生产实际情况表明，有许多油气田对应力较为敏感。随着生产的进行，储集层压力下降，有效应力不断变化，引起油藏产能逐渐降低。为研究这一规律和变化规律，阐述了应用岩民测试有效应力对渗透率影响的实验原理，在对实验数据进行统计分析的基础上，拟合出有效应力与渗透经的函数关系（二次多项式）。应用毛细管渗流概念以有弹性厚壁筒厚理，研究了随着毛细管管壁内外压差变化时，毛细管内半径变化有其对毛细管渗流能力的影响，所得结论与实验结果一致。在实际生产中，应控制油藏压力快速大幅度下降，避免有效应力变化引起油藏渗流能力下降和减产。     

邻苯二甲酸酯鼓泡生物降解

该课题测试了邻苯二甲酸酯类化合物的鼓泡生物降解行为。结果表明，邻苯二甲酸酯的降解速率常数（kb)与其烷基链长度之间存在良好的相关性，kb=0.0009x^2-0.019x 0.1123，相关系数r=0.9906；浓度超过500mg/L时，邻苯二甲酸二乙酯可抑制自身的生物降解；中间产物邻苯二甲酸浓度超过50mg/L时，也对邻苯二甲酸二乙酯的生物降解有明显的抑制作用。     

如何掌握印刷压力

<正> 一、印刷压力的概念与作用 印刷的过程,从某种意义上讲,是解决油墨与纸张之间矛盾的过程。要将印版上图文处的油墨转移到承印物上,就必须施加一定的力,即所谓的印刷压力。它在印刷中具有重要的作用。 1.保证粗糙的印刷面完全接触 纸张、橡皮布、印版的表面均成粗糙微孔状。对这些粗糙表面,必须在一定的压力作用下,使其受