趙相福

趙相福,男,煙臺大學教授,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中國)

相關詞條

熱門詞條

聯絡我們