《基于L-π演算的WSN路由协议形式化方法》PDF+DOC
作者:冯晓宁,王卓,张旭
单位:吉林大学
出版:《吉林大学学报(工学版)》2015年第05期
页数:7页 (PDF与DOC格式可能不同)
PDF编号:PDFJLGY2015050270
DOC编号:DOCJLGY2015050279
下载格式:PDF + Word/doc 文字可复制、可编辑
《WSN中一种能量均衡的路由协议》PDF+DOC2009年第02期 牟大年,王长山
《基于无线传感器网络的路由协议的研究》PDF+DOC2011年第18期 李合菊
《一种无线传感器网络路由协议的研究与仿真》PDF+DOC2011年第01期 于飞,郭静,胡继珍
《WSN中节点覆盖分层下的多路径路由协议》PDF+DOC2010年第08期 张吉赞
《无线传感器网络路由协议及安全问题研究》PDF+DOC2008年第11期 胡磊,张泽明
《基于距离和能量感知的WSN非均匀分簇路由协议》PDF+DOC2015年第05期 邬春学,杨洋,杨桂松
《WSN中一种能量均衡的分簇路由协议的设计》PDF+DOC2009年第10期 何延杰,李腊元,邢明彦
《基于父亲树的无线传感器网络路由协议》PDF+DOC2008年第08期 黄海平,王汝传,孙力娟,蒋颢
《一种基于路由表的无线传感器网络路由协议》PDF+DOC2008年第10期 田丰,仇庆丰,孙小平,高骞,边婷婷
《基于IPv6的WSN最佳转发路由协议》PDF+DOC2013年第02期 袁雪,王一军,刘桂波,杨金
针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。