郑征 学 位 : 博士学位
职 称 : 教授
学 科 : 控制科学与工程 软件工程
单 位 : 北京航空航天大学

办公地点 : 新主楼D635
毕业院校 : 中国科学院计算技术研究所
性别 : 男
出生年月 : 1980-01-20
学历 : 博士研究生毕业
在职信息 : 在职
入职时间 : 2008-07-01
联系方式 : **
电子信箱 :
教育经历
[1].1996.9 - 2000.7
重庆邮电大学| 计算机科学与技术| 大学本科毕业| Bachelor's Degree
[2].2000.9 - 2003.7
重庆邮电大学| 计算机科学与技术| 硕士研究生毕业| Master's Degree
[3].2003.9 - 2006.8
中国科学院计算技术研究所| 计算机科学与技术| 博士研究生毕业| 博士学位
工作经历

[1].北京航空航天大学 |自动化科学与电气工程学院 |副院长 |教授，博士生导师 |在职
研究方向
[1].智能任务规划
[2].可靠机载软件

[3].可信智能软件

社会兼职
[1].国际SCI期刊Knolwedge-based Systems副主编
[2].国际会议ISSRE2020程序委员会共同主席（International Symposium on Software Reliability Engineering-CCF B）
[3].国际会议PRDC2019（Pacific Rim International Symposium on Dependable Computing）程序委员会共同主席
[4].IEEE Trans. on Service Computing、IEEE Trans. on Reliability、IEEE Trans. on Fuzzy Systems、Knowledge Based Systems等国际杂志和计算机学报、软件学报、计算机研究与发展等国内杂志审稿人
[5].国际会议ISSRE, DSA, WOSAR, SEKM，ISKE，PRDC等会议程序委员或组织委员会委员
[6].国际会议 DASC2019 （ International Conference on Dependable, Autonomic and Secure Computing ）程序委员会共同主席

[7].国际会议WoSAR2018程序委员会主席，WoSAR2019大会主席（International Workshop on Software Aging and Rejuvenation）
[8].国际会议ISSRE2018 Fast Abstract 主席，ISSRE2019 Tutorial主席
[9].国际SCI期刊Software Quality Journal 客座编辑

[10].国际SCI期刊International Journal of Computational Intelligence Systems副主编

[11].国际期刊Atlantis Highlights in Engineering 主编

团队成员
团队名称 : 可信智能软件实验室 主要研究围绕无人机的智能规划软件进行可靠性、安全性和适航性等的研究。

个人简介
在科研工作方面，围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，近期的研究主要关注人工智能软件系统的可靠性及测试方法。已在IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Services Computing等IEEE会刊上发表论文10篇，在JCRQ1区期刊发表论文超过20篇，授权专利10项，Google Scholar引用1200余次，SCI他引400余次。主持国家自然科学基金面上/青年项目、北京市英才计划、航空基金等二十余项科研项目，相关方法在C919、MA700等若干型号上成功应用。担任本领域顶级会议ISSRE2020、重要会议PRDC2019，DASC2019程序委员会主席，Knolwedge-based Systems，International Journal of Computational Intelligence Systems副主编。
在教学方面，承担3门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生6人。所指导学生4次获得国家奖学金，2次获得校级优秀毕业论文，4次获得校级优秀毕业生，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。

---

郑征 学 位 : 博士学位
职 称 : 教授
学 科 : 控制科学与工程 软件工程
单 位 : 北京航空航天大学

办公地点 : 新主楼D635
毕业院校 : 中国科学院计算技术研究所
性别 : 男
出生年月 : 1980-01-20
学历 : 博士研究生毕业
在职信息 : 在职
入职时间 : 2008-07-01
联系方式 : **
电子信箱 :

栏目部分开始 研究领域
可信智能软件
可靠机载软件
智能任务规划


个人简介
在科研工作方面，围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，近期的研究主要关注人工智能软件系统的可靠性及测试方法。已在IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Services Computing等IEEE会刊上发表论文10篇，在JCRQ1区期刊发表论文超过20篇，授权专利10项，Google Scholar引用1200余次，SCI他引400余次。主持国家自然科学基金面上/青年项目、北京市英才计划、航空基金等二十余项科研项目，相关方法在C919、MA700等若干型号上成功应用。担任本领域顶级会议ISSRE2020、重要会议PRDC2019，DASC2019程序委员会主席，Knolwedge-based Systems，International Journal of Computational Intelligence Systems副主编。
在教学方面，承担3门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生6人。所指导学生4次获得国家奖学金，2次获得校级优秀毕业论文，4次获得校级优秀毕业生，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。

---

郑征 学 位 : 博士学位
职 称 : 教授
学 科 : 控制科学与工程 软件工程
单 位 : 北京航空航天大学

