张慧敏 老师


职称/职务:副教授

研究方向/教研室:计算机应用教研室

电子邮件: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二区)

[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二区)

[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二区)

[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三区)


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)


3.授权专利

[1]张慧敏,施薏. 一种包含互斥资源的多智能体系统的控制器生成方法,2022.06.



主要教学工作

1. 获奖情况

(1) 广西区年青年教师讲课比赛二等奖,2019;

(2)广西师范大学年青年教师讲课比赛二等奖,2019;

(3) 广西师范大学本科教学课堂教学水平测评优秀,2020

(4) 广西师范大学优秀课堂,2020

(5) 广西师范大学第七届教学能手,2021

(6) 广西师范大学独秀青年学者,2021

(7) 广西师范大学第一届教案设计大赛二等奖,2022

(8) 广西高等学校千名中青年骨干教师培育计划第五期培养对象,2022

(9) 广西师范大学诚华教师奖,2023


2. 主讲课程

算法设计与分析、形式化语言与自动机理论、数据库原理、程序设计基础、大学计算机、数据科学与大数据专业导读、

数据库应用开发综合实训

  • 地址 :广西师范大学育才校区育才路15号
  • 邮编:541004
版权所有:广西师范大学计算机科学与工程学院 备案号:桂ICP备05000954号-1