一种新的消息传递型多处理机系统中总线接口的设计

多处理机系统分为共享存储器型和消息传递型。本文提出了一种新的消息传递型多处理机系统的总线接口的设计方法。区别于以往的总线接口的方法，引入了口的概念。优点是使得接收方也有权决定信息包接收与否，算法更灵活，可用广播传送方式，还可以动态地进行进程转移。     

Cache的一致性问题分析

Ｃａｃｈｅ的一致性问题是多处理机系统的一个重要问题。本文首先提出在多处理机系统中，主存与各处理机私有Ｃａｃｈｅ之间及各私有Ｃａｃｈｅ之间的存在数据不一致问题。对解决不一致性的方法：监视法、目录法、软件方法等进行了详细的定性分析；指出了各种方法的优缺点，供设计者参考；同时提出用软件和硬件相结合的方法，更能有效地解决Ｃａｃｈｅ不一致性问题。     

咱由协议一致性测试的系统设计

目前对通信协议进行一致性测试的方法和实现比较完善,而在对咱由协议进行一致性测试方面的系统经验还比较少,本文基于实践工作的内容,提出了一种路由协议一致性测试系统的设计方法,并且讨论了实现过程中的一些问题。     

在测试用例不放回时比较随机测试和分割测试

在测试用例放回的情况下,关于随机测试和分割测试的比较,许多研究者做了大量的工作,取得了显著成果.在测试用例不放回的情况下,类似的比较工作在国内外文献中尚未见到.然而在实际工作中,尤其是在软件测试早期和模块测试阶段,测试用例是不放回的.因此,在测试用例不放回的情况下,对随机测试和分割测试进行了比较,得出4个结论.与Chen和Yu在测试用例放回情况下的研究成果相比,一个不同的发现是,在平分子域、错误数、测试次数时,分割测试不如随机测试效果好.另外还发现,如何利用各种信息分割出错误集中的区域,然后着重测试,这是分割测试的核心.     

容迟移动传感器网络的节能MAC协议

针对容迟移动传感器网络高动态且稀疏的拓扑特点,提出一种节能的容迟媒体访问控制协议(DTMAC),采用接收方发起传输的工作方式,引入多功能的最小主动探测短报文,通过降低报文重传率和控制报文开销,有效控制了网络能耗．通过实验验证了该协议能达到极高的能量利用率,对一跳传输延时和网络吞吐量也有显著改善．     

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

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

Petri网和Z语言的集成形式化方法

随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ,并互相弥补不足 ,进而形成一种新的、更加全面的形式化方法 PZ网     

IPv6协议测试系统研究和实现

IPv6必将成为下一代Internet网络的主导协议，如何测试各个厂商的IPv6实现是一个关键的问题，本文关注于IPv6协议的一致性测试，提出了一种分布式虚拟测试法，采用该方法我们实现了一个测试系统，并进行了实际测试，给出了一些测试结果和分析．     

一种新的实时系统内核调度算法

针对节点操作系统的特点及其对实时性、安全性、并发性的要求,提出一种新的实时系统内核调度算法,通过将任务优先级调度和时间片轮询相结合,提高处理器的响应速度,改善系统的实时性。将该调度策略在?COS-II上进行实现,并将修改后的内核应用于无线采集系统中进行实验验证,结果证明,该调度算法明显减少了系统响应时间,提高了系统效率。     

电子投票匿名性分析

电子投票公布计票结果会影响投票者的匿名性。针对该问题,定义匿名性为投票选择的不确定度,利用熵衡量投票系统的投票者匿名性,比较计票结果公布前后投票者的匿名性变化。分析结果表明,投票规模越小,投票者匿名性在结果公布后受到的损失越大;在小规模电子投票情况下,计票结果应该选择只公布获胜者,不公布具体得票数,以减少投票者匿名的损失。