论文部分内容阅读
二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBDD和变量重排序结合在一起的新算法，用来简化BDD的大小。
简化BDD的SBDD和变量重排序结合算法
【摘 要】
：
二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研究如何存储和如何简化BDD。提出了一种把SBD
【机 构】
：
电子科技大学光电信息学院
【出 处】
：
计算机科学
【发表日期】
：
2007年4期
【基金项目】
：
本课题（No.TDXX0502）获得铁道部“铁路信息科学与工程”开放实验室/北京市“现代信息科学与网络技术”重点实验室科学基金资助.
其他文献
根据第二代知识管理的思想，以及现在企业、组织的分散式管理特点，论文在分析了多种P2P结构的基础上，将Super-P2P结构应用于知识管理，提出了基于Super-P2P结构的分布式知识管理模