1D 环境下无信标无线电广播协议的理论分析

无信标广播协议是移动敏感无线网络中用于发送消息的路由协议,每个节点仅可获取自身位置信息。消息以分布式方式进行路由:每个节点根据消息来源、目的地及自身位置,使用局部决策规则进行路由。本文分析了六种不同的无信标广播协议,重点关注两种相关的1D场景。协议选择反映了文献中提出的各种最相关协议类型,包括之前在计算机仿真中评估的协议。我们对每种协议在两种场景下,单个节点可接收的最大消息数进行形式化和结构化分析。这一度量衡量了每种协议所产生的网络负载。我们的分析,对于其中一些协议需要进行复杂的概率分析,确认了此前仅通过仿真观察到的行为。