基于概率模型檢驗(yàn)的無線傳感網(wǎng)機(jī)會(huì)路由研究.pdf

1、無線傳感網(wǎng)通常是由具有感知、處理和無線通信功能的傳感器節(jié)點(diǎn)自組織形成的網(wǎng)絡(luò)。機(jī)會(huì)路由是可以應(yīng)用于無線傳感網(wǎng)的數(shù)據(jù)轉(zhuǎn)發(fā)協(xié)議，該協(xié)議將數(shù)據(jù)包都轉(zhuǎn)發(fā)給一組網(wǎng)絡(luò)節(jié)點(diǎn)，這些節(jié)點(diǎn)會(huì)根據(jù)它們到目的節(jié)點(diǎn)的特定度量來確定其優(yōu)先級(jí)，優(yōu)先級(jí)最高的節(jié)點(diǎn)再次轉(zhuǎn)發(fā)數(shù)據(jù)包給另外一組節(jié)點(diǎn)，如此重復(fù)直到目的節(jié)點(diǎn)。
　　本文利用概率模型檢驗(yàn)技術(shù)分別驗(yàn)證與分析應(yīng)用于低功耗無線傳感網(wǎng)和移動(dòng)無線傳感網(wǎng)的典型機(jī)會(huì)路由，并對(duì)這些協(xié)議進(jìn)行改進(jìn)，具體工作包括以下三個(gè)方面：

2、　?。?）用概率模型檢驗(yàn)方法對(duì)經(jīng)典低功耗無線傳感網(wǎng)機(jī)會(huì)路由進(jìn)行建模和分析驗(yàn)證，驗(yàn)證結(jié)果發(fā)現(xiàn)空洞節(jié)點(diǎn)比率高的問題。針對(duì)上述問題，提出了基于退避機(jī)制的低功耗無線傳感網(wǎng)機(jī)會(huì)路由LDCOP。該協(xié)議核心思想是在選擇下一跳節(jié)點(diǎn)轉(zhuǎn)發(fā)數(shù)據(jù)包時(shí)不再采用貪婪算法，即在等待一定時(shí)間仍沒有合適的轉(zhuǎn)發(fā)節(jié)點(diǎn)，則丟棄數(shù)據(jù)包，采用退避機(jī)制，選擇距離匯聚節(jié)點(diǎn)稍大于當(dāng)前節(jié)點(diǎn)到匯聚節(jié)點(diǎn)距離的節(jié)點(diǎn)為下一跳節(jié)點(diǎn)。用概率模型檢驗(yàn)工具PRISM對(duì)LDCOP進(jìn)行建模和分析驗(yàn)證得到，L

3、DCOP在包轉(zhuǎn)發(fā)率和減少空洞節(jié)點(diǎn)比率方面比經(jīng)典低功耗無線傳感網(wǎng)機(jī)會(huì)路由表現(xiàn)更好。
　?。?）用概率模型檢驗(yàn)方法對(duì)移動(dòng)無線傳感網(wǎng)機(jī)會(huì)路由進(jìn)行建模和分析驗(yàn)證，驗(yàn)證結(jié)果發(fā)現(xiàn)網(wǎng)絡(luò)生存期短的問題。針對(duì)上述問題，提出了基于能量感知和負(fù)載均衡的移動(dòng)無線傳感網(wǎng)機(jī)會(huì)路由PAGeRaF。該協(xié)議改進(jìn)了候選轉(zhuǎn)發(fā)結(jié)點(diǎn)集優(yōu)先級(jí)的設(shè)定策略，加入了能量感知、負(fù)載均衡這兩個(gè)影響因子。再用概率模型檢驗(yàn)的方法驗(yàn)證了PAGeRaF完整性與有效性，以及在有效利用節(jié)點(diǎn)能量方