| 动态多阶段系统模块化分析(英文) |
| |
| 引用本文： | 莫毓昌,杨全胜.动态多阶段系统模块化分析(英文)[J].东南大学学报,2009,25(3):316-319. |
| |
| 作者姓名： | 莫毓昌 杨全胜 |
| |
| 作者单位： | 莫毓昌(东南大学计算机科学与工程学院,南京,211189;浙江师范大学数理信息学院,金华,321004);杨全胜(东南大学计算机科学与工程学院,南京,211189) |
| |
| 基金项目： | The National Natural Science Foundation of China(No.60903011); the Natural Science Foundation of Jiangsu Province(No.BK2009267) |
| |
| 摘 要： | 针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统所包含的静态特性的角度出发,利用集合并操作将阶段故障树的动态模块构造成跨阶段的动态模块.然后,利用变量排序和BDD操作生成模块化MPS对应的系统BDD.针对系统BDD中各种节点连结关系,推导出BDD节点事件概率计算公式,从而计算出动态多阶段系统的可靠度.最后,通过实例说明了动态模块化方法在Markov状态空间和系统BDD尺度均减少时的优越性.
|
| 关 键 词： | 二进制决策图 动态故障树 马尔科夫链 模块化分析 |
Modular solution of dynamic multiple-phased systems |
| |
| Mo Yuchang, Yang Quansheng.Modular solution of dynamic multiple-phased systems[J].Journal of Southeast University(English Edition),2009,25(3):316-319. |
| |
| Authors: | Mo Yuchang Yang Quansheng |
| |
| Institution: | Mo Yuchang1,2 Yang Quansheng1(1School of Computer Science , Engineering,Southeast University,Nanjing 211189,China)(2College of Mathematics,Physics , Information Engineering,Zhejiang Normal University,Jinhua 321004,China) |
| |
| Abstract: | A new modular solution to the state explosion problem caused by the Markov-based modular solution of dynamic multiple-phased systems is proposed. First,the solution makes full use of the static parts of dynamic multiple-phased systems and constructs cross-phase dynamic modules by combining the dynamic modules of phase fault trees. Secondly,the system binary decision diagram(BDD) from a modularized multiple-phased system(MPS) is generated by using variable ordering and BDD operations. The computational formu... |
| |
| Keywords: | binary decision diagram (BDD) dynamic fault tree Markov chain modular solution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
