SIP的分析与性能优化

为了减小会话初始化协议的呼叫建立延时,获得性能和缓冲数量上的平衡点,深入分析SIP复杂的协议行为,并建立协议的广义随机Petri网模型.构造与广义随机Petri网模型同构的马尔可夫链,根据马尔可夫链求解稳定状态概率,对协议模型进行计算和分析,评价协议性能.针对协议运行时状态转换中的耗时过程,通过软件SPNP仿真计算分析得到模型中位置P2缓冲大小的优化结果,得出呼叫建立平均延时随位置P2缓冲大小变化的规律,同时对系统吞吐量进行评价.仿真结果表明,位置P2缓冲大小取优化值时能优于其他取值,缩短协议的呼叫建立延时,改善系统吞吐量,提高系统的性能.     

基于随机Petri网的NAT-PT协议的性能分析

网络地址翻译与协议翻译(NAT-PT),是IPv6(In-ternet P rotoco l vers ion 6)过渡协议中非常重要的一种。地址池是NAT-PT中的重要概念,其大小对于NAT-PT的性能起着关键的影响。该文的主要研究目的就是获得性能和地址数量上的平衡点。该文使用随机Petri网对NAT-PT进行形式化描述,建立了其广义随机高级Petri网模型和广义随机Petri网模型。并且通过工具包SPNP(S tochastic Petri N etPackage)计算分析得到了一定主机数量下地址池大小的近似最优化结果,同时对NAT-PT地址翻译的系统吞吐量进行了评价。当地址数量为近似最优值时,不仅可以节省地址分配,而且系统性能几乎不受影响。     

数据网格中存储I/O的SPN建模与性能评价

针对数据网格中存储资源的结构、协议和I/O模式的复杂性问题,分析了存储网络的并行存储I/O请求模型,采用随机Petri网(SPN)建立了SPN并行存储I/O传输的数学模型,描述了系统请求响应时间与系统负载、网络带宽和节点处理能力之间的关系,然后通过排队论进行了并行I/O的性能分析,最后归纳了影响存储网络系统I/O性能的因素,在并行策略和数据组织与分配等方面提出了提高整体存储性能的改进方法.为改进提高数据网格的整体存储I/O性能提供了有效的建模方法和具体的理论依据.     

基于广义随机Petri网的MVB网络吞吐性能分析

基于Petri网模型的建模分析方法,对多功能车辆总线网络的吞吐性能进行了分析.首先建立了MVB网络的广义随机Petri网(GSPN)模型,并逐步压缩和简化以便于分析.之后在随机离散有穷状态马尔可夫过程理论基础上,对该模型进行分析计算.同时采用了随机Petri网计算机辅助分析软件TimeNET建立模型和仿真.给出了MVB网络单纯过程数据的报文吞吐量,有效数据传输能力和带宽利用率等性能参数.结论指出广义随机Petri网是对网络协议进行分析的有效工具.     

基于Petri网的对等资源访问控制协议仿真

为保证资源的合理访问与控制协议设计的正确性,针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri网的协议仿真模型.根据Petri网的性质对协议模型进行分析,发现协议的运行特性.采用CPNTools工具,建立调试协议模型,仿真模拟协议的执行步骤,观测协议性能.实验结果表明,仿真跟踪协议的执行过程,发现并排除了协议设计中的错误,优化了协议设计,达到了预想的访问控制目的.     

专用网OSPF协议性能优化研究

为了提升专用网在无线信道环境下的整体性能,该文对开放最短路径优先(open shortest path first,O SPF)协议进行了优化研究。研究主要包括单区域机制、相关数据包简化、状态机简化以及协议关键参数设置。仿真结果表明:在恶劣信道环境中,路由表平均计算次数可减少81%,协议带宽平均损耗可降低80%,而网络稳定工作时间可延长2倍。针对O SPF标准协议的优化设计简单可行,适应于专用网自身特点,可有效提高网络性能。     

基于高级Petri网的X.25/FR开放系统互连网关的描述与验证及实现

在构造 X.2 5 / FR互连网关时 ,采用 OSI有关协议。利用一种高级 Petri网(EPr/ TN)作为形式化的描述工具建立互连网关的系统模型 ,对网关中的协议转换和数据通信过程进行描述、分析和验证 ,并实际开发出了符合该模型的互连网关     

基于物联网的用户行为认证机制与分析

为了减少物联网环境中对用户身份的漏报率,该文将传统的身份认证和行为认证相结合,提出了一种基于物联网的动态用户行为认证机制。建立了用户行为认证集,论述了整个机制的实现过程。论述了确定的充分行为认证和不确定的必要行为认证,同时给出了每个认证过程的随机Petri网(Stochastic Petri Net,SPN)模型,并用Petri网量化分析了该机制对性能的影响和认证漏报率。理论分析表明:该机制在提高用户认证机制的安全性方面具有显著效果,同时性能良好。     

