师资情况介绍
一、基本情况
姓名:祝义
性别:男
民族:汉
出生年月:1976年9月
籍贯:江西九江
职务:副院长
职称:教授
学习经历:
2014年6月—2020年5月，南京航空航天大学，软件工程博士后流动站，博士后
2007年4月—2011年3月，南京航空航天大学，计算机学院，博士
2002年9月—2005年6月，苏州大学，计算机学院，硕士
1995年9月—1999年6月，华中师范大学，计算机科学系，学士
三级教授，江苏省“333”中青年科学技术带头人，CCF-华为胡杨林基金获得者，江苏省产教融合重点基地负责人，软件工程江苏省产教融合型品牌专业、江苏省一流本科专业负责人，江苏省软件工程实践教育中心主任，江苏省计算机科普教育基地负责人，江苏省产教融合型一流课程主持人，江苏师范大学软件工程学科带头人，美国波士顿大学、弗吉尼亚大学访问学者。主要从事研究方向为软件可靠性、智能化软件、自适应学习与区块链安全等。近年来，主持与参与国家自然科学基金项目3项，主持省部级项目6项，主持市厅级项目3项。担任国家自然科学基金评审专家以及《TSE》《KBS》《SPE》《计算机学报》审稿专家。在《IST》《SPE》《软件学报》《计算机研究与发展》等核心学术刊物发表论文90余篇，其中SCI/EI检索60余篇，获软件著作权20项、国家发明专利4项，指导省级研究生科研创新计划项目3项、国家级大学生创新项目2项、省级大学生创新项目3项，指导学生获得国家级学科竞赛奖项11项、省部级学科竞赛奖项26项。近两年指导研究生考取博士4名。
主要讲授课程《软件工程理论基础》《形式语言与自动机》《软件可靠性》《软件工程》《软件过程与管理》《UML理论与实践》《Java及Web开发》等
二、学术兼职
CCF高级会员，CCF形式化方法专委会委员，江苏省计算机学会理事，江苏省信息技术应用学会软件技术专委会副主任委员，江苏省人工智能学会人工智能教育专委会委员，江苏省计算机学会软件专委会委员，江苏省计算机学会教育专委会委员，徐州市人工智能学会监事，徐州市区块链协会理事，IEEE会员。
三、代表性论文
1. Yi Zhu, Yuxiang Gao, Yu Zhao. An Empirical Study on Model-Agnostic Techniques for Source Code-Based Defect Prediction[J]. International Journal of Software 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 Software: Evolution and Process, 2023, to appear. (CCF B, SCI)
3. L. Zhao, C. Men, Y. Zhu, and etc. A New Multi-View DSM Fusion Algorithm for Urban Satellite Images[J]. ISPRS Journal of Photogrammetry and Remote Sensing, to appear. (SCI一区)
4. 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. (SCI三区)
5. Yuxiang Gao, Yi Zhu*, Yu Zhao. Dealing with imbalanced data for interpretable defect prediction[J]. Information and Software Technology, 2022, 151:1-17. DOI: 10.1016/j.infsof.2022.107016. (CCF B, SCI二区)
6. Yi Zhu, Yu Zhao, Qiao Yu, Xiaoying Chen. Cross-Project Defect Prediction Method based on Feature Distribution Alignment and Neighborhood Instance Selection[J]. Journal of Internet Technology. 2022, 23(4): 761-769. (SCI)
7. Yu Zhao, Yi Zhu*, Qiao Yu, Xiaoying Chen. Cross-Project Defect Prediction Considering Multiple Data Distribution Simultaneously[J]. Symmetry, 2022, 14(2): 401. (SCI)
8. 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. (SCI二区TOP)
9. Yi Zhu*, Zhiqiu Huang, Hang Zhou. Modeling and Verification of Web Services Composition based on Model Transformation[J]. Software: Practice and Experience, 2017, 47(5): 709~730. (CCF B, SCI三区)
10. Yi Zhu*, Zhiqiu Huang, Guangquan Zhang, Hang Zhou, Fangxiong Xiao. Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra[J]. International Journal of Software Engineering and Knowledge Engineering, 2016, 26(7): 1099~1116. (CCF C, SCI)
11. 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 Software Engineering and Knowledge Engineering, 2022, 32(4): 553-582. DOI: 10.1142/S0218194022500188. (CCF C, SCI)
12. Jinyong Wang, Zhiqiu Huang*, Xiaowei Huang, Yi Zhu, Fei Wang. Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety[J]. Journal of Advanced Transportation, 2020, 2020: 8830752. DOI: 10.1155/2020/8830752. (SCI)
13. Yuxiang Gao, Yi Zhu*, Qiao Yu. Evaluating the effectiveness of local explanation methods on source code-based defect prediction models[C]. In: Proc. Of The 2022 Mining Software Repositories Conference, (MSR 2022), Pittsburgh: IEEE CS, 2022: 640~645. doi: 10.1145/3524842.3528472. (CCF C, EI)
14. 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. (CCF C, EI)
15. Yi Zhu*, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan. An MDE Based Approach for Generating Software Architecture Models from Formal Specifications [C]. In: Proc. of The 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie: IEEE CS, 2010: 373~376. (CCF B, EI)
16. 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. (CCF C, EI)
17. 陈小颖, 祝义*, 赵宇, 王金永. 面向CPS时空约束的资源建模及其安全性验证方法[J]. 软件学报, 2022, 33(8): 2815~2838. (CCF A, EI)
18. 陈小颖, 祝义*, 赵宇, 王金永. 面向CPS时空性质验证的混成AADL建模与模型转换方法[J]. 软件学报, 2021, 32(6): 1779~1798. (CCF A, EI)
19. 祝义*, 周航, 肖芳雄, 张广泉. 一种嵌入式实时系统软件能耗建模与分析的方法[J]. 计算机研究与发展, 2014, 51(4): 848~855. (CCF A, EI)
20. 祝义*, 黄志球, 周航, 刘林源. 基于进程代数规约生成软件体系结构模型的方法[J]. 计算机研究与发展, 2011, 48(2): 241~250. (CCF A, EI)
21. 祝义*, 黄志球, 曹子宁, 周航, 刘亚萍. 一种基于形式化规约生成软件体系结构模型的方法[J]. 软件学报, 2010, 21(11): 2738~2751. (CCF A, EI)
22. 王金永, 黄志球*, 杨德艳, Xiaowei Huang, 祝义, 华高洋. 面向无人驾驶时空同步约束制导的安全强化学习[J]. 计算机研究与发展, 2021, 58(12): 2585~2603. (CCF A, EI)
23. 张广泉, 张侃, 祝义, 周航.基于体系结构能耗建模的CPS软件可信性评估方法[J]. 电子学报, 2013, 41(11): 2270~2275.( CCF A, EI)
24. 周航, 黄志球, 祝义, 夏良, 刘林源. 基于Time Petri Nets的实时系统冲撞检测与消解[J]. 计算机研究与发展, 2012, 49(2): 413~420. (CCF A, EI).
25. 肖芳雄, 黄志球, 曹子宁, 屠立忠, 祝义. Web服务组合功能与QoS的形式化统一建模和分析[J]. 软件学报, 2011, 22(11): 2698~2715. (CCF A, EI).
26. 周航, 黄志球, 张广泉, 祝义, 胡军. 基于PTCPN的网构软件建模与分析方法[J]. 软件学报, 2010, 21(6): 1254~1267. (CCF A, EI).
27. 周航, 黄志球, 胡军, 祝义. 基于Time Petri Net的实时系统资源冲突检测[J]. 计算机研究与发展, 2009, 46(9): 1578~1585. (CCF A, EI)
四、获奖情况
1. 2022年，江苏省“333高层次人才培养工程”中青年科学技术带头人
2. 2021年，人机物融合系统异构模型一体化建模及在车辆仿真模拟器中的应用，第八届淮海科学技术奖三等奖（1/3）
3. 2014年，南京市“321”人才计划人才
4. 2013年，江苏省普通高校本专科优秀毕业设计（论文）团队指导教师
五、研究项目（仅主持）
1. 2021/01-2024/12, 面向机器人编程教育的适应性学习特征建模与应用研究，国家自然科学基金面上项目，No.62077029。
2. 2022/06-2023/5, 面向CPS 时空约束的资源建模及其安全性验证方法, CCF-华为创新研究计划，No. CCF-HuaweiFM202209。
3. 2022/01-2022/12, 面向机器人编程教育的自适应学习系统构建与应用研究,未来网络科研基金项目，No.FNSRFP-2021-YB-32。
4. 2021/09-2023/09, 面向CPS的时空建模与验证及访问控制方法研究，高安全系统的软件开发与验证技术工业和信息化部重点实验室开放课题，No.NJ2020022。
5. 2023/02-2024/02，新工科背景下人工智能项目实训课程建设研究，教育部产学合作协同育人项目，No.22097075282503。
6. 2020/03-2021/03，工程教育专业认证背景下计算机类专业学生创新创业能力培养研究与实践，教育部产学合作协同育人项目，No.201902084052。
7. 2019/09-2020/09，新工科背景下计算机类专业学生创新创业能力培养研究与实践，教育部产学合作协同育人项目，No.201901148008。
8. 2019/09-2020/09，基于云平台的大数据实验室建设，教育部产学合作协同育人项目，No.201901258010。
9. 2018/12-2019/12, 人工智能联合实验室建设,教育部产学合作协同育人项目，No.201802088061。
10. 2015/09-2017/09，模型驱动的无人飞行器软件可靠性建模方法研究，江苏省博士后基金，No.1501055B。
11. 2019/8-2021/7, 面向教育机器人编程的适应性学习系统构建研究，徐州市科技局项目，No.KC19004。
12. 2012/01-2013/12，模型驱动的嵌入式软件建模与验证方法研究，江苏师范大学博士学位教师科研支持项目，No.11XLR20。
13. 2011/01-2012/12，支持非功能需求的可信嵌入式软件建模与验证方法研究，江苏省高校自然科学基金，No.10KJB520019。
14. 2019/04-2021/04, 高校学生精细化培养大数据分析系统,徐州启微软件科技有限公司委托项目。
六、发明专利
1. 祝义，一种基于群智能优化算法的UML模型测试用例生成办法，发明专利号:202110319292.5
2. 祝义、赵宇，一种基于特征分布对齐和邻域实例选择的跨项目缺陷预测方法，发明专利号:202110285188.9
3. 祝义、陈小颖，面向CPS时空性质的混成AADL建模与模型转换方法，发明专利号:202010549658.3
4. 祝义、赵宇，一种基于分层数据筛选的跨项目缺陷预测方法，发明专利号:202010550580.7
七、软件著作权
1. 祝义，基于模型转换的数据流图到软件体系结构图的转换系统 V1.0，软著登字号第771558号，登记号2021SR0988932。
2. 李淼儿，祝义，面向 CPS 时空约束的资源建模及其安全性验证系统 V1.0，软著登字号第11731494号，登记号2023SR1144321。
3. 印婵，祝义，一种基于改进遗传算法的软件测试用例自动生成系统 V1.0，软著登字号第9206326号，登记号2022SR0252127。
4. 赵宇，祝义，基于Yii框架的研究生论文送审系统 V1.0，软著登字号第7555732号，登记号2021SR0833106。
5. 高宇翔、祝义，UML活动图测试用例生成系统[简称:UML测试用例生成] V1.0，软著登字号第5703868号，登记号2020SR0825172。
八、其他
（一）指导研究生考博
1. 高宇翔，20研软件工程，The University of Queensland23级博士研究生
2. 叶振，20研软件工程，华东师范大学23级博士研究生
3. 陈小颖，19研软件工程，南京大学22级博士研究生
4. 赵宇，19研软件工程，南京航空航天大学22级博士研究生
（二）指导研究生创新项目
1. 江苏省研究生科研创新计划，面向CPS时空约束的资源建模及安全强化学习研究（No. SJCX22_1261）。主持人:印婵
2. 江苏省研究生科研创新计划，基于分层数据筛选的跨项目缺陷预测研究。主持人:赵宇
3. 江苏省研究生科研创新计划，面向CPS 的时空建模与验证及访问控制方法研究。主持人:陈小颖
（三）指导研究生获国家级学科竞赛奖项
1. 2022年，全国大学生软件测试大赛总决赛嵌入式测试个人赛二等奖(证书编号:2022CN55A0081)，21研:印婵；
2. 2022年，全国大学生软件测试大赛总决赛嵌入式测试个人赛三等奖(证书编号:2022CN55A0048)，20研:居程程；
3. 2021年，第十届“中国软件杯”大学生软件设计大赛全国总决赛三等奖，研究生:赵宇、陈小颖、高宇翔；
4. 2021年，全国大学生软件测试大赛总决赛开发者测试个人赛二等奖(证书编号:2021CN00A1010)，20研:高宇翔；
5. 2021年，全国大学生软件测试大赛总决赛嵌入式测试个人赛三等奖(证书编号:2021CN00A3021)，20研:居程程；
6. 2020年，全国大学生软件测试大赛总决赛嵌入式测试个人赛二等奖(证书编号:2020CN00A3011)，20研:居程程；
7. 2020年，全国大学生软件测试大赛总决赛开发者测试个人赛三等奖(证书编号:2020CN00A1023)，20研:高宇翔；
8. 2020年，全国大学生软件测试大赛总决赛移动应用测试个人赛三等奖(证书编号:2020CN00A2019)，19研:赵宇；
9. 2019年，全国大学生软件测试大赛总决赛移动应用测试个人赛三等奖(证书编号:2019CN00A2033)，19研:陈小颖；
10. 2019年，第三届“iTeach”全国大学生数字化教育应用创新大赛三等奖(证书编号:iTeach2019-321)，19研:陈小颖，赵宇。
（四）指导本科生大创项目
1. 2021年国家级大学生创新创业训练计划项目（No. 202110320027）“基于群体智能优化的SA模型测试用例自动生成研究”。
2. 2019年国家级大学生创新创业训练计划项目（No. 201910320025）“基于群智能优化的UML模型测试用例自动生成研究”。
3. 2019年江苏省大学生创新创业训练计划一般项目（No. 201913988001Y）“基于智能人脸识别技术的Face点名册系统研究”。
4. 2013年江苏省高等学校大学生实践创新训练计划项目（No. 201310320084x）“基于UML模型的软件系统测试用例生成方法及工具研究”。
5. 2012年江苏省高等学校大学生实践创新训练计划项目（No. 12ssjcxyb07）“软件需求模型到设计模型的转换方法及其工具研究”。
（五）指导本科生获国家级学科竞赛奖项
1. 2022年，全国大学生软件测试大赛总决赛开发者测试个人赛三等奖(证书编号:2022CN54A0014)，20本:王科；
（六）指导优秀本科生毕业设计
1. 基于智能化算法的跨项目软件缺陷预测方法研究，江苏师范大学2022年本科生优秀毕业设计（论文），18本:唐倩莹
2. 基于群智能优化的软件系统测试用例生成研究，江苏师范大学2021年本科生优秀毕业设计（论文），17本:王晨瑜
3. 面向专业综合评估的状态数据管理系统的设计与实现，江苏师范大学2021年本科生优秀毕业设计（论文），17本:王玮
4. 基于UML模型的软件系统测试用例生成方法研究，江苏师范大学2020年本科生优秀毕业设计（论文），16本:高宇翔
5. 基于模型转换的数据流图到软件结构图的转换方法研究，江苏师范大学2020年本科生优秀毕业设计（论文），16本:刘涛
6. 面向青少年的创客教育管理系统的设计与实现，江苏师范大学2019年本科生优秀毕业设计（论文），15本:陈小颖