第06章-时间同步.pptVIP

对同步误差的分析 很重要，是一种基本的分析方法 理论分析和实验证明：TPSN同步误差是RBS的一半 结合对lock skew的估计，可以提高TPSN的精度 TPSN（Timing-sync Protocol for Sensor Networks） 多跳TPSN 全网周期性同步 “层发现”把网络组织成最短生成树 逐层在相邻两层节点间同步 网络内两个节点的同步 “后同步”查找两个节点间的路径 在路径的相邻两个节点间进行TPSN同步 HRTS（Hierarchy Referencing Time Synchronization Protocol） TPSN基于双向报文交换，因此同步精度高 TPSN本质上是对同步，因此全网同步的同步能耗高 由RBS发现，广播能降低全网同步能耗 结合广播和节点间的双向报文交换同步?HRTS协议 BS n1 n2 n3 (a) BS n1 n2 n3 ( b ) BS n1 n2 n3 ( c ) n4 BS n1 n2 n3 ( d ) n4 HRTS（Hierarchy Referencing Time Synchronization Protocol） 根节点和应答者节点本质上是采用TPSN同步 根节点和非应答者节点本质上是双向报文交换同步（但非TPSN） 应答者节点和非应答者节点本质上是接收者--接收者同步 HRTS（Hierarchy Referencing Time Synchronization Protocol） FTSP（Flooding Time Synchronization Protocol） 同步精度高 工程实用性强 强调实现细节 MAC层时间戳技术 和平台直接相关 基本同步原理 发送者--接收者同步 单个报文中包括多个时间戳（在报文的不同位置） 根据单个报文中的多个时间戳，可对中断等待时间进行补偿 对clock skew的补偿仍采用最小二乘法 FTSP（Flooding Time Synchronization Protocol） 多跳FTSP 洪泛方式广播时间基准节点的时间 协议健壮 实际做了工程化的实现 GCS（Global Clock Synchronization） 节点遍历模式 聚类分层模式 扩散模式 GCS：节点遍历模式 游走阶段：记录游走的出发和到达时间 时间校正阶段：根据节点在游走环的位置和游走时间对节点时间进行校正 理论假设：每段游走的时间花费相同 GCS：聚类分层模式 单纯的节点遍历方式导致遍历环过长，同步功耗大 通过分簇协议，把网络组织成簇结构 簇头节点间以节点遍历方式同步 簇内节点可以节点遍历或RBS等方式进行同步 GCS：扩散模式 越简单的方法往往是越有效的 同步过程：对接收到的时间进行平均操作，并对自己的时间进行扩散 理论证明：当把所有节点的时间当成一张快照时，经过若干轮扩散过程，所有节点时间最终将收敛到所有节点时间的平均值上 内容提要 时间同步概述 基本概念 传统与挑战 2. 时间同步算法及比较 典型时间同步协议 新型同步机制 新型同步机制 基于报文交换的同步机制面临着挑战 同步精度问题 可扩展性问题 新型同步机制 萤火虫同步 协作同步 两个概念 同时性与同步性 萤火虫同步 1935年，Science 1975年, Peskin的RC模型 1989年，MS模型（无延迟） 1998年，Ernst（有延迟）结论 2005年，真实地实现 简单，高效，可扩展性强 MS模型 研究由初始不同步状态如何达到同步状态 个体性质相同,因此一旦达到同步则永远同步 萤火虫之间的交互被建模成电量耦合 耦合延迟规定为0 最终结论为:系统的同步收敛性取决于个体在自由状态下的动力学特性 同步的实质：不同步产生了耦合，耦合改变了状态量，而状态量又改变了相位量 ,相位差通过同步过程不断缩小，最终达到完全相同,即同步状态 MS模型 证明了全耦合系统的同步收敛性 没有证明多跳网络的同步收敛性 Ernst的研究 MS模型没有考虑耦合延迟，Ernst研究了耦合延迟固定时的情况 MS模型只研究了正耦合的情况，Ernst还研究了负耦合的情况 Ernst--正耦合（2个节点） 存在两种情况 不可能达到完全同步 其实是MS模型的扩展 Ernst--负耦合（2个节点） 存在三种情况 和Peskin的结论一致 结论：考虑固定耦合延迟的情况下，只有负耦合才可能取得同步收敛 负耦合下的全连接网络 仿真研究方法 和两个节点下的情况不同 出现分簇现象 其他一些研究与结论 理论上没有突破 单纯的仿真方法意义有限 萤火