Page 317 - 《软件学报》2025年第7期

3238 软件学报 2025 年第 36 卷第 7 期

[7] 王荣全, 欧阳丹彤, 王艺源, 刘思光, 张立明. 结合 DOEC 极小化策略的 SAT 求解极小碰集方法. 计算机研究与发展, 2018, 55(6):
1273–1281. [doi: 10.7544/issn1000-1239.2018.20160809]
[14] 邓召勇, 欧阳丹彤, 耿雪娜, 刘杰. 基于动态极大元素覆盖值的极小碰集求解算法. 计算机研究与发展, 2018, 55(4): 791–801. [doi:
10.7544/ISSN1000-1239.2018.20160900]
[15] 刘思光, 欧阳丹彤, 张立明. 极小碰集求解中候选解极小性判定方法. 软件学报, 2018, 29(12): 3733–3746. http://www.jos.org.cn/1000-
9825/5311.htm [doi: 10.13328/j.cnki.jos.005311]
[18] 陈晓梅, 孟晓风, 乔仁晓. 基于 BNB-HSSE 计算全体碰集的方法. 仪器仪表学报, 2010, 31(1): 61–67. [doi: 10.19650/j.cnki.cjsi.
2010.01.011]
[19] 黄杰, 陈琳, 邹鹏. 一种求解极小诊断的遗传模拟退火算法. 软件学报, 2004, 15(9): 1345–1350. http://www.jos.org.cn/1000-9825/15/
1345.htm

赵相福(1981－), 男, 博士, 教授, 博士生导师, 童向荣(1975－), 男, 博士, 教授, 博士生导师,
CCF 高级会员, 主要研究领域为基于模型的故 CCF 高级会员, 主要研究领域为机器学习, 软件
障诊断, 区块链, 智能诊断推理, SAT. 安全性.

黄森(1995－), 男, 硕士生, CCF 学生会员, 主要 欧阳丹彤(1968－), 女, 博士, 教授, 博士生导师,
研究领域为基于模型的故障诊断. CCF 高级会员, 主要研究领域为基于模型的故
障诊断, 自动推理, SAT.

魏霞(1995－), 女, 硕士生, 主要研究领域为基于 张立明(1980－), 男, 博士, 教授, 博士生导师,
模型的故障诊断. CCF 高级会员, 主要研究领域为基于模型的故
障诊断, 自动推理, SAT.