基于模型的诊断推理-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

基于模型的诊断推理

项目名称：基于模型的诊断推理
项目类别：青年科学基金项目
批准号：69903005
申请代码：F020101
项目来源：国家自然科学基金
研究期限：2000-01-01-2002-12-01

项目负责人：欧阳丹彤
负责人职称：教授
依托单位：吉林大学
批准年度：1999

中文摘要：

基于模型的诊断是为了克服传统诊断专家系统的严重缺陷而出现的新型智能诊断推理技术。该本项目中给出了计算静态系统基于模型诊断的通用算法,建立了基于模型诊断与本原蕴涵/蕴涵式的直接关系，对基于一致性诊断和溯因诊断过程的形式化是它的两个极端情形，使用它不仅能够计算只已知部件的部分故障行为方式时的诊断，还能够计算已知每个部件的各种故障行为方式情形下的诊断；对鉴别诊断原理的测试条件进行了扩充，提高了鉴别诊断的适应性，帮助缩小诊断空间；研究了能够帮助减少基于模型诊断计算复杂性的分层诊断方法，证明了分层诊断的正确性，指出了分层诊断的不完备性；给出了当待诊断系统的模型为不确定因果理论时的基于模型诊断和中心诊断等概念，论证了基于模型中心诊断与U-S本原蕴涵/蕴涵式的直接关系；提出了元件替换与替换测试的概念，并以此为基础对诊断的判定及故障元件的确定进行了探索，该研究结果可以帮助选择欲替换的元件，提高诊断效率，将诊断与维修结合起来，使设备尽快恢复正常。给出了在Java程序中如何使用基于模型诊断来进行软件故障定位的方法；给出了网络故障诊断的形式化方法，并给出了Reiter的基于模型诊断方法用于树状网络故障诊断模型的改进。

中文主题词：基于模型的诊断；测试；本原蕴涵/蕴涵式；分层诊断

结论摘要：

英文主题词model-based diagnosis; test;prime implicants/implicates;hierarchical diagnosis

成果综合统计