二进制决策图相关论文
故障树分析(FTA)是工业系统安全分析中使用最广泛的方法之一,尤其是在核电站概率安全分析(PSA)领域有着重要的应用。近年来,一种基......
变量排序问题是故障树BDD分析方法中的NP完全问题．本文证明了故障树变量排序问题复杂度和带重复变量模块排序问题复杂度之间的依赖......
针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统......
针对故障树分析方法性能评价研究中存在的测试基准规模和多样性问题,基于故障树样本随机生成的思想,确定了故障树6个主要结构特征,......
BDD是布尔函数的图形表示形式，被广泛应用到网络可靠度的分析计算中。为了提升网络可靠度BDD分析算法的性能，本文根据边扩展图实例，识......
为缩小二进制决策图（BDD）模型的尺度,提高阶段一致型阶段任务系统（PMS）可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了......
对采用谓词执行优化技术后的编译代码，为了更高效地进行寄存器分配，首先介绍了Sias等人提出的一种基于二进制决策图（BDD）的谓词分析系......
针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统......
为对带谓词的数据流进行准确而有效的分析，首先介绍了John W.Sias等人提出的一种基于二进制决策图（BDD）的谓词分析系（PAS）；然后在其基础......
研究阶段任务系统（PMS）故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均......
