北京交通大學(xué)

基本信息
辦公電話： 電子郵件： hfwang@bjtu.edu.cn
通訊地址：北京市海淀區(qū)上園村3號 郵編：100044

教育背景
2002年，工學(xué)博士學(xué)位，北京交通大學(xué)。

工作經(jīng)歷：

2010/10–今， 北京交通大學(xué)，電子信息工程學(xué)院/軌道交通運行控制系統(tǒng)國家工程研究中心，副教授，教授
2001/12–2010/10，北京交通大學(xué)，電子信息工程學(xué)院，講師，副教授
1997/07–2001/11，北京交通大學(xué)，自動化系統(tǒng)研究所，助教、講師

研究方向（順序不分先后）
軌道交通自動化與控制
控制工程(專業(yè)學(xué)位)
智能交通系統(tǒng)的信息與控制技術(shù)
招生專業(yè)
電子信息工程學(xué)院:交通信息工程及控制博士
電子信息工程學(xué)院:交通信息工程及控制碩士
電子信息工程學(xué)院:控制工程(專業(yè)學(xué)位)碩士
科研項目

致力于鐵路信號、列車運行控制的基礎(chǔ)理論方法研究與技術(shù)創(chuàng)新，近年來主持和參與科研項目20余項：

（1）1994 ---- 2005

1994.9至1999.9，從事鐵路信號計算機聯(lián)鎖系統(tǒng)的研究、開發(fā)和應(yīng)用，負責(zé)和參與開通的車站逾50個，對中國路情有了認識，積累了現(xiàn)場經(jīng)驗；1999至2001年，參與JD-1A型計算機聯(lián)鎖系統(tǒng)的研究開發(fā)，負責(zé)核心聯(lián)鎖軟件的設(shè)計開發(fā)，通過了鐵道部車站計算機聯(lián)鎖檢驗站的軟件測試；2002至2005年，基于現(xiàn)場總線技術(shù)和模型驅(qū)動的軟件自動化技術(shù)，自主研發(fā)了智能型計算機聯(lián)鎖系統(tǒng)，應(yīng)用于廠礦鐵路；

（2）2006 ---- 2012

2006至2011年，參與“基于通信的列車運行控制關(guān)鍵技術(shù)及應(yīng)用”系列項目的研究開發(fā)，負責(zé)CBTC地面區(qū)域控制ZC系統(tǒng)的設(shè)計、開發(fā)及北京地鐵亦莊線示范工程，成果獲國家發(fā)明專利授權(quán)6項，通過了SIL4 級國際安全認證，在多個城市的地鐵線路應(yīng)用推廣，創(chuàng)造了經(jīng)濟價值和社會效益，獲2011北京市科技進步一等獎，2012國家科技進步二等獎；

（3）2013年至今

科研項目主要關(guān)注：列控系統(tǒng)建模、軟件安全工程、系統(tǒng)安全理論與方法、鐵路信號故障-安全電路與器件。

（4）在研課題：

主持， 國家自然科學(xué)基金，列控系統(tǒng)安全建模理論與方法，（面上-61473029，2015-2018）

主持， 鐵總科技研究開發(fā)計劃，鐵路列控關(guān)鍵技術(shù)深化研究，（重點- 2014X003-D，2014-2016）

參與， 國家重點基礎(chǔ)研究計劃973項目，安全攸關(guān)軟件系統(tǒng)的構(gòu)造與質(zhì)量保障方法研究（負責(zé)課題），（2014CB340700，2013-2018）
 
參與， 鐵總科技研究開發(fā)計劃，鐵路通信信號設(shè)備運維與保障技術(shù)研究，（重大，2014X008-A，2014-2016）

參與， 教育部“2011軌道交通安全協(xié)同創(chuàng)新中心”研究開發(fā)計劃。

教學(xué)工作

2002年以來，先后主講本科課程：

車站信號自動控制(6502電氣集中)

計算機聯(lián)鎖系統(tǒng)技術(shù)

地鐵通信信號概論

Fundamentals of Railway Signalling（英文課）

鐵路信號基礎(chǔ)

自動控制元件與線路

計算機編程課程設(shè)計

參與教改項目“自動化鐵道信號特色專業(yè)建設(shè)”；

學(xué)術(shù)成果
期刊論文

近期主要學(xué)術(shù)論文：

[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]軌道交通系統(tǒng)安全論壇.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. 
著作譯著

 參編教材:

《列車運行控制系統(tǒng)》(ISBN: 9787113147983,2012年7月,中國鐵道出版社)

《鐵路信號電磁兼容技術(shù)》(ISBN: 9787113118044,2010年8月,中國鐵道出版社)

《鐵路信號抗干擾技術(shù)》ISBN: 9787512111967,2012年10月,北京交通大學(xué)出版社)

專利

獲國家發(fā)明專利授權(quán)6項。
軟件著作權(quán)

多項。

獲獎與榮譽

(1) 2012國家科技進步二等獎

(2) 2011北京市科技進步一等獎

(3) 2009 入選 北京交大首批“紅果園雙百人才培育計劃”（D類）

(4) 2008 受聘 北京軌道交通信號系統(tǒng)核心技術(shù)研發(fā)及示范工程執(zhí)行專家