21、动态MANET按需路由协议（DYMO）与通用接入网络（GAN）架构建模研究

动态MANET按需路由协议（DYMO）与通用接入网络（GAN）架构建模研究

1. DYMO路由协议建模

1.1 无线数据包传输

在移动自组网（MANET）中，数据包传输是一个关键环节。当发送节点发送数据包时，它会将数据包发送到其邻接列表中的每个节点。若目的地址是单播地址，且该地址存在于发送节点的邻接列表中，即目的节点在其范围内，数据包将被转发。

不过在现实中，由于信号干扰等因素，传输的数据包可能只被部分相邻节点接收。但在模型中，我们假设要么所有相邻节点都接收到数据包，要么都接收不到。这是因为动态拓扑建模中，节点可能在传输前移出发送节点的范围，这与信号干扰导致节点接收不到数据包的效果是一样的。

MANET拓扑的动态变化在移动性模块中建模。建模移动性的基本思想是明确表示所考虑的移动场景，即场景中可能的链路变化序列。之所以要进行明确的拓扑控制，是因为在具有N个节点和对称链路的MANET中，节点之间可能的链路数为$N (N - 1)/2$，可能的拓扑数为$2^{N (N - 1)/2}$。这种大量的可能性会导致状态空间爆炸，使动态拓扑的状态空间分析变得不可能。通过在模型中进行明确的拓扑控制，我们可以限制可能的组合数量，并逐个考虑不同的移动场景。该模型可以通过指定任何链路都可能断开或连接的移动场景来捕捉完全动态的拓扑，也可以捕捉没有拓扑变化的静态场景。

1.2 建模结果

在对DYMO协议进行建模和模拟的过程中，我们发现了该规范中的一些问题和模糊之处，主要包括：
1. 当处理路由消息时，DYMO路由器作为RREQ消息的目标时，可能会以RREQ泛洪（即指向自身的RREQ）作为响应，但不清楚应在R