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

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

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

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

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

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

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

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

专用短程通信协议模型的建立

以专用短程通信(DSRC)协议的开发为背景,参照现有国际标准,提出了适合我国通信环境和面向多应用的DSRC协议的总体结构,描述了协议的帧格式,论述了车-路的通信过程,在此基础上建立了协议的数学模型,并给出了模型的假设条件和部分在求解过程中将要用到的基础数据．     

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

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

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

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

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

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

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

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

专用短程通信协议一致性测试平台设计与分析

为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证.通过实际的测试和对结果的分析,证明该测试平台可以正确的实现协议一致性测试,验证了专用短程通信协议一致性测试的可行性.该平台为后续专用短程通信协议一致性测试系统的建立和完善提供了必要的技术基础和保证.     

UPPAAL环境下通讯协议的自动验证

对UPPAAL环境下通讯协议的规范验证方法进行研究,在此基础上,利用一组时间自动机模型模拟一个具有严格时间限制的网络通讯协议,并对其正确性进行自动验证.     

一个安全电子商务身份验证协议

针对电子商务活动中存在的冒名欺诈问题，设计了一个安全的电子商务身份验证协议。协议的安全性是建立在目前尚未存在有效攻击方法的有限域上非超奇异椭圆曲线的椭圆曲线离散对数问题之上的。从理论上分析，该协议是安全的并具有一定的实用价值。为了提高协议在实际应用当中的运算速度，设计了实现该协议的椭圆曲线密码体制基本算法，这些算法具有形式简单，运行速度快的特点，完全可以满足实际应用的需要。     

协议描述和验证的基本方法

简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。     

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

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

一种基于分布式入侵检测系统的安全通信协议的研究

针对分布式入侵检测系统(ADIDS)中各通信中间件的安全通信协议目前存在的一些问题,提出了一种适用于分布式入侵检测系统的安全通信协议,并采用形式化验证方法和仿真攻击测试等方法,证明了本协议具有较好的安全性及通信效率.     

在UNIX上的TCP/IP协议下实现网络进程间的通信

本文介绍在ＵＮＩＸ环境下,采用流行的ＴＣＰ／ＩＰ协议实现网络进程间的通信原理,最后给出一个通信程序实例．     

KERMIT通信协议的一种改进方案

针对日趋国际标准化的KERMT通信协议的一些不足,提出了一种改进方案,使其在文件传输中断时,能够从中断处迅速恢复传输,保证无差错无重复地正常工作。