个人简介

教育背景 2011.10 - 2015.12 德国柏林洪堡大学，计算机科学学院 博士，形式化方法在轨道交通领域的应用方向 2009.09 - 2011.07 北京交通大学，电子信息工程学院 工学硕士，交通信息工程及控制专业 2004.09 - 2008.07 北京交通大学，电子信息工程学院 工学学士，自动化专业 工作经历 2019.1 至今 北京交通大学，轨道交通运行控制系统国家工程研究中心，副教授 2015.12 - 2018.12 北京交通大学，轨道交通运行控制系统国家工程研究中心，讲师 主要研究列车运行控制系统安全保障问题，第三方安全测试以及模型检验、运行时验证、基于模型的测试等形式化方法在轨道交通领域的应用。

研究领域

研究方向 轨道交通自动化与控制 控制工程（专业学位）

科研项目 基本科研业务费重大项目: 高速列车自主运行控制方法研究, 2020-2023 北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020 红果园省部级"企事业": 测控技术创新平台, 2019-2020 铁路总公司（原铁道部）: 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020 科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2018 其它部市: 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020 基本科研业务费自由申报项目: 以车为核心的列控系统运行时行为危险控制方法研究, 2019-2022 北京交通大学: ATS压力测试及现场技术服务, 2019-2019 北京市自然基金“轨道交通联合”: 以车载为核心的列控系统主动安全防护方法研究, 2019-2021 铁路总公司（原铁道部）: 面向联锁仿真试验的测试案例自动化构建技术研究, 2018-2020 国家自然科学基金"青年基金": 基于复杂网络理论的高铁列控系统危险成因动力学建模及关键致因辨识, 2019-2021 北京市教委: 科研项目-北京实验室-城市轨道交通北京实验室-下一代列控系统仿真平台搭建, 2018-2018 国家重点研发计划: 车载中心化的动态间隔控制及测试验证技术研究, 2018-2021 科技部“863”: 纵向预研项目-863计划-KWB212006534, 2018-2020 铁路总公司（原铁道部）: 通信信号安全保障技术研究——自主化列控系统安全功能测试技术研究, 2017-2021 国家自然科学基金"青年基金": 基于在途数据和核心模型混合驱动的多列车追踪运行协同控制理论与 方法, 2018-2020 铁路总公司（原铁道部）: 转预研基金--铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2017-2021 基本科研业务费: 下一代列控系统研究, 2017-2019 铁路总公司（原铁道部）: 下一代铁路通信信号关键技术研究——下一代列控系统技术方案研究, 2015-2017 北京市教委: 科研项目-北京实验室-具有可持续性发展、开放性研究的全系统全自动无人驾驶平台搭建与改造, 2017-2017 基本科研业务费: 安全驱动的高速铁路下一代列控系统可信性保障方法研究, 2016-2019 北京交通大学: 新疆铁道职业技术学院实训设备技术开发, 2016-2018 基本科研业务费: CBTC车载系统功能安全保证方法研究, 2016-2017 基本科研业务费人才基金: 运行时验证在高速铁路信号系统中的应用研究, 2016-2017

近期论文

查看导师最新文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

科研项目 基本科研业务费重大项目: 高速列车自主运行控制方法研究, 2020-2023 北京市教委: 科研基地-城市轨道交通北京实验室-基于车-车通信的新型列控系统的深化研究, 2019-2020 红果园省部级"企事业": 测控技术创新平台, 2019-2020 铁路总公司（原铁道部）: 基于海南东环CTCS-2叠加CBTC实现高速铁路能力提升的方案研究, 2019-2020 科技部“973”: 安全攸关软件系统的构造与质量保障方法研究, 2013-2018 其它部市: 基于CTCS2&CBTC列控系统改造升级方案研究, 2018-2020 基本科研业务费自由申报项目: 以车为核心的列控系统运行时行为危险控制方法研究, 2019-2022 北京交通大学: ATS压力测试及现场技术服务, 2019-2019 北京市自然基金“轨道交通联合”: 以车载为核心的列控系统主动安全防护方法研究, 2019-2021 铁路总公司（原铁道部）: 面向联锁仿真试验的测试案例自动化构建技术研究, 2018-2020 国家自然科学基金"青年基金": 基于复杂网络理论的高铁列控系统危险成因动力学建模及关键致因辨识, 2019-2021 北京市教委: 科研项目-北京实验室-城市轨道交通北京实验室-下一代列控系统仿真平台搭建, 2018-2018 国家重点研发计划: 车载中心化的动态间隔控制及测试验证技术研究, 2018-2021 科技部“863”: 纵向预研项目-863计划-KWB212006534, 2018-2020 铁路总公司（原铁道部）: 通信信号安全保障技术研究——自主化列控系统安全功能测试技术研究, 2017-2021 国家自然科学基金"青年基金": 基于在途数据和核心模型混合驱动的多列车追踪运行协同控制理论与 方法, 2018-2020 铁路总公司（原铁道部）: 转预研基金--铁路通信信号设备运维与保障技术研究-铁路信号系统综合运维关键技术与应用研究, 2017-2021 基本科研业务费: 下一代列控系统研究, 2017-2019 铁路总公司（原铁道部）: 下一代铁路通信信号关键技术研究——下一代列控系统技术方案研究, 2015-2017 北京市教委: 科研项目-北京实验室-具有可持续性发展、开放性研究的全系统全自动无人驾驶平台搭建与改造, 2017-2017 基本科研业务费: 安全驱动的高速铁路下一代列控系统可信性保障方法研究, 2016-2019 北京交通大学: 新疆铁道职业技术学院实训设备技术开发, 2016-2018 基本科研业务费: CBTC车载系统功能安全保证方法研究, 2016-2017 基本科研业务费人才基金: 运行时验证在高速铁路信号系统中的应用研究, 2016-2017