一种三态加时变迁Petri网的形式比描述与分析

提出了一种弱引发现规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ）它比现有三态加变迁Ｐｅｔｒｉ网更适于建模分析冲突结构，平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析，证明了ＷＴＴＰＮ与其基网系统关于活性，有界（安全）性和可逆性等价。     

突发业务流的TES建模方法

高速通信网络存在大量诸如可变速率(VBR)视频这类具有突发性的业务流。突发性,在数学上主要通过业务流的到达时间间隔的边缘概率分布和自相关函数来描述。TES(Transform-Expand-Sample)是一种建模静态随机过程的非参数化技术,能准确匹配边缘概率分布并很好地近似自相关函数。本文简要介绍了TES方法的基本原理,再详细讨论突发业务流的TES建模及其软件实现。对MPEG视频业务的建模的仿真结果表明,TES模型能够很好地表征网络业务流的突发性。     

考虑不确定信息的QoS路由算法综述

传统的QoS(服务质量)路由都假设网络结点的状态信息可以被准确地获知,但实际网络存在许多因素使得状态信息不确定,因此,近几年,考虑不确定信息的QoS路由算法得到了广泛深入的研究。文章讨论了网络状态的不确定信息产生的原因,分析并总结了目前考虑不确定信息的QoS单播和QoS多播路由算法,最后指出了该领域中需要进一步研究的热点问题。     

一种三态加时变迁Petri网的形式化描述与分析

提出一种弱引发规则三态加时变迁Ｐｅｔｒｉ网（简称ＷＴＴＰＮ），它比现有三态加时变迁Ｐｅｔｒｉ网更适于建模分析冲突结构；平行于无时间约束Ｐｅｔｒｉ网，给出了并发意义下ＷＴＴＰＮ的形式化描述与分析框架，据此可对其进行定性分析；证明了ＷＴＴＰＮ与其基网系统关于活性、有界（安全）性和可逆性等价。     

一种基于蚁群系统原理的QoS单播路由算法

蚁群算法是一种基于蚁群系统原理的、具有自组织能力的、新型的启发式优化算法。为了研究QoS路由问题,本文利用蚁群算法能寻找最短路径这一特性,提出了一种基于蚁群系统原理、用于解决带宽和时延约束问题的QoS单播路由算法。仿真结果表明了该算法的有效性、自适应性、鲁棒性和可扩展性。     

网络业务流模型综述

通信网络需要提供满足用户需求的QoS(quality of service)，这就需要业务流模型能准确地捕获实际业务流的统计特征。业务流模型在网络的流量控制及性能分析中都起至关重要的作用。随着网络业务类型不断增加，实际网络中业务流特性越来越复杂，表现为突发性、长相关性或自相似性等。这使得业务流建模方法的研究得到不断发展。文中就当前网络的业务流特性，分析了现有的业务流模型，并指出了这些建模方法的特点。     

网络服务性能监测方案的探讨

提出了对网络服务性能进行监测的三种可行方案，比较了它们各自的优缺点，并结合RFC2758着重分析了基于监测器的网络服务性能的监测方案。最后在融合这三种方案优点的基础上给出一种能在更大程度上满足监测要求、扩展性好的方案。     

基于测量的QoS接纳控制算法的结构与性能分析

The advantage of measurement-based QoS admission control(MBAC)algorithms is that they can improve network utilization. In this paper, the equations of MBAC algorithms are proved to be of the same structural form. Then, through simulations on the existing MBAC algorithms, the simulating results demonstrate that MBAC algorithms may have the same performance by tuning the adjustable parameters of algorithms, and that the key factor of influencing MBAC algorithms' performance is the adjustable parameters, not the equations, of algorithms.     

基于弱引发加时Petri网并发系统逻辑验证与资源优化

在弱引发规则下用二态加时Ｐｅｔｒｉ网建模、分析一类具确定性时间和冲突结构的并发系统;联系柔性制造系统、Ｃ３Ｉ系统这类实时并发系统的逻辑验证及有限资源优化问题,在并发意义下研究该网模型的逻辑特性与时间特性,示例表明了有关结果的可应用性     

Internet中QoS路由算法研究现状及其展望

目前，许多有关支持QoS(服务质量）的研究主要着眼于调度、拥塞控制和资源预留，而对QoS路上研究得不多，文中先对QoS路由中的问题进行分类，再对当前研究的一些路由算法进行了归纳与分析，这些算法对于在Internet中实现QoS有着重要的指导意义。