TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。     

综合故障树分析方法在容错计算机系统中的应用

该文运用二元决策图（Binary Decision Diagram）分析传统的静态故障树,运用Markov链分析新兴的动态故障树,由此形成一种创新性的故障诊断方法：综合故障树（Integrated Fault Tree）分析法。综合故障树分析法运用分而治之的策略处理各种故障,不仅加深了故障诊断、分析的精度,同时也拓展了故障树分析法的运用领域。该文结合实例,运用综合故障树分析法解决容错计算机系统中动态时序特性的建模困难问题;分析结果表明,在容错计算机系统中运用此方法,可以有效地对系统建模和分析系统可靠性。     

安全通信协议模型EABRA的设计

提出了一种安全的通信协议模型EABRA，通过该模型可以简单有效地实现网络安全通信。首先对EABRA协议系统、体系结构以及状态转换进行了细致的阐述，然后用ESTELLE语言对协议模型的实现过程进行了具体的描述，最后对EABRA协议模型进行了正确性验证。     

基于活性包装视角下的水产品保鲜机制研究进展

研究发现,内源酶、微生物、脂质氧化及环境等是引起水产品腐败的重要因素,如何提升保鲜效果以减少水产品的腐败损失和保障消费者的食用安全成为水产行业能否可持续发展的关键,引起行业内的广泛关注。近年来随着人们对食品安全和食品包装关注的不断提高,活性包装逐渐发展起来,并在改善保鲜效果方面作用显著,成为研究的热点。鉴于此,本文在探究水产品腐败机制的基础上,从内源酶活性、微生物生长、脂质氧化和环境4 个方面,综合分析了基于活性包装的水产品保鲜机制,并探讨了活性包装可能的增效机制。旨在为未来研发靶向的水产品保鲜活性包装提供支撑。     

稀土在军事技术上应用现状与展望

本文较详细地介绍了国内外稀土在兵器金属材料、军用玻璃陶瓷及特种弹药方面的应用现状;并展望了稀土超导陶瓷在军事技术上的应用前景。     

密码协议的SPIN建模和验证

为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.     

基于TTCN-3的SIP一致性测试

应用层控制协议SIP（Session Initiation Protocol）已被用于在IP网络中建立、修改和终止多个参与者参加的多媒体会话.为了保证SIP的不同实现之间能够可靠地进行通信,需要对其进行严格的一致性测试并检验SIP实现是否与标准一致.ETSI（European Telecom munications Standards Institute）开发的下一代测试描述语言TTCN-3（Testing and Test Control Notation version 3）在SIP一致性测试中起着重要的作用.本文描述了通用TTCN-3测试系统的设计和实现以及使用TTCN-3对SIP进行测试的情况.     

一种基于TTCN-3的多路并行测试方法

随着全球通信网络的高速发展，对日新月异的通信产品进行协议一致性测试尤为重要。该文介绍了TTCN-3测试执行机并行测试的模块设计方案，阐述了测试适配器的开发方法，重点分析了多路适配器的原理及实现，并以此为基础提出了一种多路并行测试的方法，该方法已成功地应用于802.16d协议的一致性测试。     

P2P网络上的寄生网架构研究与分析

随着P2P技术的发展,P2P网络架构出现了很多新的变化.描述了一种新型的网络架构PoP2P——建立在P2P覆盖网之上的寄生网络(parasitic overlay on P2P network).以一种具体的PoP2P网络(建立在SkypeP2P网络上的寄生网)为例,采用程序分析的方法,通过动态插桩获得程序发送消息的内容及时序信息,分析这种网络的结构和通信机制,给出了通过PoP2P寄生网络与远端主机通信时的数据流图和详细的消息序列图,为研究此类网络提供了新的方法.