动态多阶段系统模块化分析

• 作者: 杨全胜 莫毓昌
• 来源期刊: 东南大学学报(英文版)
• 学科: 工学
• 关键词: 二进制决策图 动态故障树 马尔科夫链 模块化分析
• 年，卷（期）: 2009,（3）
• 页码范围: 316-319
• 页数: 4页
• 分类号: TP32
• 字数: 662字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2009.03.007

摘要

针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统所包含的静态特性的角度出发,利用集合并操作将阶段故障树的动态模块构造成跨阶段的动态模块.然后,利用变量排序和BDD操作生成模块化MPS对应的系统BDD.针对系统BDD中各种节点连结关系,推导出BDD节点事件概率计算公式,从而计算出动态多阶段系统的可靠度.最后,通过实例说明了动态模块化方法在Markov状态空间和系统BDD尺度均减少时的优越性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨全胜	东南大学计算机科学与工程学院	34	197	7.0	11.0
2	莫毓昌	东南大学计算机科学与工程学院	31	87	6.0	7.0