基于Petri网的全自动驾驶系统安全性分析

被引量 : 17次 | 上传用户:wangli7313981
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作为新一代的列车运行控制系统,全自动驾驶系统由于具有高度自动化、集成化、高效率、低运营成本等特点,逐渐成为了国内外城市轨道交通信号系统的发展趋势。但在没有司乘人员的全自动驾驶系统安全性是否优于传统有人驾驶列车的运营模式,一直备受国内外专家学者的争论。因此,本文将结合相关安全分析的理论去探讨和研究全自动驾驶系统的安全性问题。本论文结合国内外有关全自动驾驶系统的研究现状探讨了全自动驾驶系统的概念、系统架构、功能特点等,基于此对全自动驾驶系统做深入而全面的研究。论文提出了基于Petri网的全自动驾驶系统安全分析方法,并建立了三阶段法安全性分析总体过程。在此也完善了Petri网的建模基本元素、临界状态概念以及追溯查找求解算法。最后,提出了消除危险状态的连锁法和时间约束法等风险降低措施。论文选取了保护区建立与取消、移动授权生成等全自动驾驶系统的特有安全功能建立相应的Petri网子模型。并结合预先危险分析方法以及安全功能规范选取了乘客上下车和列车进站停车两种场景建立了相应的Petri网安全分析模型。利用Petri网的可达性理论对两种场景的模型进行安全性分析,提出了基于顺序连锁和禁止连锁的风险降低措施从而消除危险状态,并尽可能地消除临界状态提高系统的安全性,完善全自动驾驶系统的系统设计。
其他文献
由魏明孔主编的《中国手工业经济通史》,是一部规模较大的、水平较高的多卷本中国手工业通史。本文仅对其中由胡小鹏著的宋元卷之编著特点、成就等,作了较为中肯的评介。
<正>书信是人类生活中最普通、最古老、最具有准确性的一种沟通方式。尽管电话、可视电话已经普及,但书信的功效仍然不会被其他的沟通方式所完全取代。尽管书信礼仪现在一般
期刊
目的优选山茱萸中多糖提取工艺,并建立山茱萸多糖含量的测定方法。方法采用水提醇沉法提取山茱萸中多糖,以料液比、提取时间和提取温度为考察因素,以多糖提取率为评价指标,采
目的:通过经颅多普勒超声(TCD)检测症状性大脑中动脉(MCA)、基底动脉(BA)狭窄及狭窄程度与进展性卒中的相关性.方法:回顾分析164例MCA或BA供血区急性脑梗死病人资料.采用TCD
世界页岩气资源丰富,但由于页岩地层渗透率很低,目前还没有广泛开发。水力压裂技术是页岩气开发的核心技术之一,广泛用于页岩储层的改造。介绍了水力压裂作业的压裂设计、裂
当前我国正在全面实施利率市场化改革,商业银行面临着逐步增加的市场风险如利率风险、信用风险等,尤其是中小商业银行的风险管控模式亟待改变。本文将详细介绍我国的利率市场
本文通过对比近代传统哲学和杜威在核心概念"经验"的不同含义,力图指出两者在本体论、认识论方面的对立,即后者把活动和效果看作哲学研究的核心,在经验的原发之处来克服二元
目的根据不同树龄山茱萸果实品质形成的动态变化,确立山茱萸的最佳采收期,为山茱萸生产提供科学的理论依据。方法通过测定不同树龄和同树龄山茱萸在不同生长时期果实中浸出物
目的 :探讨阿奇霉素对治疗小儿肺炎支原体 (MP)感染的疗效。方法 :78例肺炎支原体感染患儿分为二组 ,2 6例静脉注射阿奇霉素 ,5~ 10mg·kg/d ,5 2例静脉注射红霉素 ,2 0mg·kg
目的:比较2,4,6-三硝基苯磺酸(2,4,6-trinitro-benzene-sulfonic acid,TNBS)与免疫复合法介导的溃疡性结肠炎(Ulcerative colitis,UC)动物模型的效果。方法:SD大鼠随机分为免