文件名称：模型检测网络传播干预策略* (2014年)
文件大小：640KB
文件格式：PDF
更新时间：2024-05-31 15:58:31
工程技术 论文
网络广泛存在于自然界和人类生活中，计算机病毒、传染疾病、森林火灾和社会流言等在网络中的传播给经济、社会带来巨大挑战，寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题。对受时间和邻接点影响的网络传播模型进行了重点关注，在已有静态保护工作的基础上，进一步研究了动态保护情况，总结了4类相关的干预策略分析问题；通过将干预目标描述为相应的时序逻辑属性，给出了通过模型检测找出有效的干预策略以抑制传播的方法。针对随机和小世界两种网络，比较分析了NuSMV和SPIN两种模型检测工具在解决具体网络传播干预策略问题