OSPF路由选择协议研究

OSPF是新型的路由选择协议,被广泛应用于大型网络之中.从阐述OSPF的结构模型入手,分析了OSPF在一个区中的工作机制,以及各区之间路由信息的交换.     

ActiveX技术在分布式监控系统中的应用

对于复杂的分布式监控系统,应用ActiveX技术设计设备控件,封装设备属性和动作,容易实现监控系统界面上众多设备的状态更新和用户控制,系统易于扩展,而且可大大提高系统界面的设计效率。     

IEEE 802.1x 认证技术的原理和应用

介绍了IEEE802．1x协议的起源、体系结构、技术特点等，指出了需要认证的端口有受控和非受控两种状态，没有通过认证前，只有EAP报文可以通过端口到达认证服务器，认证通过后，其他数据报文才可以通过。     

生成子图与图的哈密顿性质

主要证明了以下结果；１．如果Ｇ是一个连通的无爪的非哈密顿图，则Ｇ至少有一条长为２δ＋的路。２．如果Ｇ是一个２连通的无爪图，且δ（ｐ－２）／３，则Ｇ是可迹的。３．Ｇ是一个２连通的无爪图，且不含生成子图Ｂ工Ｇ１，如果Ｇ的每个朵匀于Ｚ２的生成子图都满足ψ（α１，ｂ１）ˇψ（α１，ｂ２），则是Ｇ是泛圈图。     

外平面图结构性质的若干问题

研究了外平面图的结构性质，得到了外平面图的边数可达的上界，并且推得外平面图均第Ｉ类图的结论。     

Hamilton图的一个充分条件

本文证明了如下结果：Ｇ是简单图满足条件：对Ｇ中任一对不相邻顶点，ｕ，ｖ有ｍａｘ（ｄ（ｕ），ｄ（ｖ））＋／Ｎ（ｕ）∪Ｎ（ｖ）／≥ｎ－１；且对任意Ｔ∈Ｖ（Ｇ），有ω（Ｇ／Ｔ）≤／Ｔ／，则Ｇ是Ｈａｍｉｌｔｏｎ图。     

基于C／S结构的WWW与数据库的集成

对基于Ｃ／Ｓ结构的ＷＷＷ与数据库的集成问题作了初步探讨，并分析了当前ＷＷＷ与数据库的几种集成方式     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于NAT-PT的IPv4/IPv6转换网关的研究

随着Internet和IPv6的发展,出现了IPv4网与IPv6网共存的局面。使用NAT-PT、SIIT技术的转换网关可以实现IPv4网节点与IPv6网节点的直接通信。该技术包括3个功能模块:IPv4到IPv6地址绑定、IPv4与IPv6协议转换和应用层协议转换;转换网关是在Linux平台的Netfilter过滤框架相关钩子点挂载转换网关功能模块实现的。