论文标题：DVRE: dominator-based variables reduction of encoding for model-based diagnosis

期刊：Frontiers of Computer Science

作者：Jihong OUYANG, Sen HUANG, Jinjin CHI, Liming ZHANG

发表时间：24 Oct 2024

DOI：10.1007/s11704-024-40894-w

微信链接：点击此处阅读微信文章

引用格式：

Jihong OUYANG, Sen HUANG, Jinjin CHI, Liming ZHANG. DVRE: dominator-based variables reduction of encoding for model-based diagnosis. Front. Comput. Sci., 2025, 19(7): 197349

阅读原文：

问题概述

将基于模型的诊断（MBD）编码为MaxSAT公式是当前一种流行的方法。通过采用组件等价策略来简化系统编码，这种方法显著减少了子句和变量的生成。本文提出了一种新的编码约简方法，称为基于支配者的编码变量化简。

技术步骤

研究人员的目标是使用尽可能少的变量和子句来建模系统。最初，在离线阶段，他们通过将可约简的被统治组件合并为一个等价组件来进行系统组件的等价替换。在在线阶段，他们基于系统观测进一步简化了只有一个输出值的统治组件。最后，该方法在单观测和多观测场景下进行了测试，显著提升了运行性能。

实验结果

在单观测情况下，DVRE算法相比HSD算法多解决了11个实例。在193个实例中，DVRE算法表现优于HSD算法。在多观测情况下，DVRE算法解决的实例数量最多，分别比HSD和D-CMMO算法快186个和184个实例 (共200个实例)。

ISCAS-85基准电路上的实验结果

期刊简介

Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社和北京航空航天大学共同主办，南京大学支持，SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为周志华教授，共同主编为熊璋教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐B类期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”；两次入选“中国科技期刊卓越行动计划”（一期梯队、二期领军）。

中国学术前沿期刊网

http://journal.hep.com.cn