无线传感器网络路由协议的形式化方法研究

《无线传感器网络路由协议的形式化方法研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、abcdefghijk%)lm01no'()*+,-.（)*+,-.%&+,$/&0)*５４１００４）23：ðñàliøécÝX±f²O³´ìµ,w¶·1R1¸J，ö{¹ºiécÝ1RX，)*²O³´ìµ1õJ1RiöÝ»[¶·，ËÌý<ＳＤＬ¼½}¾*¡1RK"，¶·1¾»",-?nX1d<*Y¿¶·1ÀÁùYP，ÂÃÄÅÆ'ÆÇai§{1}<。456：écÝX；ＳＤＬ；²O³´ìµ；»[¶·789:;：ＴＰ３９３．０４<=+>?：Ａ犚犲狊犲犪狉犮犺狅狀狉狅狌狋犻狀犵狆狉狅狋狅犮狅犾犳狅狉狑犻狉犲犾犲狊狊狊犲狀狊狅狉狀犲狋狑狅狉犽狑犻狋犺犻狀犳狅狉犿犪犾犻狕犲犱狋犲犮犺狀犻狇狌

2、犲ＷｅｎＦａｎＬｉＳｉｍｉｎＴａｎｇＺｈｉｌｉｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ，ＧｕｉｌｉｎＵｎｉｖｅｒｓｉｔｙｏｆＥｌｅｃｔｒｏｎｉｃＴｅｃｈｎｏｌｏｇｙ，Ｇｕｉｌｉｎ５４１００４，Ｃｈｉｎａ）犃犫狊狋狉犪犮狋：ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓｔｈｅｆｏｒｍａｌｍｅｔｈｏｄｔｏｉｎｔｒｏｄｕｃｅａｖｉｅｗｏｆＷｉｒｅｌｅｓｓＳｅｎｓｏｒＮｅｔｗｏｒｋ（ＷＳＮ）ｃｏｍｍｕｎｉｃａｔｉｏｎｐｒｏｔｏｃｏｌｄｅｓｉｇｎ，ａｎｄｉｎｔｒｏｄｕｃｅｔｈｅｆｏｒｍａｌｉｚｅｄｔｅｃｈｎｉｑｕｅｏｆｄｅｓｉｇｎｉｎｂｒｉｅｆ．Ａｆｔｅｒｔｈｉｓ，ｔｈ

3、ｅＳＤＬｔｏｏｌｓａｒｅｕｓｅｄｔｏｄｅｓｉｇｎａｎｄｉｍｐｌｅｍｅｎｔｔｈｅｒｏｕｔｉｎｇｐｒｏｔｏｃｏｌｗｈｉｃｈｉｓｓｉｍｐｌｉｆｉｅｄａｃｃｏｒｄｉｎｇｔｏｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｔｈｅＷＳＮ．ＴｈｅＰｒｏｔｏｃｏｌｒｅａｌｉｚａｔｉｏｎｉｎｄｉｃａｔｅｓｔｈａｔｔｈｅｆｏｒｍａｌｉｚｅｄｍｅｔｈｏｄｓｎｏｔｏｎｌｙｓｈｏｒｔｅｎｔｈｅｐｒｏｔｏｃｏｌｄｅｖｅｌｏｐｍｅｎｔｃｙｃｌｅｂｕｔａｌｓｏｇｕａｒａｎｔｅｅｔｈｅｌｏｇｉｃａｌｖａｌｉｄｉｔｙｏｆｔｈｅｐｒｏｔｏｃｏｌ．犓犲狔狑狅狉犱狊：ｆｏｒｍａｌｉｚｅｄｔｅｃｈｎｉｑｕｅ；ＷＳＮ；ＳＤＬ；ｒｏｕｔｉ

4、ｎｇｐｒｏｔｏｃｏｌôõ，©ªÃëp1Y¿ìµ¶·1Rö，©F０CD［１８］。àr¶·1R、+,、ñ、"1ää²O³´ìµ（ｗｉｒｅｌｅｓｓｓｅｎｓｏｒｎｅｔｗｏｒｋ，ＷＳＮ）¢１)lmpq©Úe1³´ìµ，²O³´ìµi³´$À、ÍfcRS6$À、jÎcwx5B$ÀC²O,wécÝX（ｆｏｒｍａｌｄｅｓｃｒｉｐｔｉｏｎｔｅｃｈｎｉｑｕｅ，ＦＤＴ）¢®$À，Ïж}ÑÌ/，´

5、Ú1Ëö1

6、Úü$À，<òí1QEýþCQEXZ*3v@AÛCËÜ16uÝ!Þß×Ø。²O³´ìµK_¼1E¨Kä1、jkC$B，û¡à³¼1ìµ5qÚÕg1õJ，ìµ1áJQ_¼1ÿ-、ÄÅC+,à!iÚu"#，ýnÅ"3Ã、âpr，áJÚ71Ùãä，áJåæÏ、RSv@A_¼ze!1yÚ$P、yÉtPb9:。écÝÏçCèéêbë，ìµ1ìíE¨ÝîX¾(õJ：écÝ1¼X¼%、¨&1'(RS、â，Qó!&b。ù¢[nKÕõJ;`³´ìµ)1¼Ú);、ÇÃ1);C÷nÏç。û*+i,èîÄ©9:。¡!，,w¶·11R¢²O³´ì¼½1¸%P、y-YP¤<,¼½"¶·1îïµ!1^ï9:L

7、Ú。ðñøécÝ$À（ｆｏｒｍａｌPC.äP，¶·1R、+,C"à!i§{1²/。ｄｅｓｃｒｉｐｔｉｏｎｔｅｃｈｎｉｑｕｅ，ＦＤＴ）±f²ë³´ìµ¶·1ª«<1,w¶·écÝ÷n¼½：１）ＳＤＬ（ｓｐｅｃｉｆｉｃａ1R!，ð<ＳＤＬ¼½,w¶·1jk、+,Cｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）¼½；２）ＥＳＴＥＬＬＥ（ｅｘｔｅｎñ，yGòâ、#EÑÉ=¶·PÏC1ó+Cｔｅｄｓｔａｔｅｔｒａｎｓｉｔｉｏｎｍｏｄｅｌｌａｎｇｕａｇｅ）¼½；３）ＬＯＴＯＳ@A#B：ñÈ，ÉÊË，{WÌ,wKu

8、,w。—２０—!"#$%&'(（ｌａｎｇｕａｇｅｏｆｔｅｍｐｏｒａ

9、ｌｏｒｄｅｒｉｎｇｓｐｅｃｉｆｉｃａｔｉｏｎ）¼½。K¡Ý»[¶·:omiＬＥＡＣＨ1pqrs。ÚtûécÝ÷n¼½5q，ＳＤＬ¢ÚáQóÚS01ÏçＬＥＡＣＨ¶·，uV1R1öÝ»[¶·1R:j&u2Ç1écÝ÷n¼½，û*_¼yË3Û14úL

10、}，ÊÚ-vúLChwúL，Ú-vúLChwÔ，µJW,w!{f519:，©67i¾»1

11、}úL¬1x1ÌMyCzÚ{。Ú-vúL，öÝ»_¼È<。ßU，ＳＤＬ¾W*Ô1õPCjk_¼[¶·Ü6

12、}Úu³´áJ}Ú~áJ，Úé=s8Ï9