資料介紹
在無(wú)線傳感器網(wǎng)絡(luò)中,對(duì)SPIN協(xié)議的研究主要是通過(guò)仿真進(jìn)行的,很少有對(duì)其進(jìn)行形式化驗(yàn)證。本文在SPIN協(xié)議的基礎(chǔ)上進(jìn)行改進(jìn)得到了適用于有損網(wǎng)絡(luò)的協(xié)議———SPIN-E協(xié)議,并使用有色Petri網(wǎng)對(duì)SPIN-E協(xié)議進(jìn)行形式化建模,通過(guò)CPN Tools對(duì)協(xié)議的活性、可達(dá)性、有界性等特性進(jìn)行了分析和驗(yàn)證。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)線傳感器網(wǎng)絡(luò)基于時(shí)分復(fù)用的MAC協(xié)議
- 如何使用ZigBee技術(shù)來(lái)設(shè)計(jì)無(wú)線傳感器網(wǎng)絡(luò)的詳細(xì)構(gòu)建與應(yīng)用資料概述 18次下載
- SimpliciTI協(xié)議的無(wú)線傳感器網(wǎng)絡(luò)設(shè)計(jì)詳析 3次下載
- 基于ZigBee的低功耗無(wú)線傳感器網(wǎng)絡(luò)改進(jìn)協(xié)議_向鳳紅 0次下載
- 基于布谷鳥(niǎo)搜索算法的無(wú)線傳感器網(wǎng)絡(luò)改進(jìn)路由協(xié)議_王旭 1次下載
- 無(wú)線傳感器網(wǎng)絡(luò)路由協(xié)議的研究與改進(jìn)_郜曉晶 0次下載
- 基于TinyOS無(wú)線傳感器網(wǎng)絡(luò)協(xié)議研究 54次下載
- 無(wú)線傳感器網(wǎng)絡(luò)路由協(xié)議分析 138次下載
- 無(wú)線傳感器網(wǎng)絡(luò)路由協(xié)議分析 142次下載
- 無(wú)線傳感器網(wǎng)絡(luò)安全協(xié)議的研究 30次下載
- 無(wú)線傳感器網(wǎng)絡(luò)路由協(xié)議與改進(jìn)
- 無(wú)線傳感器網(wǎng)絡(luò)的經(jīng)典MAC協(xié)議驗(yàn)證與分析
- 基于顏色Petri網(wǎng)的SPIN協(xié)議研究
- 無(wú)線傳感器網(wǎng)絡(luò)謠傳路由研究及改進(jìn)
- 無(wú)線傳感器網(wǎng)絡(luò)的路由協(xié)議
- 無(wú)線傳感器網(wǎng)絡(luò)的特點(diǎn)與節(jié)點(diǎn)的應(yīng)用設(shè)計(jì) 7314次閱讀
- 基于無(wú)線傳感器網(wǎng)絡(luò)實(shí)現(xiàn)家庭監(jiān)護(hù)系統(tǒng)的應(yīng)用方案 2660次閱讀
- 無(wú)線傳感器網(wǎng)絡(luò)車位控制系統(tǒng)的設(shè)計(jì)及應(yīng)用研究 2093次閱讀
- 利用網(wǎng)絡(luò)仿真軟件NS2構(gòu)建無(wú)線傳感器網(wǎng)絡(luò)的仿真平臺(tái) 4145次閱讀
- 無(wú)線傳感器網(wǎng)絡(luò)的用途 8674次閱讀
- 無(wú)線傳感器網(wǎng)絡(luò)的特點(diǎn)_無(wú)線傳感器網(wǎng)絡(luò)應(yīng)用 1w次閱讀
- 基于無(wú)線傳感器網(wǎng)絡(luò)特點(diǎn)設(shè)計(jì)無(wú)線傳感節(jié)點(diǎn) 3516次閱讀
- 基于DSP的無(wú)線傳感器網(wǎng)絡(luò)定位設(shè)計(jì) 1417次閱讀
- 3個(gè)方面淺談無(wú)線傳感器網(wǎng)絡(luò) 8879次閱讀
- 一種改進(jìn)的無(wú)線傳感器網(wǎng)絡(luò)非測(cè)距定位算法 1191次閱讀
- 無(wú)線傳感器網(wǎng)絡(luò)基于分簇的路由協(xié)議概述 3189次閱讀
- 無(wú)線傳感器網(wǎng)絡(luò)的特點(diǎn)及應(yīng)用分析 3936次閱讀
- RF無(wú)線技術(shù):工業(yè)用無(wú)線傳感器網(wǎng)絡(luò) 2018次閱讀
- 基于嵌入式網(wǎng)絡(luò)的無(wú)線傳感器網(wǎng)絡(luò)平臺(tái)軟硬件設(shè)計(jì) 1124次閱讀
- 無(wú)線傳感器網(wǎng)絡(luò)路由協(xié)議的研究與改進(jìn) 1354次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
評(píng)論
查看更多