We are Depintelligence Software Lab

A High-Level Team of Unity, Friendship and Harmony.

XueYuan Road No.37, HaiDian District, Beijing, China

Our News


Our Research


Depintelligence Software Lab is mainly engaged in aircraft pathplanning, aircraft airborne software and reliability engineering studies. Through technical means and engineering specifications to protect and improve aircraft onboard software reliability and security.In the aircraft development process, commonly used onboard computer control system as the core, and thus the flight control system is one key to the whole product design. Flight control software as the core aircraft control system, the algorithm it implements complex, large-scale program, its reliability is directly related to aircraft safety, improve the reliability of flight control software is important. The laboratory research focus on onboard software reliability from software development process, development methodology, modeling and simulation, testing to ensure the reliability of the software.


SCI PAPERS:

[1] Xiao, G., Zheng, Z., Yin, B., Trivedi, K. S.,, Du, X., & Cai, KY. (2019). An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Transactions on Reliability.

[2] Xiao, G., Zheng, Z., Jiang, B., & Sui, Y. (2019). An Empirical Study of Regression Bug Chains in Linux. IEEE Transactions on Reliability.

[3] 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.

[4] 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.

[5] 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.

[6] Qin, F., Zheng, Z., Qiao, Y., & Trivedi, K. S. (2018). Studying Aging-Related Bug Prediction Using Cross-Project Models. IEEE Transactions on Reliability, (99), 1-20. SCI他引:0 Q1

[7] Zhao, Y., Zheng, Z., & Liu, Y. (2018). Survey on computational-intelligence-based UAV path planning. Knowledge-Based Systems, 158, 54-64. SCI他引:1 Q1

[8] He, M., Du, G. X., Zhang, X., & Zheng, Z. (2018). A cooperative network interdiction model and its optimization solution algorithm. International Journal of Computational Intelligence Systems, 11(1), 560-572.

[9] 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.

[10] Gong, S., Yin, B., Zheng, Z., & Cai, K. Y. (2019). Adaptive Multivariable Control for Multiple Resource Allocation of Service-based Systems in Cloud Computing. IEEE Access. SCI他引:0 Q1

[11] Zheng, Z., & Xiao, G.* (2018). Evolution analysis of a UAV real-time operating system from a network perspective. Chinese Journal of Aeronautics.

[12] Zheng, Z.*, Trivedi, K. S., Wang, N., & Qiu, K. (2017). Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks. IEEE Transactions on Dependable and Secure Computing.

[13] Zheng, Z.*, Trivedi, K. S., Qiu, K., & Xia, R. (2017). Semi-markov models of composite web services for their performance, reliability and bottlenecks. IEEE Transactions on Services Computing, 10(3), 448-460.

[14] Zhang, X. Y., Zheng, Z.*, & Cai, K. Y. (2017). A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms. IEEE Transactions on Reliability.

[15] Zhang, X. Y., Zheng, Z.*, & Cai, K. Y. (2017). Exploring the Usefulness of Unlabelled Test Cases in Software Fault Localization. Journal of Systems and Software.

[16] Xiao, G., Zheng, Z.*, & Wang, H. (2017). Evolution of Linux operating system network. Physica A: Statistical Mechanics and its Applications, 466, 249-258.

[17] Zhang, L., Yan, L., Zhang, Z., Zhang, J., Chan, W. K., & Zheng, Z. (2017). A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization[J]. Journal of Systems and Software, 2017, 129: 35-57.

[18] Zhang, X., Zheng, Z. * , Zhang, S., & Du, W. (2016). Partial interdiction median models for multi-sourcing supply systems. The International Journal of Advanced Manufacturing Technology, 84(1-4), 165-181.

[19] Wang, H., Chen, Z., Xiao, G., & Zheng, Z.* (2016). Network of networks in Linux operating system. Physica A: Statistical Mechanics and its Applications, 447, 520-526.

[20] Zheng, Z. *, Liu, Y., & Zhang, X. (2016). The more obstacle information sharing, the more effective real-time path planning?. Knowledge-Based Systems, 114, 36-46.

[21] Lu, J., Zheng, Z., Zhang, G., He, Q., & Shi, Z. (2015). A new solution algorithm for solving rule-sets based bilevel decision problems. Concurrency and Computation: Practice and Experience, 27(4), 830-854.

[22] Du, W. B., Zhou, X. L., Zhu, Y. B., & Zheng, Z. (2015). A dynamic allocation mechanism of delivering capacity in coupled networks. Chaos, Solitons & Fractals, 80, 56-61.

[23] Du, W. B., Gao, Y., Liu, C., Zheng, Z., & Wang, Z. (2015). Adequate is better: particle swarm optimization with limited-information. Applied Mathematics and Computation, 268, 832-838.

[24] Gao, Y., Zheng, Z. * , & Qin, F. (2014). Analysis of Linux kernel as a complex network. Chaos, Solitons & Fractals, 69, 246-252.

[25] Zheng, Z. * , Guo, Z., Zhu, Y., & Zhang, X. (2014). A critical chains based distributed multi-project scheduling approach. Neurocomputing, 143, 282-293.

[26] Zhang, X., Zheng, Z. * , Zhu, Y., & Cai, K. Y. (2014). Protection issues for supply systems involving random attacks. Computers & Operations Research, 43, 137-156.

[27] Zheng, Z. *, Shumin, L., Ze, G., & Yueni, Z. (2013). Resource-constraint multi-project scheduling with priorities and uncertain activity durations. International Journal of Computational Intelligence Systems, 6(3), 530-547.

[28] Zhu, Y., Zheng, Z. * , Zhang, X., & Cai, K. (2013). The r-interdiction median problem with probabilistic protection and its solution algorithm. Computers & Operations Research, 40(1), 451-462.

