基于BDD算法的航天测控系统任务可靠性建模与分析

提出了一种航天测控系统的层次化建模方法,以及测控任务可靠性二元决策图(BDD)分析算法。在模型底层描述了测控系统的结构和任务需求信息,模型顶层将测控资源与任务进行统一,将测控单元任务弧段切割成不同阶段,建立了任务可靠性的故障树模型。采用ITE算法将故障树模型转换为BDD模型,并给出了BDD模型的计算方法。最后,运用实例说明了方法的有效性,进行了测控任务可靠性的灵敏度分析,找出了系统的薄弱环节。