多阶段任务系统可靠性分析的二元决策图模型

为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型，提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element，给出了二元决策图模型的描述和存储方法，提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤：基于逻辑门转化算法，将部件逻辑关系结构函数转化为阶段二元决策图模型；基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明：该方法可以有效应用于多阶段任务系统的可靠性分析。
In order to implement the automatic generation of binary decision diagram (BDD) for phased mission system reliability analysis, a universal approach for establishing BDD reliability model was proposed. A nested BDD data structure named BDD_Element was defined, and the approaches of BDD description and storage were given. Algorithms for transforming AND Gate, OR Gate and k/n Gate into BDD models were proposed. The BDD model for reliability analysis of phased mission system was constructed in 2 steps: based on the logic gate transforming algorithms, structure functions of the component logic relationship were transformed into phase BDD models; based on the BDD manipulation rules, phase BDD models were integrated together. By analyzing the reliability of satellite attitude adjustment mission, it shows that this approach can be effectually applied in the reliability analysis of phased mission system.