浙江師范大學(xué)數(shù)理與信息工程學(xué)院導(dǎo)師：趙相福 正文

　　姓名：趙相?！?br /> 　　職稱：教授　
　　所在學(xué)院：數(shù)理與信息工程學(xué)院　

　　研究方向：基于模型的故障診斷、人工智能
　　主講課程：主講本科課程：離散數(shù)學(xué)、數(shù)據(jù)結(jié)構(gòu)與算法、C語(yǔ)言程序設(shè)計(jì)等。

　　指導(dǎo)專業(yè)：(0812) 計(jì)算機(jī)科學(xué)與技術(shù)（一級(jí)）

　　科研項(xiàng)目（課題）
　　1．國(guó)家自然科學(xué)基金（青年科學(xué)基金）項(xiàng)目：離散事件系統(tǒng)基于模型的分布式在線診斷方法研究（No. 61003101，2011.1-2013.12），項(xiàng)目負(fù)責(zé)人
　　2．浙江省自然科學(xué)基金項(xiàng)目：離散事件系統(tǒng)基于模型的分布式及分層診斷方法研究（No. Y1100191，2010.6-2012.6），項(xiàng)目負(fù)責(zé)人
　　3．國(guó)家自然科學(xué)基金項(xiàng)目：模型不完備情形下離散事件系統(tǒng)診斷方法的研究（No. 60973089，2010.1-2012.12），項(xiàng)目主要參與者（總排名第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．趙相福, 歐陽(yáng)丹彤. 使用SAT求解器產(chǎn)生所有極小沖突部件集. 電子學(xué)報(bào), 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．趙相福, 歐陽(yáng)丹彤. 離散事件系統(tǒng)基于模型診斷的研究進(jìn)展. 計(jì)算機(jī)科學(xué)與探索, 2011, 5 (2)：114-127.

　　獲獎(jiǎng)情況
　　1．浙江師范大學(xué)2009-2010年度校級(jí)優(yōu)秀班主任（浙江師范大學(xué)）
　　2．浙江師范大學(xué)2010年度大學(xué)生科技創(chuàng)新與競(jìng)賽優(yōu)秀指導(dǎo)教師（浙江師范大學(xué)）
　　3．2008年度IBM中國(guó)優(yōu)秀學(xué)生獎(jiǎng)學(xué)金（IBM中國(guó)）

　　指導(dǎo)研究生簡(jiǎn)況
　　2011年1名。

　　*如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差，歡迎隨時(shí)與我們聯(lián)系，以便進(jìn)行更新完善。

添加浙江師范大學(xué)學(xué)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[浙江師范大學(xué)考研分?jǐn)?shù)線、浙江師范大學(xué)報(bào)錄比、浙江師范大學(xué)考研群、浙江師范大學(xué)學(xué)姐微信、浙江師范大學(xué)考研真題、浙江師范大學(xué)專業(yè)目錄、浙江師范大學(xué)排名、浙江師范大學(xué)保研、浙江師范大學(xué)公眾號(hào)、浙江師范大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)浙江師范大學(xué)考研信息或資源。

浙江師范大學(xué)