结合结构特征反向搜索的基于模型诊断方法研究

摘要	第4-6页
Abstract	第6-8页
第1章 绪论	第11-16页
1.1 研究背景和意义	第11-12页
1.2 研究现状	第12-14页
1.3 本文工作	第14-16页
第2章 MBD问题与SAT问题	第16-21页
2.1 MBD问题	第16-17页
2.2 SAT问题	第17-18页
2.3 逻辑电路的CNF描述	第18-20页
2.4 本章小结	第20-21页
第3章 利用SAT求解器求解MBD问题	第21-29页
3.1 将MBD问题转换成SAT问题	第21-24页
3.2 利用ISDIAG算法求解诊断解	第24-26页
3.3 利用SE-Tree求解所有诊断解	第26-28页
3.4 本章小结	第28-29页
第4章 基于反向搜索的有解无解空间剪枝算法	第29-41页
4.1 有解剪枝和无解剪枝策略	第29-33页
4.2 基于反向搜索的有解无解空间剪枝算法	第33-35页
4.3 实验结果与分析	第35-40页
4.4 本章小结	第40-41页
第5章 总结与展望	第41-43页
5.1 总结	第41-42页
5.2 展望	第42-43页
参考文献	第43-48页
作者简介及在学期间所取得的科研成果	第48-49页
致谢	第49页