二进制决策图相关论文
BDD是布尔函数的图形表示形式，被广泛应用到网络可靠度的分析计算中。为了提升网络可靠度BDD分析算法的性能，本文根据边扩展图实例，识......
为缩小二进制决策图（BDD）模型的尺度,提高阶段一致型阶段任务系统（PMS）可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了......
对采用谓词执行优化技术后的编译代码，为了更高效地进行寄存器分配，首先介绍了Sias等人提出的一种基于二进制决策图（BDD）的谓词分析系......
为对带谓词的数据流进行准确而有效的分析，首先介绍了John W.Sias等人提出的一种基于二进制决策图（BDD）的谓词分析系（PAS）；然后在其基础......
研究阶段任务系统（PMS）故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均......
