战术IP网络中OSPF与EIGRP的性能分析

战术IP网络要求路由协议具有较快的收敛性、较小的端到端时延和遭遇突发事件时较强的数据响应能力。利用OPNET仿真工具,比较了OSPF和EIGRP这两种协议上述3个方面性能的差别。仿真结果表明：EIGRP的收敛性比OSPF快近2倍并且峰值流量减少了50％,平均端到端时延比OSPF减少了20％,异常情况下对数据的响应时间明显少于OSPF。因此,EIGRP协议更适用于战术IP网络。同时,针对OSPF协议提出了一些修改建议。     

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

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

基于四叉堆优先级队列的OSPF算法

通过比较已有的Dijkstra算法和基于四叉堆优先级队列的Dijkstra算法的时间复杂度得出，后者的执行效率高于前者；并在此基础上提出了基于四叉堆优先级队列的0SPF算法，以提高OSPF的效率。     

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

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

Research on Stress Testing of OSPF Protocol Implementation

The stability and robustness of routing protocol implementations (RPI) in a router are becoming more and more important with the growth of Internet scale. A novel approach named stress testing is proposed to test the properties of RPI. Compared with some traditional test techniques, stress testing is remarkably necessary to inspect and analyze RPI. The test environment is proposed and the test process of OSPF RPI is illustrated by a stochastic Petri Net model with large-scale route simulation and OSPF protocol emulation. Based on this model, the integrated performance tester (IP-TEST) is designed and developed, with which we test a CISCO2600 router. With mathematical methods, we find that the computational complexity of OSPF implementation in this router is O (lnN)^4)to the number of its routing table entries. This experiment shows that this technique can inspect the stability, the computational complexity and the sealability of RPI. Furthermore, it can also be widely used with other routing protocols, such as RIP and BGP.     

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

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

自动OSPF协议测试的形式化及算法

针对路由协议测试中存在的大量测试数据生成、测试执行自动化等难点问题,提出了自治系统内部路由协议开放路径最短优先(OSPF)自动测试的重要算法和过程.首先对协议进行了形式化,在此基础上进行路由信息生成、邻居模拟,完成自动测试.在测试覆盖度上,涵盖了OSPF区域内、区域间和自治系统外部路由信息处理功能,同时缩短了测试时间,弥补了现有测试手段的不足.将该文的方法应用于已经过其他方法测试的路由器产品,有助于发现更多OSPF实现上的错误,提高产品质量.     

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

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

TD—SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD－SCDMA技术的第三代移动通信系统的发展战略，提出TD－SCDMA移动终端协议一致性测试技术的研究。着重介绍了一致性测试的原理，TD－SCDMA移动终端协议一致性测试的方法，测试系统的设计和实现，抽象测试集的生成。通过对该项技术的研究，可为TD－SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具，以解决接入网络时产生的协议非一致性问题。     

OSPF协议的随机Petri网模型与性能分析

为了改进开放式最短路径优先(O SPF)协议实现的性能,该文深入分析了O SPF复杂的协议行为并建立了随机Petri网模型。同时提出了耗时过程的概念,并且从O SPF协议行为中提取出耗时过程,简化上述Petri网模型。最后利用工具SPNP进行了模拟分析。实验结果表明O SPF协议在不同的网络状况下具有不同的性能表现:当网络变化频繁时,O SPF协议的主要负载是路由计算;当网络变化平缓时,O SPF协议的主要负载是链路状态声明信息(LSA)检索。这样为提高O SPF协议的性能提供了定量分析方法。     

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

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

既考虑数据流又考虑控制流的测试方法分析及比较

研究数据流与控制流相结合的测试方法，为进行比较，采用了三个不同的数据流标准，对于控制流选定操作符覆盖标准，提出了求可执行变迁序更列的算法，并且给出了关于测试方法，测试序列数目及错误覆盖能力的比较。     

基于软件定义网络的多路径路由算法性能研究

基于不相交多路径的路由方案在负载平衡、容错等方面具有明显优势,但存在计算复杂度高的缺点,故对应的分布式算法难以在网络中大规模部署.通过分析软件定义网络的特点,论证了在其网络中部署不相交路径路由方案的可行性.其次,基于网络流的性质与不相交路径的图论性质,设计并实现了计算不相交路径的算法.最后,通过一系列基于不同网络模型的对比实验,验证所提算法较传统最短单条路径路由算法具有更佳的负载均衡.实验结果表明,该算法的性能与网络中链路能承受的负载极限阈值有关.     

基于OAI-PMH的服务提供者的设计与实现

设计和实现一个基于OAI-PMH的服务提供者.讨论目前数字图书馆中异构数据的检索现状,分析OAI-PMH协议及其互操作框架,基于OAI-PMH协议设计服务提供者系统框架,并提出了OAI-PMH互操作框架中数据快速更新的推/拉模型.完成服务提供者框架中批量获取数据提供者基地址、元数据收获、统一检索3个主要模块的设计与实现.该系统实现了分布异构数据的获取和在此基础上的集中式元数据统一检索,支持数字图书馆中分布式信息资源的可互操作和对用户的透明性,作为数字图书馆中统一检索的一种实现方式.     

一类具有输入状态稳定未建模动态的非线性系统的输出跟踪控制

研究了具有输入状态稳定(input-to-state stability,ISS)未建模动态的一类非线性系统的全局实际输出跟踪控制问题.该类非线性系统具有非线性参数化的未知参数不确定性,未知的非线性不确定性及未建模动态不确定性.与现有结果不同,所考察的系统具有未知的控制系数,其人小及符号等信息都假设是完全未知的.通过利...     

OSEK/VDX OS服务调用的规范一致性检测方法

OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。     

采用GSM-R网络实现的机车同步操控系统数传测试方法的研究

分析了基于GSM-R网络实现的机车同步操控系统,并针对此系统在数据传输方面提出的两个主要指标:时延和丢帧率,研究给出了一套测试方案.并对该方案进行了试验,试验结果表明采用本文提出的测试方法,可以全面、合理的统计出这两个指标,此外对于整个通信网络质量也具有一定的评估效能.     

制冷空调系统故障检测与诊断中的空气侧换热模型

对3种常用空气侧换热模型（戈果林换热模型、扰流管束换热模型和J因子换热模型）进行了分析,着重研究其单调性以及在制冷空调系统故障检测与诊断模型中的适用性,设计实验并采用焓差法测量制冷空调系统空气侧的换热系数,与3种空气侧换热模型的计算结果加以比对,并对其结果进行修正.结果表明,修正后的3种换热模型所得结果与其相应的实验结果较吻合.其中：戈果林公式具有非单调性而不适用于仿真模型的计算;J因子换热模型和扰流管束换热模型具有单调性,适用于制冷空调系统故障检测与诊断中的仿真模型计算,且J因子的计算误差最小.