多元化网络管理协议的Petri网验证及其性能测试

本文针对一种最新提出的卫星网络管理协议，利用Petri网描述协议的方法，对此网络管理协议过程进行了形式描述，利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证，确定了协议的逻辑正确性，在此基础上，完成了此协议的实现并对其性能进行了测试。     

基于XML的OSPFv3一致性测试研究

协议测试是检测协议实现与协议说明相一致的有效手段。本文针对开放最短路径协议OSPFv3进行了一致性测试研究，分析了OSPFv2和OSPFv3的不同，给出了用XML来描述OSPFv3测试套的测试模板，并对OSPFv3协议在Linux下的实现进行了一致性测试，列举了部分测试结果，对测试结果进行了分析，发现了被测实现存在与协议说明不一致的地方。     

IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

DHCPv6协议一致性测试集的设计和实现

DHCPv6的协议一致性测试根据相应的协议描述文本对协议实现进行测试。该文介绍了DHCPv6协议，分析了TAHI中DHCPv6测试的不足，提出了一种采用虚拟测试器方法的测试拓扑和一种层次化的消息定义结构。在此基础上设计了61个DHCPv6测试例，对Cisco 2600路由器进行了测试并分析了测试结果。     

密钥交换协议性能测试研究

提出了一种针对密钥交换 (IKE)协议性能的黑盒测试方法，该方法基于自主开发的协议集成测试系统平台。针对IKE协议的特点设计了灵活的测试集，并对主机上的IKE实现进行了测试，分析了各种参数对IKE性能的影响。该方法可用于测试多种不同设备上的IKE实现。     

基于RTEMS的ATM网卡设备驱动程序以及CIPOA的研究与实现

分析了在RTEMS平台上设计和实现ATM网卡的设备驱动程序，并在此基础上进一步研究CIPOA技术的实现。针对特殊应用，在设备驱动程序和CIPOA的设计和实现中简化了协议实现，增强了实时性，并进行了综合性测试。     

移动IPv6协议的测试研究

移动IPv6作为IPv6协议族中非常重要的一个协议，对它的一致性测试和互操作性测试将有助于协议的完善，发现协议实现中存在的错误，保证不同厂商产品之间的正确协作，本文分析了移动IPv6协议的测试方法和技术，提出IPv6协议一致性测试系统的参考实现扩展方案，使之适用于移动IPv6协议的一致性测试和互操作性测试，既增强了测试能力，又提高了测试过程可配置和自动化程度，并在此基础上进行了测试实践，最后提出了未来的研究方向．     

软交换产品性能测试的研究与实现

探讨了硬件方法实现呼叫器的缺陷，针对这些缺陷提出了用软件实现呼叫器，对软交换产品进行性能测试的解决方法，在此基础上构造了一个基于PWLib的软件呼叫器平台，并用它对H．323协议进行了性能测试。     

基于TTCN的IPv6协议测试

基于标准的协议测试描述语言TTCN，设计了一种针对于IPv6协议簇的软件接口，搭建了具体的网络测试环境，能够在谊测试环境中进行IPv6协议的一致性测试。最后，作为例子，对WIN2000的ICMPv6协议实现进行了测试。     

协议一致性测试执行系统的体系结构研究

对现有的协议一致性测试方法进行了介绍，然后针对TCP/IP协议族的一致性测试所必需的特殊要求和必需用到的多种测试方法，提出一种测试执行系统的体系结构，可以灵活地进行各个层次协议的测试。应用该体系结构开发的协议一致性测试套已经应用于高端路由器的研发中，为协议的顺利开发起到了积极的促进作用。     

An optimization framework for the energy management of carrier ethernet networks with Multiple Spanning Trees

We propose an energy management framework to optimize the energy consumption of networks using the Multiple Spanning Tree Protocol such as Carrier Grade Ethernet networks. The objective is to minimize the energy consumption of nodes and links while considering QoS constraints. The energy management is done through the Multiple Spanning Tree Protocol (MSTP) by choosing from a given set the most appropriate Spanning Trees and the most appropriate edges to operate while respecting the traffic demands. A trade-off framework between energy consumption and network performance is proposed. Results show that it is possible to achieve a good traffic engineering while operating the network closer to the minimum energy value.     

多生成树协议实现负载均衡实验的设计与实施

生成树协议能够解决环路带来的问题,提高网络的健壮性和稳定性。但是,简单地部署生成树协议并不能充分地利用链路资源,造成网络资源浪费。依据多生成树协议（MSTP）理论,设计了一种实验方案能同时实现链路冗余和负载均衡,提高网络整体性能。     

Lower bounds for the Quadratic Minimum Spanning Tree Problem based on reduced cost computation

