河南省科技攻关计划(122102210042)
- 作品数：11 被引量：37H指数：3
- 相关作者：庄雷胡颖马丁王国卿王从银更多>>
- 相关机构：郑州大学河南工业大学解放军信息工程大学更多>>
- 发文基金：河南省科技攻关计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 通信网络中一种基于流的异步平均一致性协议
- 2013年
- 大规模的异步通信网络中,实时获取系统级网络平均值对于指导系统进行控制决策,比如资源选择、负载均衡等,具有重要的意义。基于此,重点研究了异步网络环境中的平均一致性问题,提出了一种基于流的异步平均一致性协议FBAA。FBAA协议适用于动态的异步通信网络系统,而且运行过程不需要全局协调。实验表明该协议能够以较快的速度收敛到平均值,且收敛时间与网络规模无关。进一步通过对实验数据的统计分析,得出收敛时间与相关参数的关系以及算法达到最优收敛时间的参数设置。
- 王得洋王从银庄雷陈鸿昶
- SDN网络中基于业务划分的路由选择机制被引量：3
- 2017年
- 软件定义网络(SDN)是一种新型的网络架构,其路径是根据全局网络拓扑计算得到的。然而,当前SDN网络中依然存在负载不均衡和不能满足网络流量QoS要求的问题。为此,根据SDN控制器掌握全局网络信息的特点,结合网络感知功能和基于流量的业务划分,利用K最短路径算法,提出一种基于业务划分的路由选择机制。实验结果表明,该机制能够为不同业务类型的数据流选择一条最能满足其QoS要求的路径,并使整个网络达到负载均衡,进而提高了底层网络资源的利用率。
- 李兵奎庄雷马丁胡颖王国卿景晨凯
- 关键词：网络感知
- SDN环境下基于BP神经网络的DDoS攻击检测方法被引量：9
- 2018年
- 软件定义网络是一种全新的网络架构,集中控制是其主要优势,但若受到DDo S攻击则会造成信息不可达,也容易造成单点失效。为了有效地识别DDo S攻击,提出了一种SDN环境下基于BP神经网络的DDo S攻击检测方法。该方法获取Open Flow交换机的流表项,分析SDN环境下DDo S攻击特性,提取出与攻击相关的流表匹配成功率、流表项速率等六个重要特征;通过分析六个相关特征值的变化,采用BP神经网络算法对训练样本进行分类,实现对DDo S攻击的检测。实验结果表明,该方法在有效提高识别率的同时,降低了检测时间。通过在软件定义网络环境中的部署,验证了该方法的有效性。
- 王晓瑞庄雷胡颖王国卿马丁景晨凯
- 关键词：分布式拒绝服务攻击反向传播神经网络特征值攻击检测
- 移动支付协议PCMS的形式化分析和验证被引量：3
- 2017年
- 移动电子商务协议的形式化分析和验证是近年来移动电子商务协议的一个重要研究热点。以一个支付网关为中心的匿名的移动电子商务支付协议PCMS为研究对象,建立了PCMS协议的时间自动机模型,并用计算树逻辑CTL公式描述PCMS协议的部分性质,最后利用模型检测工具UPPAAL对PCMS协议的无死锁、时效性、有效性和钱原子性进行检测验证。验证结果表明,以支付网关为中心的匿名的安全支付协议PCMS满足无死锁、时效性、有效性和钱原子性。
- 吴格格庄雷张坤丽王国卿
- 关键词：时间自动机UPPAAL
- 基于UPPAAL的复杂定时数据建模
- 2014年
- 针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法。该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间。采用轮询策略周期性地检查数据的生存时间并更新数据。以路由协议中的链路保持特性为例,在建模过程中运用所提出的方法,对路由协议的链路保持功能和链路断开的敏感性进行验证。结果表明,这种建模方法可应用于复杂定时数据的建模。
- 李真王从银庄雷
- 关键词：时间自动机UPPAAL
- 基于自适应协同进化粒子群算法的虚拟网节能映射研究被引量：3
- 2016年
- 该文针对虚拟网节能映射问题提出自适应的协同进化粒子群算法。首先,为虚拟网节能映射问题设置了聚合度,该聚合度被用于自适应地选择粒子的搜索方式,即随机搜索、种内搜索或种外搜索。其次,根据粒子群的进化结果,自适应地确定是否终止对子群的搜索。最后,在常用的测试环境下进行了仿真实验,对映射的能耗效果对比了结果,实验结果表明了所提算法的高效性。
- 胡颖庄雷兰巨龙马丁
- 关键词：协同进化自适应算法粒子群算法
- 一种模型检测精确加速的判断方法被引量：1
- 2014年
- 在实时系统中具有不同的时间度量,在用时间自动机进行建模及验证时会引起片段问题,通常的解决办法是向时间自动机添加一个附加环,但是在片段数量较少或片段不满足一定条件时,添加附加环的加速效果并不明显,甚至会降低验证速度。对此,本文提出一种模型检测精确加速的判断方法,通过分析加速过程中的主要参数,推导出了精确加速是否有效的判断条件。实验结果表明,利用这个判定条件可以准确地判断模型是否需要加速。
- 勾利杰李真王从银庄雷
- 基于Petri网的网络服务自动组合方法研究
- 2015年
- 针对网络服务的自动组合问题,提出了一种考虑端系统输入/输出请求的自动组合方法。将网络服务功能转化为Petri网中的变迁,输入请求与输出期望转化为库所;构建3种网络服务组合模型,通过对这些基础组合模型的再组合及分析,可以实现更复杂、功能更优的网络服务组合。通过T向量技术可判定是否存在满足用户需求的网络服务组合。
- 徐金卯马丁宋玉庄雷
- 关键词：网络服务PETRI网
- 基于混合遗传算法的虚拟网络映射方法研究被引量：3
- 2016年
- 虚拟网络映射是网络虚拟化研究的关键内容,利用传统遗传算法解决虚拟网络映射问题,由于遗传算法本身的缺点使得问题容易过早进入局部最优解,且收敛速度慢.在基本遗传算法中加入改进的单纯形算法,以最大化In Ps的收益为目标,建立混合整数线性规划(MILP)模型,提出VNE-M-GA的虚拟网络映射算法.该算法利用单纯形法预估寻优方向,遗传算法和单纯形法迭代优化映射方案,尽可能的避免局部最优.实验结果表明该方法解决虚拟网络映射问题,与现有算法实验结果相比,一定程度改进了早熟收敛问题,提高了In Ps总收益与虚拟网络请求接受率.
- 刘佳宋涛胡颖庄雷
- 关键词：混合整数规划遗传算法单纯形法
- 一种动态自调节的SDN控制器负载均衡算法被引量：8
- 2016年
- 为了解决交换机与控制器之间的静态配置会造成控制器间负载的不均衡问题,综合考虑控制器的实时负载和其自身的处理能力,提出一种基于交换机迁移机制的动态自调节的负载均衡算法。该算法可根据系统整体的负载自动选择分配负载的控制器,保证性能高的控制器分配到较多的负载,从而解决多控制器间负载不均衡问题。实验表明,该算法能有效提高系统平均吞吐量及降低平均响应时延,达到更好的负载均衡效果。
- 杨思锦庄雷胡颖
- 关键词：SDN负载均衡
