教师主页移动版

个人经历 Personal experience 工作经历 教育经历 2019/03-至今，西北工业大学，网络空间安全学院教授、博士生导师2018/06-2019/03，西安电子科技大学，网络与信息安全学院副教授，博士生导师2015/01-2018/05，西安电子科技大学，网络与信息安全学院副教授，硕士生导师2010/06-2014/12，西安电子科技大学，计算机学院副教授，硕士生导师  2003/09–2007/12，西安电子科技大学，计算机应用技术，工学博士1999/09–2003/06，中国海洋大学，应用数学，理学学士国外研修:2014/01-2015/01，美国，德克萨斯州大学达拉斯分校，访问学者

教育教学

教育教学 Education and teaching 教育教学 招生信息 本科主讲：《操作系统》、《数据结构》、《离散数学和数据结构》。 博士生2人/年，硕士生3人/年，包括学硕1人，专硕2人。基本要求: 掌握基本的计算机和网络知识体系和编程能力；刻苦钻研、勤于思考；良好的英语表达、交流能力。

荣誉获奖

荣誉获奖 Awards Information 2009年度陕西高等学校科学技术奖一等奖2009年度陕西省科学技术奖二等奖

科学研究

科学研究 Scientific Research 1. 研究方向：研究方向：物联网安全、群体智能、人工智能安全、可信计算和系统可靠性验证等。2. 主持的科研项目：[1]   国家自然科学基金面上项目“车联网与穿戴网融合网络的数据可靠性技术研究（61771373）”，2018/01-2021/12。[2]   国家自然科学基金面上项目“基于实时连续环境的嵌入式系统的模型检测技术研究（61373043）”，2014/01-2017/12。[3]   国家自然科学基金青年基金项目“基于约束凸多面体和抽象加细技术的混合系统的模型检测（61003079）”，2011/01-2013/12。[4]   陕西省工业攻关计划项目“线性嵌入式混合系统的模型检测（2009K01-36）”，2010/01-2011/12。[5]   教育部博士点基金（新教师计划）项目“混合系统的形式验证理论与算法研究（20100203120012）”，2011/01-2013/12。[6]   博士后基金项目“混合系统安全性和稳定性自动验证技术研究”，2011/10-2012/09。[7]   中央高校基本科研业务费资助项目“人工智能软件程序安全理论与关键技术研究（20101185367）”，2018/01-2019/12。[8]   中央高校基本科研业务费资助项目“穿戴网的可靠与安全性技术研究（JB161506）”，2016/01-2017/12。[9]   中央高校基本科研业务费资助项目“混合系统安全性和稳定性的验证模型与算法研究(K5051203003)”，2012/01-2013/12。[10] 中央高校基本科研业务费资助项目“基于约束凸多面体的混合系统的模型检测（JY10000903014）”，2009/9-2011/9。[11] 中央高校基本科研业务费资助项目“基于区间时序逻辑的嵌入式系统的形式化验证（JB140316）”，2014/01-2015/12。[12] 中央高校基本科研业务费资助项目“混合系统安全性和稳定性的验证模型与算法研究(K5051203003)”，2012/01-2013/12。3. 参与的科研项目：[1]   国家自然科学基金重大研究专项“基于FPGA的高可信嵌入式系统的基础研究”， 2011/01-2011/12。

学术成果

