-
题名概率网络传播的干预策略验证
- 1
-
-
作者
傅亚煌
余鹏
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《电脑与信息技术》
2014年第4期29-32,共4页
-
文摘
在现实生活中,疾病,病毒和火情等在人群、计算机、森林等网络中的传播可以对社会造成严重的影响,可能大规模疫情的爆发,计算机的大规模瘫痪,或者火情的急剧蔓延,其带来的损失是无法估量的。因此,设计合理的干预策略,即在网络传播线路中选取适当的个体,通过注射防疫针,安装软件补丁,分配消防人员等各种方式,对各种危害进行有效地控制,具有重要的使用价值。文章以概率网络传播模型为研究对象,然后采用时序逻辑表示出相应的干预策略目标并通过概率模型检测方法找出有效的干预策略。
-
关键词
网络传播模型
概率模型检测
干预策略
-
Keywords
network spreading model
probabilistic symbolic model checking
interference strategy
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
