《基于Object-Z的WSN路由算法的形式化研究》PDF+DOC
作者:辜承志,陈传峰
单位:中国船舶重工集团公司第七0九研究所
出版:《计算机与数字工程》2010年第01期
页数:4页 (PDF与DOC格式可能不同)
PDF编号:PDFJSSG2010010060
DOC编号:DOCJSSG2010010069
下载格式:PDF + Word/doc 文字可复制、可编辑
《WSN中基于任播的新型分层路由算法》PDF+DOC2008年第03期 任廷,周健,钱田芬,黄师化
《一种基于地理位置信息的无线传感器网最小能耗路由算法》PDF+DOC2007年第01期 侯惠峰,刘湘雯,于宏毅,胡捍英
《基于距离向量的改进WSN路由算法》PDF+DOC2012年第06期 孙香花
《无线传感器网络中基于数据融合的路由算法》PDF+DOC2011年第06期 薛莉
《WSN中基于改进自适应遗传算法的移动代理路由算法》PDF+DOC2010年第12期 方旺盛,黎飞龙
《基于梯度和剩余能量的WSN路由算法研究》PDF+DOC2009年第08期 张文祥,马银花
《能量感知的WSN自适应数据融合路由算法》PDF+DOC2009年第09期 田丰,邢二庆
《基于WSN的能量有效性路由算法的研究》PDF+DOC2008年第01期 王知非
《无线传感器网络中一种基于地理位置信息的路由算法》PDF+DOC2007年第23期 郝晓弘,康漪,王瑛辉
《基于半径递增有向成簇的WSN路由算法》PDF+DOC2015年第11期 李长庚,于澄澄,陈东海
由于无线传感器网络(WSN)带来的新特点,需要开发更多区别于传统网络的路由协议。形式化方法Object-Z是建立在严密数学基础之上的开发方法,其形式化规约语言的测试和设计工作可以同时开始,适用于新网络、新算法的研究开发。文章提出了运用形式化方法Object-Z对flooding算法建模的方法。建模结果表明Object-Z适用于无线传感器网络的路由协议,并可实现对flooding算法的描述和验证。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。