张学农 孙吉贵 黄杰 潘久辉 欧阳丹彤 姜云飞 杨晋吉 邹鹏 林海 陈荣 冯果忱 郭炳炎 陈蔼祥 刘建罗 王涛 陈琳 张立成 陈清亮 李占山 薛冬白

替换测试 溯因 测试 极小诊断假设 值传递 模拟退火 击中集 冲突集 定性推理 本原蕴涵蕴涵式 分步推理 诊断分解 算法完备性 极小诊断 定性模型 冲突 故障模式 真实诊断 含约束的诊断 自动规划 约束 鉴别诊断 过程重用 溯因推理 诊断问题的替换分解 故障模型 溯因符号 遗传算法 因果关系 过程抽象