%0 Journal Article
%T 基于分离bdd的通用多阶段任务系统可靠性分析
%A 陈光宇
%A 张小民
%A 唐小我
%J 系统工程理论与实践
%P 1240-1246
%D 2013
%X ？静态的通用多阶段任务系统的不完全覆盖、跨阶段依赖性极大地增加系统可靠性分析的复杂性和难度.基于sea思想给出两级分离的组合方法将任务和阶段的不完全覆盖分割,通过新增的阶段代数规则和向后阶段依赖运算式处理跨阶段依赖性,并且充分利用高效的多阶段系统双值决策图,实现模型规模和运算的简化.最后,通过案例分析,将此分离bdd方法与三值决策图和多状态双值决策图对比,验证其精确、高效和模块化的优点.
%K 可靠性
%K 通用多阶段任务系统(gpms)
%K 双值决策图(bdd)
%K 不完全覆盖(ipc)
%U http://www.sysengi.com/CN/abstract/abstract110118.shtml