卫星自主故障诊断专家系统中知识库的设计  

Design of Knowledge Base for Satellite Autonomous Fault Diagnosis Expert System

作　　者：姜连祥[1,2,3] 李华旺[1,2] 杨根庆[1,2] 

机构地区：[1]上海微小卫星工程中心,上海200050 [2]中国科学院上海微系统与信息技术研究所,上海200050 [3]中国科学院研究生院,北京100039

出　　处：《航天控制》2009年第5期93-97,共5页Aerospace Control

摘　　要：针对星载计算机的计算资源和存储资源的特点,提出了一种卫星自主故障诊断专家系统中知识库的设计方案。该知识库采用故障Petri网模型表示知识,用库所表示部件或系统的状态,变迁表示故障的繁衍和传播。为了保证知识的一致与正确,还提出了知识库各种冗余规则的校验算法。采用C/C++语言和面向对象的方法实现了该知识库,实际测试表明,能够满足卫星自主故障诊断专家系统对知识库的需求。A design of knowledge base for satellite autonomous fault diagnosis expert system is presented according to the characteristics of on-board computing and storage resources. The knowledge base adopts fault Petri-net to describe the knowledge of satellite in detail, places means the status of component or system and transition means the evolvement of faults. In order to keep the consistency and correctness of the knowledge base, the verification and validation algorithm of redundant rules is proposed. The knowledge base is implemented in C/C ＋ ＋ using object-oriented method. The practical test demonstrates that the design could meet the demands of knowledge base from the autonomous fault diagnosis expert system.

关 键 词：故障诊断 专家系统 知识库 故障PETRI网 校验 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程] TP277[自动化与计算机技术—控制科学与工程]