The Minimum Spanning Tree Problem (MSTP) is one of the most known combinatorial optimization problems. It concerns the determination of a minimum edge-cost subgraph spanning all the vertices of a given connected graph. The Quadratic Minimum Spanning Tree Problem (QMSTP) is a variant of the MSTP whose cost considers also the interaction between every pair of edges of the tree. In this paper we review different strategies found in the literature to compute a lower bound for the QMSTP and develop new bounds based on a reformulation scheme and some new mixed 0–1 linear formulations that result from a reformulation–linearization technique (RLT). The new bounds take advantage of an efficient way to retrieve dual information from the MSTP reduced cost computation. We compare the new bounds with the other bounding procedures in terms of both overall strength and computational effort. Computational experiments indicate that the dual-ascent procedure applied to the new RLT formulation provides the best bounds at the price of increased computational effort, while the bound obtained using the reformulation scheme seems to reasonably tradeoff between the bound tightness and computational effort.     

Dual path communications over multiple spanning trees for networked control systems

The switched Ethernet networks are more and more deployed in industry. The Spanning Tree Protocol implemented in the switches enables management of the link connectivity. But the reconfiguration time of the Spanning Tree Protocol (STP) when link failure occurs is not adapted to satisfy industrial constraints. The objective of this paper is to propose a method based only on standard, mitigating the probability of disconnection between nodes having hard real-time properties. The approach developed in this paper consists of duplicating frames and of forwarding them on different paths. These paths are optimized and specified by using genetic algorithms. OPNET simulations show the interest of this proposal on a particular Networked Control System.     

生成树协议(STP)在计算机网络中的应用

生成树算法的网桥协议STP(Spanning Tree Protocol)它通过自动形成生成树使得在网络中一个透明的网桥以动态方式在复杂的网络拓扑结构中沿环状工作。网络中的环路由网桥之间通过交换配置桥协议数据单元消息来进行监测,通过关闭选择的网桥接口的方式破除环路。局域网通常由多种网络设备相互连接形成,我们只有消除网络中的环路才能有效降低广播风暴的发生,也就是说网络中的链路应组成树形的无环路结构,使用STP(生成树协议)就可以解决这样的问题。     

ABridges: Scalable,self-configuring Ethernet campus networks

This article describes a scalable, self-configuring architecture for campus networks, the ABridges architecture. It is a two-tiered hierarchy of layer two switches in which network islands running independent rapid spanning tree protocols communicate through a core formed by island root bridges (ABridges). ABridges use AMSTP, a simplified and self configuring version of MSTP protocol, to establish shortest paths in the core using multiple spanning tree instances, one instance rooted at each core edge ABridge. The architecture is very efficient in terms of network usage and path length due to the ability of AMSTP to provide optimum paths in the core mesh, while RSTP is used to aggregate efficiently the traffic at islands networks, where sparsely connected, tree-like topologies are frequent and recommended. Convergence speed is as fast as existing Rapid Spanning Tree and Multiple Spanning Tree Protocols.     

生成树协议的研究和实现

生成树协议因为能在局域网中构建无环路的逻辑拓扑结构和提供较强的网络容错功能,而在局域网的可靠性设计中得到广泛应用。论文简要介绍了局域网可靠性设计的思想和生成树协议的工作原理,重点描述了STP在交换机中的实现。     

一种交换式以太网拓扑结构的发现算法

首先介绍了目前局域网拓扑发现的主要方法及存在的问题,然后提出一个基于生成树协议 地址转发表的交换式以太网物理拓扑结构的自动发现算法.算法首先利用生成树协议建立起交换机之间的连接关系,在此基础上进一步利用地址转发表建立起交换机与主机的连接关系.该算法 1)能给发现被生成树协议阻塞的连接;2)通过处理连接冲突,能够准确无误的发现网络物理拓扑结构;3)算法开销小,时间复杂度低.文中算法已成功地应用于社区宽带综合业务网络管理系统(CBISNMS)中.     

交换机生成树环路的生成及防治

针对企业网的特点,通常都会使用冗余技术增强其架构及提高运行可持续性,但是冗余技术应用在交换网络中时由于环路的作用会产生帧重复、广播风暴及不稳定的MAC地址等问题致使网络瘫痪.本文旨在说明交换机生成树环路的生成以及如何实现冗余链路的控制工作即生成树协议的工作实现从而防止环路的危害.     

以太环网的路径保护和恢复算法的研究和实现

作为局域网主要组网技术的以太网，由于缺乏完善的OAM机制，无法提供小于50ms的路径保护和故障恢复机制，不能用于城域的环形传送网络中．本文提出了一种用于以太环网（Ethernet Ring）上的轻量级的分布式路径保护和恢复算法．该算法不同于现有的生成树算法和以太网保护技术，能够在小于50ms内实现保护倒换且避免环路，具有较好的可扩展性且开销较小．最后，文章介绍了该算法在一个基于网络处理器的路由交换系统上的具体实现．