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

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

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