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

摘要：

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

关键词：模型检测、网络传播、干预策略

分类号：TP311(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant Nos.61170043,61272033,61202132;the National Basic Research Program of China under Grant No.2014CB744904国家重点基础研究发展计划973计划

在线出版日期：2014-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：906-918