办公地点 : 新主楼D635
毕业院校 : 中国科学院计算技术研究所
性别 : 男
出生年月 : 1980-01-20
学历 : 博士研究生毕业
在职信息 : 在职
入职时间 : 2008-07-01
联系方式 : **
电子信箱 :

栏目部分开始 开授课程
[1]离散数学(信息类)
[2]应用离散数学
[3]C语言程序设计
[4]软件可靠性工程


共4条1/1首页上页下页尾页


个人简介
在科研工作方面，围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，近期的研究主要关注人工智能软件系统的可靠性及测试方法。已在IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Services Computing等IEEE会刊上发表论文10篇，在JCRQ1区期刊发表论文超过20篇，授权专利10项，Google Scholar引用1200余次，SCI他引400余次。主持国家自然科学基金面上/青年项目、北京市英才计划、航空基金等二十余项科研项目，相关方法在C919、MA700等若干型号上成功应用。担任本领域顶级会议ISSRE2020、重要会议PRDC2019，DASC2019程序委员会主席，Knolwedge-based Systems，International Journal of Computational Intelligence Systems副主编。
在教学方面，承担3门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生6人。所指导学生4次获得国家奖学金，2次获得校级优秀毕业论文，4次获得校级优秀毕业生，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。

---

郑征 学 位 : 博士学位
职 称 : 教授
学 科 : 控制科学与工程 软件工程
单 位 : 北京航空航天大学

办公地点 : 新主楼D635
毕业院校 : 中国科学院计算技术研究所
性别 : 男
出生年月 : 1980-01-20
学历 : 博士研究生毕业
在职信息 : 在职
入职时间 : 2008-07-01
联系方式 : **
电子信箱 :

栏目部分开始 科研项目
[1]DO-178B系列标准定量分析技术研究, 2011/01/01-2011/12/31
[2]飞行控制软件优化技术研究-2017/12/31
[3]复合双层主从决策及其在无人机群任务分配中的应用研究-2012/12/31, 国家自然科
[4]飞机飞控系统软件适航技术要求和符合性方法研究-2014/12/01
[5]飞行控制软件缺陷定位方法及其应用研究-2015/12/31, 北京市英才
[6]面向运行环境依赖缺陷的软件自动化调试技术研究-2021/12/31, 国家自然科

共6条1/1首页上页下页尾页


个人简介
在科研工作方面，围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，近期的研究主要关注人工智能软件系统的可靠性及测试方法。已在IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Services Computing等IEEE会刊上发表论文10篇，在JCRQ1区期刊发表论文超过20篇，授权专利10项，Google Scholar引用1200余次，SCI他引400余次。主持国家自然科学基金面上/青年项目、北京市英才计划、航空基金等二十余项科研项目，相关方法在C919、MA700等若干型号上成功应用。担任本领域顶级会议ISSRE2020、重要会议PRDC2019，DASC2019程序委员会主席，Knolwedge-based Systems，International Journal of Computational Intelligence Systems副主编。
在教学方面，承担3门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生6人。所指导学生4次获得国家奖学金，2次获得校级优秀毕业论文，4次获得校级优秀毕业生，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。

---

郑征 学 位 : 博士学位
职 称 : 教授
学 科 : 控制科学与工程 软件工程
单 位 : 北京航空航天大学

办公地点 : 新主楼D635
毕业院校 : 中国科学院计算技术研究所
性别 : 男
出生年月 : 1980-01-20
学历 : 博士研究生毕业
在职信息 : 在职
入职时间 : 2008-07-01
联系方式 : **
电子信箱 :

