| 概率网络传播的干预策略验证 |
| |
| 引用本文： | 傅亚煌,余鹏.概率网络传播的干预策略验证[J].电脑与信息技术,2014(4):29-32. |
| |
| 作者姓名： | 傅亚煌 余鹏 |
| |
| 作者单位： | 南京航空航天大学计算机科学与技术学院江苏南京211100 |
| |
| 摘 要： | 在现实生活中,疾病,病毒和火情等在人群、计算机、森林等网络中的传播可以对社会造成严重的影响,可能大规模疫情的爆发,计算机的大规模瘫痪,或者火情的急剧蔓延,其带来的损失是无法估量的。因此,设计合理的干预策略,即在网络传播线路中选取适当的个体,通过注射防疫针,安装软件补丁,分配消防人员等各种方式,对各种危害进行有效地控制,具有重要的使用价值。文章以概率网络传播模型为研究对象,然后采用时序逻辑表示出相应的干预策略目标并通过概率模型检测方法找出有效的干预策略。
|
| 关 键 词： | 网络传播模型 概率模型检测 干预策略 |
Network Interference Stragety Verification Based on Probabilistic Symbolic Model Checking |
| |
| FU Ya-huang,YU Peng.Network Interference Stragety Verification Based on Probabilistic Symbolic Model Checking[J].Computer and Information Technology,2014(4):29-32. |
| |
| Authors: | FU Ya-huang YU Peng |
| |
| Affiliation: | (Nanjing University of Aeronautics and Astronautics, the College of Science and Technology, Nanjing 211100,China) |
| |
| Abstract: | |
| |
| Keywords: | network spreading model probabilistic symbolic model checking interference strategy |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
