基于分离BDD的通用多阶段任务系统可靠性分析

来源 :系统工程理论与实践 | 被引量 : 0次 | 上传用户:britney0
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
静态的通用多阶段任务系统的不完全覆盖、跨阶段依赖性极大地增加系统可靠性分析的复杂性和难度.基于SEA思想给出两级分离的组合方法将任务和阶段的不完全覆盖分割,通过新增的阶段代数规则和向后阶段依赖运算式处理跨阶段依赖性,并且充分利用高效的多阶段系统双值决策图,实现模型规模和运算的简化.最后,通过案例分析,将此分离BDD方法与三值决策图和多状态双值决策图对比,验证其精确、高效和模块化的优点.
其他文献
The Shihu gold deposit is characterized by gold-bearing quartz-polymetallic sulfides and quartz veins. Both Mapeng granitoids batholith and intermediate-basic d
本文基于离散灰色模型模拟值增长率恒定的原因,通过引入二次时间项来构造了二次时变参数离散灰色模型(quadratic time-varying parameters discrete grey model,简称为QDGM(1
针对作战过程的混合动态特性,利用Lanchester方程建立了一类作战混合动态系统模型,在合理战术假设的基础上,讨论了一类变招顺序固定的作战决策方最优控制问题.利用动态规划原
针对反向累加序列的生成与建模问题,分析了反向累加生成的准光滑性和准指数规律,进而给出反向累加生成序列的灰建模条件.证明了基于反向累加生成的齐次与非齐次离散指数函数
The billets of AM60 alloy,prepared with self-inoculation method,were partially remelted into semisolid state.Effects of process parameters on remelting microstr
针对GM(1,1)幂模型参数辨识过程中可能出现的病态性问题,首先基于矩阵求逆的条件数分析灰色模型病态程度的衡量方法,然后按照GM(1,1)幂模型的背景值和幂指数的不同取值,分三
对网络节点进行重要性评估,快速发掘重要性节点已经成为数据挖掘、复杂网络中的一个基本问题,现有的节点重要度评估方法对于大型网络而言,计算速度较慢.基于电阻网络提出一种
The effects of the acid leaching and alkali fusion on the leaching efficiency of Y,Eu,Ce,and Tb from the waste rare earth fluorescent powders were investigated
Micromotion is an important target feature,although the target micromotion has an unfavorable influence on the synthetic aperture radar (SAR) image interpretati