欢迎来到天天文库
浏览记录
ID:38264269
大小:2.03 MB
页数:4页
时间:2019-05-26
《无线传感器网络路由协议的形式化方法研究》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、abcdefghijk%)lm01no'()*+,-.()*+,-.%&+,$/&0)*541004)23:ðñàliøécÝX±f²O³´ìµ,w¶·1R1¸J,ö{¹ºiécÝ1RX,)*²O³´ìµ1õJ1RiöÝ»[¶·,ËÌý<SDL¼½}¾*¡1RK",¶·1¾»",-?nX1d<*Y¿¶·1ÀÁùYP,ÂÃÄÅÆ'ÆÇai§{1}<。456:écÝX;SDL;²O³´ìµ;»[¶·789:;:TP393.04<=+>?:A犚犲狊犲犪狉犮犺狅狀狉狅狌狋犻狀犵狆狉狅狋狅犮狅犾犳狅狉狑犻狉犲犾犲狊狊狊犲狀狊狅狉狀犲狋狑狅狉犽狑犻狋犺犻狀犳狅狉犿犪犾犻狕犲犱狋犲犮犺狀犻狇狌
2、犲WenFanLiSiminTangZhiling(DepartmentofElectronicEngineering,GuilinUniversityofElectronicTechnology,Guilin541004,China)犃犫狊狋狉犪犮狋:thispaperproposestheformalmethodtointroduceaviewofWirelessSensorNetwork(WSN)communicationprotocoldesign,andintroducetheformalizedtechniqueofdesigninbrief.Afterthis,th
3、eSDLtoolsareusedtodesignandimplementtheroutingprotocolwhichissimplifiedaccordingtocharacteristicsoftheWSN.TheProtocolrealizationindicatesthattheformalizedmethodsnotonlyshortentheprotocoldevelopmentcyclebutalsoguaranteethelogicalvalidityoftheprotocol.犓犲狔狑狅狉犱狊:formalizedtechnique;WSN;SDL;routi
4、ngprotocolôõ,©ªÃëp1Y¿ìµ¶·1Rö,©F0CD[18]。àr¶·1R、+,、ñ、"1ää²O³´ìµ(wirelesssensornetwork,WSN)¢1)lmpq©Úe1³´ìµ,²O³´ìµi³´$À、ÍfcRS6$À、jÎcwx5B$ÀC²O,wécÝX(formaldescriptiontechnique,FDT)¢®$À,Ïж}ÑÌ/,´5、Ú1Ëö16、Úü$À,<òí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:L7、Ú。ðñøécÝ$À(formalPC.äP,¶·1R、+,C"à!i§{1²/。descriptiontechnique,FDT)±f²ë³´ìµ¶·1ª«<1,w¶·écÝ÷n¼½:1)SDL(specifica1R!,ð<SDL¼½,w¶·1jk、+,Ctionanddescriptionlanguage)¼½;2)ESTELLE(extenñ,yGòâ、#EÑÉ=¶·PÏC1ó+Ctedstatetransitionmodellanguage)¼½;3)LOTOS@A#B:ñÈ,ÉÊË,{WÌ,wKu8、,w。—20—!"#$%&'((languageoftempora9、lorderingspecification)¼½。K¡Ý»[¶·:omiLEACH1pqrs。ÚtûécÝ÷n¼½5q,SDL¢ÚáQóÚS01ÏçLEACH¶·,uV1R1öÝ»[¶·1R:j&u2Ç1écÝ÷n¼½,û*_¼yË3Û14úL10、},ÊÚ-vúLChwúL,Ú-vúLChwÔ,µJW,w!{f519:,©67i¾»111、}úL¬1x1ÌMyCzÚ{。Ú-vúL,öÝ»_¼È<。ßU,SDL¾W*Ô1õPCjk_¼[¶·Ü612、}Úu³´áJ}Ú~áJ,Úé=s8Ï9
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Ý$À(formalPC.äP,¶·1R、+,C"à!i§{1²/。descriptiontechnique,FDT)±f²ë³´ìµ¶·1ª«<1,w¶·écÝ÷n¼½:1)SDL(specifica1R!,ð<SDL¼½,w¶·1jk、+,Ctionanddescriptionlanguage)¼½;2)ESTELLE(extenñ,yGòâ、#EÑÉ=¶·PÏC1ó+Ctedstatetransitionmodellanguage)¼½;3)LOTOS@A#B:ñÈ,ÉÊË,{WÌ,wKu
8、,w。—20—!"#$%&'((languageoftempora
9、lorderingspecification)¼½。K¡Ý»[¶·:omiLEACH1pqrs。ÚtûécÝ÷n¼½5q,SDL¢ÚáQóÚS01ÏçLEACH¶·,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,SDL¾W*Ô1õPCjk_¼[¶·Ü6
12、}Úu³´áJ}Ú~áJ,Úé=s8Ï9
此文档下载收益归作者所有