庄雷
- 作品数：131 被引量：729H指数：14
- 供职机构：郑州大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划河南省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信自然科学总论文化科学更多>>
- 基于模型检测的多轮FR协议验证被引量：1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词：电子商务协议时间自动机UPPAAL
- 基于Petri网的网络服务自动组合方法研究
- 2015年
- 针对网络服务的自动组合问题,提出了一种考虑端系统输入/输出请求的自动组合方法。将网络服务功能转化为Petri网中的变迁,输入请求与输出期望转化为库所;构建3种网络服务组合模型,通过对这些基础组合模型的再组合及分析,可以实现更复杂、功能更优的网络服务组合。通过T向量技术可判定是否存在满足用户需求的网络服务组合。
- 徐金卯马丁宋玉庄雷
- 关键词：网络服务PETRI网
- 基于Gnutella协议与划分技术的P2P网络模型的设计与实现被引量：10
- 2004年
- Peer-to-Peer是一种很有发展潜力的网络技术,在对等计算、协同工作、搜索引擎、文件交换等领域有很好的应用前景。在传统的P2P网络模型中,网络上的所有主机不管它们所处的距离远近,它们的地位都是一样的,这在实际应用中却行不通。针对这种情况,在新的模型中将网络划分为不同的子网,子网内与子网外的主机分别对待。在子网内,采用IP多播技术自动定位主机节点;在子网外,则采用手工输入和自动发现相结合的方法来定位主机节点。在查询机制中,也对内部网络和外部网络采用了不同的查询方法并用Java实现了该模型。
- 庄雷郭永强潘春建
- 关键词：GNUTELLA短路效应IP多播
- P2P环境中的一种信任模型被引量：8
- 2008年
- 提出一种新的信任模型,将用户提供服务和进行推荐的能力进行区分,用推荐信任表示用户的推荐能力,根据用户的历史交易经验和系统中其他用户的推荐来计算节点的综合信任度,用户依据计算结果选择交易对象,交易结束后给出信任评价,进行相应的反馈.仿真试验表明,模型能有效评估节点的信任度,提高系统的可用性.
- 董西广庄雷常玉存
- 关键词：对等网络信任模型
- 一种利用实时监控进行人脸识别替考考生的方法及装置
- 本发明涉及考生身份识别领域，特别是涉及一种利用实时监控进行人脸识别替考考生的方法及装置；包括，识别进场考生身份证件信息；根据证件信息确认考生信息与证件信息的一致性；根据证件信息获取该人证件面部特征信息；捕捉进场考现场面部...
- 宋涛庄雷
- 文献传递
- 基于随机性和文件块相似性的结点选择策略被引量：1
- 2010年
- 为了提高对等网文件共享系统的服务性能,增强文件共享过程的延续性,通过对比分析目前典型的P2P网络应用BitTorrent和基于临近节点聚类的BitTorrent文件共享系统中的邻居节点选择策略的优点和不足,提出了一个优化的邻居结点选择策略,服务器tracker为结点优先选择与其具有相近文件块数的结点作为其邻居结点的同时,采用基于随机性的策略来提高文件共享过程的延续性。最后,模拟实验结果表明,该策略提高了共享系统的延续性和服务性能,具有很好的文件共享效率,有效地抑制了"搭便车行为"。
- 侯得果庄雷
- 关键词：对等网延续性BITTORRENT共享效率搭便车行为
- 基于离散粒子群优化的多目标服务路径构建算法被引量：5
- 2017年
- 针对当前关于服务路径构建问题的研究主要围绕单一优化目标,构建时延最小、开销最低或负载均衡的服务路径,忽略了服务路径的综合质量,提出了一种基于离散粒子群优化的多目标服务路径构建算法(MOPSO)。为了提高收敛速度,优化算法的性能,进一步研究了候选节点和路径的评价标准,提出一种粒子位置初始化和更新策略(PIFC)。仿真实验表明,与已有算法相比,所提出的算法有效地优化了服务路径的质量,提高了服务路径的构建成功率和长期平均收益。
- 马丁庄雷兰巨龙
- 关键词：服务链多目标粒子群优化
- 认证技术在P2P网络中的应用研究被引量：16
- 2005年
- 本文首先简要描述了传统客户服务器模式下的身份认证概念和身份认证机制,综合分析现有认证机制的缺点,提出了一种改进的身份认证机制;然后结合P2P网络的特点,分析了P2P技术三种基本应用实例的安全需求;最后给出了认证机制在P2P网络中的应用。
- 孙鹏黄鑫庄雷
- 关键词：P2P网络身份认证机制客户服务器模式P2P技术安全需求
- 平衡时空的自适应多级流表构建方法被引量：2
- 2017年
- 为有效解决多级流表因压缩流表项空间引起的网络延迟问题,提出一种平衡时空的自适应多级流表构建方法。把流表空间划分为实时更新区和多级流表存储区;通过研究流表资源的压缩率和网络延迟之间的平衡关系,提出多级流表的级数约束不等式组;基于级数约束不等式组和匹配域的重复率,将单流表划分为多级流表,实现流表项的鲁棒性压缩存储和快速查找。实验结果表明,该方法鲁棒地压缩了流表项,节约了流表的存储空间,减少了因压缩流表项空间引起的网络延迟,提高了交换机的数据转发量。
- 史少平庄雷马丁胡颖王国卿
- 关键词：重复率
- 可重构网络中的一种新型端到端服务供应模型被引量：1
- 2017年
- 现有服务承载网的构建方法均未考虑用户请求所属的业务类别,导致业务承载与服务供应缺少有效的串联.针对该问题,提出了一种新型的端到端服务供应模型,从承载同类别业务的角度构建服务承载网,通过在服务承载网上构建服务路径提供可定制的端到端服务.为验证模型的可行性和有效性,设计了一种基于跳数约束的服务承载网构建算法,并使用经典的Layered Graph算法构建服务路径.实验结果体现了在不同的负载压力下,跳数约束对开销、收益、接受率、路径长度等性能评价指标的影响,从而验证了模型和算法的有效性,提供了性价比最优的服务承载网构建决策.当跳数约束等于3时,取得了与跳数约束等于4或5时相近的性能,同时分别节省了约50%或75%的构建开销.
- 马丁庄雷兰巨龙慕小武
- 关键词：可重构网络
