基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。     

分布式最优化局部双环网络

1.DOLDL网络拓扑 (1)抽象模型 为研讨双环网络拓扑,可利用双环的对称性构造一种抽象模型,以便对双环网络进行形式描述,图1正是关于DOLDL的一种抽象描述模型,该模型有以下性质:     

协议工程行为模型的研究

近年,随着计算机网络和分布式系统的不断发展,各类新型通信技术和分布式应用已开始出现,其中主要包括高速光纤网、多介质通信、宽带综合业务数字网(B-ISDN)、智能网,以及综合语音、数据和图象服务等。它们已对计算机通信协议的设计和实现带来了很大影响。为了适应这种形势的发展,一门新兴的高科技学科—协议工程已应运而生。协议工程本质上是计算机硬件工程和软件工程的理论方法在通信协议设计和实现中的具体应用,但由于协议具有实时、互操作和同步性等特点,因而其复杂度又要比一般传统软件大得多。协议工程的主要研究目标是使协议软件的生产怎样更好地实现规范化、工程化和自动化。它所包含的基本内容     

计算机网络协议的形式描述风格

研讨计算机网络通信协议的形式描述风格。论述通信协议的形式描述，Ｅｓｔｅｌｌｅ，ＳＤＬ和Ｌｏｔｏｓ等的主要特征；着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。     

计算机网络互连模式及实现技术

本文讨论了计算机网络互连的体系结构模式及实现技术。文中先论述了ＩＳＯ、ＤＯＤ和Ｐｕｐ网际互连参考模式，然后讨论了网络互连的主要实现技术：互连层，网际寻址，网际路由选择，信包分拆与重装，网际流控与拥挤控制，网际保安与差错控制，网际信关与桥以及协议转换等技术。     

基于连通度的Ad hoc网络路由协议研究与仿真*

对Ad hoc网络各种路由协议进行仿真评估,分析它们在不同约束条件下不同度量的相对性能,是了解与学习路由协议性能的重要手段.目前的度量标准主要集中在吞吐量、延时、抖动、丢包率等QoS因子或路由负载、寻路时间等外部特性上,还没有以Ad hoc网络系统本身的连通度作为度量标准进行仿真,评价各种路由协议在不同试验条件下对于同一网络系统连通度的影响的相关研究.基于能量模型、节点密度、停留时间及移动速率四种约束条件对MANET提出的四种路由协议进行了关于网络连通度的仿真与评估,给出了这方面的初步结论.     

一种能量均衡的无线传感器网络分簇算法*

为了延长网络的生存时间,提出了一种能量均衡的无线传感器网络分簇算法（EBCA）,该算法优先选择剩余能量较多的节点作为簇首,以平衡节点的能量消耗。仿真实验结果表明：无论同构网还是异构网,该算法都能显著地推迟网络第一个节点的死亡时间,其性能明显优于LEACH算法。     

一种改进的RED路由队列算法分析与研究

分析了Internet业务流随机早期检测(random early detection,RED)算法的原理和局限性,提出了一种改进的RED算法。该算法利用一个高阶分组丢弃函数,在最小门限值附近以较低的概率标记丢弃分组,在最大门限值附近迅速提高分组的标记丢弃概率;利用队列长度的变化趋势来动态调整RED算法的参数,减小了RED算法对参数的依赖,增强了算法的稳定性。NS2的仿真实验证实了它的有效性。