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

来源 :华南理工大学学报：自然科学版 | 被引量 : 0次 | 上传用户：huyuszsz

【摘要】

：

针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点,采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化,并采

【作者】

：

屠宇徐建闽钟慧玲

【机构】

：

华南理工大学

【出处】

：

华南理工大学学报：自然科学版

【发表日期】

：

2005年3期

【关键词】

：

智能交通系统专用短程通信协议验证 Intelligent Traffic System Dedicated Short-Range Communicatio

【基金项目】

：

国家科技攻关项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

中药足浴对慢性心力衰竭患者心功能和生活质量的改善作用

目的观察中药足浴对慢性心力衰竭患者心功能和生活质量的改善作用。方法 86例慢性心力衰竭患者随机分为对照组44例和观察组42例,对照组采用慢性心力衰竭常规治疗和护理,观察

期刊

足浴慢性心力衰竭心功能明尼苏达心衰生活质量调查表6 min步行距离

田径教学训练中防治运动损伤的措施

<正> 田径训练中,发生运动损伤是极为常见的。在跑步、跳跃及投掷运动时发生的损伤一般有皮肤擦伤、肌肉拉伤、关节韧带损伤、肌痉挛、脱臼和骨折等。一旦发生运动损伤,如处

期刊

肌肉拉伤韧带损伤田径教学中长跑教学训练

何为理学——宋明理学内在的哲学取向

"新儒学"(Neo-Confucianism)、道学、理学构成了理学的不同之名。以"新儒学"指称理学,体现了理学与传统儒学之间的历史传承关系,用"道学"概括理学,表明了理学以"性与天道"为

期刊

新儒学理学道学理气心性

浅析中俄北极合作:框架背景、利益、政策与机遇

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技

期刊

北极中国俄罗斯

林中的斑鸠

住在顶天的六楼上，好处之一是视野开阔。俯窗望去距楼不远处是一条淙淙流淌的小河，河边有一片树林，准确地说其实也就是几株老杨树，但茏葱的绿叶如伞如盖，给忙碌的城里人带来了些宁

期刊

斑鸠珍珠斑男青年鸟类保护野生动物热闹的场面说来奇怪世外桃园野鸽子忙于工作

大学生肺结核防治知识、信念、行为调查研究

期刊

肺结核知晓率行为态度健康教育

发挥社保经办机构的管理优势在城乡医保整合中彰显作为——基于山东省沂水县的实践

山东省2014年在全省范围实施城乡居民医保整合,建立起由人社部门统一管理、医保经办机构统一提供经办管理服务的城乡一体化居民医保。沂水县人社部门医保经办机构充分发挥十

期刊

城乡居民医保整合管理优势医保经办机构

甘油果糖联合甘露醇在小儿颅内感染降颅压中的应用及护理

目的探讨甘油果糖联合甘露醇在小儿颅内感染降颅压中的应用及其护理干预。方法选取2016年5月至2017年11月期间本院收治的小儿颅内感染患儿94例,利用随机数表法分为两组,各4

期刊

小儿颅内感染甘油果糖甘露醇降颅压

基于过零时刻与SNR算法的电能表台区识别方法研究与应用

各电力公司传统硬件台区识别方法中应用了主机和手持终端。主机安装在配电变压器三相低压侧,工作人员携手持终端在用户侧开展识别工作,这需要部署专用硬件,耗费人力和物力。

期刊

台区识别过零时刻SNR最优路径法

科学谋划促院校教育新发展

文章从牢固树立院校管理的大局意识,高屋建瓴盘活棋;紧抓教师素质提升之关键,脚踏实地出实效;全面设计素质教育的知识结构,深谋远虑求卓越三个方面阐述了如何科学谋划促院校

期刊

科学谋划院校教育教育理念人才培养

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

与本文相关的学术论文