| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 1 绪论 | 第12-22页 |
| 1.1 选题背景和意义 | 第12页 |
| 1.2 航空电子系统结构发展现状 | 第12-14页 |
| 1.3 航空电子网络性能研究现状 | 第14-18页 |
| 1.3.1 网络实时性分析方法研究现状 | 第14-15页 |
| 1.3.2 AFDX实时性优化研究现状 | 第15-17页 |
| 1.3.3 时间触发通信协议发展现状 | 第17-18页 |
| 1.4 分布式网络数据完整性技术研究现状 | 第18-19页 |
| 1.5 存在的问题 | 第19页 |
| 1.6 论文的研究内容和组织结构 | 第19-22页 |
| 2 DIMA的时间触发AFDX网络体系结构设计 | 第22-30页 |
| 2.1 时间触发AFDX网络结构 | 第22-24页 |
| 2.2 时间触发AFDX网络技术 | 第24-27页 |
| 2.2.1 时钟同步技术 | 第24-25页 |
| 2.2.2 虚链路技术 | 第25-26页 |
| 2.2.3 冗余管理技术 | 第26-27页 |
| 2.3 TTAFDX网络协议 | 第27-29页 |
| 2.3.1 TTAFDX网络协议栈设计 | 第27-28页 |
| 2.3.2 TTAFDX网络数据帧设计 | 第28-29页 |
| 2.4 本章小结 | 第29-30页 |
| 3 DIMA网络的时间触发虚链路调度算法设计与实时性分析 | 第30-68页 |
| 3.1 时间触发虚链路端系统调度算法设计 | 第30-35页 |
| 3.1.1 周期优先的调度表设计 | 第32-33页 |
| 3.1.2 帧长度优先的调度表设计 | 第33-35页 |
| 3.2 时间触发虚链路交换机调度算法设计 | 第35-36页 |
| 3.3 TTAFDX网络建模及时延分析 | 第36-41页 |
| 3.3.1 TTAFDX网络模型 | 第36-39页 |
| 3.3.2 确定性网络演算理论基础 | 第39-41页 |
| 3.4 AFDX虚链路实时性分析 | 第41-56页 |
| 3.5 TTAFDX时间触发虚链路实时性分析 | 第56-64页 |
| 3.6 TTAFDX速率限制虚链路实时性分析 | 第64-67页 |
| 3.7 本章小结 | 第67-68页 |
| 4 DIMA网络的速率限制虚链路调度算法研究与实时性分析 | 第68-90页 |
| 4.1 基于SMQRR的速率限制虚链路调度算法 | 第68-74页 |
| 4.1.2 SMQRR算法描述 | 第69-72页 |
| 4.1.3 举例 | 第72-74页 |
| 4.2 SMQRR时延分析 | 第74-79页 |
| 4.3 时延上界对比分析 | 第79-80页 |
| 4.4 SMQRR公平性 | 第80-82页 |
| 4.5 SMQRR实现复杂度 | 第82-83页 |
| 4.6 仿真平台搭建及实验结果 | 第83-87页 |
| 4.6.1 仿真平台简介 | 第83页 |
| 4.6.2 仿真网络搭建 | 第83-84页 |
| 4.6.3 仿真实验设计 | 第84-85页 |
| 4.6.4 仿真实验结果分析 | 第85-87页 |
| 4.7 本章小节 | 第87-90页 |
| 5 DIMA网络中静态数据存储完整性验证方案设计 | 第90-100页 |
| 5.1 基于第三方的数据完整性验证模型 | 第90-91页 |
| 5.2 基于代数签名的数据完整性验证方案 | 第91-97页 |
| 5.2.1 相关概念及定义 | 第91-94页 |
| 5.2.2 方案设计 | 第94-95页 |
| 5.2.3 安全性分析 | 第95-97页 |
| 5.3 性能分析与实验 | 第97-99页 |
| 5.3.1 计算开销 | 第97页 |
| 5.3.2 存储开销 | 第97-98页 |
| 5.3.3 通信开销 | 第98页 |
| 5.3.4 抽样检查分析 | 第98-99页 |
| 5.4 本章小节 | 第99-100页 |
| 6 DIMA网络中动态数据存储完整性验证方案设计 | 第100-116页 |
| 6.1 基于跳表的动态数据完整性验证方案 | 第100-105页 |
| 6.1.1 相关概念及定义 | 第100-101页 |
| 6.1.2 方案设计 | 第101-105页 |
| 6.1.3 安全性分析 | 第105页 |
| 6.1.4 适用性分析 | 第105页 |
| 6.2 基于跳表的数据完整性验证方案性能分析与实验 | 第105-106页 |
| 6.2.1 计算开销 | 第105-106页 |
| 6.2.2 存储开销 | 第106页 |
| 6.2.3 通信开销 | 第106页 |
| 6.2.4 运行性能分析 | 第106页 |
| 6.3 基于MHT的动态数据完整性验证方案 | 第106-113页 |
| 6.3.1 相关概念及定义 | 第107-108页 |
| 6.3.2 方案设计 | 第108-112页 |
| 6.3.3 完备性分析 | 第112-113页 |
| 6.3.4 正确性分析 | 第113页 |
| 6.3.5 适用性分析 | 第113页 |
| 6.4 基于MHT的动态数据完整性验证方案性能分析与实验 | 第113-115页 |
| 6.4.1 计算开销 | 第113-114页 |
| 6.4.2 存储开销 | 第114页 |
| 6.4.3 通信开销 | 第114-115页 |
| 6.5 本章小节 | 第115-116页 |
| 7 总结和展望 | 第116-120页 |
| 7.1 工作总结 | 第116-117页 |
| 7.2 进一步研究方向 | 第117-120页 |
| 参考文献 | 第120-130页 |
| 致谢 | 第130-132页 |
| 攻读博士学位期间发表的学术论文和参加科研情况 | 第132-134页 |
