基于动态极小势参数矩阵求解极小碰集的方法

TP31; 在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率.鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度.实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更...

Full description

Saved in:
Bibliographic Details
Published in计算机集成制造系统 Vol. 29; no. 5; pp. 1657 - 1667
Main Authors 魏霞, 赵相福, 黄森
Format Journal Article
LanguageChinese
Published 烟台大学 计算机与控制工程学院,山东 烟台 264005%浙江师范大学 数学与计算机科学学院,浙江 金华 321004 31.05.2023
Subjects
极小冲突集
极小碰集
极小势
参数矩阵
基于模型的诊断
Online AccessGet full text
ISSN1006-5911
DOI10.13196/j.cims.2023.05.022

Cover

More Information
Summary:TP31; 在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率.鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度.实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更高的效率,而且在国际基准 ISCAS-85 电路数据集上仍具有高效稳定的性能.
ISSN:1006-5911
DOI:10.13196/j.cims.2023.05.022