Abstract：
节点密度控制算法(如OGDC算法)是在保持网络覆盖和连通性的前提下，周期选择性的决定节点休眠，以促使网络寿命最大化。形式化规格说明语言Object-z适用对新型网络和算法的描述和早期研究，有助于在早期验证和发现设计误差。文中运用Object-Z建立无线传感器网络的通用模型，并进一步对OGDC算法进行形式化建模。研究说明了形式化规格语言Obiect-Z可以完成对无线传感器网络算法的描述。
Keyword：
Reprint 's Address：
Email：
Source ：
Year： 2011
Page： 100-104
Language： Chinese
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 3
Affiliated Colleges：
