無線傳感器網(wǎng)絡(luò)的Petri建模和性能分析.pdf

1、由傳感器、微處理器和無線通信介質(zhì)組成的無線傳感器得到越來越多人的關(guān)注,具有廣闊的應(yīng)用前景。傳感器網(wǎng)絡(luò)的重要性可以從美國(guó)國(guó)防高級(jí)研究計(jì)劃署傳感器信息技術(shù)計(jì)劃,美國(guó)國(guó)家自然科學(xué)基金會(huì)傳感器網(wǎng)絡(luò)計(jì)劃等項(xiàng)目中窺見一斑。作為一種全新的信息獲取和處理技術(shù),無線傳感器網(wǎng)絡(luò)廣泛應(yīng)用在軍事、醫(yī)療、環(huán)境監(jiān)控等領(lǐng)域,而定位是這些應(yīng)用的前提和基礎(chǔ)。因此針對(duì)無線傳感器網(wǎng)絡(luò)節(jié)點(diǎn)定位技術(shù)的研究具有重要的理論和實(shí)際意義。
　　 節(jié)點(diǎn)之間的通信是實(shí)現(xiàn)定位的必要途

2、徑,隨著網(wǎng)絡(luò)服務(wù)要求的提高,網(wǎng)絡(luò)系統(tǒng)的復(fù)雜性體現(xiàn)出空間分布性、并發(fā)性、異步性、不穩(wěn)定性和多樣性,越來越要求采用系統(tǒng)工程的方法來設(shè)計(jì)和維護(hù)系統(tǒng)。在系統(tǒng)的整個(gè)生命周期內(nèi),用圖形化的數(shù)學(xué)工具來完成系統(tǒng)的形式描述、正確性驗(yàn)證、性能評(píng)價(jià)、目標(biāo)實(shí)現(xiàn)和測(cè)試將大大方便系統(tǒng)的使用者。隨著實(shí)際問題的復(fù)雜度提高,通過形式化的方法來解決問題的需求變得越來強(qiáng)烈。
　　 本文對(duì)傳感器網(wǎng)絡(luò)的定位技術(shù)展開探討,由于傳感器節(jié)點(diǎn)受體積、成本、能量等因素的限制,且通

3、常工作在人類難以或不宜接近的場(chǎng)合,因此定位技術(shù)的基本途徑是:部署少量已知坐標(biāo)的參考節(jié)點(diǎn),其他未知坐標(biāo)的節(jié)點(diǎn)通過測(cè)量與參考節(jié)點(diǎn)的距離、角度,或者依據(jù)相對(duì)位置關(guān)系、網(wǎng)絡(luò)連通性進(jìn)行一定的計(jì)算得出自身的坐標(biāo)。
　　 Petri網(wǎng)是一種非常優(yōu)秀的圖形化的形式化模型,它直觀、易懂和易用,適合于描述并發(fā)和分布式系統(tǒng)的動(dòng)態(tài)行為,使用Petri網(wǎng)的分析技術(shù)對(duì)對(duì)象系統(tǒng)進(jìn)行分析,能得到系統(tǒng)行為方面的信息。本文重點(diǎn)利用Petri網(wǎng)對(duì)無線傳感器網(wǎng)絡(luò)進(jìn)行建