北京交通大學(xué)

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

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

工作經(jīng)歷：

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

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

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

（1）1994 ---- 2005

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

（2）2006 ---- 2012

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

（3）2013年至今

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

（4）在研課題：

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

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

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

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

教學(xué)工作

2002年以來(lái)，先后主講本科課程：

車站信號(hào)自動(dòng)控制(6502電氣集中)

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

地鐵通信信號(hào)概論

Fundamentals of Railway Signalling（英文課）

鐵路信號(hào)基礎(chǔ)

自動(dòng)控制元件與線路

計(jì)算機(jī)編程課程設(shè)計(jì)

參與教改項(xiàng)目“自動(dòng)化鐵道信號(hào)特色專業(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.

國(guó)際會(huì)議：

[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. 
著作譯著

 參編教材:

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

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

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

專利

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

多項(xiàng)。

獲獎(jiǎng)與榮譽(yù)

(1) 2012國(guó)家科技進(jìn)步二等獎(jiǎng)

(2) 2011北京市科技進(jìn)步一等獎(jiǎng)

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

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