一种用于BDD模型构建的排序起点选择新方法

论文摘要

在BDD网络可靠性分析中,还没有一种可用的方法用来选择最佳（或高性能）的排序起点.为了找到最佳的排序起点,基于对BDD构建过程的深入分析,用实验总结的方法提出了一种"依赖集总长度小优先"的排序起点选择方法.在Square Lattice,De-Bruijn和Hyper Cube网络中的大量实验表明:所提方法能找到最佳（或高性能）排序起点,从而指导生成更小规模的BDD模型,提升网络可靠性分析性能.

论文目录

• 0 引 言
• 1 网络模型和常用启发式排序
•   1.1 网络模型
•   1.2 常用启发式排序
•     1.2.1 BFS启发式排序
•     1.2.2 DFS启发式排序
• 2 排序起点选择方法和证明
•   2.1 依赖集和依赖集总长度
•   2.2 排序起点选择方法
•   2.3 关于排序起点选择的思考和讨论
• 3 实验和结论
•   3.1 Square Lattice网络
•   3.2 其他网络
• 4 结 语

文章来源

类型: 期刊论文

作者: 潘竹生,王晖,曾令国

关键词: 网络可靠性,二叉决策图,依赖集,启发式排序

来源: 浙江师范大学学报(自然科学版) 2019年02期

年度: 2019

分类: 基础科学

专业: 数学

单位: 浙江师范大学数学与计算机科学学院

基金: 国家自然科学基金资助项目(61503343),浙江省计算机软件与理论重中之重学科开放课题资助项目(ZSDZZZZXK24)

分类号: O223

DOI: 10.16218/j.issn.1001-5051.2019.02.005

页码: 149-155

总页数: 7

文件大小: 1790K

下载量: 22