Introduction to teachers
1. Basic situation
Name:Zhu Yi
Gender:Male
Nationality:Chinese
Position:Vice Dean
Professor:Professor
E-mail: zhuy@jsnu.edu.cn.
Learning experience:
2014Year6month—2020Year5month，Nanjing University of Aeronautics and Astronautics，bet365 live casino login Engineering Postdoctoral Mobile Station，Postdoc
2007Year4month—2011Year3Month, Nanjing University of Aeronautics and Astronautics, School of Computer Science, PhD
2002Year9month—2005Year6Month, Suzhou University, School of Computer Science, Master
1995Year9month—1999Year6Month, Central China Normal University, Department of Computer Science, Bachelor
Third-level professor, bet365 live casino login Province“333”Young and middle-aged science and technology leaders,bet365 live casino login -Winner of Huawei Populus euphratica Fund，The person in charge of the key base for the integration of industry and education in Jiangsu Province，bet365 live casino login Engineering Jiangsu Province Industry-Education Integration Brand Major、Head of first-class undergraduate major in Jiangsu Province，Director of Jiangsu bet365 live casino login Engineering Practice Education Center，Head of Jiangsu Province Computer Science Education Base，Head of Jiangsu Province Computer Science Education Base，Leader of bet365 live casino login engineering discipline at Jiangsu Normal University，Boston University, USA、Visiting scholar at the University of Virginia。Mainly engaged in research direction of bet365 live casino login reliability、Intelligent bet365 live casino login 、Adaptive learning and blockchain security, etc.。In recent years，Host and participated in the National Natural Science Foundation of China project3item, in charge of provincial and ministerial level projects6item, in charge of municipal level projects3Item. Served as review expert for the National Natural Science Foundation of China and "TSE》《KBS》《SPE》Reviewer of Journal of Computer Science. exist"IST》《SPE》Publish papers in core academic journals such as Journal of bet365 live casino login and Computer Research and Development90More articles, includingSCI/EISearch60Remaining articles, bet365 live casino login copyright obtained20items, national invention patents3Project, guiding provincial postgraduate scientific bet365 live casino login innovation plan project3item, national university student innovation bet365 live casino login 2Provincial College Student Innovation bet365 live casino login 3items, guiding students to win national subject competition awards13Provincial and ministerial level subject competition awards26Item.Guided graduate students to obtain doctoral degrees in the past three years4name。
Mainly teaches courses "Theoretical Fundamentals of bet365 live casino login Engineering", "Formal Languages and Automata", "bet365 live casino login Reliability", "bet365 live casino login Engineering", "bet365 live casino login Process and Management" "UMLTheory and Practice》《JavaandWebDevelopment》etc.
2. Academic part-time job
bet365 live casino login Premium member,bet365 live casino login Member of the Formal Methods Committee，Director of Jiangsu Computer Society，Deputy Chairman of the bet365 live casino login Technology Committee of Jiangsu Information Technology Application Society，Member of the Artificial Intelligence Education Committee of Jiangsu Artificial Intelligence Society，Member of Jiangsu Computer Society bet365 live casino login Committee，Member of Jiangsu Computer Society Education Committee，Supervisor of Xuzhou Artificial Intelligence Society，Director of Xuzhou Blockchain Association，IEEEMember.
3. Representative papers
1. Yi Zhu, Yuxiang Gao, Yu Zhao. An Empirical Study on Model-Agnostic Techniques for Source Code-bet365 live casino login Defect Prediction[J]. International Journal of bet365 live casino login Engineering and Knowledge Engineering, 2023, to appear. (CCF C, SCI)
2. Qiao Yu, Yi Zhu, Hui Han, Yu Zhao, Shujuan Jiang, Junyan Qian. Evolutionary measures and their correlations with the performance of cross-version defect prediction for object-oriented projects[J]. Journal of bet365 live casino login : Evolution and Process, 2023, to appear. (CCF B, SCI)
3. Li Zhao, Yubo Men, Yi Zhu, Haiyan Wang, and Chaoguang Men. A Cascade Domain Clustering Algorithm for Multiview DSM Fusion From Urban Satellite Images. IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, VOL. 62, 2024, to appear. (bet365 live casino login B, SCI 1DistrictTOP)
4. Yu Zhao, Zhiqiu Huang, Lina Gong, Yi Zhu, Qiao Yu, Yuxiang Gao. Research on the Impact of Data Transformation Methods on the Performance and Interpretability of bet365 live casino login Defect Prediction[J]. IET bet365 live casino login , 2023, to appear. (CCF B, SCI)
5. L. Zhao, C. Men, Y. Zhu, and etc. A review of 3D reconstruction from high-resolution urban satellite images[J]. International Journal of Remote Sensing, 2023, 44(2): 713~748. (SCIDistrict Three)
6. Yuxiang Gao, Yi Zhu*, Yu Zhao. Dealing with imbalanced data for interpretable defect prediction[J]. Information and bet365 live casino login Technology, 2022, 151:1-17. DOI: 10.1016/j.infsof.2022.107016. (CCF B, SCIDistrict 2)
7. Yi Zhu, Yu Zhao, Qiao Yu, Xiaoying Chen. Cross-bet365 live casino login Defect Prediction Method based on Feature Distribution Alignment and Neighborhood Instance Selection[J]. Journal of Internet Technology. 2022, 23(4): 761-769. (SCI)
8. Yu Zhao, Yi Zhu*, Qiao Yu, Xiaoying Chen. Cross-bet365 live casino login Defect Prediction Considering Multiple Data Distribution Simultaneously[J]. Symmetry, 2022, 14(2): 401. (SCI)
9. Xiaoying Chen, Yi Zhu*, Yu Zhao, JinYong Wang, Anarbekov Altynbek. Hybrid modeling and model transformation of AADL for verifying the properties of CPS space-time compositions[J]. IEEE ACCESS, 2021, 9: 99539-99551. DOI: 10.1109/ACCESS.2021.3095768. (SCIDistrict 2TOP)
10. Yi Zhu*, Zhiqiu Huang, Hang Zhou. Modeling and Verification of Web Services Composition based on Model Transformation[J]. bet365 live casino login : Practice and Experience, 2017, 47(5): 709~730. (CCF B, SCIDistrict Three)
11. Yi Zhu*, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao. Multi-Resource Modeling of Real-Time bet365 live casino login Based on Resource Timed Process Algebra[J]. International Journal of bet365 live casino login Engineering and Knowledge Engineering, 2016, 26(7): 1099~1116. (CCF C, SCI)
12. Wang Jinyong, Huang Zhiqiu*, Yi Zhu, et al. Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints[J]. International Journal of bet365 live casino login Engineering and Knowledge Engineering, 2022, 32(4): 553-582. DOI: 10.1142/S0218194022500188. (CCF C, SCI)
13. Jinyong Wang, Zhiqiu Huang*, Xiaowei Huang, Yi Zhu, Fei Wang. Multiclock Constraint System Modeling and Verification for Ensuring Cooperative Autonomous Driving Safety[J]. Journal of Advanced Transportation, 2020, 2020: 8830752. DOI: 10.1155/2020/8830752. (SCI)
14. Yuxiang Gao, Yi Zhu*, Qiao Yu. Evaluating the effectiveness of local explanation methods on source code-bet365 live casino login defect prediction models[C]. In: Proc. Of The 2022 Mining bet365 live casino login Repositories Conference, (MSR 2022), Pittsburgh: IEEE CS, 2022: 640~645. doi: 10.1145/3524842.3528472. (CCF C, EI)
15. Qiao Yu, Yi Zhu, Hui Han, Yu Zhao, Shujuan Jiang, Junyan Qian. Evolutionary Measures for Object-oriented Projects and Impact on the Performance of Cross-version Defect Prediction[C]. In: Proc. Of 13th Asia-Pacific Symposium on Internetware (Internetware 2022), Wunumuqi: IEEE CS, 2022:192-201. (bet365 live casino login C, EI)
16. Yi Zhu*, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan. An MDE Based Approach for Generating bet365 live casino login Architecture Models from Formal Specifications [C]. In: Proc. of The 10th International Conference on Quality bet365 live casino login (QSIC 2010), Zhangjiajie: IEEE CS, 2010: 373~376. (CCF B, EI)
17. Min Yuan, Zhiqiu Huang, Jun Hu, Xiang Li, and Yi Zhu. Ensuring Coordination of Multi-business Interactions[C]. In: Proc. of International Conference on Services Computing (SCC 2009), Bangalore: IEEE CS, 2009: 356~363. (bet365 live casino login C, EI)
18. Chen Xiaoying, Zhu Yi*, Zhao Yu, Wang Jinyong. forCPSResource modeling with space-time constraints and its security verification method[J]. Journal of bet365 live casino login , 2022, 33(8): 2815~2838. (bet365 live casino login A, EI)
19. Chen Xiaoying, Zhu Yi*, Zhao Yu, Wang Jinyong. forCPSHybrid of verification of space-time propertiesAADLModeling and model conversion methods[J]. Journal of bet365 live casino login , 2021, 32(6): 1779~1798. (bet365 live casino login A, EI)
20. Zhu Yi*, Zhou Hang, Xiao Fangxiong, Zhang Guangquan. A method for modeling and analyzing energy consumption of embedded real-time system bet365 live casino login [J]. Computer bet365 live casino login and Development, 2014, 51(4): 848~855.(bet365 live casino login A, EI)
21. Zhu Yi*, Huang Zhiqiu, Zhou Hang, Liu Linyuan. Method for generating bet365 live casino login architecture model based on process algebraic specification[J]. Computer bet365 live casino login and Development, 2011, 48(2): 241~250.(bet365 live casino login A, EI)
22. Zhu Yi*, Huang Zhiqiu, Cao Zining, Zhou Hang, Liu Yaping. A method for generating bet365 live casino login architecture models based on formal specifications[J]. Journal of bet365 live casino login , 2010, 21(11): 2738~2751. (bet365 live casino login A, EI)
23. Wang Jinyong, Huang Zhiqiu*, Yang Deyan, Xiaowei Huang, Zhu Yi, Hua Gaoyang. Safe reinforcement learning for unmanned driving space-time synchronized constrained guidance[J]. Computer bet365 live casino login and Development, 2021, 58(12): 2585~2603. (bet365 live casino login A, EI)
24. Zhang Guangquan, Zhang Kan, Zhu Yi, Zhou Hang.bet365 live casino login architecture energy consumption modelingCPSbet365 live casino login credibility assessment method[J]. Journal of Electronics, 2013, 41(11): 2270~2275.(bet365 live casino login A, EI)
25. Zhou Hang, Huang Zhiqiu, Zhu Yi, Xia Liang, Liu Linyuan. bet365 live casino login Time Petri Nets's real-time system collision detection and resolution[J]. Computer bet365 live casino login and Development, 2012, 49(2): 413~420. (bet365 live casino login A, EI).
26. Xiao Fangxiong, Huang Zhiqiu, Cao Zining, Tu Lizhong, Zhu Yi. WebService composition function andQoS33787_33798[J]. Journal of bet365 live casino login , 2011, 22(11): 2698~2715. (bet365 live casino login A, EI).
27. Zhou Hang, Huang Zhiqiu, Zhang Guangquan, Zhu Yi, Hu Jun. bet365 live casino login PTCPN’s network bet365 live casino login modeling and analysis method[J]. Journal of bet365 live casino login , 2010, 21(6): 1254~1267. (bet365 live casino login A, EI).
28. Zhou Hang, Huang Zhiqiu, Hu Jun, Zhu Yi. bet365 live casino login Time Petri Net35608_35619[J]. Computer bet365 live casino login and Development, 2009, 46(9): 1578~1585. (bet365 live casino login A, EI)
IV. Awards
1. 2024Year,2023Excellent Xuzhou Society Worker of the Year，Xuzhou Science and Technology Society
2. 2023Year,Key technologies and applications of autonomous driving intelligent decision-making bet365 live casino login safety reinforcement learning，2022Third Prize of China Business Federation Service Industry Science and Technology Innovation Award (2/2）
3. 2022Year, bet365 live casino login Province"333Young and middle-aged science and technology leaders in the High-Level Talent Training bet365 live casino login
4. 2021Year,Integrated modeling of heterogeneous models of human-machine fusion system and its application in vehicle simulation simulator，Third Prize of the 8th Huaihai Science and Technology Award (1/3）
5. 2014Year, Nanjing City "321”Talent Planning Talent
6. 2013Year,Excellent graduation project (thesis) team instructor for undergraduate and junior college students in bet365 live casino login Province
5. bet365 live casino login project (hosted only)
1. 2021/01-2024/12, bet365 live casino login on adaptive learning feature modeling and application for robot programming education，National Natural Science Foundation of China General Project，No.62077029。
2. 2022/06-2023/5, forCPS Resource modeling with space-time constraints and its security verification method, bet365 live casino login -Huawei Innovation bet365 live casino login Program,No. bet365 live casino login -HuaweiFM202209。
3. 2022/01-2022/12, bet365 live casino login on the construction and application of adaptive learning system for robot programming education,Future Network bet365 live casino login Fund Project,No.FNSRFP-2021-YB-32。
4. 2021/09-2023/09, forCPSResearch on spatiotemporal modeling and verification and access control methods，Open project of the Key Laboratory of Ministry of Industry and Information Technology of bet365 live casino login Development and Verification Technology for High Security Systems，No.NJ2020022。
5. 2023/02-2024/02，bet365 live casino login on the Construction of Practical Training Courses for Artificial Intelligence Projects under the Background of New Engineering，The Ministry of Education’s Industry-Academic Cooperation Collaborative Education Project,No.22097075282503。
6. 2020/03-2021/03，bet365 live casino login and practice on cultivating innovative and entrepreneurial abilities of computer major students in the context of engineering education professional certification，The Ministry of Education’s Industry-Academic Cooperation Collaborative Education Project,No.201902084052。
7. 2019/09-2020/09，bet365 live casino login and practice on cultivating innovative and entrepreneurial abilities of computer major students under the background of new engineering，The Ministry of Education’s Industry-Academic Cooperation Collaborative Education Project,No.201901148008。
8. 2019/09-2020/09，Construction of big data laboratory based on cloud platform，The Ministry of Education’s Industry-Academic Cooperation Collaborative Education bet365 live casino login ,No.201901258010。
9. 2018/12-2019/12, Construction of Artificial Intelligence Joint Laboratory,The Ministry of Education’s Industry-Academic Cooperation Collaborative Education bet365 live casino login ,No.201802088061。
10. 2015/09-2017/09，Research on model-driven UAV bet365 live casino login reliability modeling method，Jiangsu Province Postdoctoral Fund，No.1501055B。
11. 2019/8-2021/7, bet365 live casino login on the construction of adaptive learning system for educational robot programming，Xuzhou Science and Technology Bureau Project，No.KC19004。
12. 2012/01-2013/12，Research on model-driven embedded bet365 live casino login modeling and verification methods，Jiangsu Normal University Doctoral Teacher Research Support Project，No.11XLR20。
13. 2011/01-2012/12，Research on trusted embedded bet365 live casino login modeling and verification methods supporting non-functional requirements，Jiangsu Provincial University Natural Science Foundation，No.10KJB520019。
14. 2019/04-2021/04, Big data analysis system for refined training of college students,Project commissioned by Xuzhou Qiwei bet365 live casino login Technology Co., Ltd.
6. Invention Patent
1. Zhu Yi、Zhao Yu,A cross-bet365 live casino login defect prediction method based on feature distribution alignment and neighborhood instance selection，Invention patent number:ZL 202110285188.9
2. Zhu Yi, Chen Xiaoying, facingCPSThe mixture of space-time propertiesAADLModeling and model conversion method, invention patent number:ZL 202010549658.3
3. Zhu Yi、Zhao Yu,A cross-bet365 live casino login defect prediction method based on hierarchical data screening，Invention patent number:ZL 202010550580.7
7. bet365 live casino login Copyright
1. Zhu Yi，Conversion system from data flow diagram to bet365 live casino login architecture diagram based on model conversionV1.0, soft copy license number771558No., registration number2021SR0988932。
2. Li Miaoer, Zhu Yi, facingCPS Space-time constrained resource modeling and its security verification systemV1.0, soft copy license number11731494No., registration number2023SR1144321。
3. Yinchan，Zhu Yi，An automatic bet365 live casino login test case generation system based on improved genetic algorithmV1.0, soft copy license number9206326No., registration number2022SR0252127。
4. Zhao Yu, Zhu Yi, bet365 live casino login YiiFramework’s graduate thesis submission systemV1.0, soft copy license number7555732No., registration number2021SR0833106。
5. Gao Yuxiang, Zhu Yi,UMLActivity diagram test case generation system[Abbreviation:UMLTest case generation] V1.0, soft copy license number5703868No., registration number2020SR0825172。
8. Others
(1) Guiding graduate students to take PhD exams
1. Gao Yuxiang,20Studying bet365 live casino login engineering,The University of Queensland23PhD candidate
2. Ye Zhen,20Studying bet365 live casino login engineering, East China Normal University23PhD candidate
3. Chen Xiaoying,19Studying bet365 live casino login engineering, Nanjing University22PhD candidate
4. Zhao Yu,19Studying bet365 live casino login engineering, Nanjing University of Aeronautics and Astronautics22PhD candidate
(2) Guiding graduate student innovation projects
1. Jiangsu Province Graduate bet365 live casino login Innovation Plan, forCPSbet365 live casino login on resource modeling and security reinforcement learning with spatio-temporal constraints (No. SJCX22_1261). host:Yinchan
2. Jiangsu Province Graduate bet365 live casino login Innovation Plan，bet365 live casino login on cross-project defect prediction based on hierarchical data screening。Host:Zhao Yu
3. Jiangsu Province Graduate bet365 live casino login Innovation Plan, forCPS bet365 live casino login on spatiotemporal modeling and verification and access control methods。Host:Chen Xiaoying
(3) Guiding graduate students to win national-level subject competition awards
1. 2023Year,Second Prize in the National College Student bet365 live casino login Testing Competition Finals Developer Testing Individual Competition(Certificate number:2023CN65A100)，23bet365 live casino login :Huang Junge;
2. 2023Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Developer Testing Individual Competition(Certificate number:2023CN65A116)，22bet365 live casino login :Li Miaoer;
3. 2022Year,Second Prize in the National College Student bet365 live casino login Testing Competition Finals Embedded Testing Individual Competition(Certificate number:2022CN55A0081)，21bet365 live casino login :Yinchan;
4. 2022Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Embedded Testing Individual Competition(Certificate number:2022CN55A0048)，20bet365 live casino login :juchengcheng;
5. 2021Year,Third Prize in the National Finals of the 10th "China bet365 live casino login Cup" College Student bet365 live casino login Design Competition，Graduate student:Zhao Yu, Chen Xiaoying, Gao Yuxiang;
6. 2021Year,Second Prize in the National College Student bet365 live casino login Testing Competition Finals Developer Testing Individual Competition(Certificate number:2021CN00A1010)，20bet365 live casino login :Gao Yuxiang;
7. 2021Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Embedded Testing Individual Competition(Certificate number:2021CN00A3021)，20bet365 live casino login :juchengcheng;
8. 2020Year,Second Prize in the National College Student bet365 live casino login Testing Competition Finals Embedded Testing Individual Competition(Certificate number:2020CN00A3011)，20bet365 live casino login :juchengcheng;
9. 2020Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Developer Testing Individual Competition(Certificate number:2020CN00A1023)，20bet365 live casino login :Gao Yuxiang;
10. 2020Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Mobile Application Testing Individual Competition(Certificate number:2020CN00A2019)，19bet365 live casino login :Zhao Yu;
11. 2019Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Mobile Application Testing Individual Competition(Certificate number:2019CN00A2033)，19bet365 live casino login :Chen Xiaoying;
12. 2019Year, the third "iTeach”Third Prize in the National College Student Digital Education Application Innovation Competition(Certificate number:iTeach2019-321)，19bet365 live casino login :Chen Xiaoying, Zhao Yu.
(4) Guiding undergraduate students in large-scale innovation projects
1. 2021National College Student Innovation and Entrepreneurship Training Program bet365 live casino login (No. 202110320027）"Optimized bet365 live casino login swarm intelligenceSAbet365 live casino login on automatic generation of model test cases”.
2. 2019National College Student Innovation and Entrepreneurship Training Program bet365 live casino login (No. 201910320025）"Optimized bet365 live casino login swarm intelligenceUMLbet365 live casino login on automatic generation of model test cases”.
3. 2019General Project of bet365 live casino login Province College Student Innovation and Entrepreneurship Training Program (No. 201913988001Y) "bet365 live casino login intelligent face recognition technologyFacebet365 live casino login on roll call system”.
4. 2013bet365 live casino login Province College Students Practical Innovation Training Plan Project (No. 201310320084x)"bet365 live casino login UMLResearch on test case generation methods and tools for bet365 live casino login system models”。
5. 2012bet365 live casino login Province College Students Practical Innovation Training Plan Project (No. 12ssjcxyb07) "Research on Conversion Methods and Tools from bet365 live casino login Requirements Model to Design Model"。
(5) Guiding undergraduates to win national subject competition awards
1. 2022Year,Third Prize in the National College Student bet365 live casino login Testing Competition Finals Developer Testing Individual Competition(Certificate number:2022CN54A0014)，20this:Wang Ke;
(6) Guiding outstanding undergraduate graduation projects
1. Research on cross-project bet365 live casino login defect prediction methods based on intelligent algorithms，Jiangsu Normal University2022Excellent Graduation bet365 live casino login (Thesis) for Undergraduate Students,18this:Tang Qianying
2. Research on bet365 live casino login system test case generation based on swarm intelligence optimization，Jiangsu Normal University2021Excellent Graduation bet365 live casino login (Thesis) for Undergraduate Students,17this:Wang Chenyu
3. Design and implementation of status data management system for professional comprehensive assessment，bet365 live casino login Normal University2021Excellent Graduation bet365 live casino login (Thesis) for Undergraduate Students,17this:Wang Wei
4. bet365 live casino login UMLResearch on test case generation method of bet365 live casino login system based on model，Jiangsu Normal University2020Excellent Graduation bet365 live casino login (Thesis) for Undergraduate Students,16this:Gao Yuxiang
5. Research on the conversion method from data flow diagram to bet365 live casino login structure diagram based on model conversion，Jiangsu Normal University2020Excellent Graduation bet365 live casino login (Thesis) for Undergraduate Students,16this:Liu Tao
6. Design and implementation of maker education management system for teenagers，bet365 live casino login Normal University2019Excellent Graduation bet365 live casino login (Thesis) for Undergraduate Students,15this:Chen Xiaoying