基于OBDD的卫星故障诊断模型推理方法研究

摘要

基于模型的故障诊断方法因准确度高、适应性强等优点得到了广泛的研究与应用,然而随着卫星系统结构与功能的复杂程度不断增加,基于模型进行在线推理的故障诊断方法因时间效率低而受到极大的挑战.离线编译技术在离线阶段将系统模型编译为特殊的形式,使得在线诊断阶段无需进行复杂的推理,因而大幅度地减少了在线诊断所需时间.有序二叉决策图(OBDD)是一种优秀的编译语言,本文将其应用于卫星系统的故障诊断,研究了卫星系统的模型抽象、离线模型编译与在线故障诊断.理论分析与实验分析表明,使用有序二叉决策图能够显著提高在线诊断的效率,有着广泛的应用价值.