刘磊 作品数:7 被引量:55 H指数:4 供职机构: 中国铁道科学研究院通信信号研究所 更多>> 发文基金: 国家重点实验室开放基金 国际科技合作与交流专项项目 更多>> 相关领域: 交通运输工程 环境科学与工程 自动化与计算机技术 更多>>
一起CRH5A型动车组200C型ATP测速测距故障的分析与处理 2016年 针对沈阳局CRH5A型动车组短期内集中发生多起ATP测速、测距故障,通过试验数据和现场调查结果综合分析,该类故障是由于速度传感器连接器安装不可靠引起,据此提出可靠的安装方案,并经过实际考验,效果显著。 李振武 刘磊 丁琛关键词:速度传感器 基于STPA的CTCS-3级列控系统功能安全分析方法 被引量:7 2014年 利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用可达集计算对包含故障的系统PHAVer模型进行分析,从而自动辨识出导致不恰当控制的原因,实现对系统功能的安全分析。以CTCS-3级列控系统的无线闭塞中心交接场景为例,使用扩展后的STPA方法,针对给定的系统危险,进行系统功能安全分析。分析结果表明,利用形式化技术扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。 刘金涛 唐涛 赵林 刘磊关键词:列车控制系统 新一代轨道车运行控制系统安全接口设计 被引量:1 2018年 介绍了新一代轨道车运行控制系统的接口技术,通过对安全设计原理的分析应用,实现了新一代轨道车运行控制系统的安全输入和安全输出接口。 李辉 刘磊 章晓春关键词:安全完整性等级 基于控制关系模型的CTCS-3级列控系统功能安全分析方法 被引量:6 2015年 本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。 刘金涛 唐涛 赵林 刘磊关键词:CTCS-3级列控系统 形式化方法 干线铁路CTCS-2级列控系统融合ATO的方案研究 被引量:21 2017年 研究目的:随着珠三角城际铁路的开通,自动驾驶首次在大铁领域得到应用,它能实现列车运行自动控制,提高系统自动化程度和运输效率。由于干线铁路状况更加复杂,如何在干线铁路中应用自动驾驶尚未有明确的技术方案。基于此,本文主要分析干线铁路的特点和自动驾驶的需求,提出干线铁路CTCS-2级列控系统融合ATO的技术方案。研究结论:(1)干线铁路应用自动驾驶最可行的自动化等级应为GoA 2级,即半自动化驾驶运行模式;(2)干线铁路应实现的自动驾驶功能主要为区间自动驾驶、区间运行自动调整、进站对标停车和车门防护;(3)考虑干线铁路的特点和既有设备的变动要求,干线铁路C2系统融合ATO在工程实施中推荐采用基于司机估值的技术方案;(4)本研究成果可为干线线路列控系统引入自动驾驶提供一定的借鉴。 徐效宁 李一楠 刘磊 刘德超关键词:干线铁路 列控系统 200C车载ATP控车模式曲线优化问题的探讨 被引量:2 2016年 由于条件限制,新建客专个别轨道区段长度设计较短,可能出现因不满足车载设备对制动距离的要求而导致列车提前进入降速区的情况。通过200C车载设备侧线进站时触发紧急制动的案例,对车载制动距离算法进行了研究。针对制动减速度参数设置余量过大的问题,提出优化方案,并用MATLAB和试验箱进行了仿真计算和测试验证。 周永健 贺广宇 刘磊 范明关键词:车载 制动距离 CTCS-4级列控系统关键技术研究 被引量:19 2016年 为了更安全高效地实现跨区域列车高速运行,并降低运维成本,提出了CTCS-4级列控系统将移除轨道电路等设备,移动闭塞列车追踪间隔数学模型,基于GPS差分技术的列车完整性检查,基于GNSS/INS的列车组合定位和LTE-R车地无线通信等关键技术.仿真结果表明:运用这些技术后,相比于既有的CTCS-3级列控系统,CTCS-4级列控系统在安全性、性能和成本等方面均有提升,运行更稳定和高效. 程剑锋 赵显琼 刘磊关键词:列车定位