张慧敏 老师
职称/职务：副教授
研究方向/教研室：计算机应用教研室
电子邮件：cchuiminzhang@outlook.com， hmzh@mailbox.gxnu.edu.cn
通信地址：广西桂林市七星区育才路15号广西师范大学计算机科学与工程学院
[个人简介] [研究兴趣] [工作经历][科研项目] [代表性成果][主要教学工作]
张慧敏，博士/副教授，硕士生导师。
机器学习，多智能体系统，信息物理融合系统(CPS)，监督控制，故障诊断，隐私保护，信息安全
2001.9-2005.6: 桂林电子科技大学,信息与计算科学专业，本科。
2005.9-2008.5: 桂林电子科技大学,计算机应用技术，硕士研究生。
2008.6.2014.8： 桂林电子科技大学，教师。
2014.9-2018.12：西安电子科技大学，控制理论与控制工程，博士研究生
2019.1-2020.11：广西师范大学，计算机科学与信息工程学院/软件学院，助理研究员。
2020.12-至今：广西师范大学，计算机科学与工程学院/软件学院，副教授。
1.基于监督控制理论的多智能体系统协调控制研究，国家自然科学青年基金项目，2022.1-2024.12，主持在研
2.基于自动机学习的黑盒嵌入式系统的监督控制研究,广西壮族自治区青年基金，2020-2023，主持(已结题)
3.基于自动机学习的黑盒系统故障诊断器生成算法研究，教育厅青年教师科研能力提升项目，2020-2021，主持（已结题）
4.基于自动机学习和监督控制理论的软件系统需求一致性问题研究，广西可信软件重点实验室项目，2019-2021，主持(已结题)
教改项目
1.广西师范大学《数据库应用开发综合实训》课程思政建设，2022.07-2024.06，主持
2.广西师范大学教改项目：基于BOPPPS模型的“大学计算机基础”教学设计的研究与实现，2019.04-2021.04，主持， (已结题)
1.期刊论文
[1]Huimin Zhang, L. Feng, N. Wu, and Z. Li. Integration of learning-based testing and supervisory control for requirements conformance of black box reactive systems, IEEE Transactions on Automation Science and Engineering, 2018, 15(1): 2–15. （SCI二区, CCF B）
[2]Huimin Zhang, L. Feng, and Z. Li. A learning-based synthesis approach to the supremal nonblocking supervisor of discrete-event systems,IEEE Transactions on Automatic Control, 2018, 63(10): 3345–3360.(SCI二区, CCF B）
[3]Huimin Zhang, L. Feng, and Z. Li. Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems, IEEE Transactions on Automation Science and Engineering, 2020, 17(1): 361–374.（SCI二区, CCF B）
[4]Huimin Zhang, X. Zhu. Development and Evaluation of M+1-way__classication Mechanism Realized through Identifying Foreign Patterns, Soft Computing, 2022:1-10.（SCI三区）
[5]Huimin Zhang, Y. Shi, and W. Xie. Supervisor Synthesis for Multi-Agent SystemsWith Mutually Exclusive Resources, IEEE Access, 2023(11):11044-11053.（SCI三区）
[6]Huimin Zhang, X. Hu, X. Zhu, X. Liu, and W. Pedrycz
2.会议论文
[1] Huimin Zhang, L. Feng, W. Xie and F. Yu. An approach for supervisor reductionof discrete-event systems, Verification and Evaluation of Computer andCommunication Systems, VECoS 2020, Lecture Notes in Computer Science, vol.12519, Springer, Cham, 2020: 3–14. (EI)
[2] Huimin Zhang, Y. Shi, and F. Yu. Automaton model updating based on the L* algorithm, The 7th International Conference on Computing and Data Analysis, Guiyang, China,Sep. 15-17, 2023. (EI)
3.授权专利
[1]张慧敏，施薏. 一种包含互斥资源的多智能体系统的控制器生成方法,2022.06.
4.软件著作权
[1] 黄丽; 张慧敏 ; 部分可观离散事件系统强制不透明性的监督控制器生成系统V1.0, 全部权利, 2023-10-1.
[2] 成伟梦; 张慧敏 ; 强化学习最优控制策略的形式化建模系统V1.0, 2023R11L2512018, 2023-11-1.
1. 获奖情况
(1) 广西区年青年教师讲课比赛二等奖,2019；
(2）广西师范大学年青年教师讲课比赛二等奖,2019;
(3) 广西师范大学本科教学课堂教学水平测评优秀,2020
(4) 广西师范大学优秀课堂,2020
(5) 广西师范大学第七届教学能手,2021
(6) 广西师范大学独秀青年学者,2021
(7) 广西师范大学第一届教案设计大赛二等奖,2022
(8) 广西高等学校千名中青年骨干教师培育计划第五期培养对象,2022
(9) 广西师范大学诚华教师奖,2023
2. 主讲课程
算法设计与分析、形式化语言与自动机理论、数据库原理、程序设计基础、大学计算机、数据科学与大数据专业导读、
数据库应用开发综合实训