一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

从命题逻辑的需求描述到状态转移图的形式规格

信息处理系统的规模和复杂化,需要有效设计高可靠性系统的形式化的规模描述方法,本文针对以上功能,提出了基于命题逻辑的信息处理系统的新的需求描述方法,描述了通过使用逻辑ＰｅｔｒｉＮｅｔ（ＬＰＮ）,把命题逻辑的需求描述变换成状态转移图的过程,并且给出了由ＬＰＮ自动生成状态的转换图的算法。     

基于P2P的SIP用户定位研究

针对利用P2P算法实现SIP用户定位的时延比较大的问题,提出了一种降低SIP用户定位时间的方法.利用底层网络的拓扑结构将P2P网络分层,SIP用户同时在自己所在的低层逻辑网络和整个P2P覆盖网上进行注册;查找用户时,在每一层上应用Chord算法并辅以常用被叫用户表.为了实现简单,所有P2P和SIP操作都由SIP消息完成.模拟表明,该方法能极大的减小查找用户的时间,进而大大缩短平均的会话建立时间.     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模，然后通过模型生成测试集，最后执行测试集．这种方法存在执行效率不高和实际测试范围可能被缩小的问题，为此本文提出一种可变测试集的方法，通过动态执行测试集提高其执行效率，同时从与协议实现无关的角度扩大协议的实际测试范围．     

WSN中一种最优的汇聚节点移动方案

研究了无线传感器网络中,如何在不同的候选位置放置数据汇聚节点来最大化网络生命周期。通过定义＂放置模式＂这一概念,对数据流通模式进行分类,从而从量级上降低了需要调度的因素的数目。基于这样的理念,对问题建立了线性优化模型,来构建一种最佳的放置策略。最后,通过具体的试验验证了提出方法的有效性,说明了即使使用一个移动位置受限的汇聚节点,也会极大地提升网络生命周期。     

单总线同步交换数据与计算并行的多机系统

本文提出了提高多机系统效率的方法.这个方法是在各成员机中把分配给各步的任务分成内部任务和外部任务.外部任务用于处理各成员机间的交换数据,内部任务用于成员机内部的数据处理.每一步都是首先执行外部任务,即等到所有的成员机都执行完外部任务后,就立即开始交换数据,与此同时也开始处理内部任务.这样数据交换和任务处理就可以并行进行,从而就缩短了各成员机因负载不均匀而造成的停机等待时间.     

软件详细设计工具

本文介绍七种常用的有代表性的软件详细设计工具,并给出一些准则把它们作一比较,以供软件开发人员选择时参考。     

面向对象模型与形式化方法

本文在分析面向对象和形式化方法两种重要系统建模方法的基础上,论述了两种方法的关系,指出二者互补、组合的优越性,概述了各种领域里的组合应用,并进一步设想未来的发展方向可能是二种方法的优点的活用和统一。     

无线传感器网络的动态树型结构

无线传感器网络用于在各种环境中监测信息。在聚簇结构的基础上,文章提出了一种节能的动态树型结构。在动态树型结构中，节点周期轮换当选为首领，网络中的大部分节点只与附近的节点通信，并压缩中转数据，以减少与首领的通信量。节点动态地选择路由，不遵循固定路径传输。仿真结果显示动态树型结构与传统的二层结构相比，可以显著地节约能量，并平衡节点能量消耗。