更多

个人简介
赵相福，男，博士，硕士生导师，中国计算机学会 (CCF) 区块链专委委员、CCF人工智能与模式识别专委通讯委员，浙江省区块链应用协会专家智库成员，《计算机集成制造系统》期刊理事；主要研究方向为人工智能（基于模型的故障诊断、智能诊断推理）、区块链等；主持国家自然科学基金项目2项（面上和青年各1项）、浙江省自然科学基金项目2项；在IEEE-T-SMCA、EAAI、AICom、ECAI、KR、Applied Intelligence、电子学报等重要期刊或会议发表学术论文60余篇，申请发明专利3件，合作出版Springer学术专著1部；曾获IBM中国优秀学生奖学金、吉林大学优秀毕业研究生等奖励、作为访问教授 (Visiting Professor) 在意大利访学1年、受邀担任CCF-A 类会议IJCAI-2019 Session Chair，AAAI-2015/2018、IJCAI-2019及IJCAI-PRICAI 2020 程序委员 (PC Member)等。



研究方向
人工智能
区块链
智能诊断推理



教育经历
2006-9~2009-6
 吉林大学 | 计算机软件与理论 | 博士学位 | 博士研究生毕业 

2003-9~2006-6
 吉林大学 | 计算机软件与理论 | 硕士学位 | 硕士研究生毕业 



工作经历
2009-8~至今
 数理信息学院 | 浙江师范大学 




社会兼职
暂无内容


团队成员
暂无内容

[ 赵相福]


副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

科学研究 赵相福@浙师大的中文主页 - 科学研究
科研项目
暂无内容
著作成果
暂无内容
专利
暂无内容
论文成果MORE
赵相福.数据结构全英文教学问题与对策探索.计算机教育.2017(第12期):94-97
欧阳丹彤.一种高阶离散事件系统的诊断方法.吉林大学学报(工学版).2015(第2期):562-568
佘晓娓.用MDMC-HS-tree方法计算极小碰集^*.浙江师范大学学报(自然科学版).2016,第39卷(第4期):399-405
Xuena Geng.Failure Diagnosis for Distributed Stochastic Discrete Event Systems.Mathematical Problems in Engineering.2017,Vol.2017
赵相福.离散事件系统基于模型诊断的研究进展.计算机科学与探索.2011(第2期):114-127
研究领域
暂无内容


[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

科研项目 赵相福@浙师大的中文主页 - 科学研究 - 科研项目
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

著作成果 赵相福@浙师大的中文主页 - 科学研究 - 著作成果
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

专利 赵相福@浙师大的中文主页 - 科学研究 - 专利
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

论文成果 赵相福@浙师大的中文主页 - 科学研究 - 论文成果
数据结构全英文教学问题与对策探索.计算机教育.2017(第12期):94-97
一种高阶离散事件系统的诊断方法.吉林大学学报(工学版).2015(第2期):562-568
用MDMC-HS-tree方法计算极小碰集^*.浙江师范大学学报(自然科学版).2016,第39卷(第4期):399-405
Failure Diagnosis for Distributed Stochastic Discrete Event Systems.Mathematical Problems in Engineering.2017,Vol.2017
离散事件系统基于模型诊断的研究进展.计算机科学与探索.2011(第2期):114-127
Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.Engineering Applications of Artificial Intelligence.2016,Vol.53:53-61
Diagnosis of Active Systems by Semantic Patterns..IEEE Transactions on Systems, Man and Cybernetics. Systems.2014,Vol.44(No.8):1028-1043
A Fast Simple Optical Flow Computation Approach Based on the 3-D Gradient.IEEE Transactions on Circuits and Systems for Video Technology
Computing all minimal hitting sets by subset recombination.Applied Intelligence.2018,Vol.48(No.2):257-270
LinearMerge: Efficient computation of minimal hitting sets for conflict sets in a linear structure.Engineering Applications of Artificial Intelligence.2018,Vol.72:327-339
共15条1/2 首页上页下页尾页页



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

研究领域 赵相福@浙师大的中文主页 - 科学研究 - 研究领域
暂无内容

[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

教学研究 赵相福@浙师大的中文主页 - 教学研究
教学成果
暂无内容
授课信息
暂无内容
教学资源
暂无内容


[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

教学成果 赵相福@浙师大的中文主页 - 教学研究 - 教学成果
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

授课信息 赵相福@浙师大的中文主页 - 教学研究 - 授课信息
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

教学资源 赵相福@浙师大的中文主页 - 教学研究 - 教学资源
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：

---

更多

获奖信息 赵相福@浙师大的中文主页 - 获奖信息
共0条0/0



[ 赵相福 ]



副教授

性别：男
入职时间：2009-08-26
在职信息：在岗
所在单位：数学与计算机科学学院
学历：博士研究生毕业
学位：博士学位
学科：计算机科学与技术 软件工程
毕业院校：吉林大学

联系方式
邮箱：