| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 引言 | 第7-11页 |
| ·研究目的及意义 | 第7页 |
| ·研究背景与现状 | 第7-10页 |
| ·本文主要研究内容 | 第10-11页 |
| 第二章 基于模型的诊断 | 第11-15页 |
| ·基于模型诊断的基本思想 | 第11页 |
| ·基于模型诊断的过程 | 第11-14页 |
| ·本章小结 | 第14-15页 |
| 第三章 模型诊断相关算法的研究 | 第15-29页 |
| ·可满足问题和SAT求解器 | 第15-18页 |
| ·系统建模 | 第18-21页 |
| ·判定算法IIsCS的研究 | 第21-23页 |
| ·产生所有的极小诊断算法 | 第23-28页 |
| ·本章小结 | 第28-29页 |
| 第四章 智能消防小车故障诊断系统开发 | 第29-60页 |
| ·智能消防小车故障诊断系统功能 | 第29-31页 |
| ·硬件模块设计 | 第31-33页 |
| ·软件模块设计 | 第33-44页 |
| ·系统实现 | 第44-55页 |
| ·系统测试 | 第55-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 总结与展望 | 第60-61页 |
| ·总结 | 第60页 |
| ·展望 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 致谢 | 第65-66页 |