| 第一章 绪论 | 第1-19页 |
| ·研究主题及目标 | 第9页 |
| ·研究背景 | 第9-16页 |
| ·实时调度及实时系统验证的研究现状 | 第9-12页 |
| ·可视化及地学可视化的研究现状 | 第12-13页 |
| ·本文研究的动机 | 第13-16页 |
| ·研究内容和创新工作 | 第16-18页 |
| ·论文的组织结构 | 第18-19页 |
| 第二章 基本理论和方法 | 第19-47页 |
| ·实时调度 | 第19-32页 |
| ·实时调度的相关概念 | 第19-21页 |
| ·实时调度算法 | 第21-26页 |
| ·实时非精确系统的调度 | 第26-31页 |
| ·实时调度框架和实时系统模型 | 第31-32页 |
| ·实时系统验证 | 第32-34页 |
| ·形式化验证 | 第32-33页 |
| ·仿真验证 | 第33-34页 |
| ·可视化 | 第34-41页 |
| ·一般可视化 | 第34-38页 |
| ·地学可视化 | 第38-41页 |
| ·问题的提出 | 第41-45页 |
| ·实时异构系统的调度 | 第41-44页 |
| ·实时异构系统调度的仿真验证 | 第44页 |
| ·实时数据的可视化 | 第44-45页 |
| ·本章小结 | 第45-47页 |
| 第三章 实时异构系统的多级调度框架 | 第47-61页 |
| ·调度问题分析 | 第47-48页 |
| ·多级调度框架概述 | 第48-54页 |
| ·重要概念 | 第48-49页 |
| ·规划阶段和运行阶段 | 第49-51页 |
| ·静态策略和动态策略 | 第51-52页 |
| ·全局调度和局部调度 | 第52-54页 |
| ·多级调度框架的构成 | 第54-60页 |
| ·总框架 | 第54-55页 |
| ·核心控制模块 | 第55-58页 |
| ·常规功能模块 | 第58-60页 |
| ·本章小结 | 第60-61页 |
| 第四章 实时异构系统的多级调度模型 | 第61-99页 |
| ·概述 | 第61-62页 |
| ·系统结构模型 | 第62-68页 |
| ·概述 | 第62-64页 |
| ·系统结构模型SSM | 第64-67页 |
| ·各种简化的系统结构模型 | 第67-68页 |
| ·系统任务模型 | 第68-84页 |
| ·概述 | 第68-71页 |
| ·系统任务模型STM | 第71-72页 |
| ·任务属性模型TAM | 第72-77页 |
| ·事件-条件-动作规则(ECA规则) | 第77-82页 |
| ·任务资源描述模型TRDM | 第82-83页 |
| ·任务运行的顺序相关性约束 | 第83-84页 |
| ·功能模块模型 | 第84-93页 |
| ·概述 | 第84-85页 |
| ·功能模块模型FMM | 第85-86页 |
| ·功能模块属性模型FMAM | 第86-88页 |
| ·变量描述模型VDM | 第88-90页 |
| ·功能模块内部所需要的ECA规则 | 第90页 |
| ·核心控制模块属性模型KCMAM | 第90-92页 |
| ·常规功能模块属性模型RFMAM | 第92-93页 |
| ·多级调度方案模型 | 第93-97页 |
| ·概述 | 第93页 |
| ·多级调度方案模型MLSSM | 第93-94页 |
| ·任务分配项目模型TAIM | 第94-95页 |
| ·全局调度项目模型GSIM | 第95-96页 |
| ·局部调度项目模型LSIM | 第96-97页 |
| ·本章小结 | 第97-99页 |
| 第五章 实时异构系统的动态任务分配和调度算法 | 第99-109页 |
| ·概述 | 第99页 |
| ·相关假设和定义 | 第99-100页 |
| ·任务分配策略 | 第100-102页 |
| ·动态任务分配和调度算法 | 第102-104页 |
| ·模拟研究 | 第104-107页 |
| ·模拟方法 | 第104-105页 |
| ·模拟结果 | 第105-107页 |
| ·本章小结 | 第107-109页 |
| 第六章 实时异构系统调度的仿真验证方法 | 第109-135页 |
| ·调度的仿真验证方法 | 第109-113页 |
| ·系统模型标记语言 | 第113-134页 |
| ·概述 | 第113-114页 |
| ·语法描述部分 | 第114-125页 |
| ·语义描述部分 | 第125-134页 |
| ·其它定义 | 第134页 |
| ·本章小结 | 第134-135页 |
| 第七章 机载SAR高分辨率实时成像系统的调度研究 | 第135-153页 |
| ·概述 | 第135-137页 |
| ·系统建模(多级调度模型) | 第137-145页 |
| ·系统结构模型 | 第137-138页 |
| ·系统任务模型 | 第138-141页 |
| ·功能模块模型 | 第141-143页 |
| ·多级调度方案模型 | 第143-145页 |
| ·系统模型标记语言描述 | 第145-150页 |
| ·系统结构模型SSM的SMML描述 | 第145页 |
| ·系统任务模型STM的SMML描述 | 第145-147页 |
| ·功能模块模型FMM的SMML描述 | 第147-149页 |
| ·多级调度方案模型MLSSM的SMML描述 | 第149-150页 |
| ·调度的仿真验证 | 第150-152页 |
| ·本章小结 | 第152-153页 |
| 第八章 机载SAR高分辨率实时成像系统的可视化研究 | 第153-163页 |
| ·概述 | 第153页 |
| ·机载SAR高分辨率实时成像系统的可视化方案 | 第153-156页 |
| ·概述 | 第153-154页 |
| ·全景模式 | 第154页 |
| ·多视模式 | 第154-155页 |
| ·其它交互控制 | 第155页 |
| ·算法的时间正确性 | 第155-156页 |
| ·缩略图的原理和实现算法 | 第156-161页 |
| ·飞行方向的计算 | 第156页 |
| ·缩略图的原理和实现算法 | 第156-161页 |
| ·实际效果 | 第161-162页 |
| ·本章小结 | 第162-163页 |
| 第九章 结论及进一步的工作 | 第163-167页 |
| ·论文总结 | 第163-164页 |
| ·进一步的工作 | 第164-167页 |
| 参考文献 | 第167-179页 |
| 攻读学位期间发表文章及参加项目情况 | 第179-181页 |
| 致谢 | 第181页 |