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

摘要 网络普遍存在于自然界和人类社会中，计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律，引入了概率网络传播模型，将干预目标描述为相应的概率时序逻辑属性，提出了概率情况下的网络传播干预策略问题；进一步，以离散的邮件病毒传播模型为研究对象，重点分析了安装防护，定期防护两种防护措施，给出了相应的干预策略分析问题；并且，采用概率模型检测工具PRISM，结合近似模型检测方法，进行了实验分析