用计算机生成网络拓扑全部树

本文介绍使用计算机生成网络拓扑全部树的思路、算法及实例。当读入一个连通图的节点数、支路数、参考节点号及每边的起、止节点号，在程序运行结束时，便会输出该图的全部生成树。使用计算机生成全部树是一种既迅速又准确的方法，具有较好的实用性。     

一种多VLAN交换的物理拓扑发现算法

针对当前网络拓扑发现算法对多VLAN交换技术支持的局限,提出在IP网络中多VLAN交换情况下的物理拓扑发现算法.该算法依据多子网属性提出一些判断多子网内设备端口互连的定理,首先排除那些不可能直接相连的端口集合,然后再对可能相连端口集合进一步筛选处理,直至可以确定最终相互连接关系的端口结合,最后得出网络拓扑结构.结合文中给出的拓扑连接图对算法进行推导,推导结果表明了这种新的拓扑发现算法的准确性和有效性,并在文中给出的网络连接图中得到验证.     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

基于生成树的网格资源发现算法

利用点对点技术的覆盖网络,提出了一种基于生成树的网格资源发现算法,通过维护并匹配邻居节点的链接资源信息位图索引,能有效地解决传统网格集中式资源发现算法缺乏动态性、可伸缩性和不能扩展等问题．仿真实验数据表明,该算法在查找过程中涉及的节点数和边数都比传统算法有明显降低,整个系统的资源发现效率大大提高．     

基于生成树的回路核

针对图的相似性问题,提出了基于生成树的回路核,其中包括基于最小生成树的回路核、基于最大生成树的回路核、基于最小生成树或最大生成树的回路核、基于最小生成树与最大生成树的回路核、基于混合生成树的回路核、基于赋权混合生成树的回路核.结果表明,所定义的基于生成树的回路核是可计算的、正定的;在实验中,回路核的识别率高于通路核的识别率,最高可达100%.     

谓词逻辑推理中证明方法的判定

数理逻辑是《离散数学》的难点之一。主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难。而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握。本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明。结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力。     

基于SNMP协议的网络拓扑发现

提高网络设备和服务管理的智能性和可操作性,对网络中的设备拓扑连接自动准确的发现以及发现结果的可视化具有重大意义。文章介绍了采用SNMP协议对网络中设备拓扑结构进行深度搜索的算法。     

基于SNMP的网络拓扑发现算法

对现有使用ICMP协议、FDB地址转发表进行网络拓扑发现的算法进行分析,提出了一种基于SNMP协议并适合校园网环境的网络层拓扑发现和链路层拓扑发现算法. 该算法能够快速准确地计算出整个被管网络的二层和三层拓扑结构.     

基于生成树的低压电力线载波的STTDA算法

针对低压电力线载波网络拓扑发现问题,以连通图的方式表达并分析智能电表节点以及节点间的关系,利用生成树集合演绎树的变化过程来完成通信网络拓扑发现,给出了节点关系的判定规则,提出一种基于生成树的低压PLC网络拓扑发现算法(STTDA),通过实验分析了STTDA算法的关键因素及实现效率.     

生成树协议分析及其实验的设计与实现

介绍了生成树协议产生的背景、技术原理以及实现过程,通过具体实验验证了生成树协议在交换以太网中的巨大用途。在交换机上使用debugging STP命令调试生成树协议相关信息以及通过端口镜像,利用协议分析软件捕获BPDU数据帧,详细展现了生成树协议工作的全过程。     

一种以太网拓扑发现算法

网络第2层设备拓扑结构的自动发现对于现代IP网络管理变得日益重要，在分析比较现有基于交换机地址转发表的拓扑发现算法的基础上，提出了一种基于网桥生成树的算法，利用SNMP获取交换机MIB中的生成树信息就能更加准确地推导出交换以太网拓扑结构。     

基于SNMP的网络层拓扑发现

