基于模型诊断的分步求解

• 作者: 姜云飞 张学农 张立成 陈蔼祥
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 基于模型的诊断 诊断分解 分步推理
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 584-593
• 页数: 10页
• 分类号: TP18
• 字数: 9599字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.00584

摘要

对诊断问题的分解进行研究,给出了候选诊断的分解与组合定理.在此基础上,提出了利用分步求解方法实现诊断分解的算法,并对算法的正确性、完备性和复杂性进行了证明.实验结果表明,分步求解方法明显提高了包含多个输出的系统的诊断效率.与利用变量假定例化值分解诊断问题的方法相比,该算法能提高了效率并且扩大了适用范围.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜云飞	中山大学软件研究所	84	1013	18.0	28.0
2	陈蔼祥	中山大学软件研究所	12	90	6.0	9.0
3	张学农	中山大学软件研究所	6	44	4.0	6.0
7	张立成	广东药学院网络中心	13	50	4.0	6.0