低空航空器的n中取k复杂冗余系统适航安全性分析方法

一种低空航空器的n中取k复杂冗余系统适航安全性分析方法。其包括构建待评估低空航空器中n中取k复杂冗余系统完整故障树模型并简化；将简化故障表决模型映射为贝叶斯网络；对贝叶斯网络中的二态表决输出节点进行条件概率表降维重构；基于降维重构后的贝叶斯网络进行概率推理，由此来判定系统适航符合性等步骤。本发明方法将原本需要枚举2种父节点状态组合的高维条件概率表转换为与功能单元数量n和故障表决门限k相关的链式局部条件概率表，在保持原故障表决语义和概率计算结果的条件下，降低条件概率表规模，解决低空航空器复杂冗余系统的安全性分析定量计算问题，可支持适航安全性的符合性判断。