热门
基于模型故障诊断中的冲突求解
文献类型:期刊论文
作者 | 代树武 ; 孙辉先 |
刊名 | 控制理论与应用
![]() |
出版日期 | 2003 |
卷号 | 20期号:4页码:630-632 |
关键词 | 模型故障诊断 冲突求解 Reiter算法 专家系统 知识获取 |
ISSN号 | 1000-8152 |
其他题名 | Computing conflict sets for model-based diagnosis |
通讯作者 | 北京8701信箱 |
中文摘要 | 基于模型的故障诊断是一种重要的诊断方法,但它的计算量较大.在Reiter算法的基础上,论证了每次求解冲突集时,每个元件的模型知识仅需调用一次.同时指出了在某些情况下可以利用元件参数矩阵来指导冲突的求解过程,有效减少了调用元件模型的次数. |
英文摘要 | Model-based diagnosis was computationally expensive because it often used component models in reasoning pro-~.Reiter' s hitting sets tree algorithm, which did not require the conflict sets to be minimal, was one of the best model-based diagnosis method. It was proved that to find a nonminimal conflict set, every component model needed to be calculated at most once. In~situations, a component-parameter matrix can be used to direct the computing of conflict sets. All these methods reduce the times of calculating component models. |
学科主题 | 空间技术 |
收录类别 | CSCD |
语种 | 中文 |
CSCD记录号 | CSCD:1174142 |
源URL | [http://ir.cssar.ac.cn/handle/122/1683] ![]() |
专题 | 国家空间科学中心_其他部室 |
推荐引用方式 GB/T 7714 | 代树武,孙辉先. 基于模型故障诊断中的冲突求解[J]. 控制理论与应用,2003,20(4):630-632. |
APA | 代树武,&孙辉先.(2003).基于模型故障诊断中的冲突求解.控制理论与应用,20(4),630-632. |
MLA | 代树武,et al."基于模型故障诊断中的冲突求解".控制理论与应用 20.4(2003):630-632. |
入库方式: OAI收割
来源:国家空间科学中心
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。