作者:辜承志,陈传峰 单位:中国船舶重工集团公司第七0九研究所 出版:《计算机与数字工程》2010年第01期 页数:4页  (PDF与DOC格式可能不同) PDF编号:PDFJSSG2010010060 DOC编号:DOCJSSG2010010069 下载格式:PDF + Word/doc 文字可复制、可编辑
  • 由于无线传感器网络(WSN)带来的新特点,需要开发更多区别于传统网络的路由协议。形式化方法Object-Z是建立在严密数学基础之上的开发方法,其形式化规约语言的测试和设计工作可以同时开始,适用于新网络、新算法的研究开发。文章提出了运用形式化方法Object-Z对flooding算法建模的方法。建模结果表明Object-Z适用于无线传感器网络的路由协议,并可实现对flooding算法的描述和验证。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。