王国卿
- 作品数：24 被引量：62H指数：4
- 供职机构：郑州大学信息工程学院更多>>
- 发文基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种端系统协议栈的构造方法及该端系统接入服务承载网的方法
- 本发明涉及一种在具有重构功能的网络中端系统协议栈的构造方法及该端系统接入服务承载网的方法，通过应用层与可重构多态网络层的扩展与构造、在应用层增加可重构网络的应用程序接口来构造面向可重构网络的端系统协议栈，实现端系统到可重...
- 马丁庄雷王瑞民兰巨龙齐歌胡颖王国卿
- 文献传递
- 基于时间自动机的物联网网关安全系统的建模及验证被引量：20
- 2018年
- 物联网是一个多网异构融合网络,其感知层常面临各类安全威胁。物联网网关作为感知层和网络层的桥梁,应当具备安全管理功能,防止安全问题向上层扩散。针对物联网网关目前安全方面的不足,以物联网网关中间件技术为平台,设计一个通用的物联网网关安全系统。该系统可以嵌入不同的安全协议或算法,然后进行建模与分析,能够辅助安全网关的设计和具体实现。利用时间自动机对系统进行形式化建模与验证,验证结果表明物联网网关安全系统满足机密性、可用性、真实性、顽健性、完整性和新鲜性6项安全需求。
- 王国卿庄雷王瑞民宋玉张坤丽
- 关键词：物联网网关安全系统中间件时间自动机
- 基于元胞遗传机制的虚拟网络映射算法被引量：3
- 2018年
- 满足节点和链路约束条件的虚拟网络请求最优映射问题是NP-难问题,粒子群算法和遗传算法等启发式算法是解决这类问题的主要手段。这类启发式算法从数学模型优化的角度来求解问题,但未考虑虚拟网络映射节点本身的变化对最优解的影响,存在收敛速度较慢和容易陷入局部最优解的问题。文中将元胞遗传机制引入虚拟网络映射问题中,提出了虚拟网络映射算法VNE-CGA。该算法利用元胞自动机对节点建模,使用"B4567/S1234"规则来替代传统遗传算法中的交叉操作;通过对邻居的学习来指导个体的寻优过程,弥补了传统遗传算法的固有缺陷,最终提高了虚拟网络请求的接受率以及底层物理网络的运营收益。
- 王明庄雷王国卿张坤丽
- 关键词：元胞自动机遗传算法元胞遗传算法
- 一种防烫伤奶瓶
- 本实用新型公开了一种防烫伤奶瓶，包括奶瓶主体和瓶盖，所述奶瓶主体包括内壁和外壁，内壁和外壁之间为中空结构并且在瓶口处闭合，内壁的底部设置有温控器，所述瓶盖与奶瓶主体之间设置密封条并且通过开关装置活动连接，所述奶瓶主体的外...
- 王国卿刘涛涛施伟斌于婉婉
- 文献传递
- 基于纳什议价的虚拟网多目标映射算法被引量：2
- 2019年
- 请求接受率和节能是虚拟网映射过程中两个至关重要的指标,然而当前虚拟网映射问题的研究仅考虑单一指标,忽略了两者之间的关联和制约,导致虚拟网映射整体性能下降。该文提出一种基于纳什议价的虚拟网多目标映射算法(MOVNE-NB):利用博弈论谈判技术,在纳什议价的框架下协商虚拟网映射的合理解;提出公平议价机制,避免参与人自私决策而导致议价失败。实验表明,MOVNE-NB算法不仅能产生一个帕累托有效解,且实现了请求接受率和节能的公平折中。
- 和孟佯庄雷龙卫兵王国卿
- 关键词：节能
- 一种取款机
- 本实用新型提供一种取款机，包括：二维码扫描器和解码器；所述二维码扫描器，用于扫描用户终端上的银行卡密码二维码；所述解码器，用于将所述银行卡密码二维码解码成银行卡密码，将所述银行卡密码发送至所述取款机处理器。本实用新型提供...
- 李兵奎庄雷王瑞民宋玉王国卿
- 文献传递
- 一种面向可重构网的Agent系统
- 本发明公开了一种面向可重构网的Agent结构，连接管理模块用于管理Agent与端系统、Agent与网络节点以及Agent与其它Agent的连接建立与通信；资源管理模块用于管理网络拓扑资源、节点计算资源、链路带宽资源和节点...
- 马丁宋玉周兵胡宇翔胡颖王瑞民张坤丽王国卿庄雷
- 文献传递
- 区块链智能合约安全的逆向实时模型检测方法被引量：6
- 2020年
- 区块链中的智能合约具有不可篡改性、去中心化、自治化等优点,使分散应用程序能够在缺乏信任的环境中实现交互和融合.若智能合约自身存在安全隐患,可能会威胁到用户的个人信息和财产安全,造成难以预估的损失.针对智能合约存在的安全问题,提出了基于时间自动机的区块链智能合约安全性的逆向模型检测方法.采用逆向方法对以太坊中的智能合约源代码进行分析,提取合约的逻辑流程,并进一步分析合约是否存有明显的安全隐患,若有则对合约代码进行优化或改进;针对智能合约采用模型检测的方法进行合约建模、性质刻画及自动验证.若验证通过则证明改进合约满足安全性质,否则通过反例找出代码漏洞继续对合约进行优化.以投票合约为实例对所提逆向方法进行具体介绍,证明了所提方法的有效性,能够保证改进后的投票合约系统的完备性与安全性.
- 李书霞王国卿庄雷
- 关键词：时间自动机区块链形式化验证
- 基于顾问引导搜索的虚拟网络映射算法
- 2020年
- 针对虚拟网络映射问题,提出了一种基于顾问引导搜索的虚拟网络映射算法。综合考虑节点CPU、节点度、邻接带宽资源,结合元启发式顾问引导搜索算法进行虚拟网络映射。实验结果表明,与EAJTA-VNE算法和ANT-VNE算法相比,所提CGS-VNE算法在虚拟网络请求资源需求较低、资源需求中等、资源需求较高等环境下均有较高的请求接受率和收益成本比,缩短了映射时间。
- 刘文覃庄雷和孟佯田帅魁宋玉王国卿
- 关键词：虚拟网络映射算法网络拓扑
- 一种垃圾分类自动识别设备
- 本实用新型公开了一种垃圾分类自动识别设备，包括停车台、基座、工作室、主动滚轮、传送带、从动滚轮、仓门、可回收弹板、动力转轴、不可回收弹板、电动机、可回收垃圾仓、不可回收垃圾仓、检测设备、摄像头、数据处理器、储存仪器和数据...
- 王国卿庄雷张坤丽宋玉王瑞民
- 文献传递
