VANET信息广播模型定量验证方法

针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性.     

面向 VANET 的多层次匿名认证方案

本文提出多层次匿名认证 AMLA（authentication with multiple levels of anonymity）方案。AMLA 方案利用基于身份签名机制及别名策略实现消息的不可否认性、完整性匿名认证。通过控制每个车辆的别名数量和每个别名的有效期,实现不同车辆的不同层次的匿名。同时为每个别名秘密地绑定该别名的有效截止日期,从而实现隐晦的别名撤销机制,减少系统开销。理论分析和仿真结果表明,AMLA 方案在高速处理器环境下消息签名时延仅为10．731 ms,验证时延为10．853 ms,并且具有较低的消息丢失率,证实了 AMLA 方案的有效性。     

城市车联网中紧急消息的快速广播路由研究

研究了车载自组织网络(VANET)中紧急安全消息的多跳广播协议,针对城市场景的特点提出了一种基于最小期望剩余时延转发的广播算法(BP-MEDF).该算法综合考虑了信号衰落、排队时延、广播干扰和车辆快速移动等因素,提出基于最小期望剩余时延的中继优选模型,结合城市道路的静态和动态路由属性,协议规定发送端首先指定最佳中继快速转发消息,当指定的中继转发失败时其他接收节点协作转发以确保路由可靠性.通过NS2仿真表明,相比于传统的协议, BP-MEDF在满足一定广播可靠性的前提下,降低了广播时延,具有更高的广播效率.     

车载自组织网络通信协议

 车载自组织网络（VANET）被认为是未来智能交通系统（ITS）的重要组成部分,可有效提高行车效率、安全性和舒适性。VANET属于移动自组织网络（MANET）,不依赖固定设施,其节点高速移动、网络拓扑变化频繁,具有与MANET不同的构架、特征、应用和挑战。本文综述了VANET网络构架、通信协议、建模与仿真、信息管理和云计算等方面的研究进展,展望了未来的发展方向。     

车载通信网中基于DSR分层机制的移动代理路由策略研究

分析了现有动态源路由(dynamic source routing,DSR)协议机制以及在车载通信网路由发现中存在的问题,提出一种基于DSR分层机制的移动代理路由策略(cluster mobile agent-dynamic source routing,CM-DSR),并对设计的算法进行仿真实验。结果表明,所提出的CM-DSR协议与DSR路由协议相比较,较大幅度地降低了端到端的传输延迟,减少了路由请求次数,包的提交率也有一定程度的提高。     

面向停泊车辆的VANET高效数据分发方案

针对VANET车辆节点的高移动性、间歇连通性等独特性质,提出了一种面向停泊车辆的VANET高效数据分发方案,利用路边停泊车辆缓冲并执行数据分发。同时还提出了一种便于分发数据报文至路边停泊车辆的路由方案,并将发布/订阅方案引入到最后阶段的数据分发。理论分析和仿真比较结果表明面向停泊车辆的数据分发方案的优越性,即该方案能以较低网络开销和合理延迟实现更高数据传送率。     

一种基于ZigBee的防追尾预警系统

基于ZigBee的防追尾预警系统通过等间隔置于道路上的协调器和车载终端实现车联网,完成车车互联、信息共享。利用道路节点对道路进行分段管理,利用车载终端的GPS和RFID读取器实现车辆的位置、速度与行车道的信息获取,最后利用最小安全距离模型实现车辆防追尾的预警,并在实物测试中得到了验证,证明了系统的可行性。     

一种车载Ad Hoc网络的分布式位置服务路由策略

针对现有基于位置的路由协议如GPSR(greedy perimeter stateless routing)协议的性能受目的节点位置移动影响过大的问题,提出一种基于分布式位置服务的路由策略?该路由策略通过在路网中引入分布式位置服务器来协助数据分组转发,分布式位置服务器除了定时维护其辖区内车辆节点的位置信息并存入本地节点位置表外,还定时与邻居位置服务器交换本地节点位置表中的信息并保存于邻居表?基于这些节点位置信息表,在路由策略中,发送节点首先将数据分组转发至本地位置服务器,继而本地服务器根据本地节点位置表或邻居表中目的节点的相关信息做下一步的路由决策,直至将数据分组转发至目的节点?结果表明,在节点高动态移动的车载Ad Hoc网络环境中,基于分布式位置服务的路由策略能够有效提高分组投递率并降低路由开销, 且更能适用于网络拓扑捷变的车载Ad Hoc网络?     

高速公路环境下车联网同向协助下载方法研究

本文根据车联网协助下载的研究现状,针对高速公路环境下AP分布稀疏且通信范围有限所导致的用户通过WIFI接入互联网进行内容下载过程中高延迟低吞吐率的问题提出了一套同向车辆协助下载的方法。利用该方法,如果用户未能在AP通信范围内完成下载,AP选择其通信范围内与用户同向行驶的一组车辆携带用户所需数据,通过车速快于用户的车辆在赶超用户过程中完成数据转发。利用这种方法有效的提高用户获取数据的吞吐量,达到了延伸AP通信区的目的。仿真结果表明,使用同向协助下载方法可以使用户获取数据量提高二倍以上。     

车联网中种时间约束的数据广播算法简

为解决车联网中时间约束条件下的数据广播问题,将该问题规约为二分图的约束最小顶点覆盖问题。证明该问题是NP-Hard问题,并提出一种启发式的数据广播算法。实验表明,相对于传统的路由算法,该算法充分考虑节点的联系概率及影响力,对于路由的包投递率和平均数据包端到端延时都有较大提升。