基于随机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地址翻译的系统吞吐量进行了评价。当地址数量为近似最优值时,不仅可以节省地址分配,而且系统性能几乎不受影响。     

随机Petri网工作流模型的等价性能分析

建立系统Petrl网工作流模型,给出了顺序、并行、选择、循环四种基本结构的等价化简公式。将原模型转化为随机Petri网工作流模型,并应用这一性能等价方法,逐步化简,最终得到系统的平均执行时间和与性能分析相关的有效定量参数。     

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

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

一阶流体随机Petri网:定义与分析

重新定义了一阶流体随机Petri网,其中,流体跳跃弧的跳跃高度取确定值,并被赋予在瞬间内清空与之相联接的连续库所的功能.给出了随机标识过程的动态方程,讨论了连续弧的流体流动速度为连续标识的函数而导致的概率值累积问题,使得直接用数值方法对模型的动态方程进行求解成为可能.     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

OSPF路由选择协议的研究

介绍了OSPF的结构模型，路由选择数据库的维护以及配置，通过与其它路由协议（主要是RIP）的比较，阐述了OSPF的性能特点。     

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

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

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

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

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

基于有色Petri网模型的OSPF路由性能分析

在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.     

OSPF协议报文刷新机制的分析和改进

OSPF(open shortest path first)协议的报文刷新机制会产生大量的报文,给网络带来很大的突发流量。为了减少OSPF给网络带来的负载,该文对OSPF的报文刷新机制进行深入的分析,证明了延长OSPF报文刷新间隔不会影响协议行为和性能的结论。据此该文提出了ERR(enhanced randomized refresh)机制。ERR机制采用随机分散OSPF报文的刷新时间和延长OSPF报文刷新间隔的方法,消除了OSPF带来的突发流量和减少了OSPF报文的数量。该文采用VENUS模拟器进行模拟,实验结果显示:ERR机制比标准刷新机制减少了三分之一的报文,同时消除了OSPF刷新报文给网络带来的突发流量。     

用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

一种离散随机Petri网的性能计算和分析方法

为了有效地计算离散事件动态系统Petri网模型的时间性能,用一种离散扩展随机Petri网建立系统的性能模型,采用基于T-组件网的化简技术,结合等效延迟时间和概率分布不变的计算方法,求解和分析Petri模型的时间性能参数.实验结果表明,变迁不仅可以被赋予任意的延迟时间和概率分布,而且计算结果也具有很高的精度,为离散事件动态系统的建模和性能计算与分析提供了一种有效的数值化计算方法.