作者：闫华; 张立; 郭立卿; 邢云燕任务可靠性层次化模型多阶段任务系统
摘要：针对Markov方法分析多阶段任务系统（Phased-Mission System,PMS)可靠性时的状态空间爆炸问题，基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图（BinaryDecisionDiagram,BDD)模型和底层部件Mako模型。通过分析BDD中的同构节点和冗余节点，提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型，提高模型构造和存储效率。基于PMS部件排序规则，给出了层次化模型的递归求解方法，该方法的计算复杂度与顶层模型中的节点总数呈线性关系。通过算例分析,对比采用节点压缩策略前后的模型节点数，以及层次化方法与Mako方法的计算结果,验证了简化层次模型的正确性和有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
