余鹏
- 作品数：7 被引量：2H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 桨尖喷气式恒频率输出人力直升机
- 本实用新型公开了桨尖喷气式恒频率输出人力直升机，涉及人力直升机领域，能够在不增加旋翼数的条件下，利用人力直升机旋翼直径长的特点，为喷气提供长力臂，并加装了动力输出控制装置，以恒定的频率驱动旋翼旋转。本实用新型包括：机架、...
- 余鹏嵇华娟陆洋凌畅
- 文献传递
- 网络防护策略的概率模型检测方法
- 本发明公开了一种网络防护策略的概率模型检测方法，包括以下步骤：1）根据对应网络的特点建立相应的传播模型，获取具体传播网络的相关参数值并储存；2）根据防护策略问题的类型、具体要求及概率值生成模型检测语言表示的程序和时序逻辑...
- 魏欧余鹏牛耘
- 文献传递
- 基于模型检测的网络传播干预策略问题研究
- 网络广泛存在于自然界和人类生活中。网络中的各种有害传播给经济、社会、生态等带来巨大挑战，寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。本文从两个方面研究了采用模型检测技术解决网络传播干预策略问题的方法:（i...
- 余鹏
- 关键词：网络传播干预策略
- 文献传递
- 概率模型检测的网络传播干预策略被引量：1
- 2017年
- 网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.
- 李宙洲魏欧郭宗豪余鹏韩兰胜
- 关键词：概率模型检测形式化方法
- 概率网络传播的干预策略验证
- 2014年
- 在现实生活中,疾病,病毒和火情等在人群、计算机、森林等网络中的传播可以对社会造成严重的影响,可能大规模疫情的爆发,计算机的大规模瘫痪,或者火情的急剧蔓延,其带来的损失是无法估量的。因此,设计合理的干预策略,即在网络传播线路中选取适当的个体,通过注射防疫针,安装软件补丁,分配消防人员等各种方式,对各种危害进行有效地控制,具有重要的使用价值。文章以概率网络传播模型为研究对象,然后采用时序逻辑表示出相应的干预策略目标并通过概率模型检测方法找出有效的干预策略。
- 傅亚煌余鹏
- 关键词：概率模型检测干预策略
- 网络防护策略的概率模型检测方法
- 本发明公开了一种网络防护策略的概率模型检测方法，包括以下步骤：1）根据对应网络的特点建立相应的传播模型，获取具体传播网络的相关参数值并储存；2）根据防护策略问题的类型、具体要求及概率值生成模型检测语言表示的程序和时序逻辑...
- 魏欧余鹏牛耘
- 文献传递
- 模型检测网络传播干预策略被引量：1
- 2014年
- 网络广泛存在于自然界和人类生活中,计算机病毒、传染疾病、森林火灾和社会流言等在网络中的传播给经济、社会带来巨大挑战,寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。对受时间和邻接点影响的网络传播模型进行了重点关注,在已有静态保护工作的基础上,进一步研究了动态保护情况,总结了4类相关的干预策略分析问题;通过将干预目标描述为相应的时序逻辑属性,给出了通过模型检测找出有效的干预策略以抑制传播的方法。针对随机和小世界两种网络,比较分析了NuSMV和SPIN两种模型检测工具在解决具体网络传播干预策略问题中的优缺点。实验结果表明,NuSMV的内存使用量较少,但运行时间较多,对于动态可恢复问题的6次实验中有3次超时;SPIN运行时间较少,但内存使用量较大,对于静态不可恢复问题的6次实验中有1次内存超出。
- 余鹏魏欧韩兰胜牛耘
- 关键词：网络传播干预策略
