基于概率模型檢驗的無線傳感網機會路由研究.pdf

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

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

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