IP拥塞控制RED算法性能仿真分析

IP层实现的主动队列管理（AQM）方案已经成为目前拥塞控制算法研究中的热点。文中对AQM的惟一候选算法，即随机早期检测（RED）进行了研究，并基于OPNET仿真实验，比较和分析了不同网络环境和参数设置下RED算法的性能。仿真结果表明，RED算法对网络的拥塞变化反应较缓慢。进而，运用控制理论对RED性能的改善进行了讨论。     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

一类扩展Petri网的建模与仿真分析

本文定义了一类禁止弧／容许弧基本Ｐｅｔｒｉ网及其变迁的引发规则，构造了它的三个标志矩阵（禁止弧、容许弧、自环），给出了它的关联矩阵和状态方程；基于此，形式化分析了该网模型，并由此构造出适于计算机仿真分析的启发式算法；最后给出了仿真算例     

具有不确定信息的QoS路由的选择与分析

为了减少不确定信息对QoS(服务质量)路由的选择产生的影响,因此有必要对具有不确定信息的QoS路由问题进行研究,讨论了网络状态的不确定信息产生的原因,并基于NS(网络仿真)软件,仿真分析了不确定信息对QoS路由和网络性能的影响,然后,结合QoS单播路由问题,通过对有关问题的形式化描述,讨论了相关的解决方案,最后,综合目前相关解决方案存在的优缺点,从实现的角度探讨了以延迟保证为约束条件的多路径QoS路由机制。     

基于MATLAB的TES建模软件设计

现有的业务流模型难以描述高速业务流的高突发性。在线测量网络中的高速业务流,再根据实测的时间序列数据,用TES(Transform Expand Sample)方法建立并分析高速业务流的TES模型,其中关键环节是TES模型的建立。在TES模型构架的基础上,给出了基于MATLAB平台的有关的软件实现方案。     

基于扩展Petri网的控制器设计与分析

定义了一类扩展Ｐｅｔｒｉ网及其引发规划，标志矩阵和关联矩阵，并基于矩阵－状态方程，构造了一种适于该网模型分析的启发式算法，提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法，并用上述启发式算法对其进行了分析，验证，最后给出了实例。     

柔性制造系统与Petri网概述

本文概述了制造系统及其运行特征，归纳了Ｐｅｔｒｉ网的优点，然后，详细介绍了Ｐｅｔｒｉ网在柔性制造系统的建模，定性分析，性能评估和控制中的应用状况；最后，讨论了柔性制造系统中Ｐｅｔｒｉ网应用研究的发展动态。     

一种基于非精确状态信息的QoS单播路由改进算法

传统的QoS保障的单播路由算法都假设IP网络结点的状态信息可以被准确地获知,但实际网络存在许多因素使得状态信息非精确.所设计的改进算法是通过动态确定k优路径算法(k_shortest algorithm)中的k值,从而确保最终求得的路径相对其他算法所求得路径是更优的.因此能有效地降低了丢包率,提高了端到端延迟绑定的概率,通过网络仿真器Ns的仿真分析,结果表明了该算法的有效性.