排序方式: 共有18条查询结果,搜索用时 0 毫秒
1.
在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率。鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度。实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更高的效率,而且在国际基准ISCAS-85电路数据集上仍具有高效稳定的性能。 相似文献
2.
基于故障行为的模型诊断方法 总被引:1,自引:0,他引:1
提出一种利用故障行为求解所有极小诊断的新方法,并结合带有终止节点的集合枚举树形式化地表达计算过程,逐步生成所有的极小诊断.该方法不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用基于假设的真值维护系统时的组合爆炸而引起的NP-完全问题.在集合枚举树中添加了终止节点,从而避免了非极小诊断的产生,且不会因剪枝而丢失正确的解.实验结果表明,该算法程序容易编制,且效率较好,可以满足复杂的被诊断对象的实时性要求. 相似文献
3.
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛.介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法.通过与静态诊断的比较,指出动态系统基于模型诊断的各种定义及其研究意义,并指出有待解决的问题. 相似文献
4.
5.
基于模型诊断是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能推理技术,其应用也越来越广泛.介绍了动态系统基于模型诊断的诊断过程,综述了建模诊断方法、时序基于模型诊断方法.通过与静态诊断的比较,指出动态系统基于模型诊断的各种定义及其研究意义,并指出有待解决的问题. 相似文献
6.
7.
不完备离散事件系统的可诊断性 总被引:1,自引:0,他引:1
在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统. 相似文献
8.
基于模型的诊断中产生所有极小冲突集的新方法 总被引:5,自引:1,他引:5
首先提出一个基于SE-tree产生所有极小冲突集的方法(CSSE-tree)。然后给出翻转的SE-tree(ISE-tree)的概念,并提出基于ISE-tree产生所有极小冲突集的方法(CSISE-tree)。最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。 相似文献
9.
近年来,针对离散事件系统的基于模型诊断方法在大型通讯网络、电网故障诊断等领域获得了成功应用,成为人工智能与控制工程领域的热门研究课题。介绍了针对离散事件系统的基于模型诊断的基本思想与建模方法,从不同的角度对使用自动机建模的各种主要诊断方法进行了评析与比较;讨论了系统可诊断性判定方法的研究进展。从系统建模、分布式在线诊断、不完备模型下的诊断以及系统实现等方面,展望了针对离散事件系统的基于模型诊断领域中有待解决的问题。 相似文献
10.
基于因果关系的模型诊断 总被引:3,自引:2,他引:1
提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。 相似文献