基于概率模型檢測(cè)技術(shù)的網(wǎng)絡(luò)協(xié)議建模與分析.pdf

1、對(duì)具有隨機(jī)性的網(wǎng)絡(luò)協(xié)議進(jìn)行驗(yàn)證是一個(gè)新的有價(jià)值的研究方向,該方向目前的研究方法主要有兩種:一是使用概率進(jìn)程代數(shù)的方法;另一種是使用概率模型檢測(cè)方法。概率模型檢測(cè)技術(shù)它結(jié)合了概率分析和通用模型檢測(cè)技術(shù),能夠?qū)哂须S機(jī)行為的系統(tǒng)進(jìn)行建模,規(guī)約概率性質(zhì)并進(jìn)行驗(yàn)證,是硬件和協(xié)議驗(yàn)證的主要技術(shù)。本文基于概率模型檢測(cè)技術(shù),針對(duì) Ad Hoc網(wǎng)絡(luò)中節(jié)點(diǎn)的相鄰概率、重傳協(xié)議和概率合同協(xié)議進(jìn)行了研究,構(gòu)造了系統(tǒng)的概率模型并進(jìn)行了分析。取得了如下成果:

2、r>　　(1)分析了Ad Hoc網(wǎng)絡(luò)中兩個(gè)節(jié)點(diǎn)的相鄰概率,應(yīng)用概率模型檢測(cè)技術(shù),建立了系統(tǒng)的離散時(shí)間馬爾可夫鏈DTMCs模型,描述了性質(zhì)并進(jìn)行了驗(yàn)證。分析結(jié)果有助于建立與目標(biāo)節(jié)點(diǎn)的有效通信路徑和網(wǎng)絡(luò)性能分析及預(yù)測(cè)。
　　(2)通過(guò)對(duì)網(wǎng)絡(luò)重傳協(xié)議進(jìn)行深入剖析,將重傳協(xié)議應(yīng)用于 Ad Hoc網(wǎng)絡(luò)環(huán)境中。基于概率模型檢測(cè)技術(shù),對(duì)重傳協(xié)議建立了馬爾可夫鏈和概率有限狀態(tài)機(jī)模型,用概率模型檢測(cè)工具PRISM進(jìn)行了驗(yàn)證。量化分析了各種因素對(duì)Ad