%0 Journal Article
%T 基于定性约束的故障诊断设计
%A 邵晨曦
%A 张俊涛
%A 白方周
%A 张毅
%J 计算机应用
%D 2005
%X ？在b.j.kuipers的qsim算法基础上，提出了比较约束概念用于消减推理空间。给出了各定性约束的传递规则，用于对系统的推理仿真。以系统故障的观测结果为初始状态，依据约束流的传播，诊断变量异变的位置和原因，并把诊断结果进行正向推理，消除部分冗余。在压缩制冷系统实例中，根据制冷系统的定性微分方程建立约束关系。针对制冷效果不佳的症状，仿真诊断出故障源为系统中有空气或氟利昂充液量过大的故障，与实际系统相一致。
%K 定性仿真
%K 约束传递
%K 故障诊断
%K 制冷系统
%U http://www.joca.cn/CN/abstract/abstract13694.shtml