嵌入式无线传感器网络自组织通信协议栈

从协议的分布性和简约性出发,设计了适用于当前大多数无线传感器网络节点平台的嵌入式协议栈,使节点快速地自组织构建网络并且实现数据通信．协议栈采用了多种路由和组网方式,直接为应用提供网络通信接口．仿真结果表明,本协议栈能实现成百传感器节点的快速组网和多跳通信,具有很大的实用价值．     

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

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

软件详细设计工具

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

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

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

传感器网络中的多重贪心路由算法

基于二层架构的无线传感器网络，以减少网络功耗为目的，提出了一种新的路由算法－－多重贪心算法以获得最优路径。模拟结果证明了此算法复杂度量级远小于穷举法，和贪心算法近似，不过相对于贪心算法大幅度减少了组长传感器的平均功耗，从而提高了网络的生命期。     

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

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

Petri网展开图法的分析和应用

Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。     

基于P2P的SIP用户定位研究

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

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。