一种在MPLS网络中基于SNMP的显式路由获取算法

显式路由技术在多协议标签交换网络中得到广泛的应用，因此利用SNMP MIB库中的信息，重新设计了数据结构，实现了获取显式路由算法，得出按跳数排列的显式路由，并构建网络测试了该算法的收敛速度。在实验数据分析的基础上，对算法做了改进，给出了改进前后的性能比较。测试结果表明，在收敛时间小量增加的同时。提高了获取显式路由的准确性。     

基于广度优先的网络拓扑发现算法及实现

介绍了一种基于广度优先的网络拓扑发现算法。实践证明，该算法发现速度快，生成的拓扑能很好地满足实际管理需求。     

局部dcpo和相容dcpo的交连续性

在局部dcpo和相容dcpo中引入了交连续的概念，并证明了它们在半格情况下等价．本的主要结果是定理1，定理2，定理3．     

LF闭包空间的仿紧性

在LF闭包空间中,引入α-包域、α--包域族等概念,并以此定义了F紧集、F仿紧集和F乘积空间.给出了F紧集和F仿紧集的特征刻画.证明了F紧集是F仿紧集,F仿紧性是F可乘性.     

L-smooth拓扑空间的连通性

对L-smooth拓扑中的每一个模糊集引入了连通度的概念,并讨论了其性质.     

QoS路由仿真器的设计与实现

随着QoS路由技术的发展，研究人员不断地提出新的QoS路由算法以满足多媒体业务的服务质量需求。实用的QoS路由算法在应用之前除了严密的理论分析之外，还需要足够的实验来进行实际验证。在没有实际的路由实验环境下，有必要设计性能良好的QoS路由仿真平台进行仿真实验。设计并实现了一个通用的、简单的、开放性强的QoS路由仿真器QRSIM，为QoS路由算法的性能测试构建出真实、准确的仿真平台。对随机网络拓扑生成算法进行了研究，重点分析了QRSIM的总体框架和各功能模块的实现，并给出仿真实例验证了QRSIM的可靠性和有效性。     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

基于最优化原理和分层模型的配电网负荷均衡

配电网负荷均衡是降低配电网线损、优化配电网运行的一个目标，随着配电网顶点数量的增加，可能的负荷组合数量急剧增加，基于传统电网模型的优化方法难以实现负荷最优组织，笔者分析了配电网负荷均衡的特点，并将该特点与最优化原理相结合，采用分层的拓扑模型为手段，提出了配电网各源点的负荷最优均衡的原理及原理的实现算法，从而将最优问题转为多阶段决策问题，并实现了配电网的负荷最优均衡。     

基于Lon总线的分布式直流系统绝缘监察技术

分析了目前变电站和发电厂中直流系统绝缘监察方法的不足 ,提出了一种基于 Lon-Works现场总线的直流系统分布式绝缘监察技术 ,此技术可以实现直流系统中各支路和设备的实时在线绝缘监察