郑征
基本资料
出生年月 |
1980.1 | 籍贯 |
|
职称 |
副教授 |
学历 |
博士 |
电话 |
010-82338767 |
办公室 |
D635 |
系别 |
自动控制系 |
职务 |
系副主任 |
电子信箱 |
zhengz@buaa.edu.cn | 传真 |
|
网址 |
zhengzheng.buaa.edu.cn |
学习经历
2003.9-2006.6 中国科学院计算技术研究所,计算机软件理论,工学博士工作经历
2006.6-2008.6 在北京航空航天大学自动化科学与电气工程学院,博士后2008.7-2010.7 在北京航空航天大学自动化科学与电气工程学院,讲师
2014.8-2015.9 美国杜克大学高级访问学者,合作教授:Kishor.S.Trivedi
2010.8至今在北京航空航天大学自动化科学与电气工程学院,副教授,博士生导师
研究领域
可靠机载软件任务规划
在研科研项目
国家自然科学基金,航空基金,国家重点实验室开放基金,院所合作课题荣誉及奖励
中国科学院院长奖北京市英才计划
军队科技进步奖三等奖(排名第三)
开授课程
C语言程序设计(本科)应用离散数学(本科)
软件可靠性工程(研究生)
教学及科研成果
在国内外杂志和会议上发表(含录用)论文50余篇,其中SCI检索或SCI期刊录用论文23篇,他引300余次,授权专利6项。出版大飞机丛书一本《机载软件适航标准DO-178B/C研究》,参与著书1部,主持自然科学基金1项,航空科学基金2项,博士后基金1项,同时主持多项企业高新技术项目。
近五年主要研究成果:
[1]Xiao G, Zheng Z, Wang H. Evolution of Linux operating system network. Physica A: Statistical Mechanics and its Applications, 2016.
[2]Guo Y, Zhang X, Zheng Z. Exploring the Instability of Spectra Based Fault Localization Performance[C]//Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th Annual. IEEE, 2016, 1: 191-196.
[3]Zheng Z, Trivedi K, Qiu K, et al. Semi-Markov models of composite Web services for their performance, reliability and bottlenecks [J]. IEEE Transactions on Services Computing, 2016, 6: 1-1.
[4]Wang, H., Chen, Z., Xiao, G., &Zheng, Z. Network of networks in Linux operating system.Physica A: Statistical Mechanics and its Applications,447, 520-526, 2016.
[5]Zhang X, Towey D, Chen T, Zheng Z. Using Partition Information to Prioritize Test Cases for Fault Localization [C]. Computer Software and Applications Conference (COMPSAC), IEEE 39th Annual. 2: 121-126, 2015.
[6]Wang N, Zheng Z, Zhang Z, et al. FLAVS: A fault localization add-in for Visual Studio [C]. Complex Faults and Failures in Large Software Systems (COUFLESS), 2015 IEEE/ACM 1st International Workshop on. IEEE, 2015.
[7]Zhang X, Zheng Z, Zhang S, et al. Partial interdiction median models for multi-sourcing supply systems [J]. The International Journal of Advanced Manufacturing Technology, 2015, 1-17.
[8]Du W, Gao Y, Liu C, Zheng Z. Adequate is better particle swarm optimization with limited-information [J]. Applied Mathematics and Computation, 2015, 268: 832-838.
[9]Du W, Zhou X, Zhu Y, Zheng Z. A dynamic allocation mechanism of delivering capacity in coupled networks [J]. Chaos Solitons & Fractals, 2015, 80: 56–61.
[10]Qin F, Zheng Z, Bai C, et al. Cross-Project Aging Related Bug Prediction[C]//Software Quality, Reliability and Security (QRS), 2015 IEEE International Conference on. IEEE, 2015: 43-48.
[11]Lu J, Zheng Z, Zhang G, et al. A new solution algorithm for solving rule-sets based bilevel decision problems [J]. Concurrency and Computation: Practice and Experience, 2015, 27(4): 830-854.
[12]Zheng Z, Zhang X, Liu W, et al. Adapting Real-Time Path Planning to Threat Information Sharing [M]. Knowledge Engineering and Management. Springer Berlin Heidelberg, 2014, 317-329.
[13]Zheng Z, Guo Z, Zhu Y, et al. A critical chains based distributed multi-project scheduling approach [J]. Neurocomputing, 2014, 143(16): 282-293.
[14]Gao Y, Zheng Z, Qin F. Analysis of Linux kernel as a complex network [J]. Chaos, Solitons & Fractals, 2014, 69: 246-252.
[15]Zhang X, Zheng Z, Zhu Y, et al. Protection issues for supply systems involving random attacks [J]. Computers & Operations Research, 2014, 43(4): 137-156.
[16]郝鹏, 郑征, 张震宇, 等. 基于谓词执行信息分析的自适应缺陷定位算法 [J]. 计算机学报, 2014, 37(3): 500-511.
[17]Zheng Z, Lin S, Guo Z, et al. Resource-constraint multi-project scheduling with priorities and uncertain activity durations [J]. International Journal of Computational Intelligence Systems, 2013, 6(3): 530-547.
[18]Liu W, Hao P, Zheng Z. FBCRI Based Real-time Path Planning for Unmanned Aerial Vehicles in Unknown Environments with Uncertainty [J]. Robot, 2013, 35(6): 641-650.
[19]Zhang B, Mao Z, Liu W, Zheng Z. Cooperative and geometric learning for path planning of UAVs [C]. Unmanned Aircraft Systems (ICUAS), International Conference on. IEEE, 2013, 69-78.
[20]Liu W, Zheng Z, Cai K. Distributed on-line path planner for multi-UAV coordination using bi-level programming [C]. Control and Decision Conference (CCDC), 25th Chinese. IEEE, 2013, 5128-5133.
[21]Zhu Y, Zheng Z, Zhang X, et al. The r-interdiction median problem with probabilistic protection and its solution algorithm [J]. Computers & Operations Research, 2013, 40(1): 451-462.
[22]Liu W, Zheng Z, Cai K. Bi-level programming based real-time path planning for unmanned aerial vehicles [J]. Knowledge-Based Systems, 2013, 44: 34-47.
[23]Liu W, Zheng Z, Cai K. Adaptive path planning for unmanned aerial vehicles based on bi-level programming and variable planning time interval [J]. Chinese Journal of Aeronautics, 2013, 26(3): 646-660.
[24]Gao Y, Zhang Z, Zhang L, Zheng Z. A theoretical study: The impact of cloning failed test cases on the effectiveness of fault localization [C]. Quality Software (QSIC), 13th International Conference on. IEEE, 2013, 288-291.
[25]Rao P, Zheng Z, Chen T, et al. Impacts of test suite's class imbalance on spectrum-based fault localization techniques [C]. Quality Software (QSIC), 13th International Conference on. IEEE, 2013, 260-267.
[26]Zhang X, Zheng Z, Zhu Y, et al. A distributed protective approach for multiechelon supply systems [C]. Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual. IEEE, 2013, 621-626.
[27]Zheng Z, Gao Y, Hao P, et al. Coincidental correctness: An interference or interface to successful fault localization [C]. Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on. IEEE, 2013, 114-119.
[28]李伟, 郑征, 郝鹏, 等. 基于谓词执行序列的软件缺陷定位算法 [J]. 计算机学报, 2013, 36(12): 2406-2419.
[29]张云乾, 郑征, 季晓慧, 等. 基于马尔可夫模型的软件错误定位方法 [J]. 计算机学报, 2013, 02(2): 445-456.
[30]You Z, Qin Z, Zheng Z. Statistical fault localization using execution sequence [C]. Machine Learning and Cybernetics (ICMLC), 2012 International Conference on. IEEE, 2012, 3: 899-905.
[31]Gong C, Zheng Z, Li W, et al. Effects of class imbalance in test suites an empirical study of spectrum-based fault localization [C]. Computer Software and Applications Conference Workshops (COMPSACW), IEEE 36th, 2012, 470-475.
[32]Gong C, Zheng Z, Zhang Y, et al. Factorising the multiple fault localization problem adapting single-fault localizer to multi-fault programs [C]. Software Engineering Conference (APSEC), 19th Asia-Pacific. IEEE, 2012, 729-732.
[33]Guo Z, Zheng Z, Min L, et al. Project characteristics based buffer sizing to critical chain scheduling [C]. Control Conference (CCC), 2012 31st Chinese. IEEE, 2012, 2400-2405.
[34]Lin S, Zheng Z, Cai K. Robust task scheduling of multi-satellite parallel test [C]. Control Conference (CCC), 2011 30th Chinese. IEEE, 2011, 2152-2157.
[35]朱悦妮, 郑征, 刘伟. 基于双层主从决策的多机协同关键设施攻击模型研究[J]. 计算机科学, 2011, 38(1): 210-213.
[36]Liu W, Zheng Z, Zhao L, et al. Smooth path planning in on-line mode for unmanned air vehicles [C]. Industrial Electronics and Applications (ICIEA), 26th IEEE Conference on. IEEE, 2011, 2599-2604.
[37]Zhao L, Zheng Z, Liu W, et al. Real-time path planning for multi-UAVs with share of threats information [C]. Industrial Electronics and Applications (ICIEA), 6th IEEE Conference on. IEEE, 2011, 1359-1364.
[38]武善杰, 郑征, 蔡开元. 基于行为协同和虚拟目标相结合的无人机实时航路规划 [J]. 控制理论与应用, 2011, 28(1): 131-136.
[39]Zheng Z, Wu S, Liu W, et al. A feedback based CRI approach to fuzzy reasoning [J]. Applied Soft Computing, 2011, 11(1) : 1241-1255.
[40]Zhang G, Zheng Z, Lu J, et al. An algorithm for solving rule sets-based bilevel decision problems [J]. Computational Intelligence, 2011, 27(2): 235-259.
学术与社会兼职
International Journal of Computational Intelligence Systems副主编
IEEE Trans. on Service Computing、IEEE Trans. on Reliability、Knowledge Based Systems》等国际杂志和计算机学报、软件学报、计算机研究与发展等国内杂志审稿人
WOSAR,PRDC等会议程序委员