栏目部分开始 论文
[1] Zhang, X. Y., Zheng, Z., & Cai, K. Y. (2018). Exploring the usefulness of unlabelled test cases in software fault localization. Journal of Systems and Software, 136, 278-290.
[2] Qin, F., Zheng, Z., Qiao, Y., & Trivedi, K. S. (2018). Studying aging-related bug prediction using cross-project models. IEEE Transactions on Reliability, 68(3), 1134-1153.
[3] Zhao, Y., Zheng, Z., & Liu, Y. (2018). Survey on computational-intelligence-based UAV path planning. Knowledge-Based Systems, 158, 54-64.
[4] Sui, Y., Yan, H., Zheng, Z., Zhang, Y., & Xue, J. (2018). Parallel construction of interprocedural memory SSA form. Journal of Systems and Software, 146, 186-195.
[5] Qiao, Y., Zheng, Z., Fang, Y., Qin, F., Trivedi, K. S., & Cai, K. Y. (2018). Two-level rejuvenation for android smartphones and its optimization. IEEE Transactions on Reliability, 68(2), 633-652.
[6] Zheng, Z., & Guanping, X. I. A. O. (2019). Evolution analysis of a UAV real-time operating system from a network perspective. Chinese Journal of Aeronautics, 32(1), 176-185.
[7] Xu, Y., Yin, B., Zheng, Z., Zhang, X., Li, C., & Yang, S. (2019). Robustness of spectrum-based fault localisation in environments with labelling perturbations. Journal of Systems and Software, 147, 172-214.
[8] Qiu, K., Zheng, Z., Trivedi, K. S., & Yin, B. (2019). Stress testing with influencing factors to accelerate data race software failures. IEEE Transactions on Reliability. Accepted.
[9] Xiao, G., Zheng, Z., Jiang, B., & Sui, Y. (2019). An empirical study of regression bug chains in Linux. IEEE Transactions on Reliability. Accepted.
[10] Xiao, G., Zheng, Z., Yin, B., Trivedi, K. S., Du, X., & Cai, K. Y. (2019). An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Transactions on Reliability, 68(4), 1356-1383.
[11] Zhang, Y., Sui, Y., Pan, S., Zheng, Z., Ning, B., Tsang, I., Zhou，W., Familial Clustering For Weakly-labeled Android Malware Using Hybrid Representation Learning, IEEE Transactions on Information Forensics and Security, Accepted.
[12] Zheng, Z.*, Wang, G.Y. (2004), RRIA:A Rough Set and Rule Tree Based Incremental knowledge Acquisition Algorithm, Fundamenta Informaticae, 59, 299~313.
[13] Zheng, Z.*, Lu, J., Zhang G. Q., He Q (2009)., Rule Sets based Bilevel Decision Model and Algorithm, Expert Systems with Applications, 36, 18-26.
[14] Zheng, Z.*, Liu W., Cai K. Y (2010)., Robustness of Fuzzy Operators in Environments with Random Perturbations, Soft Computing, 14, 1339–1348.
[15] Zheng, Z.*, Wu, S., Liu, W., Cai, K. (2010). A Feedback Based CRI Approach to Fuzzy Reasoning, Applied Soft Computing, 11(1), 1241-1255.

共41条1/3首页上页下页尾页页


个人简介
在科研工作方面，围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，近期的研究主要关注人工智能软件系统的可靠性及测试方法。已在IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Services Computing等IEEE会刊上发表论文10篇，在JCRQ1区期刊发表论文超过20篇，授权专利10项，Google Scholar引用1200余次，SCI他引400余次。主持国家自然科学基金面上/青年项目、北京市英才计划、航空基金等二十余项科研项目，相关方法在C919、MA700等若干型号上成功应用。担任本领域顶级会议ISSRE2020、重要会议PRDC2019，DASC2019程序委员会主席，Knolwedge-based Systems，International Journal of Computational Intelligence Systems副主编。
在教学方面，承担3门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生6人。所指导学生4次获得国家奖学金，2次获得校级优秀毕业论文，4次获得校级优秀毕业生，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。

---

郑征 学 位 : 博士学位
职 称 : 教授
学 科 : 控制科学与工程 软件工程
单 位 : 北京航空航天大学

办公地点 : 新主楼D635
毕业院校 : 中国科学院计算技术研究所
性别 : 男
出生年月 : 1980-01-20
学历 : 博士研究生毕业
在职信息 : 在职
入职时间 : 2008-07-01
联系方式 : **
电子信箱 :

栏目部分开始 荣誉及奖励
[1]International Journal of Computational Intelligence Systems年度优秀Editor
[2]重庆市优秀硕士论文
[3]中国科学院院长奖
[4]北京市英才计划
[5]IEEE Senior Member
[6]北京航空航天大学青年英才计划


共6条1/1首页上页下页尾页


个人简介
在科研工作方面，围绕复杂软件可靠性建模与设计，复杂软件失效机理分析和高安全软件的适航管理三个科学问题展开研究，近期的研究主要关注人工智能软件系统的可靠性及测试方法。已在IEEE Transactions on Dependable and Secure Computing, IEEE Transactions on Information Forensics and Security, IEEE Transactions on Reliability, IEEE Transactions on Services Computing等IEEE会刊上发表论文10篇，在JCRQ1区期刊发表论文超过20篇，授权专利10项，Google Scholar引用1200余次，SCI他引400余次。主持国家自然科学基金面上/青年项目、北京市英才计划、航空基金等二十余项科研项目，相关方法在C919、MA700等若干型号上成功应用。担任本领域顶级会议ISSRE2020、重要会议PRDC2019，DASC2019程序委员会主席，Knolwedge-based Systems，International Journal of Computational Intelligence Systems副主编。
在教学方面，承担3门本科课和1门研究生课程，其中研究生课程《软件可靠性工程》获得校级精品课改革建设项目，共指导硕士研究生19人，博士研究生6人。所指导学生4次获得国家奖学金，2次获得校级优秀毕业论文，4次获得校级优秀毕业生，数次获得院级优秀硕士学位论文。
在国际合作方面，长期与美国、日本、意大利、德国、澳大利亚等知名学者进行交流，作为高级访问学者在美国杜克大学、澳大利亚悉尼科技大学等进行了多次学术访问。