黑新宏,男,1976年出生,教授,碩士生導師,ACM會員,中國計算機學會高級會員,日本電氣學會會員,軌道交通控制與安全國家重點實驗室客座研究員。西安理工大學計算機學院學術委員會委員、學位委員會委員,於1998年本科畢業於西安理工大學計算機及其套用專業,2003年取得西安理工大學計算機套用技術專業碩士學位,2008年3月獲得日本大學理工學部情報科學專業博士學位。
基本介紹
- 中文名:黑新宏
- 國籍:中國
- 出生日期:1976年
- 職業:教授
教育背景,工作經歷,科研項目,科研成果,所獲獎項,
教育背景
1994.9-1998.7 西安理工大學 計算機及其套用 學士
2000.9-2003.4 西安理工大學 計算機套用技術 碩士
2005.4-2008.3 日本大學 理工學部 計算機科學 博士
工作經歷
1998.7-2003.9 西安理工大學 自動化與信息工程學院 助教
2003.10-2008.6 西安理工大學 計算機科學與工程學院 講師
2008.7至今 西安理工大學計算機科學與工程學院 副教授
科研項目
(1) 人工內分泌協同計算模型及其套用研究 2011.1-2013.12 國家自然科學基金(面上項目)
(2) 基於組件的智慧型全分散形態下的列車運行控制關鍵技術研究 2009.6-2011.3 軌道交通控制與安全國家重點實驗室
(3) 分散自組織列車安全保障系統關鍵技術研究 2010.1-2011.12 教育部留學回國人員科研啟動基金
(4) 分散型城市軌道交通信號系統模擬及其可靠性保證方法研究 2010.1-2011.12 陝西省自然科學基礎研究計畫
(5) 基於面向對象Petri網的捷運車站聯鎖系統研究 2010.6-2012.12 陝西省教育廳科研專項
(6) 分散型車站聯鎖系統及其安全性保證方法研究 2011.1-2013.12 陝西省留學人員科技活動項目擇優資助
(7) 分散智慧型鐵路連鎖系統的仿真平台開發及其驗證 2008.7-2011.6 校博士啟動金
(8) 分散型車站聯鎖系統及其安全性保證方法研究 2011.1-2012.12 陝西省留學人員科技活動擇優資助項目
(9) 嵌入式軟體測試與維護雙向可追溯關鍵技術研究 2009.1-2011.12 陝西省教育廳科研專項
(10) 人工內分泌計算模型及其套用研究 2010.9-2012.8 陝西省自然科學基金
科研成果
[1] Xinhong Hei(黑新宏), Na Ouyang: The Scheduling Strategy of Concurrent Request in Distributed Railway Interlocking System, ICIC Express Letters, Part B: Applications, Vol.2, No.1, pp.43-48, 2011.2
[2] 黑新宏, 常利寧, 謝國, 中村英夫:中國高速鉄道における保守の課題と対策の検討,第17回日本鉄道技術連合シンポジウム, pp.137-138, 2010.12
[3] Xinhong Hei(黑新宏), Weigang Ma, Lei Wang, Na Ouyang: Design and Implementation of a Distributed Railway Signalling Simulator, Computers in Railways Ⅶ, Vol.7, pp.81-88, 2010.8
[4] Xinhong Hei(黑新宏), Na Ouyang: Analyzing the Delay Time of Train Entering Station Process with Petri Nets, 2010 International Conference on Logistics Engineering and Intelligent Transportation Systems (LEITS2010), pp.155-158, 2010.11
[5] Weigang Ma,Xinhong Hei(黑新宏):An Approach for Design and Formal Verification of Safety-Critical Software, 2010 International Conference on Computer Application and System Modeling (ICCASM 2010),Vol.4, pp.264-268, 2010.10
[6] Lei Wang,YuxiangLi,Xinhong Hei(黑新宏): A novel research on the relation between the number of passengers and the braking distance of a metro, Computers in Railways Ⅶ, Vol.7, pp.901-910, 2010.8
[7] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura,: Modelling and Analyzing Component-based Distributed Railway Interlocking System with Petri Nets, Institute of Electrical Engineers of Japan (IEEJ) Transactions on Industry, Sec. D, Vol. 129 , No. 5, pp.455-461, 2009.5
[8] Xinhong Hei(黑新宏), Weigang Ma, Lei Wang:Modeling Railway Signalling Control Software with Object-oriented Architecture International Symposium on Speed-up, Safety and Service Technology for Railway and Maglev Systems 2009 (STECH’09),2009.6
[9] Yikun, Zhang; Enhui, Chen; Junli, Liang; Xinhong, Hei; Hui, Xia: Simplified branch marking algorithm based on decision-to-decision graph, Proceedings of International Conference on New Trends in Information and Service Science (NISS 2009), pp 433-438, 2009
[10] Wang, Lei; Ma, Song; Hei, Xin-Hong: An AIS-based service match model, Proceedings of International Conference on Computer Science and Software Engineering, CSSE 2008, v 1, p 1150-1153, 2008
[11] Wang, Lei; Ma, Song; Hei, Xin-Hong: Research on an immune mechanism based intelligent spam filter, Proceedings of International Conference on Computer Science and Software Engineering, CSSE 2008, v 1, p 1150-1153, 2008
[12] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura:Improving Reliability of Railway Interlocking System with Component-based Technology, Journal of Reliability Engineering Association of Japan, Vol.28, No.8, pp. 557-568, 2006.12
[13] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Distributed Interlocking System and Its Safety Verification, the 6th IEEE World Congress on Intelligent Control and Automation, Vol.10, pp. 8612-8615, Dalian, China, 2006.6
[14] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Toward Developing a Decentralized Railway Signalling System Using Petri Nets, 2008 IEEE Conference on Robotics, Automation and Mechatronics, pp.851-855,2008.9
[15] X. Hei(黑新宏), S. Takahashi, H. Nakamura: Modeling Distributed Railway Interlocking System with Object-oriented Petri Nets, the 10th International Conference on Computer system design and operation in the railway and other transit system, Vol. 309, pp. 309-318, Prague, Czech Republic, 2006.7
[16] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Development Strategy of a Railway Interlocking System with Fault Tolerance, Asia Pacific Transportation Safety Security 2007, pp. 168-176, Beijing, 2007.5
[17] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: A Petri Net-based Approach to Modeling and Analysis of Component-based Distributed Real-Time System, Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, pp.182-191, Cambridge, Massachusetts, USA, 2007.11
[18] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Modeling and Performance Analysis of Distributed Railway Interlocking System, Proceedings of the Third International Conference on Railway Traction Systems, pp.98-103, Tokyo, Japan, 2007.11
[19] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Modeling and Evaluation of Component-based Distributed Railway Interlocking System Using Petri Nets, Special Issue of Nihon University College of Science and Technology, No.1, pp.43-46,2007
[20] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Analyzing the Reliability of a Distributed Railway Interlocking System, Special Issue of Nihon University College of Science and Technology, No.2, pp.67-70, 2008
[21] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: A Study of Distributed Railway Interlocking System and Its Design, J-rail 2007, Tokyo, 2007.12. (獲得優秀發表獎)
[22] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Design and Safety Assurance of Decentralized Interlocking System, IEICE Technical Report, Vol.107, No.160, pp. 9-12, 2007
[23] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Toward evaluating reliability of a distributed railway interlocking system, IEICE Technical Report,Vol.107, No.270, pp.13-18, 2007
[24] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: Toward Development of Distributed Railway Interlocking System, IEICE Technical Report, Vol.107, No.367, pp.13-18, 2007
[25] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura, Koji Iwata, Mitsuyoshi Fukuda, Kazutoshi Sato: Modeling and performance evaluation strategy of component-based distributed railway interlocking system, Proceedings of the 19th Autumnal Symposium of Reliability Engineering Association of Japan, Vol.29, No.1, pp.57-60, 2006.10
[26] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura, Koji Iwata, Mitsuyoshi Fukuda, Kazutoshi Sato: A formal safety framework of component-based distributed railway interlocking system, IEICE Technical Report, Vol.106, No.311, pp. 5-8, 2006
[27] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura, Koji Iwata, Mitsuyoshi Fukuda, Kazutoshi Sato: A development strategy for component-based distributed railway interlocking system, IEICE Technical Report, Vol.106, No.402, pp.7-12, 2006
[28] Xinhong Hei(黑新宏), Sei Takahashi, Hideo Nakamura: A Modeling Approach of Distributed Interlocking System, the Institute of Electronics, Information and Communication Engineers (IEICE) Technical Report, Vol.105, No.458, pp.7-12, 2005
所獲獎項
Ø 日本大學理工學部優秀博士獎, 2007.6
Ø A Study of Distributed Railway Interlocking System and Its Design J-Rail 2007(2007年度日本全國鐵道科技大會) 優秀發表獎 2007.12
Ø 日本大學理工學部長獎, 2008.3
Ø 西安理工大學科技新星獎, 2010.3
Ø 入選“西安理工大學優秀青年教師”計畫,2010.5
Ø校教學成果特等獎,積極開展雙語教學、探索套用型本科生培養新模式,2012
Ø陝西省教學成果二等獎,計算機專業雙語教學模式的探索與實踐,2012
Ø陝西省高等學校科學技術一等獎,人工內分泌協同信息處理基礎理論及關鍵技術,2013