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

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

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

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