基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

关于城市轨道交通“走出去”的思考

结合"一带一路"和"走出去"战略,通过对城市轨道交通行业发展和市场现状的分析,从技术、知识产权、行业标准、国际交流、项目后评价体系、协会引导等方面对行业内相关企业如何走出去进行分析,提出中国城市轨道交通行业整体走出去的相关建议和思路,如以高端产品做引领,带动全产业链走出去、控制知识产权风险、加强项目后评价力度等,旨在为行业相关企业"走出去"提供参考。     

国产CBTC系统安全认证模式探索

轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全．为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行．结合北京轨道交通亦庄线示范工程中信号系统的安全认证过程,探讨适合我们国家的地铁建设过程中的安全认证模式,在应用国际安全标准的同时,必须结合我们国家的实际情况开展相关的研究工作,从产品研发和工程实施全生命周期各个阶段进行安全分析和设计,把风险控制到可以接受的水平以下．     

基于CBTC控制的全自动驾驶系统

主要介绍全自动驾驶(FAO)系统的发展和应用情况、系统的组成和特点,并提出引进采用该系统需要注意的问题。     

全自动运行系统发展趋势及建议

介绍全自动运行(FAO)系统的发展历程,通过分析全自动运行系统的技术特点,阐明全自动运行是今后列车运行控制系统发展趋势的观点,并强调全自动运行是可以实现轨道交通系统高可用、高可靠和高安全的先进技术。结合自主化全自动运行系统国家示范工程——北京地铁燕房线的研究建设情况,分析说明自主化全自动运行系统的架构,以及与传统CBTC系统的区别。着重提出,必须通过制定与全自动运行系统相匹配的运营规则,并通过各专业系统设备自动联动控制,才可以充分发挥全自动运行系统的优势,显著节约人力和各项成本,从而提升轨道交通整体装备的可靠性水平。最后针对当前国内轨道交通快速发展的现状,提出在后续线路规划全自动运行系统时的多项建议:分步骤推进FAO线路的应用,首条线路可选择客流量较小的线路,待运营单位和乘客适应FAO后再逐步推广;进一步提高系统集成度,实现多专业联动控制,并设立独立的运营团队,从而更好地发挥FAO系统优势,真正为线路运营能力的提升做出贡献。     

考虑乘客流影响的列车运行调整难点研究

本文针对基于通信的列车控制(CBTC)系统中列车运行的特点,研究了运行调整中的难点问题-晚点传播,即在前行列车发生初始延误的条件下,引起后行列车或其自身的后效晚点现象.分析了乘客流对列车晚点的影响,在建立列车停站模型时,考虑乘客流的影响,提高该系统的可行性.建立了以列车总晚点时间为优化函数的运行调整模型,最后利用matlab中的遗传算法工具箱对此进行求解,实验结果显示了该模型应用于实际运行调整时的可行性和有效性.     

探讨中国轨道交通系统安全原则的制定

随着计算机技术在轨道交通系统中的应用，安全问题显得越发的重要和复杂，如何保证轨道交通系统的安全有序运行成为我们必须面对的重要课题。欧洲已经制定了有关轨道交通领域的安全标准，提出安全就是可以接受的风险等级，如何确定这个风险等级非常重要，我们在借鉴欧洲国家安全原则的基础上，探讨了如何制定我们国家轨道交通领域的安全原则。     

自主创新CBTC系统的核心技术研究

介绍自主创新的基于通信的列车控制( communication based train control,CBTC)系统.历经10年的核心技术攻关、现场试验、中试与示范工程,首次建立覆盖安全系统全生命周期的移动闭塞系统设计理论及技术体系,提出列车运行安全控制的模型和算法;采用高密度列车追踪防护技术,解决复杂线路条件下、高...     

基于位置的CBTC系统无线局域网切换机制

目前的城市轨道交通CBTC车地通信系统大多采用无线局域网技术。针对同时存在无线自由波和漏泄波导车地通信技术的CBTC无线局域网车地通信系统,提出一种基于位置的无线局域网切换机制。在无线自由波覆盖区段,移动台在确定的位置直接发起重关联请求,而不需要进行探询扫描新AP的过程。而在漏泄波导覆盖区段,通过改变移动台扫描的信道数和最大信道扫描驻留时间,同样明显减小了切换时延。该方法不仅适用于无线自由波的覆盖区域,也可以应用于漏泄波导覆盖的区域,能够减少CBTC车地通信系统中的切换时延。     

基于模型选择和优化技术的自动驾驶制动模型辨识研究

本文结合城市轨道交通列车自动驾驶系统实测数据,对电动客车制动模型的类型和参数的辨识进行较为深入的研究。首先,在分析最大制动率条件下实测制动数据后,对列车制动模型类型进行研究。然后,应用非线性优化技术在不同模型种类、有无参数范围约束等情况下,对制动模型进行辨识,并根据模型选择技术获得最佳制动模型及其参数。最后,研究不同制动率下列车制动模型的一致性,并基于模型选择技术给出制动率和制动减速度之间的模型。