基于模型檢測的網(wǎng)絡傳播干預策略問題研究.pdf

1、網(wǎng)絡廣泛存在于自然界和人類生活中。網(wǎng)絡中的各種有害傳播給經(jīng)濟、社會、生態(tài)等帶來巨大挑戰(zhàn)，尋找有效的干預策略實現(xiàn)對網(wǎng)絡傳播的控制是一個重要的研究問題。本文從兩個方面研究了采用模型檢測技術解決網(wǎng)絡傳播干預策略問題的方法:（i）通過傳統(tǒng)模型檢測解決定性干預策略問題；(ii)通過概率模型檢測解決概率干預策略問題。
　　一方面，網(wǎng)絡傳播過程中存在著大量確定性現(xiàn)象，通過確定性模型刻畫這些現(xiàn)象具有形象、直觀、便于分析等優(yōu)點。對受時間和鄰接點影響

2、的確定性網(wǎng)絡傳播，在已有靜態(tài)保護工作的基礎上，進一步研究了動態(tài)保護情況，總結了四類干預策略分析問題；通過將干預目標描述為相應的時序邏輯屬性，給出了通過傳統(tǒng)模型檢測技術找出有效的干預策略的方法；并且，以隨機網(wǎng)絡和小世界兩種網(wǎng)絡為例，比較分析了NuSMV和SPIN兩種模型檢測工具在解決具體網(wǎng)絡傳播干預策略問題中的優(yōu)缺點。
　　另一方面，網(wǎng)絡傳播過程中的不確定現(xiàn)象也普遍存在，通過概率模型可以更精確地刻畫隨機因素對于傳播的影響。對于概率網(wǎng)