基于Object-Z无线传感器网络OGDC算法的模型研究

摘要：

　　节点密度控制算法(如OGDC算法)是在保持网络覆盖和连通性的前提下，周期选择性的决定节点休眠，以促使网络寿命最大化。形式化规格说明语言Object-z适用对新型网络和算法的描述和早期研究，有助于在早期验证和发现设计误差。文中运用Object-Z建立无线传感器网络的通用模型，并进一步对OGDC算法进行形式化建模。研究说明了形式化规格语言Obiect-Z可以完成对无线传感器网络算法的描述。

关键词： 形式化模型 无线传感器网络 节点密度控制算法 早期验证

作者: 陈传峰

作者单位: 福州大学物理与信息工程学院,福建福州 350002

会议类型: 国内会议

会议名称: 第十八届全国网络与数据通信学术会议

会议地点: 无锡

会议语种:中文

页码: 100-104

在线出版日期: 2011-11-14（万方平台首次上网日期，不代表论文的发表时间）