中国科技论文在线

上传时间

2005年09月29日

欧阳丹彤，赵相福

，-0001，（）：

-1年11月30日

在基于模型诊断中，一般使用冲突集的所有极小碰集来表达诊断结果。本文提出一种利用与元素相关联的冲突集个数来计算碰集的新方法，并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程，来逐步地生成所有的极小碰集。由于在Setree中添加了终止节点，因而能够较大地提高搜索的效率。

基于模型诊断,，冲突集,，极小碰集,，集合枚举树

86浏览
0点赞
0收藏
0分享
293下载
0

引用

上传时间

2005年09月29日

【期刊论文】刻划基于模型的中心诊断

欧阳丹彤，姜云飞

，-0001，（）：

-1年11月30日

摘要

虽然对基于模型的诊断存在一系列不同的逻辑定义，但值得庆幸的是存在一个统一的抽象定义，它概括了以往的不同定义。本文在该定义基础上提出了基于模型的中心诊断的概念。通过刻划基于模型的中心诊断过程，论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系，从而将本文的理论结果与ATMS这类算法联系起来。本文进一步指出，对基于一致性中心诊断的刻划仅仅是本文所给出的刻划的一个特殊情形。

基于模型的诊断,，基于模型的中心诊断,，本原蕴含/，蕴含式.，

104浏览
0点赞
0收藏
0分享
157下载
0

引用

上传时间

2005年09月29日

【期刊论文】基于一致性的最小正常诊断及其应用

欧阳丹彤，姜云飞

，-0001，（）：

-1年11月30日

摘要

本文给出了基于一致性的最小正常诊断的概念，并将它与基于一致性的最小反常诊断加以区别。我们证明了：若将系统描述限制在故障理论或在故障理论中扩展有限的正常行为知识，那么使用最小正常诊断能够刻划基于一致性的诊断空间，即最小正常诊断假设成立。我们指出：使用最小正常诊断可以缩小只针对正常行为模型的最小反常诊断所产生的诊断空间，帮助我们找到真正的故障。文中最后还指出了最小正常诊断所适合的诊断任务及诊断领域。

基于模型的诊断,，故障模型,，冲突.，

95浏览
0点赞
0收藏
0分享
173下载
0

引用

上传时间

2005年09月29日

【期刊论文】基于一致性的中心诊断及中心溯因诊断

欧阳丹彤，姜云飞

，-0001，（）：

-1年11月30日

摘要

摘要本文对溯因诊断的过程和中心溯因诊断的过程进行了刻划。将求中心溯因诊断的过程清晰地分为与领域有关的冲突识别及与领域无关的候选产生两大步骤。不仅指出了基于一致性的中心诊断与中心溯因诊断之间的关系，而且论证了中心溯因诊断与本原蕴含/蕴含式的直接关系。显示出基于一致性的中心诊断空间和中心溯因诊断空间不仅可同时计算，而且可用ATMS这类算法来计算，从而将我们的理论结果与实现联系起来。

溯因诊断,，中心溯因诊断,，本原蕴含/，蕴含式.，

79浏览
0点赞
0收藏
0分享
151下载
0

引用

上传时间

2005年09月29日

【期刊论文】基于模型的动态分层诊断技术

欧阳丹彤，，才殿波，李占山

，-0001，（）：

-1年11月30日

摘要

基于模型的诊断是一项新型的智能推理技术，它可克服传统诊断方法的缺点。分层诊断是减少基于模型诊断计算复杂性的重要方法。以往的分层诊断方法局限于使用单一、固定的分层描述，而同一个分层描述有时能提高诊断的效率，但有时会与非分层诊断效率相同。本文通过使用相应结构抽象树重新安排各层给定的分层描述来创建一个新的分层描述，提出一项新的动态分层诊断技术来提高诊断效率。

基于模型的诊断，基于一致性诊断，分层诊断，结构抽象

56浏览
0点赞
0收藏
0分享
206下载
0

引用