近年来,无线传感器网络已经被应用在许多领域并成为一种重要的计算平台。无线传感器网络是由成百上千的传感器节点和-些基站组成。传感器节点可以被分成几个不相交的簇集合。分簇的方法旨在支持无线网络的可扩展性和提高网络的寿命。每个簇集由一个内部簇首节点管理。簇首节点通常是以传感器节点本地信息作为参考,从一个簇中的节点中选取。簇头节点可以协调簇集合中各节点并且代表簇集合与基站通讯。目前无线传感器网络领域有许多聚簇协议。本文基于对聚簇协议的研究现状,选取目前四种最先进的聚簇协议,即LEACH、GEN-LEACH、HEED和PANEL。我们根据聚簇协议的特点,制定了一个分析框架包括网络配置和能源消耗模型。基于该分析框架,我们采用概率模型检测技术对四个聚簇协议的功能和性能进行分析和比较,并得到了科学全面的量化结果。经试验论证,除了通过模型检测得到的结果证实了之前Simulation的结果,实验还得到了一些新的实验结果。初始的能量配置会影响HEED口PANEL的能量消耗,而拓扑结构(?)LEACH、GEN-LEACH和PANEL的簇头个数的影响却不是那么明显。此外,我们还分析出了影响]HEED协议性能的主要因素。未来的工作可以朝两个方向继续：一方面,我们可以通过加入其他的技术(如模型抽象技术)来处理复杂的聚簇协议状态空间过大的问题；另一方面,可以将我们的研究应用到更多的聚簇协议,并对实验结果进行系统分类。