| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第11-18页 |
| 1.1 研究背景及意义 | 第11-12页 |
| 1.2 国内外研究现状 | 第12-16页 |
| 1.2.1 飞控计算机的研究现状 | 第12-13页 |
| 1.2.2 余度管理技术的研究现状 | 第13-14页 |
| 1.2.3 数字模型仿真技术的研究现状 | 第14-16页 |
| 1.3 研究内容 | 第16-17页 |
| 1.4 论文组织架构 | 第17-18页 |
| 第二章 数字模型相关技术分析 | 第18-32页 |
| 2.1 数字模型建模平台的可行性分析 | 第18-19页 |
| 2.1.1 QEMU建模平台的分析 | 第18页 |
| 2.1.2 Bochs建模平台的分析 | 第18-19页 |
| 2.1.3 Simics建模平台的分析 | 第19页 |
| 2.2 Simics关键技术 | 第19-26页 |
| 2.2.1 Simics的体系结构 | 第20-21页 |
| 2.2.2 Simics工作空间的组成原理分析 | 第21-22页 |
| 2.2.3 事件机制 | 第22页 |
| 2.2.4 接口机制 | 第22-24页 |
| 2.2.5 组件机制 | 第24-25页 |
| 2.2.6 内存映射与存储机制 | 第25-26页 |
| 2.3 同步技术 | 第26-30页 |
| 2.3.1 同步概述 | 第26-27页 |
| 2.3.2 时钟同步 | 第27-28页 |
| 2.3.3 松散同步 | 第28-29页 |
| 2.3.4 任务同步 | 第29-30页 |
| 2.4 交叉数据链路技术 | 第30-31页 |
| 2.5 本章小结 | 第31-32页 |
| 第三章 双余度飞控计算机数字模型余度管理的设计与实现 | 第32-43页 |
| 3.1 飞机管理系统仿真验证平台总体框架 | 第32-33页 |
| 3.2 同步方案的设计 | 第33-38页 |
| 3.2.1 双处理器板工作方式的分析 | 第33-34页 |
| 3.2.2 双处理器板同步方案的设计 | 第34-36页 |
| 3.2.3 通道间同步方案的设计 | 第36-38页 |
| 3.3 交叉数据链路的设计 | 第38-42页 |
| 3.3.1 交叉数据链路体系结构 | 第38-40页 |
| 3.3.2 交叉数据链路关键分析与设计 | 第40-42页 |
| 3.4 本章小结 | 第42-43页 |
| 第四章 双余度飞控计算机数字模型的设计与实现 | 第43-67页 |
| 4.1 双余度飞控计算机数字模型总体方案设计 | 第43-44页 |
| 4.2 双处理器板模型的设计与实现 | 第44-48页 |
| 4.2.1 CPU核模型的设计与实现 | 第44-45页 |
| 4.2.2 双口RAM模型的设计与实现 | 第45-48页 |
| 4.3 Tsi107桥模型的设计与实现 | 第48-57页 |
| 4.3.1 控制与配置模块的设计与实现 | 第48-50页 |
| 4.3.2 DMA模块的设计与实现 | 第50-51页 |
| 4.3.3 中断处理模块的设计与实现 | 第51-53页 |
| 4.3.4 时钟模块的设计与实现 | 第53-55页 |
| 4.3.5 存储器控制模块的设计与实现 | 第55-56页 |
| 4.3.6 PCI接口模块的设计与实现 | 第56-57页 |
| 4.3.7 处理器接口模块的设计与实现 | 第57页 |
| 4.4 存储器模型的设计与实现 | 第57-58页 |
| 4.5 看门狗模型的设计与实现 | 第58-59页 |
| 4.6 离散量接收模型的设计与实现 | 第59-62页 |
| 4.7 Debug1394模型的设计与实现 | 第62-63页 |
| 4.8 调试软件接口模型的设计与实现 | 第63-66页 |
| 4.9 本章小结 | 第66-67页 |
| 第五章 双余度飞控计算机数字模型的测试与验证 | 第67-86页 |
| 5.1 测试环境的搭建 | 第67-68页 |
| 5.2 双处理器板模型的测试与验证 | 第68-69页 |
| 5.2.1 CPU核模型的测试与验证 | 第68-69页 |
| 5.2.2 双口RAM模型的测试与验证 | 第69页 |
| 5.3 Tsi107桥模型的测试与验证 | 第69-75页 |
| 5.3.1 控制与配置模块的测试与验证 | 第69-71页 |
| 5.3.2 DMA模块的测试与验证 | 第71-72页 |
| 5.3.3 中断处理模块的测试与验证 | 第72-73页 |
| 5.3.4 时钟模块的测试与验证 | 第73页 |
| 5.3.5 存储器控制模块的测试与验证 | 第73-74页 |
| 5.3.6 PCI接口模块的测试与验证 | 第74-75页 |
| 5.3.7 处理器接口模块的测试与验证 | 第75页 |
| 5.4 存储器模型的测试与验证 | 第75-76页 |
| 5.5 看门狗模型的测试与验证 | 第76-77页 |
| 5.6 离散量接收模型的测试与验证 | 第77-78页 |
| 5.7 Debug1394模型的测试与验证 | 第78-80页 |
| 5.8 调试软件接口模型的测试与验证 | 第80-81页 |
| 5.9 双余度飞控计算机数字模型的集成测试与验证 | 第81-83页 |
| 5.10 双余度飞控计算机数字模型的闭环测试与验证 | 第83-85页 |
| 5.11 双余度飞控计算机数字模型的性能测试 | 第85页 |
| 5.12 本章小结 | 第85-86页 |
| 第六章 总结与展望 | 第86-87页 |
| 6.1 全文总结 | 第86页 |
| 6.2 后续展望 | 第86-87页 |
| 致谢 | 第87-88页 |
| 参考文献 | 第88-90页 |