分层的基于模型诊断方法

摘要：

本文给出了分层描述方法,并研究了不同抽象层间诊断的关系.证明了分层诊断的正确性:一个抽象层的诊断在其细化层有相应的诊断.指出了分层诊断的完备性不成立:一个细化层的诊断在其抽象层可能没有相应的诊断.分层诊断的不完备性说明了虽然分层描述、分层诊断提高了计算效率,但代价是可能导致丢失真正的诊断解.

关键词： 模型理论 模型诊断 分层描述 计算机数学

作者: 欧阳丹彤 欧阳继红 程晓春 李志荣 樊雪

作者单位: 吉林大学计算机科学与技术学院(长春);吉林大学符号计算与知识工程教育部重点实验室(长春) Department of Computer Science,The University of Reading,RG6 6AY,Reading(England) 吉林大学商学院(长春)

会议类型: 国内会议

会议名称: 第四届中国Rough集与软计算学术研讨会

会议地点: 舟山

会议语种:中文

页码: 254-256,277

在线出版日期: 2004-10-01（万方平台首次上网日期，不代表论文的发表时间）