期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
无线传感器网络SPIN协议的改进及验证 被引量:1
1
作者 宁亮 马旭东 张志鸿 《微计算机信息》 北大核心 2008年第13期130-131,170,共3页
在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议——SPIN-E协议,并使用有色Petri网对SPIN-E协议进行形式化建模,通过CPN Tools对协议... 在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证。本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议——SPIN-E协议,并使用有色Petri网对SPIN-E协议进行形式化建模,通过CPN Tools对协议的活性、可达性、有界性等特性进行了分析和验证。 展开更多
关键词 有色PETRI网 SPIN协议 spin-e协议 建模 CPN分析工具
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部