Page 172 - 《软件学报》2025年第12期

欧阳继红 等: HSDiag: 变种碰集算法求解诊断 5553

local independence cover checking. Acta Electronica Sinica, 2022, 50(11): 2722–2729 (in Chinese with English abstract). [doi: 10.12263/
DZXB.20211356]
[23] Huang J, Chen L, Zou P. A compounded genetic and simulated annealing algorithm for computing minimal diagnosis. Ruan Jian Xue
Bao/Journal of Software, 2004, 15(9): 1345–1350 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/15/1345.htm
[24] Gainer-Dewar A, Vera-Licona P. The minimal hitting set generation problem: Algorithms and computation. SIAM Journal on Discrete
Mathematics, 2017, 31(1): 63–100. [doi: 10.1137/15M1055024]
[25] Abreu R, van Gemund AJC. A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In: Proc.
of the 8th Symp. on Abstraction, Reformulation, and Approximation. Lake Arrowhead: AAAI, 2009. 2–9.
[26] Marques-Silva J, Janota M, Ignatiev A, Morgado A. Efficient model based diagnosis with maximum satisfiability. In: Proc. of the 24th Int’l
Joint Conf. on Artificial Intelligence. Buenos Aires: AAAI, 2015. 1966–1972.
[27] Lamraoui SM, Nakajima S. A formula-based approach for automatic fault localization of multi-fault programs. Journal of Information
Processing, 2016, 24(1): 88–98. [doi: 10.2197/ipsjjip.24.88]
[28] Ignatiev A, Morgado A, Weissenbacher G, Marques-Silva J. Model-based diagnosis with multiple observations. In: Proc. of the 28th Int’l
Joint Conf. on Artificial Intelligence. Macao: AAAI, 2019. 1108–1115. [doi: 10.24963/ijcai.2019/155]
[29] Rodler P. Sequential model-based diagnosis by systematic search. Artificial Intelligence, 2023, 323: 103988. [doi: 10.1016/j.artint.2023.
103988]
[30] Köhl MA, Hermanns H. Model-based diagnosis of real-time systems: Robustness against varying latency, clock drift, and out-of-order
observations. ACM Trans. on Embedded Computing Systems, 2023, 22(4): 68. [doi: 10.1145/3597209]
[31] Stern R, Kalech M, Rogov S, Feldman A. How many diagnoses do we need? Artificial Intelligence, 2017, 248: 26–45. [doi: 10.1016/j.
artint.2017.03.002]
[32] Siddiqi S, Huang JB. Hierarchical diagnosis of multiple faults. In: Proc. of the 20th Int’l Joint Conf. on Artificial Intelligence. Hyderabad:
ACM, 2007. 581–586.
[33] Mencia, C, Previti A, Marques-Silva J. Literal-based MCS extraction. In: Proc. of the 24th Int’l Joint Conf. on Artificial Intelligence.
Buenos Aires: ACM, 2015. 1973–1979.
[34] Zhou HS, Ouyang DT, Zhao XF, Zhang LM. Two compacted models for efficient model-based diagnosis. In: Proc. of the 36th AAAI
Conf. on Artificial Intelligence. AAAI, 2022. 3885–3893. [doi: 10.1609/aaai.v36i4.20304]
[35] Ouyang JH, Huang S, Zhang LM, Zhao XF. Model-based diagnosis with low-cost fault identification. Frontiers of Computer Science,
2025, 19(5): 195333. [doi: 10.1007/s11704-024-40393-y]
[36] Kurtoglu T, Narasimhan S, Poll S, Garcia D, Kuhn L, de Kleer J, van Gemund A, Feldman A. First international diagnosis
competition—DXC’09. In: Proc. of the 20th Int’l Workshop on Principles of Diagnosis. Stockholm: NASA, 2009. 383–396.

附中文参考文献:
[10] 蒋璐宇, 欧阳丹彤, 董博文, 张立明. 针对 MUS 求解问题的加强剪枝策略. 软件学报, 2024, 35(4): 1964–1979. http://www.jos.org.cn/
1000-9825/6845.htm [doi: 10.13328/j.cnki.jos.006845]
[12] 欧阳丹彤, 高菡, 田乃予, 刘梦, 张立明. 基于双模型的 MUS 求解方法. 计算机研究与发展, 2019, 56(12): 2623–2631. [doi: 10.7544/
issn1000-1239.2019.20180852]
[13] 赵相福, 欧阳丹彤. 使用 SAT 求解器产生所有极小冲突部件集. 电子学报, 2009, 37(4): 804–810. [doi: 10.3321/j.issn:0372-2112.
2009.04.024]
[17] 姜云飞, 林笠. 用布尔代数方法计算最小碰集. 计算机学报, 2003, 26(8): 919–924. [doi: 10.3321/j.issn:0254-4164.2003.08.004]
[21] 刘思光, 欧阳丹彤, 张立明. 极小碰集求解中候选解极小性判定方法. 软件学报, 2018, 29(12): 3733–3746. http://www.jos.org.cn/1000-
9825/5311.htm [doi: 10.13328/j.cnki.jos.005311]
[22] 赵相福, 黄森, 童向荣, 欧阳丹彤, 张立明, 章星林. IBWIICC: 结合局部独立覆盖检测策略增量求解极小碰集的算法. 电子学报,
2022, 50(11): 2722–2729. [doi: 10.12263/DZXB.20211356]
[23] 黄杰, 陈琳, 邹鹏. 一种求解极小诊断的遗传模拟退火算法. 软件学报, 2004, 15(9): 1345–1350. http://www.jos.org.cn/1000-9825/15/
1345.htm

欧阳继红(1964－), 女, 博士, 教授, 博士生导师, 黄森(1995－), 男, 博士生, 主要研究领域为基于
CCF 高级会员, 主要研究领域为基于模型的故 模型的故障诊断, SAT.
障诊断, 机器学习.