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

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

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

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

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

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

软件详细设计工具

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

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

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

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

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

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

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

IPv6实验网的组建和测试分析

主要介绍设计、搭建IPv6实验网，并在此基础上捕获数据包，测试协议性能。通过分析数据包的结构，验证了IPv6网络的特点：地址匹配的方便性、数据报头的简洁性。通过设计和组建IPv6／IPv4双协议栈路由器，介绍了一种通过IPv4网络转发IPv6数据包的双协议栈隧道技术。     

彩色图像扫描工具中调色板的生成

调色板的生成是彩色图像的数据格式转换的关键问题，本文描述了调色板生成的原理，对生成算法是遇到的问题进行了分析，提出了解决的方法，对算法给出了具体的描述，并且论述了算法的正确性。