【摘 要】
：
针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点,采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化,并采
【机 构】
：
华南理工大学交通学院,华南理工大学交通学院,华南理工大学交通学院 广东广州510640,广东广州510640,广东广州510640
论文部分内容阅读
针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点,采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化,并采用SDL对DSRC协议进行形式化描述,在此基础上提出了DSRC协议验证的步骤和实现方法,并对所开发的协议SDL模型进行验证,结果表明了协议的逻辑正确性.
In view of the complexity of DSRC and the inherent nature of the protocol itself being ambiguous and ambiguous, protocol engineering is used to ensure the integrity, correctness, security, portability and Standardization and using SDL to formally describe the DSRC protocol. On this basis, the steps and implementation methods of DSRC protocol verification are proposed, and the SDL model of the protocol developed is verified. The results show the logical correctness of the protocol.
其他文献
控制农村结核病问题是当前结核病防治的重点。据全国第四次结核病流行病学抽样调查显示,农村人口的活动性肺结核患病率、涂阳患病率和菌阳患病率均高于城市、城镇人口。因此
中华医学会第三次全国幽门螺杆菌 (Ｈｐ)学术会议于2 0 0 2年 8月 1 6～ 1 8日在北京召开 ,参加会议的代表有 31 0人。本次会议举行了 6场共 2 1个专题报告 ,收到论文 1 92篇 ,其中
各省、自治区、直辖市人民政府,国务院各部委、各直属机构:民政部、教育部、公安部、财政部、人力资源社会保障部、住房城乡建设部、卫生部《关于加强见义勇为人员权益保护的
想来身为一个读书人已有些年头了,一向以阅读为乐,而在阅读的过程中也产生了不少困惑、体验和教训,总结经验完全是个体的事情,但是我估计可能会产生一些共鸣,提供一点参考,故
复方增效磺胺(co-trimoxazole)的广泛应用已导致卡氏肺孢子虫(P.c.)耐药增多。P.c.耐药性的检测颇为复杂,许多学者转向研究药物针对的酶的编码基因。二氢叶酸合成酶(DHPS)为
患者，女，３４岁。右侧颈部淋巴结肿痛１周，在某肿瘤医院经抗炎治疗无效，照X线胸片正常，初诊为颈部淋巴肿瘤，嘱做淋巴结病理切片检查，因患者家属存有疑虑，经人介绍遂来我门诊就诊。来时患者
近几年来,常州市通信行业紧紧围绕“六个一”的创建要求,紧扣“规范管理,诚信服务,依法经营”的创建内容,坚持“协会搭台(协调),企业唱戏(主体),提升形象(行业),服务百姓(宗
目的 探讨早期呼吸机支持加床边血液滤过治疗急性重症胰腺炎合并急性肺损伤的效果。方法 对 17例急性重症胰腺炎合并急性肺损伤患者 2 4h内行呼吸机支持 ,并行床边静脉 静
<正> 由中共中央党校教授王珏、鲁从明主编的《社会主义流通经济学概论》(以下简称《概论》),全面系统地阐述了社会主义流通的理论与实践问题,堪称是一部拓展了社会主义流通理论的重头著作。全书包括流通总论、流通功能、流通形态、流通体制、流通调节、流通效益等6篇,洋洋40万言,展现了社会主义流通论的丰富而深刻的内涵。早在50年代末60年代初,我国著名的马克思主义经济学家孙冶方即大声疾呼要重视对社会主义流通的研究,尖锐地指出流通是实现国民经济有计划按比例发展的关键,并严肃地批评了"自然经济观"和"无流