基于MPLS-DiffServ的LSP动态抢占算法研究

在支持具有不同优先级和不同QoS需求的多业务网络中,抢占是带宽分配和管理的有效策略,但同时也对网络造成了振荡。基于普通的LSP路由方案,提出了一个动态的LSP抢占算法——Min_Prec算法:总是首先抢占最低优先级的LSP;在同一个优先级别内最优化被抢占的带宽和LSP数目。最后,通过引入一个抢占策略对于路由过程的反馈机制,减少抢占引起的重路由,增强网络稳定性。仿真结果验证了算法的有效性、优越性。     

基于COM原理的UML模型信息提取技术

提出了一种提取UML模型信息的方法.UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便.同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试.因此,研究如何从UML图中提取相应的模型信息有其现实意义.利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息.     

面向CIMS的数据库体系化环境和OLAP

说明了基于CIMS环境数据仓库建立的重要性和必要性，阐明了基于数据仓库的联机分析处理是实现智能决策支持系统的基础。提出了构建企业数据库体系环境的设计、实施和维护方案，并给出一个应用实例，最后，对CIMS环境下数据仓库的发展方向进行了讨论。     

局域网协议测试仪的设计与实现

为了有效地管理网络，通常需要使用协议测试仪这样的工具。文章介绍了网络协议测试软件LPT-2000的体系结构和实现细节。通过对比测试表明，LPT-2000具有较高的包捕获能力和产生负载能力。     

基于SNA体系结构的群集型通信控制器

介绍了自主研制的基于SNA体系结构的群集型通信控制器,重点介绍SNA链路控制层、路径控制层、传输控制层协议的实现。     

数据流控制流相叠加的可执行测试序列生成研究

提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。     

MPLS的基于最小干涉的负载均衡算法研究

当MPLS网络中的业务流请求存在时间上的先后顺序时,选择一个高效的路由算法使得已存在的业务流的LSP对后续业务流的LSP路由影响最小变得很重要.在分析了常用的几种QoS保障的算法基础上,提出了一种基于最小干涉的负载均衡算法.该算法解决了MPLS网络中所有"入口/出口对"之间的业务流相互干扰的问题,为后续业务流路由预留了必要的"关键链路".     

基于SDL模式的通信协议开发

研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性.该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量.     

网络协议测试仪的研制

本文介绍自行研制的WPT-2000广域网协议测试仪的设计,从体系结构、硬件组成、软件设计等几方面详细地阐述了设计思想和实现方法．所研制协议测试仪性能指标已达到了国际同类产品的先进水平．     

EFSM可执行状态验证序列的生成

在以扩展有限状态机(EFSM)为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列(ESIS)生成算法。新算法基于宽度优先搜索可执行分析树(EAT)的思想，从状态验证需求的角度，在EFSM的状态格局投影子空间中，采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列，从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性。实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的。