北京交通大學

基本信息
辦公電話： 電子郵件： 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 受聘 北京軌道交通信號系統核心技術研發及示范工程執行專家