CIMHS：基于优化增量策略求解极小碰集的方法

您当前的位置：

首页 >

文章列表页 >

CIMHS：基于优化增量策略求解极小碰集的方法

学术论文 | 更新时间：2025-12-08

上一篇|下一篇

- CIMHS：基于优化增量策略求解极小碰集的方法
- CIMHS: A Method of Computing all Minimal Hitting Sets for Minimal Conflict Sets Based on an Optimized Incremental Strategy
- 魏霞，赵相福，黄森
- 电子学报 2023年51卷第5期页码：1334-1340
- 作者机构：
  1.烟台大学计算机与控制工程学院，山东烟台 264005
  2.浙江师范大学计算机系，浙江金华 321000
- 作者简介：
  魏霞女，1995年出生于安徽省亳州市.烟台大学计算机与控制工程学院研究生，主要研究方向为基于模型的故障诊断. E-mail: weixia233@163.com
  赵相福（通讯作者）男，1981年出生于山东省济宁市.烟台大学教授、研究生导师，研究方向为基于模型的故障诊断、智能诊断推理、区块链等.中国电子学会会员编号：E190035519M.
  黄森男，1995年出生于山东省枣庄市.浙江师范大学计算机学院研究生，主要研究方向为基于模型的故障诊断. E-mail: hs_huangs@163.com
- 基金信息：
  国家自然科学基金(61972360;62072392)
- DOI： 10.12263/DZXB.20220482
  中图分类号：
- 修回：2022-10-15 ，
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
图( 3 ) 表( 8 )
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

43

浏览量

47

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法

结合问题特征利用SE-Tree反向深度求解冲突集的方法

结合电路结构基于分块的诊断方法

基于MACR和CAL启发式的求差知识编译算法

面向扇出型晶圆级封装的芯片间RDL布线算法

相关作者

章星林

张立明

赵相福

黄森

童向荣

欧阳丹彤

张立明

欧阳丹彤

相关机构

烟台大学计算机与控制工程学院

浙江师范大学计算机系

吉林大学计算机科学与技术学院

符号计算与知识工程教育部重点实验室(吉林大学)

吉林大学软件学院