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

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

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

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

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

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

SO2转化温度异常情况分析

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

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

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

具有除草活性的双膦酸衍生物的研究动态

许多含双膦酸结构单元的化合物都显示了良好的除草活性,本文对这类化合物的结构特点、生物活性以及相关的研究动态进行了归纳和概述。     

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

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

如何掌握印刷压力

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

Automatic conversion from lexical words to prosodic words for mandarin text-to-speech system

In real speech, not like lexical words (LWs), prosodic words (PWs) are basic rhythmic units. The naturalness of a Text-to-Speech (TTS) system is directly influenced by the segmentation of the PWs. Most of the PWs are the combination of several LWs. In this paper, three Lexical Combination Models are proposed to combine LWs into PWs, including a Directed Acyclic Graph Model, a Segmentation Model and a Markov Model (MM). To cope with the situation where some long LWs should be segmented into two or more PWs, a Lexical Split Model (LSM) is applied to the long LWs. Experimental results prove that relatively constant results with various training data can be obtained from a MM. The Transformation-Based Error Driven Learning (TBED) algorithm, for its high performance of individual property, is applied in combination with the MM to improve the precision of PW segmentation. Experiments show that among the three proposed models, the MM combined with TBED and LSM, leads to the best performance, in which a precision of 93.00% and a recall of 93.23% are achieved. The perception test indicates that by using PWs as the lowest prosodic units a speech sounds more natural and acceptable than by using LWs. This paper is supported by NSFC Project (60503071); 973 Natural Basic Research Program of China (2004CB318102); Postdoctor Science Foundation of P. R. China (20070420275).