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

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

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

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

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

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