引用本文: | 孟礼.多阶段任务系统可靠性分析的二元决策图模型[J].国防科技大学学报,2017,39(2):184-192.[点击复制] |
MENG Li.Binary decision diagram model for reliability analysis of phased mission system[J].Journal of National University of Defense Technology,2017,39(2):184-192[点击复制] |
|
|
|
本文已被:浏览 7311次 下载 6275次 |
多阶段任务系统可靠性分析的二元决策图模型 |
孟礼1,2 |
(1. 国防科技大学 信息系统与管理学院, 湖南 长沙 410073;2.
2. 装备学院 装备试验系, 北京 101416)
|
摘要: |
为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤:基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明:该方法可以有效应用于多阶段任务系统的可靠性分析。 |
关键词: 多阶段任务系统 可靠性建模 二元决策图 数据结构 |
DOI:10.11887/j.cn.201702028 |
投稿日期:2015-09-28 |
基金项目:国家自然科学基金资助项目(71071159,71401172) |
|
Binary decision diagram model for reliability analysis of phased mission system |
MENG Li1,2 |
(1. College of Information Systems and Management, National University of Defense Technology, Changsha 410073, China;2.
2. Department of Equipment Testing, Academy of Equipment, Beijing 101416, China)
|
Abstract: |
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. |
Keywords: phased mission system reliability modeling binary decision diagram data structure |
|
|