浙江師范大學數理與信息工程學院導師：趙相福 正文

　　姓名：趙相福　
　　職稱：教授　
　　所在學院：數理與信息工程學院　

　　研究方向：基于模型的故障診斷、人工智能
　　主講課程：主講本科課程：離散數學、數據結構與算法、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名。

　　*如果發現導師信息存在錯誤或者偏差，歡迎隨時與我們聯系，以便進行更新完善。

添加浙江師范大學學姐微信，或微信搜索公眾號“考研派小站”，關注[考研派小站]微信公眾號，在考研派小站微信號輸入[浙江師范大學考研分數線、浙江師范大學報錄比、浙江師范大學考研群、浙江師范大學學姐微信、浙江師范大學考研真題、浙江師范大學專業目錄、浙江師范大學排名、浙江師范大學保研、浙江師范大學公眾號、浙江師范大學研究生招生）]即可在手機上查看相對應浙江師范大學考研信息或資源。

浙江師范大學