分布式无线网络时间同步协议设计与建模优化-通信与信息系统专业论文.docx

万方数据 万方数据 Nanjing University of Aeronautics and Astronautics The Graduate School College of Electronic and Information Engineering Protocol Design and Model Optimization of Time Synchronization in Wireless Distributed Networks A Thesis in Communication and Information System by Longfei Qi Advised by Assoc. Prof. Lei Lei Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Engineering December, 2013 万方数据 万方数据 承诺书 本人声明所呈交的硕士学位论文是本人在导师指导下进 行的研究工作及取得的研究成果。除了文中特别加以标注和致 谢的地方外，论文中不包含其他人已经发表或撰写过的研究成 果，也不包含为获得南京航空航天大学或其他教育机构的学位 或证书而使用过的材料。 本人授权南京航空航天大学可以将学位论文的全部或部 分内容编入有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。 （保密的学位论文在解密后适用本承诺书） 作者签名： 日 期： 南京航 南京航空航天大学硕士学位论文 分布式 分布式无线网络时间同步协议设计与建模优化 万方数据 万方数据 万方数据 万方数据 摘 要 分布式无线网络是由一系列地位完全平等的移动节点组成的多跳、临时性的自组织系统， 主要包括无线 ad hoc 网络、无线传感器网络和无线 Mesh 网络。分布式无线网络时间同步是指 网络中的各节点采用分布式的方法调整各自的时钟时间，从而实现全网节点时间的统一。时间 同步的实现可以保证网络中各节点协同完成各种分布式的任务，比如节点的周期休眠、基于时 分多址的媒质接入控制、各节点之间的数据聚合等。因此，如何高效而准确的实现全网时间的 同步成为了国内外学术界广泛关注的热点研究问题。本文分别从互时间同步协议和主从时间同 步协议两方面进行了研究，其中互时间同步协议被广泛用于无线 ad hoc 网络，而主从时间同步 协议则更多的应用于无线传感器网络。围绕该研究目标，本文的主要创新点包括： （1）在现有互时间同步协议的研究基础上，首先给出了新的信标帧竞争机制。该机制采用 完全分布式的方法，保证每个信标周期内至少完成一次信标帧的成功传输。然后指出，退避参 数 W 的取值对互时间同步的性能有重要影响。最后针对互时间同步的过程，提出了一种二维马 尔科夫链模型，用于分析给定网络规模条件下节点成功完成信标帧传输需要的时间与退避参数 W 的定量关系。通过模型的求解，即可得到在每个信标周期内使得互时间同步性能最优的退避 参数 W 的值。模型求解得到的理论结果与 EXata 网络仿真环境下的仿真结果的比较证明了该模 型的有效性。 （2）在对现有的三种主从时间同步协议进行介绍和对比之后，首先指出基于双向同步报文 交换实现时间同步的协议具有更加广阔的应用价值，然后分析了 TPSN 在处理同步报文冲突方 法上的不足之处，进而提出了一种高效冲突避免的主从时间同步协议。该协议将全网节点构建 成一个树状分层结构，并由主节点通过广播 req_syn 报文发起每个同步周期内的时间同步过程。 针对子节点的应答过程，提出了一种二维马尔科夫链模型来分析子节点竞争窗口的取值对回复 过程完成时间的影响。通过模型的求解，即可得到在竞争节点数量一定的情况下，子节点回复 rep_syn 报文的最优竞争窗口的值。父节点收到所有子节点的应答后，再次通过广播 res_syn 报 文即可完成所有子节点的时间同步，从而大大减少了每个同步周期中需要发送的同步报文数量。 在检测到信道发送冲突时，父节点通过广播 col_syn 报文及时将冲突情况告知子节点，提高了 时间同步的成功率。EXata 网络仿真环境下的仿真实验验证明了马尔科夫链模型和该协议的有 效性。 关键词：分布式无线网络，时间同步，互时间同步协议，主从时间同步协议，马尔科夫链模型， 最优竞争窗口 i ii ABSTRACT Distributed wireless networks are multi-hop and self-organized systems composed by a series of mobile nodes which have completely equal