【人物简介】

　　黑新宏，男，1976年出生，教授，硕士生导师，ACM会员，中国计算机学会高级会员，日本电气学会 (IEEJ)会员。西安理工大学计算机学院教学委员会委员，1998年本科毕业于西安理工大学计算机及其应用专业，2003年取得西安理工大学计算机应用技术专业硕士学位，2008年3月获得日本大学理工学部情报科学专业博士学位。

【研究方向】

安全关键计算机系统、嵌入式系统及应用。

【研究成果】

　　授权发明专利5项，实用新型专利1项，软件著作权登记10项。

【科研项目】

　　主持和承担的纵向科研项目 　　(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