多阶段任务系统可靠性分析的ROBDD算法

• 作者: 张立 邢云燕 郭立卿 闫华
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 任务可靠性 层次化模型 多阶段任务系统
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 计算机科学与技术·控制科学与工程·光学工程
• 页码范围: 164-170
• 页数: 7页
• 分类号: TP202.1
• 字数: 6180字
• 语种: 中文
• DOI: 10.11887/j.cn.201705026

摘要

针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(Binary Decision Diagram,BDD)模型和底层部件Markov模型.通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略.利用上述节点压缩策略生成简化模型,提高模型构造和存储效率.基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节点总数呈线性关系.通过算例分析,对比采用节点压缩策略前后的模型节点数,以及层次化方法与Markov方法的计算结果,验证了简化层次模型的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢云燕	国防科技大学国家安全与军事战略研究中心	19	83	6.0	8.0
2	张立	中国人民解放军陆军勤务学院军事物流系	30	119	7.0	10.0
3	闫华	中国人民解放军陆军勤务学院军事物流系	1	0	0.0	0.0
4	郭立卿	中国人民解放军陆军勤务学院军事物流系	2	4	1.0	2.0