基于模型的诊断推理
项目介绍
AI项目解读
基本信息
- 批准号:69903005
- 项目类别:青年科学基金项目
- 资助金额:14.0万
- 负责人:
- 依托单位:
- 学科分类:F0201.计算机科学的基础理论
- 结题年份:2002
- 批准年份:1999
- 项目状态:已结题
- 起止时间:2000-01-01 至2002-12-31
- 项目参与者:杨凤杰; 程晓春; 李占山; 陈荣; 李强;
- 关键词:
项目摘要
Model-based Diagnosis is a new intelligent diagnostic technique proposed to overcome the serious drawbacks of traditional diagnostic expert systems. In this project, a general algorithm for computing model-based diagnosis is given. The initial test condition of the Differential Diagnosis Principles is generalized, which improves the adaptability of differential diagnosis test and helps reduce the diagnostic space. Hierarchical diagnosis that can help reduce the complexity of model-based diagnosis is researched into. The soundness of hierarchical diagnosis is proved and the incompleteness of hierarchical diagnosis is pointed out. The concepts of model-based diagnosis and kernel model-based diagnosis are given when the model of the system to be diagnosed is uncertain causal theory. The direct relationship between kernel model-based diagnosis and U-S-prime implicants/implicates is demonstrated. The concepts of component replacing and replacement test are proposed and the discrimination of diagnoses and the determination of faulty components are explored. These results can help select the components to be replaced, improve the effectiveness of diagnosing, and restore the normal functions of the system being diagnosed as quickly as possible by combining testing with repairing.
给出计算基于模型诊断的能用算法;通过对带任意初始条件的测试刻画鉴别诊断来缩小该诊峡占?通过给出高效的生成分级模型以及基于分级模型的将诊断产生与测试产生相结合的算法来减少计算的复杂性;将时态推理、不确定性推理等方法有机地结合到设备诊断中去;在锒瞎讨锌悸俏薏⑹褂米远婊燃际跄甭砸宰钚〉拇凼股璞富指凑!
结项摘要
项目成果
期刊论文数量(14)
专著数量(0)
科研奖励数量(1)
会议论文数量(3)
专利数量(0)
基于模型的网络故障诊断方法
- DOI:--
- 发表时间:--
- 期刊:计算机工程与应用
- 影响因子:--
- 作者:胡延锐;欧阳丹彤
- 通讯作者:欧阳丹彤
用辩论刻画含约束的诊断空间
- DOI:--
- 发表时间:--
- 期刊:计算机学报
- 影响因子:--
- 作者:陈荣;姜云飞
- 通讯作者:姜云飞
Kernel Model-based Diagnosis
基于内核模型的诊断
- DOI:--
- 发表时间:2002
- 期刊:Progress in Natural Science
- 影响因子:--
- 作者:欧阳丹彤
- 通讯作者:欧阳丹彤
拓展溯因逻辑程序设计的辩论理论基础
- DOI:--
- 发表时间:--
- 期刊:计算机学报
- 影响因子:--
- 作者:陈荣;姜云飞
- 通讯作者:姜云飞
不确定因果理论诊断的测试
- DOI:--
- 发表时间:--
- 期刊:吉林大学自然科学学报理学版
- 影响因子:--
- 作者:李占山;姜云飞;孙吉贵
- 通讯作者:孙吉贵
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
基于关联解释的术语集MUPS求解方法
- DOI:10.13232/j.cnki.jnju.2018.01.007
- 发表时间:2018
- 期刊:南京大学学报(自然科学版)
- 影响因子:--
- 作者:崔仙姬;欧阳丹彤;何加亮;高健
- 通讯作者:高健
结合约束满足消除误判的等价性验证方法
- DOI:--
- 发表时间:--
- 期刊:吉林大学学报(工学版)
- 影响因子:--
- 作者:张立明;曾海林;赵剑;欧阳丹彤;何丽莉
- 通讯作者:何丽莉
基于模型诊断的本体调试局部定位
- DOI:--
- 发表时间:2014
- 期刊:吉林大学学报(工学版)
- 影响因子:--
- 作者:欧阳丹彤;叶育鑫
- 通讯作者:叶育鑫
关系抽取中基于本体的远监督样本扩充
- DOI:--
- 发表时间:2014
- 期刊:软件学报
- 影响因子:--
- 作者:欧阳丹彤;瞿剑峰;叶育鑫
- 通讯作者:叶育鑫
基于冲突的离散事件系统诊断方法
- DOI:--
- 发表时间:2013
- 期刊:吉林大学学报(工学版)
- 影响因子:--
- 作者:王晓宇;欧阳丹彤;赵剑;耿雪娜
- 通讯作者:耿雪娜
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
内容获取失败,请点击重试
查看分析示例
此项目为已结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图
请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
欧阳丹彤的其他基金
多观测下基于模型诊断和修复方法研究
- 批准号:62076108
- 批准年份:2020
- 资助金额:58 万元
- 项目类别:面上项目
融合结构信息的MaxSAT求解诊断方法研究
- 批准号:61672261
- 批准年份:2016
- 资助金额:62.0 万元
- 项目类别:面上项目
结合问题特征的集成电路等价性验证及不一致诊断关键方法研究
- 批准号:61272208
- 批准年份:2012
- 资助金额:81.0 万元
- 项目类别:面上项目
模型不完备情形下离散事件系统诊断方法的研究
- 批准号:60973089
- 批准年份:2009
- 资助金额:30.0 万元
- 项目类别:面上项目
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}