資源描述：
《基于模型檢測的網(wǎng)絡(luò)傳播干預(yù)策略問題分析》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫。
1、承諾書本人聲明所呈交的博/碩士學(xué)位論文是本人在導(dǎo)師指導(dǎo)下進(jìn)行的研究工作及取得的研究成果。除了文中特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果，也不包含為獲得南京航空航天大學(xué)或其他教育機(jī)構(gòu)的學(xué)位或證書而使用過的材料。本人授權(quán)南京航空航天大學(xué)可以將學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學(xué)位論文。（保密的學(xué)位論文在解密后適用本承諾書）作者簽名：日期：網(wǎng)絡(luò)廣泛存在于自然界和人類生活屮。網(wǎng)絡(luò)屮的各種有害傳播給經(jīng)濟(jì)、社會(huì)、生態(tài)等帶來巨大挑戰(zhàn)，尋找有效的干預(yù)策略實(shí)現(xiàn)對(duì)網(wǎng)絡(luò)傳播的控制是一個(gè)重要
2、的研究問題。本文從兩個(gè)方面研究了采用模型檢測技術(shù)解決網(wǎng)絡(luò)傳播干預(yù)策略問題的方法：（i）通過傳統(tǒng)模型檢測解決定性干預(yù)策略問題；（ii）通過概率模型檢測解決概率干預(yù)策略問題。一方面，網(wǎng)絡(luò)傳播過程中存在看大量確定性現(xiàn)象，通過確定性模型刻畫這些現(xiàn)彖具有形彖、直觀、便于分析等優(yōu)點(diǎn)。對(duì)受時(shí)間和鄰接點(diǎn)影響的確定性網(wǎng)絡(luò)傳播，在己有靜態(tài)保護(hù)工作的基礎(chǔ)上，進(jìn)一步研究了動(dòng)態(tài)保護(hù)情況，總結(jié)了四類干預(yù)策略分析問題；通過將干預(yù)目標(biāo)描述為相應(yīng)的時(shí)序邏輯屬性，給出了通過傳統(tǒng)模型檢測技術(shù)找出有效的干預(yù)策略的方法；并且，以隨機(jī)網(wǎng)絡(luò)和小世界兩種網(wǎng)絡(luò)為例，比較分析了NuSMV和SPIN兩種模型檢測
3、工具在解決具體網(wǎng)絡(luò)傳播干預(yù)策略問題中的優(yōu)缺點(diǎn)。另一方面，網(wǎng)絡(luò)傳播過程中的不確定現(xiàn)彖也普遍存在，通過概率模型可以更精確地刻畫隨機(jī)因素對(duì)于傳播的影響。對(duì)于概率網(wǎng)絡(luò)傳播模型，將干預(yù)目標(biāo)描述為相應(yīng)的概率時(shí)序邏輯屬性,提出了概率情況下的網(wǎng)絡(luò)傳播干預(yù)策略問題；進(jìn)一步，以離散的郵件病毒傳播模型為研究對(duì)彖,重點(diǎn)分析了安裝防護(hù)，定期防護(hù)和綜合防護(hù)三種防護(hù)措施，給出了相應(yīng)的干預(yù)策略分析問題；并且，采用概率模型檢測工具PRISM,結(jié)合近似概率模型檢測方法，進(jìn)行了實(shí)驗(yàn)分析。關(guān)鍵詞：模型檢測，網(wǎng)絡(luò)傳播，干預(yù)策略ABSTRACTNetworkexistswidelyinnaturean
4、dhumansociety.Thespreadofinfectionsposesgreatchallengestotheeconomicandthesocietalsystem.Itisanimportantissueinthenetworkpropagationcontroltoprotectindividualsbyseekingeffectiveinterventionstrategies.Westudymodelcheckinginterventionstrategiesofnetworkpropagationfiomtwoperspectives:
5、(i)solvingthedeterministicproblemsthroughthetraditionalmodelcheckingmethod;(ii)solvingtheprobabilisticproblemsthroughtheprobabilisticmodelcheckingmethod.Thereexistlargequantitiesofdeterministicphenomenainthenetworkpropagationprocess,anddescribingthesephenomenathroughdeterministicmo
6、delshastheseadvantagesincludingmakingthephenomenabeseenvisuallyandintuitively,aswellasanalyzingthemmoreeasily.Wcfocusonthedeterministicnetworkpropagationmodelafleetedbytimeandadjacentnodes?Basedontheexistingstaticprotection,afurtherstudyondynamicprotectioncasesisconducted,andfourki
7、ndsofanalysesofinterventionstrategiesaresummarized.Theinterventiongoalsareexpressedaslogicalpropertiesandanelectiveapproachofsearchingforinterventionstrategiesviathetraditionalmodelcheckingisproposed?Moreover,experimentsonrandomandsmall-worldnetworksareconducted,demonstratingtheadv
8、antagesanddisadvantagesoft
