ITS专用短程通信的协议验证

针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点,采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化,并采用SDL对DSRC协议进行形式化描述,在此基础上提出了DSRC协议验证的步骤和实现方法,并对所开发的协议SDL模型进行验证,结果表明了协议的逻辑正确性．     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架，确定了对协议实现进行一致性测试的方法和测试套形式化描述方法，设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试，保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

专用短程通信在智能交通系统中的应用

交通专用短程通信(Dedicated Short Range Communication,以下简称DSRC)是智能交通系统的基础,是专门应用于智能交通领域的一种短距离无线通信协议.它是车辆与路边设备进行单向或双向交互式通信的标准,将车辆和道路有机地连接起来.从而,交通控制中心可以通过与行驶车辆的数据通信实现对车辆的智能管理,同时车辆还能够接入交通信息网,使用信息网中的资源.本文研究了DSRC系统的三层体系结构,讲述了交通专用短程通信系统的软硬件实现方法,最后对DSRC系统研究意义进行了一定的分析.     

专用短程通信在智能交通系统中的应用

交通专用短程通信(Dedicated Short Range Communication,以下简称DSRC)是智能交通系统的基础,是专门应用于智能交通领域的一种短距离无线通信协议。它是车辆与路边设备进行单向或双向交互式通信的标准,将车辆和道路有机地连接起来。从而,交通控制中心可以通过与行驶车辆的数据通信实现对车辆的智能管理,同时车辆还能够接入交通信息网,使用信息网中的资源。本文研究了DSRC系统的三层体系结构,讲述了交通专用短程通信系统的软硬件实现方法,最后对DSRC系统研究意义进行了一定的分析。     

专用短程通信在智能交通系统中的应用

交通专用短程通信(Dedicated Short Range Communication,以下简称DSRC)是智能交通系统的基础,是专门应用于智能交通领域的一种短距离无线通信协议.它是车辆与路边设备进行单向或双向交互式通信的标准,将车辆和道路有机地连接起来.从而,交通控制中心可以通过与行驶车辆的数据通信实现对车辆的智能管理,同时车辆还能够接入交通信息网,使用信息网中的资源.本文研究了DSRC系统的三层体系结构,讲述了交通专用短程通信系统的软硬件实现方法,最后对DSRC系统研究意义进行了一定的分析.     

基于专用短程通信的停车引导和信息系统

介绍了专用短程通信(DSRC)系统和DSRC协议的结构,构建了基于DSRC的停车引导和信息系统(PGIS)的总体结构,讨论了各个组成部分的功能,结合广州市具体实施情况阐述了PGIS的系统构成。讨论了PGIS需提供的静态和动态信息以及当前广州市PGIS提供的信息。研究了PGIS提供的停车诱导、自动收费、停车位预定等功能的实现,分析了PGIS的特点,最后指出了实现PGIS过程中应考虑的关键问题。     

多道路调制环境下DSRC鲁棒性研究与仿真

DSRC在车车与车路通信方面已得到越来越广泛的应用,DSRC传输性能的可靠性对ITS有着重要的影响。针对DSRC在城市道路环境与高速道路环境,首先研究了DSRC物理层的协议架构,对系统重要参数进行设置后在调制方式与RTS机制的采用方面进行了系统建模与仿真。在此基础上得出了多道路环境下高速路段的丢包率高于城市路段,使用64-QAM调制方式进行信号传输方式丢包率分别处于6.5%与8%的相对较高值,其他调制方式得到的丢包率处于4%的可靠范围,加入RTS机制与增大发射功率有利于降低总体丢包率的结论。     

基于专用短程通信的个性化交通信息服务系统

在专用短程通信(DSRC)协议的基础上,提出一种个性化交通信息服务系统,设计了该系统的结构、讨论了路边设备与车载设备之间通信以及信息中心与路边设备之间信息传输,介绍了系统的主要功能。研究表明,该系统能为出行者提供小区域范围内的个性化交通信息服务,为个性化交通信息服务系统的进一步研究奠定了基础。     

智能传输系统中专用短程通信的媒体访问控制

在北美新的智能传输系统中，为缓解交通堵塞的表面传输设施的关键是建立在车一车无线电通信基础上，而75MHz专用短程通信可通过车一路连接满足将来大量媒介的传送。概述了专用短程通信的应用和IEEE802．11PHY和MAC属性的评估，及DSRC中802．11的局限性和DSRC的发展现状，期望802．11规格做出适当的调整来满足DSRC环境中多中继站连通性、高速车辆运行和一系列服务质量的需求。     

可信增强TLS协议的设计与实现

针对当前应用最为广泛的安全传输层(TLS)协议不能解决通信终端被攻击而造成的信息泄露问题,以及在TLS协议中引入对通信终端的完整性证明带来的安全性和兼容性问题,提出了与标准TLS协议兼容,并且支持对通信双方进行完整性证明的可信增强TLS协议的设计与实现方案.该方案完成了通信双方的完整性信息的交换和验证,从而解决了因通信终端的完整性遭到破坏而造成的信息泄露问题.此外,提出了TLS协议中通信终端的身份与完整性信息的绑定方案,从而有效避免了重放攻击.最后对协议的安全性进行了分析证明,并对协议实现情况进行了测试,测试结果表明可信增强TLS协议与标准TLS协议兼容且具有良好的性能.     

专用短程通信协议模型的求解与分析

为确定专用短程通信协议的重要参数,把通信过程分为预约阶段和数据传送阶段,运用排队论理论分阶段建立了协议的数学模型,分析并论述了预约阶段的延时和吞吐能力,给出了数据传送阶段中数据传送时间服从定长分布和负指数分布情况下的主要参数和性能指标的计算方法,并给出了相应的计算结果,最后讨论了实际应用中不满足假设条件情况下的解决办法．     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

快速公交智能系统通信协议标准研究

对快速公交(BRT)智能系统通信标准发展的国内外现状及需求进行了分析,基于研发实践总结出快速公交智能系统的构成和通信协议体系的构成,并提出了快速公交智能系统通信标准的制定原则、通信协议分层模型及其通信协议的构成内容,总结了基于通信协议标准的系统集成内容.所提出的通信协议标准已在相关工程实践中予以应用,取得了良好效果.     

基于IPv6的3G网络安全通信模型研究

随着3G业务的推广,IPv6网络通信协议在3G网络中的应用受到越来越多的重视.在分析3G网络的安全目标和所面临的安全问题后,提出了一种基于IPv6协议的通信模型.该模型采用中心协调控制策略,IPv6通过标准化IPSec协议,能最大限度的为网络用户在网络层提供安全可靠的通信服务.     

Jabber与SOAP协议Agent模型及其实现

为解决其他应用系统与Jabber系统的通信问题,讨论了Jabber协议与SOAP(Simple Object Access Protocol)协议,并对这两个协议进行了比较.提出一种Jabber协议与SOAP协议的代理模型,并用Java语言实现了Jabber协议与SOAP协议的相互转换.该代理适用于基于Jabber协议的系统与其他应用系统的连接,对Jabber协议系统的功能进行了扩展,解决了其他应用系统以Webservices方式与Jabber系统的通信问题.     

智能家居网络的串口通讯实现方案

目的 提出一种智能家庭网关与信息家电之间的串口通讯方案，设计一套基于RS-232的串口通讯协议。方法针对嵌入式系统在智能家居系统中的应用特点，参考电子控制领域通用的Modbus协议，并用C语言编制相应的串口通讯软件。结果建立了基于RS-232的串口通讯模型，实现了智能家庭网关与模拟节点之间的相互通讯。结论该智能家居网络的串口通讯方案是完全可行的。