北京交通大学

基本信息
办公电话： 电子邮件： hfwang@bjtu.edu.cn
通讯地址：北京市海淀区上园村3号 邮编：100044

教育背景
2002年，工学博士学位，北京交通大学。

工作经历：

2010/10–今， 北京交通大学，电子信息工程学院/轨道交通运行控制系统国家工程研究中心，副教授，教授
2001/12–2010/10，北京交通大学，电子信息工程学院，讲师，副教授
1997/07–2001/11，北京交通大学，自动化系统研究所，助教、讲师

研究方向（顺序不分先后）
轨道交通自动化与控制
控制工程(专业学位)
智能交通系统的信息与控制技术
招生专业
电子信息工程学院:交通信息工程及控制博士
电子信息工程学院:交通信息工程及控制硕士
电子信息工程学院:控制工程(专业学位)硕士
科研项目

致力于铁路信号、列车运行控制的基础理论方法研究与技术创新，近年来主持和参与科研项目20余项：

（1）1994 ---- 2005

1994.9至1999.9，从事铁路信号计算机联锁系统的研究、开发和应用，负责和参与开通的车站逾50个，对中国路情有了认识，积累了现场经验；1999至2001年，参与JD-1A型计算机联锁系统的研究开发，负责核心联锁软件的设计开发，通过了铁道部车站计算机联锁检验站的软件测试；2002至2005年，基于现场总线技术和模型驱动的软件自动化技术，自主研发了智能型计算机联锁系统，应用于厂矿铁路；

（2）2006 ---- 2012

2006至2011年，参与“基于通信的列车运行控制关键技术及应用”系列项目的研究开发，负责CBTC地面区域控制ZC系统的设计、开发及北京地铁亦庄线示范工程，成果获国家发明专利授权6项，通过了SIL4 级国际安全认证，在多个城市的地铁线路应用推广，创造了经济价值和社会效益，获2011北京市科技进步一等奖，2012国家科技进步二等奖；

（3）2013年至今

科研项目主要关注：列控系统建模、软件安全工程、系统安全理论与方法、铁路信号故障-安全电路与器件。

（4）在研课题：

主持， 国家自然科学基金，列控系统安全建模理论与方法，（面上-61473029，2015-2018）

主持， 铁总科技研究开发计划，铁路列控关键技术深化研究，（重点- 2014X003-D，2014-2016）

参与， 国家重点基础研究计划973项目，安全攸关软件系统的构造与质量保障方法研究（负责课题），（2014CB340700，2013-2018）
 
参与， 铁总科技研究开发计划，铁路通信信号设备运维与保障技术研究，（重大，2014X008-A，2014-2016）

参与， 教育部“2011轨道交通安全协同创新中心”研究开发计划。

教学工作

2002年以来，先后主讲本科课程：

车站信号自动控制(6502电气集中)

计算机联锁系统技术

地铁通信信号概论

Fundamentals of Railway Signalling（英文课）

铁路信号基础

自动控制元件与线路

计算机编程课程设计

参与教改项目“自动化铁道信号特色专业建设”；

学术成果
期刊论文

近期主要学术论文：

[1]Haifeng Wang, 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.

[2]Haifeng Wang, 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.

[3]Haifeng Wang, 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. 

[4]Haifeng Wang 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.

[5]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.

[6]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.

[7]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.

[8]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.

[9]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.

国际会议：

[1]3rd UIC-Asia Workshop on Control Command and Signalling, TOKYO, October 2014.

[2]The 6th IET Conference on Railway Condition Monitoring (RCM), Sept. 2014.

[3]Invited Speaker, China-Deutschen Symposium “Verification on Probabilistic and hybrid System“, Sept. 2013.

[4]Session Chair, 2013 IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2013), Aug. 30 to Sept. 1 2013.

[5]轨道交通系统安全论坛.2010年4月.

[6]8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems , Braunschweig German, Dec. 2010

[7]Invited Speaker, Synopsis of Chinese-German-Symposium 2010: Formal Methods for Railway Operation and System RAMS Assurance,Braunschweig German, Nov. 2010

[8]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.

[9]Invited Speaker , The 2nd UIC-Asia Workshop on Control Command and Signalling, Chengdu China, Nov. 2009. 
著作译著

 参编教材:

《列车运行控制系统》(ISBN: 9787113147983,2012年7月,中国铁道出版社)

《铁路信号电磁兼容技术》(ISBN: 9787113118044,2010年8月,中国铁道出版社)

《铁路信号抗干扰技术》ISBN: 9787512111967,2012年10月,北京交通大学出版社)

专利

获国家发明专利授权6项。
软件著作权

多项。

获奖与荣誉

(1) 2012国家科技进步二等奖

(2) 2011北京市科技进步一等奖

(3) 2009 入选 北京交大首批“红果园双百人才培育计划”（D类）

(4) 2008 受聘 北京轨道交通信号系统核心技术研发及示范工程执行专家