师资队伍

教授

首页 > 师资队伍 > 教授 > 正文
  • 姓名:赵相福

  • 职称:教授  硕士生导师

  • 所在院系:计算机系

  • 最后学位:博士

  • 最后学历:博士研究生

  • 最后毕业院校:吉林大学

  • 所学专业:计算机软件与理论

  • 研究方向:人工智能(基于模型的诊断、智能诊断推理)、区块链

  • 联系方式:xiangfuzhao@163.com

个人简介

赵相福,男,教授,20096月获吉林大学计算机专业博士学位,现为中国计算机学会(CCF)区块链专委委员、CCF人工智能与模式识别专委通讯委员,浙江省区块链应用协会专家智库成员,《计算机集成制造系统》期刊理事;主要研究方向为人工智能(高效的智能诊断推理算法、基于逻辑模型的故障诊断、基于自动机的离散事件系统故障诊断)、区块链(智能合约漏洞检测及安全策略分析、区块链相关的逻辑基础)等;主持国家自然科学基金项目2项(面上和青年各1项)、浙江省自然科学基金项目2项;在IEEE-T-SMCAEAAIAIComECAIKRApplied Intelligence、电子学报等重要期刊或会议发表学术论文50余篇,申请发明专利3件,合作出版Springer学术专著1部;曾获IBM中国优秀学生奖学金、吉林大学优秀毕业研究生等奖励,作为访问教授(Visiting Professor)在意大利访学1年,受邀担任CCF-A 类会议IJCAI-2019 Session Chair, AAAI-2015/2018/2021IJCAI-2019/2020程序委员(PC Member),国家自然科学基金及多个省自然科学基金同行评议专家,IEEE-T-SMCAIEEE-T- CYBIEEE-T-ASEKBS中国科学:信息科学、电子学报、软件学报、计算机研究与发展、通信学报等期刊评审人,以及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 爱尔兰国立大学(GalwayDERI研究所 交换生


主讲课程:

本科生:数据结构与算法、离散数学、程序设计综合训练、算法设计实训、C语言等

研究生:高级人工智能

主要科研成果

主持的主要科研项目:

1. 国家自然科学基金面上项目:面向区块链智能合约漏洞自动检测与修复的符号逻辑建模与推理(No. 61972360),2020.1-2023.12,项目负责人

2. 浙江省自然科学基金项目:基于分治策略快速产生大规模极小Hitting-Sets的方法(No. LY16F020004),2016.1-2018.12,项目负责人

3. 国家自然科学基金(青年科学基金)项目:离散事件系统基于模型的分布式在线诊断方法研究(No. 61003101),2011.1-2013.12,项目负责人

4. 浙江省自然科学基金项目:离散事件系统基于模型的分布式及分层诊断方法研究(No. Y1100191),2010.6-2012.6,项目负责人

部分论文:

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. https://www.springer.com/it/book/9783319927312 (Monograph)


主要教学成果

主持教改项目

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.

指导研究生情况

2011年开始指导研究生,截止到20209月,已指导毕业研究生16名(含3名留学生),多人获校优秀毕业研究生或优秀硕士论文。




联系我们

地址:中国山东省烟台市莱山区清泉路30号

邮政编码:264005 电话: 0535-6902601

E-mail: jsjb@ytu.edu.cn