[29] Liu, W., Zheng, Z. *, & Cai, K. Y. (2013) . Bi-level programming based real-time path planning for unmanned aerial vehicles. Knowledge-Based Systems, 44, 34-47.

[30] Liu, W., Zheng, Z. , & Cai, K. (2013). Adaptive path planning for unmanned aerial vehicles based on bi-level programming and variable planning time interval. Chinese Journal of Aeronautics, 26(3), 646-660.

[31] Zhang, G. Q., Zheng, Z. * , Lu, J., & He, Q. (2011). An algorithm for solving rule sets-based bilevel decision problems. Computational Intelligence, 27(2), 235-259.

[32] Zheng, Z. * , Liu, W., & Cai, K. Y. (2010). Robustness of fuzzy operators in environments with random perturbations. Soft Computing, 14(12), 1339-1348.

[33] Zheng, Z.* , Wu, S., Liu, W., Cai, K. (2010). A Feedback Based CRI Approach to Fuzzy Reasoning, Applied Soft Computing, 11(1), 1241-1255.

[34] Zheng, Z ., Lu, J., Zhang, G., & He, Q. (2009). Rule sets based bilevel decision model and algorithm. Expert Systems with Applications, 36(1), 18-26.

[35] Zheng, Z. * , Wu, S., & Cai, K. Y. (2009, November). Propagation of Random Perturbations under Fuzzy Algebraic Operators. In International Conference on Knowledge Science, Engineering and Management (pp. 66-77). Springer, Berlin, Heidelberg.

[36] Shi, C., Zhang, S., Zheng Z. & Shi, Z. Z. (2006). Geodesic distance based SOM for image clustering. In International Conference on Sensing, Computing and Automation (pp. 2483-2488).

[37] Zheng, Z. * , Hu, H., & Shi, Z. (2005, August). Tolerance relation based granular space. In International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (pp. 682-691). Springer, Berlin, Heidelberg.

[38] Zheng, Z. * , & Wang, G. (2004). RRIA: a rough set and rule tree based incremental knowledge acquisition algorithm. Fundamenta Informaticae, 59(2-3), 299-313.

[39] Zheng, Z. * , Hu, H., & Shi, Z. (2004). Granulation based image texture recognition. Lecture Notes in Computer Science, 3066, 659-664.

[40] Zheng, Z. * , Hu, H., & Shi, Z. (2004). Rough set based image texture recognition algorithm. Lecture Notes in Computer Science, 3213, 772-778.

[41] Zheng, Z. *, Wang, G., & Wu, Y. (2003, May). A rough set and rule tree based incremental knowledge acquisition algorithm. In International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (pp. 122-129). Springer, Berlin, Heidelberg.


Professor Zheng


The basic information

Full Professor
Supervisor of Ph.D Students
Gender:Male
Date of Birth:January 20,1980
Degree:Doctor's Degree
Status:Employed
School/Department:Beihang University
Date of Employment:July 1,2008
Administrative Position:Vice Dean of School
Business Address:New Main Building D635
Contact Information:010-82338767
E-Mail:zhengz@buaa.edu.cn

Resume

In terms of scientific research, five IEEE Trans papers, 16 papers in section Q1 and 10 patents have been published. Hosted 2 national natural science foundation projects, more than 20 scientific research projects including Beijing talents program and aviation fund, among which 12 related horizontal projects were conducted. The research focuses on the three scientific problems of reliability modeling and design of complex software, failure mechanism analysis of complex software and airworthiness management of high safety software. Relevant methods have been successfully applied in several models such as C919 and MA700. In the future, research on the credibility of uav intelligent software is planned.
In terms of teaching, I have undertaken two undergraduate courses and one postgraduate course, among which the postgraduate course software reliability engineering has been awarded the university-level elite course reform and construction project, and I have directed 19 master's students and 5 doctoral students. The graduate students under my guidance have won the national scholarship for three times, the university-level excellent thesis for one time, and the university-level excellent master thesis for several times.
In terms of international cooperation, I have been communicating with well-known scholars in the United States, Japan, Italy, Germany and Australia for a long time. As a senior visiting scholar, I have made several academic visits to duke university in the United States and the university of science and technology in Sydney, Australia.

Research Field

Intelligent task planning
Reliable airborne software
Trusted intelligence software

Teaching courses

C programming
Applied discrete
Software Reliability Engineering

More

http://shi.buaa.edu.cn/zhengzheng/en/index.htm

... 20+

Members

... 30+

Projects

... 100+

Papers

... 10+

Awards

Meet the team


...

Yu Qiao

Ph.D.

Major in software aging.

...

Fangyun Qin

Ph.D.

Major in transfer learning.

...

Kun Qiu

Ph.D.

Major in mandelbug.

...

Guanping Xiao

Ph.D.

Major in Complex Networks.

...

Yang liu

Ph.D.

Major in UAVs pathplanning.

...

Xiaoting Du

Ph.D.

Major in airworthiness.

...

Yijing Zhao

Master

Major in deep learning.

...

Kaiqiao Yang

Master

Major in UAVs pathplanning.

...

Xiaohui Wan

Master

Major in transfer learning.

...

Yanjie Liu

Master

Major in software reliability.

...

Jiantao Zhang

Master

Major in software testing.

...

Chenglong Li

Ph.D.

Major in Software fault localization.

...

Haonan Yao

Master

Major in deep learning.

...

Siqi Wu

Master

Major in UAVs pathplanning.

...

Jinyi Zhou

Master

Major in UAVs pathplanning.

...

Yuxin Zhang

Master

Major in fault localization.

What Professor Say


Contact us


We'd like to hear from you. Contact information of the department's administrative offices is at the bottom.

...

New Main Building Room D635
Beihang University

...

zhengz@buaa.edu.cn

...

010-82338767