求解极小碰集的ROBDD算法的研究与分析

摘要	第1-6页
Abstract	第6-10页
第1章 绪论	第10-13页
·研究背景及现状	第10-12页
·基于模型诊断研究背景与现状	第10页
·BDD的研究背景与现状	第10-12页
·本文的主要工作	第12-13页
第2章 基于模型诊断与BDD的基础知识	第13-23页
·基于模型诊断基础知识	第13-16页
·基本概念	第13-15页
·求解极小碰集方法介绍	第15-16页
·BDD基础知识	第16-23页
·BDD的预备知识	第16-18页
·OBDD的常用操作	第18-21页
·OBDD的特点	第21-23页
第3章 基于变量相关性编序的ROBDD求解碰集	第23-38页
·算法说明	第23-29页
·完备性分析	第29-30页
·实验结果	第30-37页
·随机生成冲突集测试	第30-33页
·固定冲突集测试	第33-37页
·实验结果分析	第37页
·总结	第37-38页
第4章 基于频率相关性编序的ROBDD求解碰集	第38-45页
·算法说明	第38-39页
·实例说明	第39-40页
·测试结果	第40-44页
·总结	第44-45页
第5章 结论	第45-46页
参考文献	第46-49页
作者简介及在学期间所取得的科研成果	第49-50页
致谢	第50页