浙师大数理与信息工程学院导师介绍：赵相福

　　姓名：赵相福　
　　职称：教授　
　　所在学院：数理与信息工程学院　

　　研究方向：基于模型的故障诊断、人工智能
　　主讲课程：主讲本科课程：离散数学、数据结构与算法、C语言程序设计等。

　　指导专业：(0812) 计算机科学与技术（一级）

　　科研项目（课题）
　　1．国家自然科学基金（青年科学基金）项目：离散事件系统基于模型的分布式在线诊断方法研究（No. 61003101，2011.1-2013.12），项目负责人
　　2．浙江省自然科学基金项目：离散事件系统基于模型的分布式及分层诊断方法研究（No. Y1100191，2010.6-2012.6），项目负责人
　　3．国家自然科学基金项目：模型不完备情形下离散事件系统诊断方法的研究（No. 60973089，2010.1-2012.12），项目主要参与者（总排名第3/10）

　　论文著作
　　1．Xiangfu Zhao, et al. Reasoning on partially-ordered observations in online diagnosis of DESs. AI Communications, 2012.
　　2．Xiangfu Zhao, Dantong Ouyang. On-line diagnosis of discrete event systems with two successive temporal windows. AI Communications, 2008, 21 (4)：249-262.
　　3．Xiangfu Zhao, Dantong Ouyang. Model-based diagnosis of discrete event systems with an incomplete system model. In：Proc. ECAI-08, Greece, 2008, 189-193, IOS Press.
　　4．Xiangfu Zhao, Dantong Ouyang. A method of combining SE-tree to compute all minimal hitting sets. Progress in Natural Science, 2006, 16 (2)：169-174.
　　5．Xiangfu Zhao, et al. Deriving all minimal consistency-based diagnosis sets using SAT solvers. Progress in Natural Science. 2009, 19 (4)：489-494.
　　6．赵相福, 欧阳丹彤. 使用SAT求解器产生所有极小冲突部件集. 电子学报, 2009, 37 (4)：804-810.
　　7．Xiangfu Zhao, Dantong Ouyang. Improved algorithms for deriving all minimal conflict sets in model-based diagnosis. Lecture Notes in Computer Science, 2007, 4681：157-166.
　　8．赵相福, 欧阳丹彤. 离散事件系统基于模型诊断的研究进展. 计算机科学与探索, 2011, 5 (2)：114-127.

　　获奖情况
　　1．浙江师范大学2009-2010年度校级优秀班主任（浙江师范大学）
　　2．浙江师范大学2010年度大学生科技创新与竞赛优秀指导教师（浙江师范大学）
　　3．2008年度IBM中国优秀学生奖学金（IBM中国）

　　指导研究生简况
　　2011年1名。

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式