计算机应用 ›› 2005, Vol. 25 ›› Issue (07): 1647-1650.DOI: 10.3724/SP.J.1087.2005.01647

• 人工智能 • 上一篇    下一篇

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

邵晨曦,张俊涛,白方周,张毅   

  1. 中国科学技术大学 计算机科学技术系
  • 收稿日期:2005-01-14 修回日期:2005-03-06 出版日期:2005-07-01 发布日期:2005-07-01
  • 作者简介:邵晨曦(1954-),男,山东海阳人,副教授,主要研究方向:定性仿真、脑与复杂性、生物医学系统行为、CAD和CIMS;张俊涛(1975-),男,河南许昌人,主要研究方向:计算机系统定性仿真、故障诊断;白方周(1933-),男,河南开封人,教授,主要研究方向:计算机控制与仿真;张毅(1976-),男,江苏连云港人,主要研究方向:系统定性仿真
  • 基金资助:

    国家自然科学基金重点项目(60434010)

Fault diagnosis design based on qualitative constraint

SHAO Chen-xi,ZHANG Jun-tao,BAI Fang-zhou,ZHANG Yi   

  1. Department of Computer Science and Technology,  University of Science and Technology of China
  • Received:2005-01-14 Revised:2005-03-06 Online:2005-07-01 Published:2005-07-01

摘要:

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

关键词: 定性仿真, 约束传递, 故障诊断, 制冷系统

Abstract:

Based on the QSIM algorithm of B. J. Kuipers, comparative constraint was presented to reduce the diagnosis space. The transfer regulation of qualitative constrain was used in the simulation and reasoning of system diagnosis. This algorithm took observed faulty state as the beginning, to diagnosis the location and cause of variable discrepancy according to the transfer regulation of qualitative constraint, reasoned from diagnosed faulty to examine the result and deleted the redundancy of diagnosis result. In the example of condensation refrigeration system, the constraint relation was built according to qualitative difference equation. Aim at the bad efficiency of refrigeration, the mixture of air or Freon superfluously was diagnosed as the result faulty source, consistent with the factual system.

Key words: qualitative simulation, constraint transfer, faulty diagnosis, refrigeration system

中图分类号: