微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2010年
6期
98-99,88
,共3页
环境监测%路由协议%SPIN协议%CPN Tools
環境鑑測%路由協議%SPIN協議%CPN Tools
배경감측%로유협의%SPIN협의%CPN Tools
Enviromnent Monitoring%routing protocols%SPIN protocol%CPN tools
在SPIN路由协议的基础上,根据环境监测领域的应用特点,提出一种无线传感器网络的路由协议设计方案.利用颜色Petri网的CPN Tools对协议的活性、可达性、有界性等特性进行验证,确定协议的可行性.
在SPIN路由協議的基礎上,根據環境鑑測領域的應用特點,提齣一種無線傳感器網絡的路由協議設計方案.利用顏色Petri網的CPN Tools對協議的活性、可達性、有界性等特性進行驗證,確定協議的可行性.
재SPIN로유협의적기출상,근거배경감측영역적응용특점,제출일충무선전감기망락적로유협의설계방안.이용안색Petri망적CPN Tools대협의적활성、가체성、유계성등특성진행험증,학정협의적가행성.
This introduces a design of routing protocols of wireless sensor network orient environment monitoring, on the basis of SPIN protocol The properties of the protocol such as the liveness reachability and boundedness were verified by CPN Tools of colored Petri net, so that the protocol's feasibility was affirmed.
