赵相福
- 作品数：28 被引量：101H指数：7
- 供职机构：浙江师范大学数理与信息工程学院更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术文化科学机械工程理学更多>>
- 离散数学双语教学问题与对策被引量：3
- 2016年
- 针对离散数学双语教学的实际,分析现存的一些常见问题,以浙江师范大学软件工程(中英合作)专业为例,阐述相应的改进策略及具体的实践方案。
- 赵相福韩建民吴建斌王艳霞
- 关键词：离散数学双语课件素材
- 动态系统基于模型诊断的研究进展与展望
- 基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛.介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法.通过与静态诊断的比较,指出动态系统基于模型诊...
- 赵相福欧阳丹彤
- 关键词：基于模型诊断动态系统
- 文献传递
- 一种基于ATMS的求解所有极小冲突集的新方法被引量：6
- 2007年
- 在Reiter算法的基础上,本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中,对每个元件模型最多调用一次就可求出所有的极小冲突集,防止了ATMS的多次调用,因而能够提高效率。本文提出了极小依赖集的概念,并据此对ATMS求得的极小冲突集进行了分类;分析了算法的复杂度,并将新方法与相关工作进行了比较。该算法程序容易编制,而且效率高。
- 张立明欧阳丹彤赵相福
- 关键词：ATMS
- 使用SAT求解器产生所有极小冲突部件集被引量：22
- 2009年
- 产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%).
- 赵相福欧阳丹彤
- 关键词：冲突集可满足性
- 用MDMC-HS-tree方法计算极小碰集
- 2016年
- 产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小树的宽度;并删减包含势最小集合中度最大元素的集合,不断将大问题化简为小问题.实验结果表明:本算法能够产生所有极小碰集,且在计算大规模碰集时产生相对较少的节点,为实际设备故障诊断提供较可行的方法.
- 佘晓娓赵相福
- 关键词：基于模型诊断
- 离散事件系统基于模型诊断的研究进展被引量：4
- 2011年
- 近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。
- 赵相福欧阳丹彤
- 关键词：离散事件系统可诊断性
- 离散事件系统的同步诊断算法
- 2010年
- 针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。
- 王晓宇欧阳丹彤赵相福常晓环
- 关键词：离散事件系统
- 一种改进的基于结构抽象的分层模型诊断方法被引量：1
- 2009年
- 基于分层模型诊断算法,提出一种改进的方法,对每层进行抽象时,根据分层表示和抽象条件,同时实现固定和动态两种抽象过程.该方法进一步解决了基于模型诊断计算复杂性的问题.在最终抽象层候选空间相同的前提下,减少了分层的层次数和诊断问题的个数;在一定条件下,第l(l>0)层的诊断可以不必细化到最底层,即可得到最终的诊断结果.实验结果表明,该算法在多数情况下比以往的分层模型诊断方法效率更高.
- 赵丹欧阳丹彤赵相福刘冰月张衍志
- 关键词：基于模型诊断分层诊断
- 基于模型诊断的候选空间单调性研究
- 2013年
- 为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量点特征。同时证明了增加相关测量点可导致诊断空间单调递减,为进一步选择优化的测量点提供了基本理论依据。
- 王肖赵相福
- 关键词：单调性测量点故障诊断
- 离散数学双语教学问题与对策
- 针对离散数学双语教学的实际,分析现存的一些常见问题,以浙江师范大学软件工程(中英合作)专业为例,阐述相应的改进策略及具体的实践方案.
- 赵相福韩建民吴建斌王艳霞
- 关键词：高等教育离散数学双语教学
