论文部分内容阅读
针对星栽计算机的计算资源和存储资源的特点，提出了一种卫星自主故障诊断专家系统中知识库的设计方案。该知识库采用故障Petri网模型表示知识，用库所表示部件或系统的状态，变迁表示故障的繁衍和传播。为了保证知识的一致与正确，还提出了知识库各种冗余规则的校验算法。采用C／C＋＋语言和面向对象的方法实现了该知识库，实际测试表明，能够满足卫星自主故障诊断专家系统对知识库的需求。