导师信息#北京交通大学交通信息工程及控制研究生导师介绍#王海峰 ...

365

基本信息办公电话咨询QQ、微信：2544906件与线路
计算机编程课程设计
参与教改项目“自动化铁道信号特色专业建设”；
学术成果期刊论文
近期主要学术论文：
[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 受聘 北京轨道交通信号系统核心技术研发及示范工程执行专家