aodv路由協(xié)議的正確性研究(編輯修改稿)
2025-06-16 22:07 本頁面
【文章內(nèi)容簡介】 e: Use of Destination sequence Number ? Loop freedom AODV Messages ? Route request (RREQ) ? Route reply (RREP ? Route error (RERR) ? Hello messages Route Discovery Route Maintenance ? Periodic Hello message to detect continued presence of neighbours ? When a link break is detected ? Node sends a RERR containing list of unreachable destinations due to link break ? Receiving nodes forwards RERR to precursors of unreachable destinations ? Before sending or forwarding RERR ? Update destination sequence number in routing table entry ? Invalidated entry AODV的正確性證明 ? 1） AODV的完整性和正確性 每個節(jié)點（交換機或路由器）中的路由表，都必須給出到所有可能的目的節(jié)點的下一跳怎樣走，并且，所給出的走法應(yīng)是正確的。這里，正確的含義是：沿著各節(jié)點（交換機或路由器）中路由表所指引的路由，分組一定能夠最終到達(dá)目的節(jié)點（交換機或路由器）。并且，分組到達(dá)目的節(jié)點后不會再向其他節(jié)點（交換機或路由器）轉(zhuǎn)發(fā)該分組。 完整性 ? 它的路由表中通往目節(jié)點 D的鏈路為 ，為 的鄰節(jié)點，可知鏈路 一定存在，即 （ ） 所以 是節(jié)點 到目的節(jié)點 D路由中記錄的下一跳節(jié)點。是由 的任意性，我們得到在鄰節(jié)不變的情況下， AODV通過記錄到目的節(jié)點的下一跳節(jié)點的 IP地址，在 Ad hoc網(wǎng)絡(luò)中可以形成一條完整的路由。 in),( di nnjnin),( dj nn),(),(),( diijdj nnnnnn ?? ji?in jniLoopfree 2）計算的復(fù)雜度 ? 當(dāng)
研究報告相關(guān)推薦
鄂ICP備17016276號-1