半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件 /事件 (C/E)系统建立半双工通信协议模型 ,并应用Petri网工具对协议模型进行分析 ,使用电子设计自动化 (EDA)技术 ,对基于C/E系统的协议模型进行高速硬件描述语言 (VHDL)程序设计 ,并由现场可编程门阵列 (FPGA)器件实现该模型 ,为协议的验证和实现提供了一种方法     

战术无人机群移动自组网的路由性能分析

提出了采用Ad hoc 移动自组网建立战术用无人机群的网络通信以实现战术无人机群的协同与控制,使用参考点组移动模型(RPGM)对战术用无人机群的运动进行仿真,分析了在战术无人机节点运动情况下移动自组网的路由协议性能.结果表明,Ad hoc网络可以有效地实现战术用无人机之间的网络通信问题,其中ADOV路由协议吞吐量大,更能适合网络拓扑的剧烈变化;而DSR则具有路由负载轻的特点,路由协议的性能也随结点移动速度的变化而发生显著改变. 因此为适应无人机群的不同战术任务,应根据战术任务的不同要求来选择不同的路由算法     

Pheromone-Based Ant Routing System for IP Networks

The pheromone-based ant routing algorithm is a distributed routing algorithm with good scalability and robustness. A 2-D cellular automata (CA) model of the computer network was presented to analyze the algorithm. The results show that the procedure of establishing a stable route is self-organized towards the attractive peculiar state, and the duration of time for the routing establishment is power-law distributed. A practical ant routing protocol over an IP network was also presented, and two simulations were done to compare the performance dynamic and the load balancing performance between this protocol and the open shortest path first (OSPF) protocol. The results show that the ant routing protocol out-performs OSPF in these aspects.     

专用网OSPF链路摆动抑制算法

该文提出了OSPF(openshortestpathfirst)链路摆动抑制算法以克服由于无线信道误码率较高而引起的专用网链路摆动问题。该算法核心思想是在保证网络连通性的基础上,评估所有链路性能并对不稳定链路进行动态抑制。链路在被抑制的状态下不参加路由计算。仿真结果表明:在算法参数设置合理的情况下,链路状态广播更新数量和网络同步运行时间等指标可分别改善约35%和10%。OSPF链路摆动抑制算法简单可行,适应于专用网自身特点,可有效提高网络整体性能。     

基于OSPF协议的网络拓扑发现技术的实现

现有的网络拓扑发现算法大多是基于ICMP和SNMP协议的,在拓扑发现的准确性、完整性、实时性以及性能方面,都或多或少地存在一些缺陷.提出利用OSPF协议实现网络拓扑发现的算法,给出了实现方法和实验结果,这种基于OSPF协议的网络拓扑发现技术可以很好地弥补现有网络拓扑发现技术的不足,具有广阔的应用前景.     

携带数字签名的OSPF路由协议安全研究

为了增强OSPF(开放最短路径优先)路由协议的安全性能,在OSPF的LSA(链路状态通告)数据中增加数字签名,以保护路由协议的信息交换。文中阐述了携带数字签名的OSPF的设计思想和实现的关键技术,并从路由器公钥和携带数字签名的LSA的发送与接收等方面测试了该设计的合理性和可行性。实验结果表明:使用携带数字签名的OSPF路由协议可以防止网络中非法路由器的恶意攻击,为LSA数据提供端到端的集成认证。     

基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

基于QoS的OSPF预先计算算法

传统的Internet仅提供"尽力而为"的数据报服务已经不能满足新的需要,如何能够提供有效的服务质量(QoS)则成为现代网络必须考虑的问题.为了支持QoS操作,本文提出了一种OSPF预先计算算法,为改善网络的QoS提供了依据.     

被动测试中的错误诊断算法

介绍了被动测试的有限状态机模型、错误模型和错误检测算法，给出了单个错误的诊断算法并分析了其时间复杂度，将所提出的算法推广到对多个错误的诊断，以在路由协议OSPF(Open Shortest Path First)的接口有限状态机上做的模拟实验为例来说明算法的有效性．     

利用OPNET对OSPF协议的仿真与研究

基于通信网络仿真软件OPNET对OSPF协议进行了建模和仿真,介绍了网络建模的原理、过程和步骤,并分析了OSPF动态路由协议基本工作原理,以;两个OSPF实例为例,从而找到网络中的最优路径,为进一步增加网络的稳定性和快速性提供试验基础。     

快速连锁网络攻击方法研究

针对当前网络中广泛使用的路由协议OSPF的工作原理和特点,提出了基于链路状态公告LSA攻击的网络攻击方法,并对此攻击方法作了详细介绍,通过对这种方法的识别可以为网络管理员在策略设定上提供依据。     

OSPF动态路由协议中的路由计算

在介绍开放最短路径优先(OSPF)动态路由协议层次结构的基础上,重点分析了OSPF中用到的最短路径优先(SPF)算法及路由表的计算过程.