【摘 要】
：
全自动驾驶系统FAO(Fully Automatic Operation)具有安全、可靠、高效的特点,成为未来城市轨道智能交通系统的主要发展方向。FAO系统典型运营场景是1个实时的过程,为发现其逻
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
全自动驾驶系统FAO(Fully Automatic Operation)具有安全、可靠、高效的特点,成为未来城市轨道智能交通系统的主要发展方向。FAO系统典型运营场景是1个实时的过程,为发现其逻辑的错误、功能和性能的缺陷,需要在系统设计前,针对系统需求规范中典型运营场景的实现流程进行形式化分析。本文分析FAO典型运营场景保护区的实现流程,在系统需求规范中提取其功能与性能的需求,采用基于时间自动机理论的UPPAAL构建时间自动机网络模型,进行仿真分析,并验证其功能属性、性能属性与安全属性。通过反例分析、模型修正,增强对FAO系统的理解,减少设计故障,提高安全性,为系统设计与实现打下良好的基础。
其他文献
通过叙述MAPGIS在矿区核查成果图件中的应用，说明应用MAPGIS在地质找矿方面正发挥着巨大的作用。
自我国确立核心素养体系以来,围绕核心素养的各类研究工作相继展开,理论研究及教育实践都有了新的指向,在此环境下,教育工作者应当思考如何将培养学生核心素养的教育诉求落到实处。传统的课时教学模式由于缺乏对知识体系及教学目标的整体把握,已经脱离基础教育改革的步伐,也无法适应当下培养学生核心素养的教育诉求。以单元为单位的整体教学策略要求教师整体把控教学目标,从而合理进行教学设计并明确课时教学任务,有利于培养
为考虑系统运行方式的随机不确定性,采用概率方法研究含风电场的电力系统的小干扰稳定性。在双馈风电机组转子侧变频器有功控制环加装电力系统稳定器,以改善风电并网系统小干
随着现代社会人民饮食习惯变化及生活方式的差异,人体体型也在发生着变化,特殊体型人群在日益增多,而市场上的许多服装大多是基于标准体型及推板获得,对特殊体型个体的合体度
浅谈控制颗粒饲料水分的三点措施张文龙颗粒饲料以其独特的优点深受广大养殖用户的欢迎，而产品的质量也越来越为养殖用户所关注，尤其水分这一质量指标，至关安全储存和使用寿命，应
目前我国一般性人才短缺的状况已得到有效缓解，一些地方、行业甚至出现了暂时过剩的现象，但高层次人才仍然十分短缺，且流失严重、青黄不接，难以满足实际需求。将才、帅才短缺已成
数概念是培智低年级生活数学的重要教学内容之一。目前培智课堂教学中不重视概念教学,较多的重视生活技能的学习,而忽视了学科的概念性知识的形成与掌握。笔者在数概念教学中
20世纪50、60年代,柯林·罗和同事斯拉茨基共同发表透明性著作并完成类的划分,现象透明性理论迅速引起建筑界的广泛关注。同时,“得州骑警”综合柯布西耶的“多米诺体系”与凡·杜斯堡的“空间构成”这两种图式发展出九宫格练习,海杜克在此基础上提出方盒子问题和胡安格里斯问题,霍伊斯里在ETH继续着“建筑设计基础教学”,埃森曼则发展出深层结构,这些改革中无不渗透着现象透明性理论。直到80年代,霍伊斯里提出“
教育国际化日益成为教育改革和发展的热点话题,如今既不可关起门来搞发展,也不可以封闭自己谈教育。“跨文化专题研讨”是《高中语文课程标准(2017年版)》设计的18个学习任务