学术成果 Academic Achievements 代表论文：1.   Haibin Zhang, Wanqing Tian, Jiajia Liu. Improving EDCA for Efficient Channel Access in Vehicular Communications, IEEE Communications Magazine, 56(10):72-77, 2018. (SCI 中科院1区，IF: 9.27，SCI：000447859300009) 2.   Haibin Zhang, Qian Zhang, Jiajia Liu, Hongzhi Guo. Fault Detection and Repairing for Intelligent Connected Vehicles Based on Dynamic Bayesian Network Model. IEEE Internet of Things Journal, 5(4): 2431-2440, 2018. (SCI中科院 1区，IF: 5.874，SCI：000441428700018)3.   Haibin Zhang, Jianpeng Li, Bo Wen, Yijie Xun, Jiajia Liu. Connecting Intelligent Things in Smart Hospital using NB-IoT. IEEE Internet of Things Journal, 5(3): 1550-1560, 2018. (SCI 中科院1区，IF: 5.874，SCI：000435182100021)4.   Haibin Zhang, Jiajia Liu, Nei Kato. Threshold Tuning Based Wearable Sensor Fault Detection for Reliable Medical Monitoring Using Bayesian Network Model. IEEE Systems Journal, 12 (2):1886-1896, 2018. (SCI 中科院2区，IF: 4.337，SCI：000431399100061)5.   Haibin Zhang, Bo Wen, Jiajia Liu and Yingming Zeng. The Prediction and Error Correction of Physiological Sign During Exercise Using Bayesian Combined Predictor and Naive Bayesian Classifier, IEEE Systems Journal, Accepted, 2018. (SCI 中科院2区，IF: 4.337)6.   Haibin Zhang, Jiajia Liu, Ai-Chun Pang. A Bayesian Network Model for Data Losses and Faults in Medical Body Sensor Networks. Computer Networks, 143:166-175, 2018. (SCI 中科院3区，IF: 2.522，SCI:000445981400013)7.   Haibin Zhang, Cheng Zhao, Rong Li. A formal structure for symbolic reachability analysis of rectangular hybrid systems. Science China Technological Sciences, 59 (2):347-356, 2016. (SCI 中科院3区，IF: 1.938，SCI：000371281000016)8.   Haibin Zhang, Jiajia Liu, Rong Li. Fault Diagnosis of Body Sensor Networks Using Hidden Markov Model. Peer-to-Peer Networking and Applications,  10(6):1285-1298, 2017 (SCI 中科院4区，IF: 1.514，SCI：000408337700002) 9.   Haibin Zhang, Zhenhua Duan. Symbolic Algorithmic Analysis of Rectangular Hybrid Systems, Journal of Computer Science and Technology, 24(3): 531-543,2009. (SCI 中科院4区，IF: 0.878，SCI: 000266386500011)10. Haibin Zhang, Bo Wen, and Jiajia Liu. The Prediction of Heart Rate During Running Using Bayesian Combined Predictor. The 14th International Wireless Communications & Mobile Computing Conference (IWCMC), pp. 981 - 986, 2018. (EI: 20184005881730) 11.  Haibin Zhang, Wanqing Tian, and Jiajia Liu. DQ-EDCA: Dynamic Queue Management Based EDCA Mechanism for Vehicle Communication. The 14th International Wireless Communications & Mobile Computing Conference (IWCMC), pp. 1131-1136, 2018. (EI: 20184005881886) 12.  Haibin Zhang, Jiajia Liu, Ai-Chun Pang. A Data Reconstruction Model Addressing Loss and Faults in Medical Body Sensor Networks. The 59th Annual IEEE Global Communications Conference (GLOBECOM 2016), pp.1-6, 2016. (EI: 20171203471637) 13.  Haibin Zhang, Jiajia Liu, Cheng Zhao. Distance Based Method for Outlier Detection of Body Sensor Networks. EAI Endorsed Transactions on Wireless Spectrum, DOI:10.4108/eai.19-1-2016.151000, 2016.14.  Haibin Zhang, Jiajia Liu, Rong Li. Fault Detection for Medical Body Sensor Networks Under Beyesian Network Model. The 11th IEEE International Conference on Mobile Ad-hoc and Sensor Networks (IEEE MSN 2015), pp.37-42, 2015. (EI: 20161802325735)15.  Haibin Zhang, Jiajia Liu. Fault Diagnosing ECG in Body Sensor Networks Based on Hidden Markov Model. The 10th IEEE International Conference on Mobile Ad-hoc and Sensor Networks (IEEE MSN 2014), pp.123-129, 2014. (EI: 20151300695541)16.  Haibin Zhang, Liya Yang. Model checking Multirate Hybrid Systems with Dense Timed Interval Temporal Logic. Applied Mechanics and Materials, 198：889-893, 2012. (EI：20124715701224)17.  Haibin Zhang, Liya Yang. Structures for reachability problems of multirate hybrid systems. Advanced Materials Research, 466: 754-758, 2012. (EI：20121414926191)18.  Haibin Zhang. Model checking multirate hybrid systems with restricted convex polyhedron. Proceeding of 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.93-99, Xi’an, 2011. (EI：20114414482171)19.  Haibin Zhang, Zhenhua Duan. Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic. Proceeding of 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 126-131, Taibei, 2010. (EI：20104613390968)20.  Haibin Zhang, Zhenhua Duan. Symbolic Algorithm Analysis of Hybrid Systems. Proceeding of The 5th Annual Conference on Theory and Applications of Models of Computation (TAMC’08), LNCS 4978, pp.294-305. Xi’an, 2008. (EI:20094012348225)21.   张海宾，段振华.混合系统的符号化可达性分析.软件学报, 19(12): 3111-3121, 2008. (EI: 090111830392)22.   Hongzhi Guo, Jie Zhang, Jiajia Liu, and Haibin Zhang. Energy-Aware Computation Offloading and Transmit Power Allocation in Ultra-Dense IoT Networks, Accepted, to appear in IEEE Internet of Things Journal, 2018, Inpress. (SCI 中科院 1 区, IF: 5.874)23.   Wen Sun, Jiajia Liu, Haibin Zhang. When Smart Wearables Meet Intelligent Vehicles: Challenges and Future Directions. IEEE Wireless Communications Magazine, 24(3): 58-65, 2017.  (SCI 中科院1区，IF: 9.20 , SCI: 000404379800015)24.   Weijun Zhu, Qinglei Zhou, Weidong Yang, Haibin Zhang. A Novel Algorithm for Intrusion Detection Based on RASL Model Checking. Mathematical  Problems in Engineering, 1-11, 2013. (SCI 中科院4，IF：1.145，SCI: 000317222500001)25.   Weijun Zhu, Qinglei Zhou, Haibin Zhang. Translating Linear Temporal Logic Formulas into Automata, China Communications, 9(6)：100-113, 2012. ( SCI 中科院4区，IF：1.514，SCI：000305818000010)26.   Weijun Zhu, Zhongyong Wang, Haibin Zhang. Intrusion Detection based on Model Checking Projection Temporal Logic. China Communications, 8(3): 66-72, 2011. (SCI 中科院4区，IF：1.514，SCI: 000291189000007)27.   Hongzhi Guo, Jie Zhang, Jiajia Liu, Haibin Zhang, and Wen Sun. Energy Efficient Task Offloading and Transmit Power Allocation for Ultra-Dense Edge Computing, Accepted, to appear in IEEE GLOBECOM 2018. (EI 待检)28.  Hongzhi Guo, Jiajia Liu, Huiling Qin, Haibin Zhang. Collaborative Computation Offloading for Mobile-Edge Computing over Fiber-Wireless Networks, GLOBECOM,  pp. 1-6, 2017. (EI 20181905148510)29.  Huanhuan Li, Qian Luo, Shubin Zhang, Haibin Zhang, Jiajia Liu. Data leakage between C/S communication: A case study on Android music app, 2017 9th International Conference on Wireless Communications and Signal Processing (WCSP), pp. 1-6, 2017. (EI 20181905142125)30.   朱维军, 张海宾, 周清雷. 离散时间区间时序逻辑可满足性的判定. 电子学报, 38(5):1039-1045, 2010. (EI:20103013098523)

综合介绍

综合介绍 General Introduction 工学博士，西北工业大学网络空间安全学院教授、博士生导师。1981年12月出生于山东菏泽，2003年在中国海洋大学获得学士学位后，考入西安电子科技大学硕博连读，2007年获得计算机应用技术博士学位后留校工作，2010年6月晋升副教授，2010年12月被聘为硕士生导师，2018年6月被聘为博士生导师。2019年3月加入西北工业大学网络空间安全学院，受聘为教授、博士生导师。研究领域包括物联网安全、群体智能、人工智能安全、可信计算和系统可靠性验证等。近年来，在相关领域主流期刊会议发表或录用论文四十余篇，其中，SCI检索十余篇，EI检索三十余篇，其中，第一作者发表或录用SCI论文9篇，含中科院一区论文3篇，中科院二区论文2篇。国家自然科学基金委评审专家，IEEE Communications Magazine、IEEE Systems Journal、IEEE TVT、IEEE TWC、IEEE TETC、IEEE Internet of Things Journal等国际主流期刊的特约审稿人。主持和参与了国家自然科学基金项目、陕西省科技攻关计划项目、教育部博士点基金项目、博士后基金项目、中央高校基本科研业务费资助项目等多项。 个人相册