LEACH协议的形式化分析与仿真

Formal Analysis and Simulation of LEACH Protocol

基于形式化建模的思想,分别建立簇首节点和簇中成员节点的有限状态机模型,描述LEACH协议的路由行为及算法思想,分析影响LEACH协议性能的可能性因素,利用NS2对LEACH协议进行仿真,仿真结果表明,改进后的LEACH协议在节省了整个网络的能量消耗并很好的均衡了网络内节点的能耗,延长了节点的生存时间,改善了网络的性能。

Based on formal modeling, the finite state machine models of cluster-head node and ordinary node are established to describe the routing behavior and algorithm of LEACH protocol, analyze the possible factors affecting on the performance of LEACH protocol, and simulate LEACH protocol in NS2. The simulation results show that the improved LEACH protocol not only saves energy of the network but also balances the energy consumption of all nodes, thus prolongs the lifetime of nodes and improves the performances of network.