王海峰
博士、教授、博士生导师
基本信息
| 办公电话： | 电子邮件： hfwang@bjtu.edu.cn |
| 通讯地址：北京市海淀区上园村3号 | 邮编：100044 |
教育背景
2002年，工学博士学位，北方交通大学。
工作经历
工作经历：
2023/11–今， 北京交通大学，自动化与智能学院/轨道交通运行控制系统国家工程研究中心，教授
2010/10–2023/11，北京交通大学，电子信息工程学院/轨道交通运行控制系统国家工程研究中心，副教授，教授
2001/12–2010/10，北京交通大学，电子信息工程学院，讲师，副教授
1997/07–2001/11，北京交通大学，自动化系统研究所，助教、讲师
研究方向
- 人工智能
- 控制工程
- 交通智能控制与优化
- 轨道交通系统安全与可靠性
- 交通系统仿真与测试
- 新一代电子信息技术
招生专业
- 人工智能硕士
- 控制工程硕士
- 交通信息工程及控制硕士
- 交通信息工程及控制博士
- 新一代电子信息技术（含量子技术等）硕士
科研项目
研究生指导方向：
1. 人工智能技术在铁路信号中的应用：信号系统的智能化自动测试分析，信号系统的智能运维技术，调度作业智能防护预警与机车智能辅助驾驶操控
2. 面向轨道交通自身特征与规律的系统建模、验证分析方法，以及形式化方法在轨道交通安全关键系统开发中的应用。
(欢迎喜欢此研究方向，踏实、勤奋、乐于钻研的同学报考）
科研项目：
合作研究项目（铁科院），基于云计算的联锁系统安全性保障方法研究，批准号/任务编号 RITS2022KF02， 2022.10--2024.12.
合作研究项目（铁路总公司重点项目），车站联锁安全预防预警关键技术研究，批准号/任务编号 N2022G037，2022.11--2025.6.
参与，川藏铁路国家重大工程专项预研，2019-01至2022-03
参与，国家铁路局，高铁工程技术总结：高速铁路列车运行控制，2019-01至2022-02
主持， 国家自然科学基金，列控系统安全建模理论与方法，（面上-61473029，2015-2018）
主持， 铁总科技研究开发计划，铁路列控关键技术深化研究，（重点- 2014X003-D，2014-2016）主持， 国家重点基础研究计划973课题，安全攸关软件系统的构造与质量保障方法研究，（2014CB340703，2013-2018）
参与， 铁总科技研究开发计划，铁路通信信号设备运维与保障技术研究，（重大，2014X008-A，2014-2016）
参与， 教育部“2011轨道交通安全协同创新中心”研究开发计划。
2006 ---- 2012
参与“基于通信的列车运行控制关键技术及应用”系列项目的研究开发，负责CBTC地面区域控制ZC系统的设计、开发及北京地铁亦庄线示范工程，
成果获国家发明专利授权6项，通过了SIL4 级国际安全认证，在多个城市的地铁线路应用推广，创造了经济价值和社会效益，
获2011北京市科技进步一等奖，2012国家科技进步二等奖；
1997 ---- 2005
2002至2005年，基于现场总线和模型驱动的软件自动化技术，自主研发了智能型计算机联锁系统，应用于厂矿铁路；
1999至2001年，参与JD-1A型计算机联锁系统的研究开发，负责核心联锁软件的设计开发，通过了铁道部车站计算机联锁检验站的软件测试；
1997至1999年，从事铁路信号计算机联锁系统的研究、开发和应用，负责和参与开通的车站逾50个，对中国路情有了认识，积累了现场经验；
|
|
教学工作
主讲研究生专业课：[M501012B] 轨道交通运行控制系统设计与实践
Design and practice of railway operating and control systems
本科课程负责人：
[M301080B] 轨道交通信号基础（专业核心课，必修）专业培训课程：
“6502电路原理”，国铁集团信号联锁、列控技术任职资格理论培训班
参与教改项目“自动化铁道信号特色专业建设”；
论文/期刊
Selected Papers:
[01] Qihe Zhang, Haifeng Wang*, Yong Zhang, Ming Chai,An adaptive safety control approach for virtual coupling system with model parametric uncertainties,Transportation Research Part C: Emerging Technologies,Volume 154,2023,104235,ISSN 0968-090X, https://doi.org/10.1016/j.trc.2023.104235.
[02] M. Chai, H. Wang, T. Tang, J. Chai and H. Liu, "A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains," in IEEE Transactions on Intelligent Vehicles, doi: 10.1109/TIV.2023.3301009.
[03] Qihe Zhang, Shunli li, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, YONG YANG, Ming Chai, Hai-Feng Wang*,A Distributed Convergent Clock Synchronization Algorithm Based on Exponential Smoothing for Cloud-Based Railway Interlocking System, 26th IEEE International Conference on Intelligent Transportation Systems (ITSC), Bilbao - Bizkaia, SPAIN, 2023， in Press.
[04] Huan Zheng, Qihe Zhang, Zhiguo Liang, Jiacheng Kong, Dongdong Wei, YONG YANG, Ming Chai, Hai-Feng Wang*, A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-Based Railway Interlocking System,26th IEEE International Conference on Intelligent Transportation Systems (ITSC), Bilbao - Bizkaia, SPAIN, 2023，in Press.
[05] Pang Bowen, Qihe Zhang, Ming Chai, Hai-Feng Wang*, An Efficient Network for Obstacle Detection in Rail Transit Based on Multi-Task Learning,26th IEEE International Conference on Intelligent Transportation Systems (ITSC), Bilbao - Bizkaia, SPAIN, 2023，in Press.
[06] Q. Wang, M. Chai, H. Wang, H. Zhang, J. Chai and B. Lin, "Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System," 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), Macau, China, 2022, pp. 2738-2743, doi: 10.1109/ITSC55140.2022.9922450.
[07] Y. Zhang, H. Wang*, P. James, M. Roggenbach and D. Tian, "A Train Protection Logic Based on Topological Manifolds for Virtual Coupling," in IEEE Transactions on Intelligent Transportation Systems, vol. 23, no. 8, pp. 11930-11945, Aug. 2022, doi: 10.1109/TITS.2021.3108840.
[08] C. Qiu, T. Chen, S. Lu and H. Wang*, "A Safety-Oriented Dynamic Moving Block Train Control System Based on Train-to-Train Communication," in IEEE Intelligent Transportation Systems Magazine, vol. 14, no. 3, pp. 175-187, May-June 2022, doi: 10.1109/MITS.2021.3049369.
[09] Y. Zhang, H. Wang*, M. Chai and R. Cheng, "Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System," in IEEE Intelligent Transportation Systems Magazine, vol. 13, no. 3, pp. 45-57, Fall 2021, doi: 10.1109/MITS.2019.2953506.
[10] Y. Zhang and Haifeng WANG*, "Topological manifold-based monitoring method for train-centric virtual coupling control systems," IET Intelligent Transport Systems, vol. 14, no. 2, pp. 91-102. 2020, [Online]. Available: https://digital-library.theiet.org/content/journals/10.1049/iet-its.2019.0330
[11] Y. Zhang, Haifeng WANG*, T. Yuan, J. Lv, and T. Xu, "Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment," IEEE Transactions on Intelligent Transportation Systems, vol. 20, no. 3, pp. 925-934, 2019, doi: 10.1109/TITS.2018.2836459.
[12] M. Chai, Haifeng Wang, H. Liu, J. Lv, and Q. Hu, "Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata," in 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 27-30 Oct. 2019 , pp. 2160-2165, doi: 10.1109/ITSC.2019.8917282.
[13] X. Li, M. Chai, and Haifeng Wang, "Modeling and Verification of Route Protection for Train-centric Train Control System," in 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 27-30 Oct. 2019 , pp. 2189-2194, doi: 10.1109/ITSC.2019.8917478.
[14] 张健,王海峰,张文辉,等. 安全攸关软件系统及其质量保障[J]. 科技纵览,2018(7):68-69. DOI:10.3969/j.issn.2095-4409.2018.07.028.
[15] H. Wang*, B. Ning, T. Chen, S. Tang, Y. Zhang and M. Chai, "Route safety verification of train control system by FTA modeling in SCADE," 2018 21st International Conference on Intelligent Transportation Systems (ITSC), Maui, HI, USA, 2018, pp. 2718-2723, doi: 10.1109/ITSC.2018.8569792.
[16] Chen T.,Wang Haifeng* et al. Architecture Design of a Novel Train-centric CBTC System [C]. //2018 International Conference on Intelligent Rail Transportation (ICIRT). IEEE, 2018: 1-5.
[17] Shengjie Tang, Haifeng Wang*, Bin Ning, Geer Han, Ming Chai. Positive safety modeling of CTCS-3 train control system for high-speed railway. In Proceedings of the IEEE International Conference on Intelligent Rail Transportation (ICIRT), pp. 6-10, 2018.
[18] Wang Haifeng*, Zhao N, Ning B, et al. Safety monitor for train-centric CBTC system[J]. IET Intelligent Transport Systems, 2018, 12(8): 931-938.
[19] Zhang Y., Wang Haifeng* et al. Hybrid Online Safety Observer for CTCS-3 Train Control System On-board Equipment[J]. IEEE Transactions on Intelligent Transportation Systems, 2018, 20(3): 925-934.
[20] 王海峰，实时定位下的列车动态间隔控制，10000个科学难题，交通运输科学卷，科学出版社，2018.
[21] 王海峰,李开成等.列车运行控制系统技术发展趋势分析.铁道通信信号,2016,8(52).
[22] Wang Haifeng, Felix Schmid et al. A Topology-Based Model for Railway Train Control Systems. IEEE Transactions on Intelligent Transportation Systems, Vol.14, No.2, P819-827, 2013.
[23] Wang Haifeng, T.H. Xu et al. Novel Online Safety Observer for Railway Interlocking System. The Journal of Transportation Engineering ASCE, Vol. 139, No.7, P719-727, 2013.
[24] Wang Haifeng, T. Tang, C. Roberts et al. A Novel Framework for Supporting the Design of Moving Block Train Control System Schemes. Journal of Rail and Rapid Transit-Proc IMechE Part F, Vol. 228(7) 784–793，2014.
[25] Wang Haifeng and Ning Zhao. An Integrated Capacity Evaluation Method for CBTC System Equipped Urban Rail Lines. Journal of Rail and Rapid Transit-Proc IMechE Part F, Vol. 229(3) 291–302，2015.
[26] Wang Haifeng and Li Wei, COTS hardware-based safety critical computing platform, Transaction of Beijing Institute of Technology, Vol.28, No.3, P245-247+270, 2008.
[27] Wang Haifeng, A case study on model based functional hazard analysis, Transaction of Beijing Institute of Technology, Vol.30, No.7, P849-853+863, 2010.
[28] Wang Haifeng and Liu Shuo, Modeling Communications Based Train Control System：A Case Study, 2010 2nd International Conference on Industrial Mechatronics and Automation, 2010-12, Page 453-456.
[29] Wang Haifeng and Liang Nan, A software diversity model for embedded safety critical system, IEEE 2009 International Conference on Wireless Networks and Information(WNIS 2009), 2009-12, Page 106-109.
[30] Wang Haifeng and Tang Tao, On Integrating Component into Safety Critical System, IEEE 2009 International Conference on Information Engineering and Computer Science (ICIECS2009), 2009-11, Page 4-9.
[31] Invited Speaker, 3rd UIC-Asia Workshop on Control Command and Signalling, TOKYO, October 2014.
[32] Invited Speaker, The 6th IET Conference on Railway Condition Monitoring (RCM), Sept. 2014.
[33] Invited Speaker, China-Deutschen Symposium “Verification on Probabilistic and hybrid System“, Sept. 2013.
[34] Session Chair, 2013 IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2013), Aug. 30 to Sept. 1 2013.
[35] Invited Speaker, 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems , Braunschweig German, Dec. 2010
[36] Invited Speaker, Synopsis of Chinese-German-Symposium 2010: Formal Methods for Railway Operation and System RAMS Assurance, Braunschweig German, Nov. 2010
[37] Invited Speaker, COMPRAIL 2010 : 12th International Conference on Computer System Design and Operation in the Railway and other Transit Systems, Beijing China, AUG. 31- SEP.2, 2010.
[38] Invited Speaker , The 2nd UIC-Asia Workshop on Control Command and Signalling, Chengdu China, Nov. 2009.
专著/译著
主编：
《城市轨道交通信号联锁系统》（2020，中国铁道出版社）
参编:
《列车运行控制系统》(ISBN: 9787113147983,2012年7月,中国铁道出版社)
《铁路信号电磁兼容技术》(ISBN: 9787113118044,2010年8月,中国铁道出版社)
《铁路信号抗干扰技术》ISBN: 9787512111967,2012年10月,北京交通大学出版社)
专利
[1 ]一种列车动态追踪安全防护模型，2019[2 ]一种基于车-车通信CBTC系统的移动授权计算方法 ，2019
[3 ]适合于车-车通信的列控系统联锁进路防护设计方法，2018
[4 ]列车运行超速防护混成监控方法，2017
[5 ]列车运行超速防护混成监控方法，2017
[6 ]基于进路的列车运行控制系统数据建模方法，2017
[7 ]基于空间变换的列控系统移动授权安全防护方法，2017
[8 ]高铁列控设备无线闭塞中心ＲＢＣ系统的故障诊断方法，2016
[9 ]基于列车运行控制系统的移动授权计算方法，2010
[10]基于CBTC的轨道交通线路运输能力评估方法，2010
[11]CBTC系统地面设备的列车安全定位方法，2010
[12]列车工况转换控制方法及系统，2009
[13]CBTC区域控制系统应用软件容错调度方法，2009
[14]CBTC系统中列车跨越控制区域时的安全防护方法，2009
软件著作权
多项。
获奖与荣誉
(1) 2012国家科技进步二等奖
(2) 2011北京市科技进步一等奖
(3) 2009 入选 北京交大首批“红果园双百人才培育计划”
(4) 2008 受聘 北京轨道交通信号系统核心技术研发及示范工程执行专家
社会兼职
中国铁道学会通信信号分会信号专业委员会委员
中国计算机学会CCF形式化方法专业委员会委员
格言
“天行健，君子以自强不息” --《周易》“未有知而不行者。知而不行，只是未知” --王守仁《传习录》
“Either write something worth reading or do something worth writing.” --Benjamin Franklin