刘雨

博士、副研究员

基本信息

办公电话：51688327 电子邮件： yuliu@bjtu.edu.cn
通讯地址：北京交通大学轨道交通运行控制系统国家工程中心 邮编：

教育背景

工作经历

研究方向

  • 控制工程
  • 人工智能
  • 交通系统仿真与测试
  • 新一代电子信息技术
  • 网络与信息安全

招生专业

  • 控制工程硕士
  • 人工智能硕士
  • 交通信息工程及控制硕士
  • 新一代电子信息技术（含量子技术等）硕士
  • 网络与信息安全硕士

科研项目

  1. 北京交大创新科技中心：轨道交通运行控制系统国家工程研究中心建设项目—CTCS-3级列控系统车载设备互联互通测试子平台开发，2013-12-01--2015-03-31，1000.0万元，主持
  2. 北京交大创新科技中心：轨道交通运行控制系统国家工程研究中心建设项目—软件及平台调试，2013-12-01--2015-03-31，670.0万元，参加
  3. 基本科研业务费：一种基于形式化模型的一致性测试方法及其在高速铁路列控系统安全功能测试中的应用，2014-01-15--2015-12-31，8.0万元，参加
  4. 铁道部科技司：列控系统架构优化与信息传输技术研究--列控系统车载设备自动测试关键技术研究，2013-06-01--2013-12-31，50.0万元，参加
  5. 国家自然科学基金"青年基金"：基于模型的列控系统功能一致性测试研究，2014-01-01--2016-12-31，23.0万元，参加
  6. 北京交通大学：CTCS3-300H型ATP车载设备与CRH380C动车组型式接口试验及互联互通试验(—互联互通)，2012-09-01--2014-06-30，80.0万元，参加
  7. 北京交通大学：轨道交通自动化研究所，2013-01-05--2017-12-31，1500.0万元，参加
  8. 铁道部科技司：列控系统优化技术研究 ，2012-06-01--2014-06-30，80.0万元，参加
  9. 北京市教委：城市轨道交通北京实验室，2012-08-01--2013-12-31，700.0万元，参加
  10. 铁道部科技司：铁路信号风险管理技术研究-铁路信号系统安全与风险关键技术研究，2012-06-01--2014-06-30，150.0万元，参加
  11. 北京交通大学：CTCS3-300T型ATP在郑西客专线的互联互通（车载部分）试验，2012-05-01--2013-05-31，100.0万元，参加
  12. 北京交通大学：CTCS3-300T型ATP与CRH380B型动车组接口型式试验 ，2012-05-01--2013-05-31，80.0万元，参加
  13. 科技部“863”：高速铁路信号系统安全认证和评估技术研究，2012-03-27--2014-12-31，481.0万元，参加
  14. 基本科研业务费：轨道交通列车运行控制系统安全评估体系与方法研究，2012-01-01--2014-12-31，44.0万元，参加
  15. 基本科研业务费：高速铁路列控系统形式化设计与验证方法的研究，2012-01-01--2013-12-01，8.0万元，参加
  16. 铁道部科技司：列控技术深化研究--列控测试案例管理和测试序列自动生成技术研究，2011-08-31--2012-12-31，50.0万元，参加
  17. 铁道部科技司：深化列控系统设备测试评估技术研究，2011-10-01--2012-12-31，150.0万元，参加
  18. 国家重点实验室：高速铁路运行控制系统成果凝练，2011-09-01--2012-09-30，21.0万元，参加
  19. 北京交大创新科技中心：轨道交通运行控制系统国家工程研究中心平台建设项目专用设备研发，2011-12-31--2012-12-31，1338.0万元，参加
  20. 科技部“科技支撑”：北京轨道交通核心技术研发，2009-01-01--2011-12-31，1137.0万元，参加
  21. 基本科研业务费：完全自主创新的列控系统在城际铁路的应用研究，2011-07-01--2014-07-01，60.0万元，参加
  22. 北京交通大学：28km半实物仿真集成试验系统运行控制系统主体设备研发，2010-07-01--2011-07-01，2300.0万元，参加
  23. 北京交通大学：28km半实物仿真集成试验系统运行控制系统主体设备研发（中央控制子系统集成），2010-07-01--2011-07-01，100.0万元，参加
  24. 铁道部科技司：CTCS-3级列控系统深化研究--CTCS-3级列控系统仿真测试平台深化研究，2009-02-01--2010-12-31，13.5万元，参加
  25. 北京市科委：北京市轨道交通信号系统核心技术研发及工程示范，2008-01-01--2010-12-31，1308.16万元，参加
  26. 铁道部科技司：CTCS-3级列控系统深化研究--CTCS-3级列控系统互联互通检测技术和检测平台研究，2010-04-30--2011-12-31，50.0万元，参加
  27. 国际合作：安全苛求混合系统的建模与验证，2009-12-01--2011-11-30，110.0万元，参加
  28. 铁道部科技司：CTCS-3级列控系统深化研究—CTCS-3级列控系统无线闭塞中心（RBC）仿真测试平台研究，2010-01-01--2011-12-31，50.0万元，参加
  29. 科技部“863”：高速铁路列车运行控制系统互联互通测试与评估技术，2009-06-12--2011-12-31，355.0万元，参加
  30. 科技部“科技支撑”：CTCS-3级列控系统测试评估认证平台及评估测试（测试评估平台），2009-01-01--2011-12-31，1271.15万元，参加
  31. 科技部“科技支撑”：CTCS-3级列控系统测试评估认证平台及评估测试（系统规范），2009-01-01--2011-12-31，1271.15万元，参加
  32. 铁道部科技司：列车运行控制系统的RAMS分析方法研究，2009-09-01--2010-12-31，50.0万元，参加
  33. 科技部“科技支撑”：1.5 km试验线双分区升级分区运行控制和车载运行控制子系统设备研制（二——2），2009-09-01--2010-12-31，596.0万元，参加
  34. 铁道部科技司：CTCS-3级列控系统深化研究--CTCS-3级列控系统控制理论研究，2009-05-26--2011-06-30，60.0万元，参加
  35. 北京交通大学：CTCS-3级列控系统标准规范编制分包合同书，2008-12-10--2009-12-31，290.0万元，参加
  36. 铁道部科技司：客运专线CTCS-3级列控系统综合试验一，2008-01-01--2009-12-30，120.0万元，参加
  37. 科技部“科技支撑”：磁浮试验线车载运行控制系统优化升级方案设计，2008-06-27--2009-12-31，10.0万元，参加
  38. 科技部“科技支撑”：高速磁浮交通运行控制系统产业化调研与总体设计方案研究，2008-04-01--2008-07-31，30.0万元，参加

