模型检测网络传播干预策略

• 作者: 余鹏 牛耘 韩兰胜 魏欧
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 模型检测 网络传播 干预策略
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 学术研究
• 页码范围: 906-918
• 页数: 13页
• 分类号: TP311
• 字数: 11860字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1401020

摘要

网络广泛存在于自然界和人类生活中，计算机病毒、传染疾病、森林火灾和社会流言等在网络中的传播给经济、社会带来巨大挑战，寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。对受时间和邻接点影响的网络传播模型进行了重点关注，在已有静态保护工作的基础上，进一步研究了动态保护情况，总结了4类相关的干预策略分析问题；通过将干预目标描述为相应的时序逻辑属性，给出了通过模型检测找出有效的干预策略以抑制传播的方法。针对随机和小世界两种网络，比较分析了NuSMV和SPIN两种模型检测工具在解决具体网络传播干预策略问题中的优缺点。实验结果表明，NuSMV的内存使用量较少，但运行时间较多，对于动态可恢复问题的6次实验中有3次超时；SPIN运行时间较少，但内存使用量较大，对于静态不可恢复问题的6次实验中有1次内存超出。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牛耘	南京航空航天大学计算机科学与技术学院	24	86	5.0	8.0
2	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
3	韩兰胜	华中科技大学计算机学院	39	289	8.0	15.0
4	余鹏	南京航空航天大学计算机科学与技术学院	7	4	1.0	1.0