無線網(wǎng)絡的聲明性方法研究.pdf

1、近年來，無線通訊技術(shù)迅速發(fā)展，無線應用已遍布人類社會各個角落。無線Ad Hoc網(wǎng)絡是無線通訊領域的研究熱點之一。無線Ad Hoc網(wǎng)絡具有組網(wǎng)快捷、靈活、且不受有線網(wǎng)絡約束等優(yōu)點，在軍事、交通、個人通訊等方面應用廣泛?；跓o線通訊技術(shù)的新應用入雨后春筍般出現(xiàn)。
　　 聲明性網(wǎng)絡是一種應用演繹數(shù)據(jù)庫技術(shù)描述并解決網(wǎng)絡問題的方法。它將網(wǎng)絡封裝成數(shù)據(jù)庫的一部分，使用邏輯聲明性語言描述網(wǎng)絡組織等問題，使用數(shù)據(jù)庫技術(shù)處理聲明性語言程序。然而

2、，目前正在研究的聲明性網(wǎng)絡使用的語言都是Datalog的子集，它的不動點語義是基于單調(diào)增的，這與Ad Hoc網(wǎng)絡上數(shù)據(jù)的動態(tài)變化是相矛盾的。為了解決這一問題，本文在80年代數(shù)據(jù)庫領域的演繹性語言基礎上，提出了一個新的描述語言NetLog，它使用描述性方式表達協(xié)議，非常適合Ad Hoc網(wǎng)絡環(huán)境下的分布式查詢處理。
　　 無線Ad Hoc網(wǎng)絡路由組織以及無線傳感器網(wǎng)絡的數(shù)據(jù)組織與處理是無線網(wǎng)絡的重要應用。本文使用聲明性方法對這些領域

3、作了系統(tǒng)的研究。本文在聲明性網(wǎng)絡方面的工作與貢獻如下：
　　 首先，針對于其它聲明性語言的單調(diào)性語義與網(wǎng)絡數(shù)據(jù)動態(tài)變化的矛盾，提出了非單調(diào)的聲明性語言NetLog，并對NetLog的描述能力以及不動點語義方面的問題進行了分析與證明。主要研究工作包括：
　　 1)定義了NetLog的語法定義和語義解釋。通過對否定與刪除符號的語法定義與語義解釋，使得NetLog可以描述網(wǎng)絡數(shù)據(jù)的動態(tài)變化。
　　 2)證明了NetLo

4、g的描述能力與FO+PFP一致。
　　 3)給出了NetLog語言部分不動點存在的充分條件。
　　 其次，本文對無線Ad Hoc網(wǎng)絡的路由組織進行了研究。自適應性是Ad Hoc路由組織的一個重要的研究方向，由于聲明性網(wǎng)絡不同于傳統(tǒng)的網(wǎng)絡協(xié)議：不同的聲明性網(wǎng)絡協(xié)議可以協(xié)同合作；本文提出了自適應的基于組件的組合路由協(xié)議。主要工作包括：
　　 1)在模擬平臺上實現(xiàn)了使用聲明性網(wǎng)絡方法描述的傳統(tǒng)Ad Hoc路由協(xié)議DSD

5、V、DSR、OLSR、AODV等。
　　 2)提出并在模擬平臺上實現(xiàn)了基于組件的組合路由協(xié)議。將聲明性Ad Hoc協(xié)議看作由多個模塊構(gòu)成，通過對模塊的替換可以完成不同協(xié)議的替換；并且通過對粗糙集理論的信息表的處理實現(xiàn)了多個聲明性協(xié)議間的自適應。
　　 3)在模擬平臺上實現(xiàn)了一個簡單的Ad Hoc網(wǎng)絡的文件P2P系統(tǒng)。
　　 最后，本文對無線傳感器網(wǎng)絡的數(shù)據(jù)管理與路由組織進行了研究。主要工作包括：
　　 1