赵相福
- 作品数：28 被引量：100H指数：7
- 供职机构：浙江师范大学数理与信息工程学院更多>>
- 发文基金：国家自然科学基金教育部“新世纪优秀人才支持计划”吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术文化科学机械工程理学更多>>
- 离散数学双语教学问题与对策被引量：3
- 2016年
- 针对离散数学双语教学的实际,分析现存的一些常见问题,以浙江师范大学软件工程(中英合作)专业为例,阐述相应的改进策略及具体的实践方案。
- 赵相福韩建民吴建斌王艳霞
- 关键词：离散数学双语课件素材
- 动态系统基于模型诊断的研究进展与展望
- 基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛.介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法.通过与静态诊断的比较,指出动态系统基于模型诊...
- 赵相福欧阳丹彤
- 关键词：基于模型诊断动态系统
- 文献传递
- 离散事件系统基于模型诊断的研究进展被引量：3
- 2011年
- 近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。
- 赵相福欧阳丹彤
- 关键词：离散事件系统可诊断性
- 不完备离散事件系统的可诊断性被引量：6
- 2015年
- 在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.
- 王晓宇欧阳丹彤赵相福
- 关键词：离散事件系统基于模型诊断可诊断性
- 离散事件系统的同步诊断算法
- 2010年
- 针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。
- 王晓宇欧阳丹彤赵相福常晓环
- 关键词：离散事件系统
- 一种改进的基于结构抽象的分层模型诊断方法被引量：1
- 2009年
- 基于分层模型诊断算法,提出一种改进的方法,对每层进行抽象时,根据分层表示和抽象条件,同时实现固定和动态两种抽象过程.该方法进一步解决了基于模型诊断计算复杂性的问题.在最终抽象层候选空间相同的前提下,减少了分层的层次数和诊断问题的个数;在一定条件下,第l(l>0)层的诊断可以不必细化到最底层,即可得到最终的诊断结果.实验结果表明,该算法在多数情况下比以往的分层模型诊断方法效率更高.
- 赵丹欧阳丹彤赵相福刘冰月张衍志
- 关键词：基于模型诊断分层诊断
- 基于模型诊断的候选空间单调性研究
- 2013年
- 为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量点特征。同时证明了增加相关测量点可导致诊断空间单调递减,为进一步选择优化的测量点提供了基本理论依据。
- 王肖赵相福
- 关键词：单调性测量点故障诊断
- 离散数学双语教学问题与对策
- 针对离散数学双语教学的实际,分析现存的一些常见问题,以浙江师范大学软件工程(中英合作)专业为例,阐述相应的改进策略及具体的实践方案.
- 赵相福韩建民吴建斌王艳霞
- 关键词：高等教育离散数学双语教学
- 数据结构全英文教学问题与对策探索被引量：2
- 2017年
- 针对数据结构全英文教学,分析一些现存的常见问题,以浙江师范大学软件工程全英文专业为例,阐述相应的改进策略及可供参考的具体实践方案。
- 赵相福
- 关键词：数据结构课件
- 基于ACM-ICPC训练模式的数据结构实践教学探索被引量：8
- 2013年
- 针对目前数据结构课程实践教学上的不足,提出基于ACM-ICPC训练模式的数据结构课程系统化的实践教学方案。
- 韩建民钟发荣赵相福宋炯
- 关键词：数据结构实践教学
