论文部分内容阅读
无线传感网通常是由具有感知、处理和无线通信功能的传感器节点自组织形成的网络。机会路由是可以应用于无线传感网的数据转发协议，该协议将数据包都转发给一组网络节点，这些节点会根据它们到目的节点的特定度量来确定其优先级，优先级最高的节点再次转发数据包给另外一组节点，如此重复直到目的节点。本文利用概率模型检验技术分别验证与分析应用于低功耗无线传感网和移动无线传感网的典型机会路由，并对这些协议进行改进，具体工作包括以下三个方面：（1）用概率模型检验方法对经典低功耗无线传感网机会路由进行建模和分析验证，验证结果发现空洞节点比率高的问题。针对上述问题，提出了基于退避机制的低功耗无线传感网机会路由LDCOP。该协议核心思想是在选择下一跳节点转发数据包时不再采用贪婪算法，即在等待一定时间仍没有合适的转发节点，则丢弃数据包，采用退避机制，选择距离汇聚节点稍大于当前节点到汇聚节点距离的节点为下一跳节点。用概率模型检验工具PRISM对LDCOP进行建模和分析验证得到，LDCOP在包转发率和减少空洞节点比率方面比经典低功耗无线传感网机会路由表现更好。（2）用概率模型检验方法对移动无线传感网机会路由进行建模和分析验证，验证结果发现网络生存期短的问题。针对上述问题，提出了基于能量感知和负载均衡的移动无线传感网机会路由PAGeRaF。该协议改进了候选转发结点集优先级的设定策略，加入了能量感知、负载均衡这两个影响因子。再用概率模型检验的方法验证了PAGeRaF完整性与有效性，以及在有效利用节点能量方面，与改进前的机会路由相比，延长了网络的生存时间，达到了提高网络寿命的目的。（3）将PAGeRaF应用于车载移动传感网中，分析了车辆密度机制和车辆通信机制，并在实际应用场景中使用NS2对基于PAGeRaF的车载移动传感网仿真分析，结果发现PAGeRaF与传统路由AODV相比能够有效地降低网络消息数量而避免信道拥塞。