基于定性约束的故障诊断设计

？在b.j.kuipers的qsim算法基础上，提出了比较约束概念用于消减推理空间。给出了各定性约束的传递规则，用于对系统的推理仿真。以系统故障的观测结果为初始状态，依据约束流的传播，诊断变量异变的位置和原因，并把诊断结果进行正向推理，消除部分冗余。在压缩制冷系统实例中，根据制冷系统的定性微分方程建立约束关系。针对制冷效果不佳的症状，仿真诊断出故障源为系统中有空气或氟利昂充液量过大的故障，与实际系统相一致。