文档介绍：华南理工大学
硕士学位论文
专用短程通信协议开发及其仿真验证研究
姓名:彭选荣
申请学位级别:硕士
专业:控制理论与控制工程
指导教师:徐建闽
20030510
摘要随着智能交通系统ㄉ柙谌蚍段诘呐畈7⒄梗ㄎ=饩龀德范叹嗬无线通信的丶际跻际跻灿υ硕ㄐ判槭荄术的核心和基础,规范了车路建立连接、信息交互的各项规则。目前国际上还没有统一标准,欧、美、日已推出各自标准莅。国内有关技术的研究还局限于比较欧洲、日本标准莅,研究挠τ煤突诠饧际醯亩慰7ⅰ本课题的研究工作处于。从项目开发的角度,本论文基本反映了参与“专用短程通信设备开发”项目以来完成的主要工作:确定方案提出项目研究思路,要解决的关键问题及解决途径,确定协议软件功能模块及结构设计方案,提出协议软件仿真、验证及测试方案。本论文比较研究了现有各国协议标准,分析我国车路通信发展需求,提出了我国设备需具备的主要特性,详细论述了本课题组制定的协议主要内容,包括协议结构,各层主要功能特性,上下层联系接口,主要通信流程等。协议描述研究形式化描述技术,在言蚆对协议进行形式化描述,论述协议系统级设计和阆统、模块、进程级设计。以前期枋鑫;。ü赥抡嫜橹せ肪诚略诵校橹げ⑿改阈樯杓疲繁P楣娣锻暾院吐呒煽啃浴本课题组制定的协议文本是我国第一部完整的具有可实现性的协议规范,本课题组研究工作最终可得到具有自主知识产权的协议软件和相应的协议控制模块,所有这些对于形成我国标准、发展我国技术都作好了理论与实践准备。本文还针对技术应用及推广提出了一些有待解决的问题。关键词:籇恍问交枋觯籗;协议验证协议制定腟编辑环境下,用形式化语协议验证摘要
璉癉,甌华南理工大学工学硕士学位论文.:珼現瓺,琣瑃保瑃,猂.——.,琽,琣,,,甀琁琒,...琁Ⅱ
日期:缈‘月刷谧轹锡%擅蹋作者签名:髯监蔑氢渔慧华南理工大学学位论文原创性声明学位论文版权使用授权书日期:矽哆年不保密畎日期:≯—哆年石月所取得的研究成果。除了文中特别加以标注引用的内容外,本论文不包本学位论文作者完全了解学校有关保留、使用学位论文的规定,同朐谝陨舷嘤Ψ娇蚰诖颉啊獭本人郑重声明:所呈交的论文是本人在导师的指导下独立进行研究含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体,均己在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。意学校保留并向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅。本人授权华南理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。保密口,在年解密后适用本授权书。本学位论文属于作者签名:‘』灸,
第一章绪论瞧、蠖撬性鞍安全性。于是霄关簦熊交逶系统强≮慧饕毒主会懿遴步、经济豹发震,壤枣交邋摇塞、交透事敖额发、交逶繇壤瑟化等问题已经开始在擞界各地出现和发生,单纯靠修建道路已无法有效解决目前藤蘸爨瓣遂;辩攀援术敢飞速发最餐褥磅突人员致力予采蔫鑫穆先涟鼓零菠善交通基础设旌和率辆性能,提搿交通运输控制与管理水平,从而增强交通运输有效,的研究与开发在世界锯国竞褶展开。美瞩吭贗方瑟投瓷额达谟#分薰以甏期就耗资多亿美元联合执行~颚跨在究警道路设施、掇离服努承平鹩日本年内阁会议通过的推进摹把方ㄉ栉迥昙苹敝校蹲颧褥这纯强元。在中国,溺家“丸蠢”麓润已经擞篦嘧式鸾蠭及辐美领域的研究,而且,凰家“卜五”计划已经明确提出将大力发展ヒ殉醪确定丸个国家级瓣智戴交逯建设示蕊城市,这将会豢动一大搋城露趣大薅突逶建黢袋舷叭镎忽谈馓俟迩桉鸺际趸菏退炻方诲迮蠢瑁錾俳煌ㄊ吗和环境汾染。目前殉晌=冉男畔⒓际酢⑼ㄐ偶际酢⒖刂萍际酢⒋ǜ屑术和计算樵处磺技本综合集戏、寿效剃鼹的~个鼗技术鹱竣“l嗾眨獻离不开通信、控箭等耩关领域豹技术研究。无线网络是燃际趸躲具体应用邋常对时间延迟锻敏感,或要臻多个掰户共事逶信链鼹。为了发撂h次遥迪諭对车辆的智蘸纯、实时、动态管理,国际上专门开发了适用于煊蝈迓酚氤盗局涞耐ㄐ判椋郎专溺簸程遴德珼协议。技术是一种实现短距离无线传输的新艇技术,支持点对点、点对多点的通信。它遵遘蘩患懿双淘绩赣将每辍帮峰狗戕玖雌鹄础7险餌际蹙蚕祷褐饕包括三部分:率载单元瓸,、路边单元甋娃及专麓矮程邋信癸谈。其中逶蕊协议是实现无线缀程逶搭、缳琵倍感安全霹靠耳罄国黪上还没卷统一的标准,不过基本形成以敢溅国/,日本疶为梭心静标准纯体系。制定适合我国军路通信需求的,具有自主知识产权的协议,开发梗应的通馈设备,避两鼹遴我蓉褥准凭避禚,藏藏着我囡疆嚣发鼹ㄉ杈椤镏叵呶瘛为此,国家科拽部专门制定了国家“十五”爨点攻关项耳ㄏ睿庖蛔ㄏ罟肖÷令予矮,葵中之一藏是“专耀矮稷逶譬设备开发枧鸫馈俺裁信息装置开发”、“钅科兰鄯椒ā薄ⅰ俺鞘泄ü步煌ㄏ低