学院概况
现任领导当前位置:首页 -> 学院概况 -> 现任领导
副院长黑新宏
发布时间:2012/7/12  浏览次数:3141 次  来源:西安理工大学计算机科学与工程学院

负责:科研工作

职称/职务  教授/副院长
联系电话  029-82312457
电子邮件  heixinhong@xaut.edu.cn 
 

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

目前主要的研究方向为安全关键计算机系统、嵌入式系统及应用、智能信息及其在交通系统中的应用。

近年来作为项目负责人主持国家自然科学基金青年基金、教育部留学回国人员科研项目、陕西省自然科学基金项目、陕西省社会发展攻关计划、铁道部基础研究项目、轨道交通控制与安全国家重点实验室项目、陕西省留学人员科技活动择优资助项目、西安市科技局项目、陕西省教育厅科研专项、铁道第一勘察设计院合作研究项目等20余项纵横项课题。在国内外学术期刊和国际会议上公开发表学术论文60余篇,其中SCIEI检索40余篇,授权发明专利5项,实用新型专利1项,软件著作权登记10项。

-----------------------------------------------------------

学习经历

1994.9-1998.7 西安理工大学 计算机及其应用 学士

2000.9-2003.4 西安理工大学 计算机应用技术 硕士

2005.4-2008.3 日本大学 理工学部 计算机科学 博士

-----------------------------------------------------------

工作经历

1998.7-2003.9 西安理工大学 自动化与信息工程学院 助教

2003.10-2008.6 西安理工大学 计算机科学与工程学院 讲师

2008.7-2013.11 西安理工大学计算机科学与工程学院 副教授

2013.12至今 西安理工大学计算机科学与工程学院 教授

-----------------------------------------------------------

主持和承担的部分纵向科研项目

(1) 基于智能全分散式网络的车站联锁系统调度模型研究,2012.1-2014.12,国家自然科学基金(青年基金)

(2)人工内分泌协同计算模型及其应用研究 2011.1-2013.12 国家自然科学基金(面上项目)

(3) 基于组件的智能全分散形态下的列车运行控制关键技术研究 2009.6-2011.3 轨道交通控制与安全国家重点实验室

(4) 分散自组织列车安全保障系统关键技术研究 2010.1-2011.12 教育部留学回国人员科研启动基金

(5) 分散型城市轨道交通信号系统模拟及其可靠性保证方法研究 2010.1-2011.12 陕西省自然科学基础研究计划

(6) 基于面向对象Petri网的地铁车站联锁系统研究 2010.6-2012.12 陕西省教育厅科研专项

(7) 分散型车站联锁系统及其安全性保证方法研究 2011.1-2013.12 陕西省留学人员科技活动项目择优资助

(8) 分散智能铁路连锁系统的仿真平台开发及其验证 2008.7-2011.6 校博士启动金

(9) 分散型车站联锁系统及其安全性保证方法研究 2011.1-2012.12 陕西省留学人员科技活动择优资助项目

(10) 嵌入式软件测试与维护双向可追溯关键技术研究 2009.1-2011.12 陕西省教育厅科研专项

(11) 人工内分泌计算模型及其应用研究 2010.9-2012.8 陕西省自然科学基金

-----------------------------------------------------------

近年来发表论文情况

(1) Guo Xie, Fucai QianXinhong Hei, A strategy to improve the reliability of object-oriented formal models,       CIS2013, 2013.12,Leshan, China

(2) Xinhong Hei, Kai Zhao, Weigang Ma, Lei WangGuo XieStudy on Describing Problems of Temporal Interval Centered Synchronization within DRIS5th IEEE International Symposium on Microwave, Antenna, Propagation, and EMC Technologies for Wireless Communications (MAPE 2013)2013.10, ChengDuChina, 获得 Best Paper.

(3) Zhurong WangYang LiuXinhong Hei, Guo Xie, The Design and Implementation of the Metro Driving Simulation System Based on Virtual Reality2013 IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2013)2013.8BeijingChina

(4) Lei WANG, Ye LIN, Xinhong HEI, Xiaofan WANReinforcement Learning Algorithm Based on Immune Tolerancethe 32th CCC2013XianChina

(5) Xinhong Hei, Kai Zhao, Weigang Ma, Guo Xie and Lei Wang, A Real-Time Model of Railway Interlocking System Based on UML Extension Mechanism, the IEEE 4th ICSESS2013, Beijing, China

(6) Zuomin Luo,Quanfa Zheng, Xinhong HeiNasserParallel Programming based on Microsoft.NET TPL, The 32th ICCSEE 2013, HangzhouChina

(7) Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura, Formalizing and Analyzing the Train-to-Wayside Network System for CBTC, PRDC workshop in WDTS 2012, 2012.11Niigata, Japan

(8) Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura, Model Based Specification Validation for Automatic Train Protection and Block System, ICCIT2012, 2012.12,  Seoul, South Korea

(9) Xinhong Hei, Lining Chang, Weigang MaGuo Xie, A Safety Framework and Alarming Model for Train Operation Environment Based on CPS, CIS 2011, 2011.12, Sanya, China

(10) Xinhong Hei, Lining Chang, and Jinli Gao: Toward Automatic Analysis of UML Statechart with Petri Net, 2011中国自动化大会, 2011.11Beijing, China

(11) Xinhong Hei, Lining Chang, Weigang Ma, Jinli GaoGuo Xie: Automatic Transformation from UML Statechart to Petri Nets for Safety Analysis and Verification, ICQR2MSE-2011, pp.948- 951, 2011.6, Xian, China

(12) Guo Xie, Xinhong Hei, Akira AsanoHiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Formal Verification of Communication Based Train Control System, ICQR2MSE-2011, pp.394 399, 2011.6, Xian, China

(13) Xinhong Hei, Weigang Ma and Jinli GaoGuo Xie: A Concurrent Scheduling Model of Distributed Train Control System,       IEEE SOLI2011, 2011.7, Beijing, China

(14) 黑新宏,常利宁,谢国,中村英夫,中国高速鉄道における保守の課題と対策の検討,第17回日本鉄道技術連合シンポジウム, pp.137-138, 2010.12, 东京,日本

(15) 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, Wuhan, China

(16)  Weigang MaXinhong Hei, An Approach for Design and Formal Verification of Safety-Critical Software, 2010 International Conference on Computer Application and System Modeling (ICCASM 2010)pp.264-268, 2010.10, Taiyuan, China

(17) Xinhong Hei, Sei Takahashi, Hideo Nakamura: A Study of Distributed Railway Interlocking System and Its Design, J-rail 2007, Tokyo, 2007.12. (获得优秀发表奖)

 -----------------------------------------------------------

获奖情况

Ø 日本大学理工学部优秀博士奖, 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

打印本页 | 关闭窗口
[上一篇]:书记杨胜利
[下一篇]:副院长鲁晓峰