趙相福，男，煙臺大學教授，2009年6月獲吉林大學計算機專業博士學位，現為中國計算機學會(CCF)區塊鏈專委委員、CCF人工智慧與模式識別專委通訊委員，浙江省區塊鏈套用協會專家智庫成員，《計算機集成製造系統》期刊理事；
基本介紹
個人簡介,工作經歷,出國訪學情況,主講課程,科研項目,論文著作,學術專著,教學成果,獲獎情況,
個人簡介
趙相福，男，教授，2009年6月獲吉林大學計算機專業博士學位，現為中國計算機學會(CCF)區塊鏈專委委員、CCF人工智慧與模式識別專委通訊委員，浙江省區塊鏈套用協會專家智庫成員，《計算機集成製造系統》期刊理事；主要研究方向為人工智慧（高效的智慧型診斷推理算法、基於邏輯模型的故障診斷、基於自動機的離散事件系統故障診斷）、區塊鏈（智慧型契約漏洞檢測及安全策略分析、區塊鏈相關的邏輯基礎）等；主持國家自然科學基金項目2項（面上和青年各1項）、浙江省自然科學基金項目2項；在IEEE-T-SMCA、EAAI、AICom、ECAI、KR、Applied Intelligence、電子學報等重要期刊或會議發表學術論文50餘篇，申請發明專利3件，合作出版Springer學術專著1部；曾獲IBM中國優秀學生獎學金、吉林大學優秀畢業研究生等獎勵，作為訪問教授(Visiting Professor)在義大利訪學1年，受邀擔任CCF-A 類會議IJCAI-2019 Session Chair, AAAI-2015/2018/2021、IJCAI-2019/2020程式委員(PC Member)，國家自然科學基金及多個省自然科學基金同行評議專家，IEEE-T-SMCA、IEEE-T- CYB、IEEE-T-ASE、KBS、中國科學：信息科學、電子學報、軟體學報、計算機研究與發展、通信學報等期刊評審人，以及FAW-AAIM’2011國際會議組委會委員和聯繫人。（以上信息截止到2020-09）
工作經歷
2020.7 –至今 煙臺大學 教授
2009.8 – 2020.6 浙江師範大學 講師、副教授
出國訪學情況
2012.8 - 2013.7 義大利 布雷西亞大學 訪問教授（Visiting Professor at University of Brescia, Brescia, Italy）
2008.8 - 2008.11 愛爾蘭國立大學（Galway）DERI研究所 交換生
主講課程
本科生：數據結構與算法、離散數學、程式設計綜合訓練、算法設計實訓、C語言等
研究生：高級人工智慧
科研項目
1．國家自然科學基金（青年科學基金）項目：離散事件系統基於模型的分散式線上診斷方法研究（No. 61003101，2011.1-2013.12），項目負責人
2．浙江省自然科學基金項目：離散事件系統基於模型的分散式及分層診斷方法研究（No. Y1100191，2010.6-2012.6），項目負責人
3．國家自然科學基金項目：模型不完備情形下離散事件系統診斷方法的研究（No. 60973089，2010.1-2012.12），項目主要參與者（總排名第3/10）
4. 國家自然科學基金面上項目：面向區塊鏈智慧型契約漏洞自動檢測與修復的符號邏輯建模與推理（No. 61972360），2020.1-2023.12，項目負責人
論文著作
1. Xiangfu Zhao and Dantong Ouyang. Deriving all minimal hitting sets based on join relation. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2015, 45 (7): 1063-1076.
2. Xiangfu Zhao. LinearMerge: efficient computation of minimal hitting sets for conflict sets in a linear structure. Engineering Applications of Artificial Intelligence, 2018, 72: 327–339.
3. Xiangfu Zhao, Dantong Ouyang, and Liming Zhang. Computing all minimal hitting sets by subset recombination. Applied Intelligence, 2018, 48 (2): 257–270.
4. Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, and Yuchang Mo. Reasoning on partially-ordered observations in online diagnosis of DESs. AI Communications, 2012, 25 (4): 285-294.
5. Xiangfu Zhao and Dantong Ouyang. On-line diagnosis of discrete event systems with two successive temporal windows. AI Communications, 2008, 21 (4): 249-262.
6. Xiangfu Zhao and Dantong Ouyang. Model-based diagnosis of discrete event systems with an incomplete system model. In: Proc. 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July, 2008, 189-193.
7. Xiangfu Zhao, Liming Zhang, Dantong Ouyang, and Yu Jiao. Deriving all minimal consistency-based diagnosis sets using SAT solvers. Progress in Natural Science, 2009, 19 (4): 489-494.
8. Xiangfu Zhao and Dantong Ouyang. A method of combining SE-tree to compute all minimal hitting sets. Progress in Natural Science, 2006, 16 (2): 169-174.
9. 趙相福, 歐陽丹彤. 使用SAT求解器產生所有極小衝突部件集. 電子學報, 2009, 37 (4): 804-810.
10. 何嬙君, 趙相福*, 歐陽丹彤, 張立明. 極小碰集求解算法的性能分析與比較. 電子學報, 2019, 47(5):1101-1110. (第一作者為研究生)
學術專著
1. Gianfranco Lamperti, Marina Zanella, and Xiangfu Zhao. Introduction to Diagnosis of Active Systems. EBook ISBN: 978-3-319-92733-6, Hardcover ISBN: 978-3-319-92731-2. Springer International Publishing, 2018.
教學成果
主持教改項目：
1. 浙江師範大學青年教改項目：基本數據結構庫函式的設計與相關典型案例的實現, 2012.9 – 2013.6, 項目負責人
2. 浙江師範大學課堂教改一般項目：《離散數學》漸進式雙語教學研究, 2014.6 – 2015.6, 項目負責人
3. 浙江師範大學全英文授課品牌課程建設項目：“Discrete Mathematics”, 2014.12 – 2017.12, 項目負責人
4. 浙江師範大學教學改革重點項目（留學生教學與管理專項）：軟體工程核心課程《數據結構與算法》全英文教學研究, 2016.12 – 2017.12, 項目負責人
5. 浙江師範大學教學改革重點項目：循序漸進的項目制算法設計實訓（英文）教學研究, 2018.11 – 2020.11, 項目負責人
發表教研論文：
1. 趙相福，韓建民，吳建斌，王艷霞. 離散數學雙語教學問題與對策. 計算機教育, 2016, (3): 49 - 52.
2. 趙相福. 數據結構全英文教學問題與對策探索. 計算機教育, 2017, (12): 94 - 97.
3. 韓建民, 鐘發榮, 趙相福, 宋炯. 基於ACM-ICPC訓練模式的數據結構實踐教學探索. 計算機教育, 2013, (10): 103-107.
獲獎情況
1．浙江師範大學2009-2010年度校級優秀班主任（浙江師範大學）
2．浙江師範大學2010年度大學生科技創新與競賽優秀指導教師（浙江師範大學）
3．2008年度IBM中國優秀學生獎學金（IBM中國）