教学工作

论文/期刊

  • 刘雨,袁磊,王鹏.A study on the application of train to train communication in train control systems.International Journal of Simulation,Systems, Science and Technology,2016,42(17)
  • 刘雨.基于元模型的通用性列控仿真平台基础环境研究.铁道学报,2018,5(40)
  • 袁磊,吕继东,刘雨,李辰岭,赵伟慧.一种全覆盖的列控车载系统测试用例自动生成算法研究.铁道学报,2014,8(36)
  • 宋海锋,袁磊,吕继东,刘雨.多分辨率建模在CTCS-3级列控系统车载设备仿真与测试中的应用.《西华大学学报（自然科学版）》 ,2013,无(无)
  • 李心悦,李开成,刘雨.CTCS-N system test case generation based on fault injection.2023 3rd International Conference on Electrical Engineering and Mechatronics Technology,2023
  • 臧远山,李开成,李晨悦,袁磊,刘雨.Research on Automatic Generation and Verification of Test Sequence for New Train Control System.International Conference on Information Control, Electrical Engineering and Rail Transit,2023
  • 刘雨,袁磊,魏国栋.Research on Optimization of Heavy Haul Train Speed Protection Algorithm Based on Improved Braking Model.International Heavy Haul Association Conference June 2019,2019
  • 刘雨,袁磊.Research on Train Control System Based on Train to Train Communication.2018 International Conference on Intelligent Rail Transportation (ICIRT),2018
  • 刘雨,唐涛.Interoperability Test Data Graphical Capture and Analysis System Based on Multi-Resolution Models for the Onboard Equipment of CTCS-3 Train Control System.2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS),2013
  • 胡荷蕾,黄友能,王明主,俞花珍,孟宪洪,张强,刘雨,王悉.Research on heavy-haul train automatic driving strategy of Shuohuang Railway.International Heavy Haul Association Conference June 2019,2019
  • 刘雨,唐涛,李开成.Fault Model-Based Safety Test Method and Application for CTCS-3 Train Control System.None,2013
  • 刘雨,魏国栋.Research on Heavy Haul Train Protection Algorithm Based on Online Parameter Identification.2nd International Conference on Computer Science and Application Engineering,2018
  • Zou,吕继东,Shuling,Naijun,唐涛,袁磊,刘雨.Verifying Chinese Train Control System Under a Combined Scenario by Theorem Proving.5th International Conference, VSTTE 2013,2014
  • 袁磊,唐涛,刘雨.Research on Third-Party Test Bench of Train Control System Using UML.2011 IEEE International Conference on Service Operations, Logistics, and Informatics (SOLI),2012
  • 袁磊,唐涛,李开成,刘雨.Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets.Computer System Design and Operation in the Railway and other Transit Systems (COMPRAIL 2010),2010

专著/译著

专利

软件著作权

获奖与荣誉

社会兼职