個人簡介
趙相福，浙江師範大學數理信息學院副教授。
研究方向
基於模型的故障診斷、人工智慧
主講課程
離散數學、數據結構與算法、C語言程式設計等。
科研項目
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中國）
