概率网络传播的干预策略验证  

Network Interference Stragety Verification Based on Probabilistic Symbolic Model Checking

作　　者：傅亚煌[1] 余鹏[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京211100

出　　处：《电脑与信息技术》2014年第4期29-32,共4页Computer and Information Technology

摘　　要：在现实生活中,疾病,病毒和火情等在人群、计算机、森林等网络中的传播可以对社会造成严重的影响,可能大规模疫情的爆发,计算机的大规模瘫痪,或者火情的急剧蔓延,其带来的损失是无法估量的。因此,设计合理的干预策略,即在网络传播线路中选取适当的个体,通过注射防疫针,安装软件补丁,分配消防人员等各种方式,对各种危害进行有效地控制,具有重要的使用价值。文章以概率网络传播模型为研究对象,然后采用时序逻辑表示出相应的干预策略目标并通过概率模型检测方法找出有效的干预策略。In the real life, the spread of disease, virus and fire behavior would cause huge influence on the crowd,computer, and forest. This kind of influence will result in a large number of epidemic＇s eruption, computer paralysis, and fast spread of fire situation. All of results caused by the influence are incalculable. However, designing proper interference strategy, which means choosing appropriate singles in the spreading route with the help of injecting vaccine, installing software patch, distributing firefighters and so on. These measures could control the damage effectively, and the applied value has important meaning in the real life.This project aims for research of probabilistic symbolic model checking. By means of the description of state diagram and sequential logic, people can test and verify the interference with the help of probabilistic symbolic model checking.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]