| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 第一章 引言 | 第7-10页 |
| ·研究目的及意义 | 第7页 |
| ·研究背景与现状 | 第7-8页 |
| ·基于模型的故障诊断技术 | 第8-9页 |
| ·本文主要研究内容 | 第9-10页 |
| 第二章 基于 ARM 核心的控制系统 | 第10-22页 |
| ·ARM 简介 | 第10页 |
| ·ARM 微处理器结构 | 第10-11页 |
| ·ARM CORTEXTM-A8 | 第11-12页 |
| ·LINUX 操作系统 | 第12-14页 |
| ·ARM LINUX 系统分析 | 第14-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 编译 BOOT LOADER 及 LINUX 内核 | 第22-35页 |
| ·启动代码的功能 | 第22页 |
| ·启动代码分析 | 第22-25页 |
| ·编译 BOOT LOADER | 第25-26页 |
| ·LINUX 内核编译 | 第26-31页 |
| ·制作文件系统 | 第31-33页 |
| ·本章小结 | 第33-35页 |
| 第四章 片上系统移植及 LINUX 驱动程序开发 | 第35-50页 |
| ·烧写 SUPERBOOT | 第35-38页 |
| ·烧写 LINUX 系统 | 第38-40页 |
| ·LINUX 驱动程序 | 第40-43页 |
| ·电机驱动程序设计 | 第43-48页 |
| ·驱动程序实验结果分析 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 MINISAT 求解器在片上系统的应用研究 | 第50-60页 |
| ·引言 | 第50页 |
| ·编译及运行MINISAT | 第50-53页 |
| ·实验环境 | 第53页 |
| ·基于命题可满足的 DES 故障诊断建模及SAT 编码 | 第53-56页 |
| ·实验数据分析 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 总结与展望 | 第60-62页 |
| ·结论 | 第60-61页 |
| ·展望 | 第61-62页 |
| 参考文献 | 第62-63页 |
| 致谢 | 第63-64页 |
