图论模型与算法在航天器下行数据故障诊断知识循环依赖缺陷检测中的应用

针对中国空间站等航天器下行数据故障诊断系统中循环依赖的诊断知识缺陷，通过引入图论模型，将诊断知识中的循环依赖检测问题抽象为有向图中的环搜索问题，应用经典拓扑排序算法、Kosaraju算法和Tarjan算法开展诊断知识的缺陷检测，并结合诊断知识经常迭代更新的特点，提出了一种改进Tarjan算法。仿真结果表明：改进Tarjan算法比Tarjan算法能节省更多的计算开销。