基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法

与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全...     

“无人驾驶车”不科幻

<正>没有人开车,汽车会自己在路上走,在今天会是惊世骇俗的大新闻,但可能20年后,无人驾驶汽车在路上跑根本就不稀奇。德国宾士自动化驾驶科技主管齐普为汽车未来解密,他披露了未来的汽车概念,告诉我们自动驾驶汽车正一步步走进日常生活中,或将改变城市风貌。齐普表示,这些科技不仅可以降低汽车行驶的事故风险,也让     

丰田研发悬浮汽车 “飞车”或将成真

<正>日本丰田汽车公司目前正在研发悬浮汽车。丰田公司力争在汽车科技领域走在最前沿,丰田可以说是混合动力汽车领域的先驱,同时还和奥迪以及谷歌等一样,致力于无人驾驶汽车的研发。丰田汽车技术专家Hiroyoshi Yoshiki在旧金山举办的彭博明日之星峰会(Bloomberg's Next Big Thing summit)透露上述消息,表示悬浮车会在路面上悬空行驶,但并非在三维空间当中飞行。     

英国欲造无人货船

英国工程巨头罗尔斯-罗伊斯也是世界最大的商用造船业供应商之一,它希望更广泛地使用高级自动化技术,将船员控制的货船更换成为无人驾驶的船队。     

“无人驾驶”途锐亮相全球最大科技博物馆

运用了无人驾驶技术的大众汽车SUV途锐“斯坦利”（Touareg Stanley）从2008年11月底开始,在全球最大的科技博物馆史密森尼国立美国历史博物馆展出。     

应用第一性原理思维探索未来城市交通变革

第一届宝马未来出行青年实践营活动选取北京市三里屯地区作为研究对象,鼓励国内外青年学者对该地区进行仔细调研、深入研究,提出有针对性的解决方案。参与过程中应用第一性原理思维,对交通系统中的人、车、路和环境的关系进行系统梳理。第一性原理思维本质是通过发现系统的基本规律,突破性地对系统进行改进和变革。基于对三里屯地区现状公共交通、道路运行、出行环境等方面的分析,创新性地提出该地区未来交通系统的优化思路。方案涉及车辆共享、无人驾驶、空间维度、动态调整停车费、出行积分制等方面。结果表明,该思维方式是从底层规律研究问题,更容易得到创新性的解决方法。     

湘江新区无人驾驶开放测试道路停车视距研究

国家发展改革委办公厅[2020]年202号文《智能汽车创新发展战略》规划了无人驾驶配套技术在部分城市、高速公路逐步开展、应用,但是尚未出台有关无人驾驶道路技术标准的规范和文件。随着无人驾驶技术的飞速发展,相关开放性测试道路、专用道路技术指标的研究必不可少,尤其是关乎人、车、路、环境安全的指标——停车视距。该文结合传统道路停车视距计算公式和无人驾驶制动原理,提出新的停车视距计算公式,以便为将来无人驾驶专用道路停车视距的研究提供理论指导。     

双电机电动助力转向系统在无人驾驶小型客车上的应用

介绍双电机电动助力转向系统的组成、功能,以及其在4m无人驾驶客车上的应用情况.     

关于城市轨道交通无人驾驶系统的几点思考

介绍了城市轨道交通无人驾驶系统的特点,分析了无人驾驶系统在设计、应用中需重点关注的关键问题。无人驾驶系统全面提升了城市轨道交通控制系统的自动化、集成化水平,是未来现代城市轨道交通的发展趋势。     

中国海军无人机应用前景展望

所谓海军无人机,是指囊括各种任务功能,可由水面舰艇甚至潜艇携带、施放和回收的舰载无人驾驶飞行器。随着现代科学技术的飞速发展和更多高新技术在这一领域的广泛应用,人们不仅已经初步实现了在航空母舰上部署无人机,执行战区侦察、通信中继、甚至对特定目标实施攻击等军事任务,而且无人机的种类、性能及型号也越来越多,在体积、重量、航程、施放及回收方式、携带设备以及特定任务功能等方面越来越满足一般水面作战舰艇甚至潜艇的使用条件,从而开始显示出影响和改变未来海战场的作战方式直至战争形态的巨大潜力。毋庸置疑,随着海军无人机技术的持续发展,其技术水平、任务功能乃至作战用途必将在不太长的时期内趋于成熟,也必将促使现代海军以及海战场发生一次新的革命性。[编者按]