[发明专利]一种基于卫星热控系统的故障诊断方法

权利要求书

1.一种基于卫星热控系统的故障诊断方法，其特征在于：其步骤如下:

步骤一、基于一阶逻辑对卫星热控系统建模；

步骤二、解析模型文件和观测文件，得到模型数据和观测数据；

步骤三、利用ATMS方法对模型进行推理，得到所有的冲突集；

步骤四、利用第一步A*搜索方法搜索冲突集，得到最优碰集；

步骤五、利用第二步A*搜索方法搜索最优碰集，得到最优候选解；

步骤六、利用ATMS对最优候选解进行一致性检验；

在“步骤一”中所述的“基于一阶逻辑对卫星热控系统建模”，其做法如下：其中“一阶逻辑”又称为一阶谓词逻辑，是指只包含个体谓词和个体量词的谓词逻辑，用于研究数学中由个体、函数及关系构成的命题以及由这些命题构成的更复杂的命题和这些命题之间的推理关系；通过分析系统的每个元件的行为模式和模式间的概率转移关系，以及元件与元件之间的逻辑转换关系，基于一阶逻辑对系统建模，得到系统模型文件，再根据观测值写出观测文件，最后对元件的模式进行初始化，一般都初始化为正常模式，表示假设该元件是正常的；

在“步骤二”中所述的“解析模型文件和观测文件，得到模型数据和观测数据”，其做法如下：由于步骤一中模型文件和观测文件的语言和格式是人为的且无法被计算机识别，所以这里需要对两个文件进行解析，提取其中的数据信息并将其转化为计算机能识别的数据结构；

在“步骤三”中所述的“利用ATMS方法对模型进行推理，得到所有的冲突集”，其做法如下：其中“冲突集”是指与观测值不一致的一组元件，即可能故障的元件组合；通过利用ATMS方法对步骤二的模型数据和观测数据进行推理，能直接得到模型的所有冲突集；

在“步骤四”中所述的“利用第一步A*搜索方法搜索冲突集，得到最优碰集”，其做法如下：其中“碰集”是指与所有冲突集相交不为空的集合，表示能满足所有冲突集的可能故障的元件组合；以元件正常模式的概率作为估价函数，利用A*搜索方法搜索冲突集得出最优的碰集，若概率越大，其故障可能性越低；

在“步骤五”中所述的“利用第二步A*搜索方法搜索最优碰集，得到最优候选解”，其做法如下：其中“候选解”是可能的诊断解，它明确指出了元件可能的故障模式；以元件故障模式的概率作为估价函数，利用A*方法根据步骤四中的最优碰集找出最优候选解；

在“步骤六”中所述的“利用ATMS对最优候选解进行一致性检验”，其做法如下：利用ATMS对最优候选解进行一致性检验，若检验通过，则该最优候选解就是一个诊断解，若检验不通过，则返回步骤五搜索下一个最优候选解，若最优候选解为空即步骤五中的最优碰集的所有候选解都不是诊断解，则返回步骤四搜索下一个最优碰集，重复以上步骤直到找到诊断解。