协议建模相关论文
下一代网络(NGN)以分组网络为承载,提供语音、视频、数据等多种业务。其控制和承载分离的需求,促成媒体网关控制技术的发展。MGCP协......
移动AdHoc网络(MANET)是由一组带有无线通信收发装置的移动终端节点组成的一个多跳的临时性无中心网络,它具有随机动态变化的网络拓......
该文首先介绍了OSPF协议的背景和主要功能,重点总结了OSPFv3协议不同于OSPFv2协议的方面以及IPv6协议对OSPFv3协议的封装.接着,该......
WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以......
为了研究全球卫星导航系统建设中的组网结构、信息流程、协议规范和路由策略等问题,在STK和OPNET的基础上开发了全球卫星导航系统......
本文提出了基于Petri网的网络传输协议建模及其性能分析方法,以TCP传输控制协议为例,采用Petri网对其数据传输阶段进行形式化描......
组件技术是目前软件开发的主流技术,而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合,结合例子研究将行......
WLAN安全协议的性能研究一直是人们关注的焦点。但由于安全协议建模的复杂性和低效性,对其网络特性的仿真与评估还没有通用的方法和......
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采......
协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现LSTEL......
本文通过建立层次可靠多播的抽象网络模型,以及引入等价概率链路的概念和方法,对层次可靠多播差错恢复的实时性进行了分析.建立模型......
论文介绍了一种基于载波长度的信令传播机制,根据信元的包长建立优先级,新型的实时以太网介质访问控制协议通过引入信道阻塞模式,在标......
深入分析了我国下一代的航空子网络之一--甚高频数据链模式2(VeryHighFrequencyDataLinkMode2)的下三层通信协议,使用网络仿真工具......
本文研究TC9012通信协议建模实现。通过深入理解TC9012编码协议,仔细分析一帧完整数据,对一帧数据里每一部分信息参数化,使得该模......
传输层安全(TLS)协议存在着握手时延大,交互次数多,计算开销大等缺点,不能够适合空间网络的传输特点。在对基于身份的加密机制和TLS协议......