随着网络技术的迅速发展,网络规模不断扩大,结构也越来越复杂,其功能也越来越强。网络管理已成为网络系统运行好坏的关键,网络的拓扑结构发现是网络管理的基础。本文通过结合传统的拓扑发现工具:Ping测试IP连通性、Traceroute发现路由器、DNS提供IP地址与主机名称间的映射、ARP表等的特点,鉴于现在越来越多的网络设备都支持SNMP协议且都含有标准的MIB信息,讨论基于SNMP的网络层拓扑发现方法。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

改进的基于拓扑分析的Steiner树近似算法

针对Berman近似算法k为3情况下的求解思想进行了改进。在使用Fibonacci堆求解出相应点对间最短距离的基础上，通过构建Voronoi域求出元组子树的耗费，并分析了Steiner树的网络拓扑结构以去除无用元组，从而简化拓扑，降低总体时间复杂度。在实验结果中，每个实例的过滤因子均大于0．9，有的甚至高达0．999，这表明大量无用的元组在进入评估阶段和构造阶段之前已被过滤掉，同时运行时间的减少也显示出改进算法在多播应用的路由寻径中更有效。     

基于层次拓扑树的虚拟机节能分配算法

为了均衡分布式数据中心物理主机多维资源的利用率,减少物理主机使用数量,节约能耗,提出了一种基于层次拓扑树的虚拟机节能分配算法HTES(hierarchical topology energy saving),此算法可以有效提升虚拟机分配效率.利用Laplacian矩阵,对大规模网络拓扑分割,建立了层次拓扑树模型.基于层次拓扑模型,根据虚拟机请求中IP地址与数据中心的距离,将虚拟机请求分组,从层次拓扑树模型中查询合适的物理主机区域,按虚拟机请求与物理主机的资源匹配度进行虚拟机的分配.将HTES与其他3种算法进行模拟仿真实验,从虚拟机分配时间、资源均衡率、能耗和物理主机使用情况等方面验证了HTES算法能够有效加快物理主机搜索速度,增加底层占用物理主机的集中度,降低底层物理主机的使用数量,达到节约能耗的目的.     

基于SNMP和ICMP的拓扑自动发现算法的分析与实现

对基于SNMP和ICMP的网络拓扑发现方法进行了分析和比较，论证将两者有效结合起来实现域内拓扑发现的算法，分别从域内拓扑图自动发现和子网内主机的发现两个层面上介绍了网络拓扑发现的分层实现。     

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

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

基于OSPF协议的网络拓扑发现技术的实现

现有的网络拓扑发现算法大多是基于ICMP和SNMP协议的,在拓扑发现的准确性、完整性、实时性以及性能方面,都或多或少地存在一些缺陷.提出利用OSPF协议实现网络拓扑发现的算法,给出了实现方法和实验结果,这种基于OSPF协议的网络拓扑发现技术可以很好地弥补现有网络拓扑发现技术的不足,具有广阔的应用前景.     

一种基于拓扑的传感器网络数据收集算法

以降低无线传感器网络通信能耗, 均衡网络能量负载为目标, 通过动态构造以节点间通信能耗为权重的最小生成树及调整节点通信概率的方法, 提出一种基于拓扑的传感器网络数据收集算法DGAT, 改造了网络服务过程中节点的通信模式及能量消耗方式. 模拟实验结果表明, DGAT算法不仅大幅度提高了网络的生存时间, 且使网络的能耗更均衡.     

基于园区网络的多层网络拓扑发现算法研究

逻辑网络拓扑发现的缺陷在于,它仅发现网络层的网络拓扑,而不发现在物理层及链路层的网络拓扑结构,且无法发现和管理虚拟网．针对这一不足,将多层网络拓扑发现的功能引入网络管理系统软件之中,提出基于园区网络、Ｗｉｎｄｏｗｓ平台的多层网络拓扑发现的算法．研究结果对制作具有自己版权的网络管理系统软件将有参考意义．