-
公开(公告)号:CN110430094B
公开(公告)日:2021-01-19
申请号:CN201910704175.3
申请日:2019-07-31
Applicant: 西安交通大学
IPC: H04L12/26
Abstract: 本发明公开一种SDN中基于主动探测的探测包生成方法,包含以下SDN网络中的OpenFlow交换机及控制器、交换机上安装的流表、交换机拓扑、流表监听单元、生成算法,生成算法主要由针对入端口将流表分组为子表、按照匹配域中的精确匹配域和通配域对子表中的每个流表项建立索引、选择入端口并建立探测生成包队列、将探测包注入子表中进行匹配、收集匹配结果这几步组成。本发明可以保证针对全网的交换机生成探测包,同时在秒级完成对于约7万条规则的探测包生成。
-
公开(公告)号:CN106572170A
公开(公告)日:2017-04-19
申请号:CN201610961204.0
申请日:2016-10-28
Applicant: 中国电子科技集团公司第五十四研究所 , 西安交通大学
CPC classification number: H04L67/1008 , H04L41/044 , H04L67/1025 , H04L67/1031
Abstract: 本发明公开了一种控制器和SDN分层多控制器下的动态负载均衡方法,控制器100包括:负载读入单元101、负载检测单元102、均衡负载计算单元103和均衡负载决策单元104;负载读入单元101用于父控制器收集各个子控制器的CPU和Memory负载信息;负载检测单元102用于检测控制器集群中出现的负载现象;均衡负载计算单元103用于求解控制器与负载连接的最优分配方案;均衡负载决策单元104用于决策均衡负载的具体方案——迁移负载或更新控制器数量。均衡负载决策单元104结束后回到负载读入单元101,重复执行。
-
公开(公告)号:CN106452850A
公开(公告)日:2017-02-22
申请号:CN201610846925.7
申请日:2016-09-23
Applicant: 西安交通大学
CPC classification number: H04L41/12 , H04L41/085 , H04L41/145 , H04L43/06 , H04L43/0876
Abstract: 本发明提供了一种SDN控制器性能测试方法及系统,SDN控制器性能测试系统包括拓扑和流量信息读入单元,网络拓扑仿真单元,网络流量生成单元,流量统计单元,数据存储单元和性能计算单元;通过仿真多种拓扑结构和生成不同特征的网络流量,对多控制器的性能进行测试,而且,测试系统模块化的设计使得性能计算更加灵活,可以根据多种性能指标进行计算。
-
公开(公告)号:CN111193640B
公开(公告)日:2021-07-13
申请号:CN201911368837.0
申请日:2019-12-26
Applicant: 西安交通大学
Abstract: 本发明公开了采用策略分解和符号执行的有状态数据平面故障检测方法,通过构建网络功能模型和分解上下文相关策略,使用符号执行引擎进行符号执行,生成原始测试用例;然后将原始测试用例翻译为符合数据流量规范的合法测试数据流;将测试数据流注入数据平面;比较实际测试数据流处理结果和测试数据流理论处理结果,从而实现有状态数据平面故障检测,对网络功能内部逻辑进行建模,能够对中间网络设备的内部逻辑进行验证,可以处理数据平面由于软件错误、硬件故障等产生的运行时故障;使用测试数据流进行检测,可以直接检测数据平面的状态,具有良好的可扩展性。利用策略分解和符号执行降低需要探索的状态空间大小,提高故障检测的可扩展性。
-
公开(公告)号:CN111193640A
公开(公告)日:2020-05-22
申请号:CN201911368837.0
申请日:2019-12-26
Applicant: 西安交通大学
Abstract: 本发明公开了采用策略分解和符号执行的有状态数据平面故障检测方法,通过构建网络功能模型和分解上下文相关策略,使用符号执行引擎进行符号执行,生成原始测试用例;然后将原始测试用例翻译为符合数据流量规范的合法测试数据流;将测试数据流注入数据平面;比较实际测试数据流处理结果和测试数据流理论处理结果,从而实现有状态数据平面故障检测,对网络功能内部逻辑进行建模,能够对中间网络设备的内部逻辑进行验证,可以处理数据平面由于软件错误、硬件故障等产生的运行时故障;使用测试数据流进行检测,可以直接检测数据平面的状态,具有良好的可扩展性。利用策略分解和符号执行降低需要探索的状态空间大小,提高故障检测的可扩展性。
-
公开(公告)号:CN112069787B
公开(公告)日:2024-10-29
申请号:CN202010880971.5
申请日:2020-08-27
Applicant: 西安交通大学
IPC: G06F40/205 , G06F40/242 , G06N3/049 , G06N3/08 , G06N3/0464
Abstract: 本发明公开了一种基于词嵌入的日志参数异常检测方法,1.将日志中的所有参数解析出来,并将所有参数中的离散参数单独划分出来;2.将离散参数转换为连续的参数词向量;3.使用长短期记忆神经网络模型训练参数词向量,使用训练完成的参数词向量预测后续目标时刻的参数词向量;4.使用余弦相似度来确定预测参数词向量与目标参数词向量的关联程度,通过关联程度计算损失值,从而将损失值反馈网络,进行更新和优化模型,直至收敛;5.获取日志进行参数异常检测,计算预测参数和目标参数的余弦相似度,余弦相似度低于阈值则为检测到日志参数异常。能够有效解决因参数动态性和差异性带来的检测瓶颈,提升日志检测整体的准确率。
-
公开(公告)号:CN116614375A
公开(公告)日:2023-08-18
申请号:CN202310745072.8
申请日:2023-06-21
Applicant: 西安交通大学
IPC: H04L41/0866 , H04L41/0803 , H04L41/0894
Abstract: 本发明涉及计算机网络配置验证技术领域,具体为一种计算机网络的配置形式化验证方法及系统,从待验证属性出发,根据配置指令之间存在的依赖关系来多次遍历配置语法分析树,进而提取与待验证属性相关的配置指令。当获得相关配置之后,可以选择合适的控制平面验证工具来分析待验证属性是否成立。本发明通过计算与待验证属性相关的配置指令,减少待分析的网络规模,可以显著改善现有的控制平面验证工具的可扩展性,如显著减少验证时间,显著降低内存消耗,使得验证工具能够应用于现实世界中大规模复杂网络的分析;由于使用自定义的配置指令依赖关系,因而易于修改依赖关系来适应新的网络特性、新的配置格式和新的配置语义等。
-
公开(公告)号:CN108549684B
公开(公告)日:2020-08-18
申请号:CN201810300982.4
申请日:2018-04-04
Applicant: 西安交通大学
IPC: G06F16/957 , G06F16/951 , G06F16/953 , G06F16/9532
Abstract: 本发明公开了一种SDN中采用多路搜索缩减规则依赖的缓存方法,包括如下步骤,步骤1,刻画用于规则选择的指标;步骤2,当交换机容量为N时,选取规则权重取前N大规则作为初始结果集;步骤3,将结果集中的规则按依赖关系划分成多个候选子集;步骤4,补全每个候选子集的依赖关系;步骤5,去除候选子集包含的规则,以候选子集作为起始进行多路搜索,选取规则使规则总数等于交换机总容量;步骤6,从候选子集中选取总权重最大的规则集作为目标集;步骤7,将目标集所包含的规则缓存至交换机。利用覆盖集的灵活性构造多种规则缓存方案,对依赖链上的低权重的规则进行缩减,节省交换机存储空间的同时将权重高的规则尽可能多的缓存起来。
-
公开(公告)号:CN110535723A
公开(公告)日:2019-12-03
申请号:CN201910798422.0
申请日:2019-08-27
Applicant: 西安交通大学
Abstract: 本发明公开了一种SDN中采用深度学习的消息异常检测方法,采用滑动窗口的方法将流式消息转化为消息序列与预测消息之间的映射,通过学习历史消息,预测一个指定消息序列所对应的输出概率,该方法可以有效的考虑历史消息对下一跳消息的影响,并能支持实时的异常检测;将预测概率中前k高的消息均视为正常消息,克服了动态策略下预测消息不唯一的问题。对消息id与参数向量中参数进行分别预测,当新到达的消息所有参数均通过检测时,才被判断为正常消息。而当出现检测失败的情形,则将正确的消息序列与预测消息作为新的输入进行增量训练,这解决了现有技术无法适应时变性网络的问题,在动态网络中也能正常运行。本发明方法简单,检测结果准确。
-
公开(公告)号:CN103716803B
公开(公告)日:2017-06-27
申请号:CN201310647622.9
申请日:2013-12-03
Applicant: 西安交通大学
Abstract: 本发明公开了一种无线传感器网络中继节点部署方法,包括以下步骤:1)获取基站、传感器节点的部署位置以及中继节点的部署候选位置,构造异构通信图;2)根据异构通信图,选取能够k跳覆盖所有传感器节点的最少中继节点的第一集合XA;3)根据第一集合XA、基站的部署位置以及中继节点的部署候选位置,构造具有边权重的转发通信图;4)根据转发通信图,获取能够连通第一集合XA与基站的最小中继节点的第二集合XB;5)合并第一集合XA与第二集合XB,构造最终解。该无线传感器网络中继节点部署方法能够保证网络的连通性,确保每个传感器节点都存在至少一条路径与基站连通,保证了网络连通性的前提下,尽可能部署最少的中继节点。
-
-
-
-
-
-
-
-
-