| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第1章 绪论 | 第13-33页 |
| ·研究背景 | 第13-14页 |
| ·相关研究现状 | 第14-27页 |
| ·自愈调控研究起源与发展 | 第14-19页 |
| ·自愈调控策略生成与优化 | 第19-21页 |
| ·自愈调控数据分析与预测 | 第21-24页 |
| ·关键任务自愈调度机制 | 第24-27页 |
| ·存在问题和发展趋势 | 第27-28页 |
| ·当前存在问题 | 第27页 |
| ·发展趋势 | 第27-28页 |
| ·论文目的与意义 | 第28-30页 |
| ·研究目的 | 第28-29页 |
| ·研究意义 | 第29-30页 |
| ·论文研究内容 | 第30-31页 |
| ·论文组织结构 | 第31-33页 |
| 第2章 自愈调控总体架构设计与形式化建模 | 第33-50页 |
| ·引言 | 第33页 |
| ·自愈调控总体设计原则 | 第33-37页 |
| ·自愈调控基本模式 | 第33-34页 |
| ·自愈调控设计流程 | 第34-35页 |
| ·自愈调控评价体系 | 第35-37页 |
| ·自愈调控总体架构设计 | 第37-40页 |
| ·自愈调控数据分析 | 第38页 |
| ·自愈调控策略生成 | 第38-40页 |
| ·关键任务自愈调度 | 第40页 |
| ·基于π演算的自愈调控形式化建模 | 第40-48页 |
| ·状态π演算基本语法 | 第42-43页 |
| ·关键任务执行流程 | 第43-44页 |
| ·关键任务状态π演算语义 | 第44-46页 |
| ·任务执行形式化验证 | 第46-48页 |
| ·本章小结 | 第48-50页 |
| 第3章 基于POMDP的自愈调控策略生成与收敛性分析 | 第50-68页 |
| ·引言 | 第50-51页 |
| ·自愈调控策略逻辑规约 | 第51-54页 |
| ·自愈调控策略基本表述 | 第51-53页 |
| ·自愈调控策略执行模式 | 第53-54页 |
| ·自愈调控策略管理 | 第54-56页 |
| ·自愈调控策略分类 | 第54-55页 |
| ·自愈调控策略化简 | 第55-56页 |
| ·自愈调控策略更新 | 第56-62页 |
| ·随机决策过程基本定义 | 第56-57页 |
| ·自愈调控策略更新算法 | 第57-60页 |
| ·策略收敛性分析 | 第60-62页 |
| ·实验结果与分析 | 第62-67页 |
| ·LANL失效策略统计 | 第62-64页 |
| ·随机策略收敛性测试 | 第64-67页 |
| ·本章小结 | 第67-68页 |
| 第4章 基于局部线性嵌入算法的自愈调控数据分析与预测 | 第68-85页 |
| ·引言 | 第68-69页 |
| ·失效预测问题定义 | 第69-70页 |
| ·失效预测基本框架 | 第69页 |
| ·失效特征相关性分析 | 第69-70页 |
| ·离散型失效事件联合聚类 | 第70-73页 |
| ·数值型失效数据降维与预测 | 第73-78页 |
| ·失效预测流程设计 | 第73-74页 |
| ·失效数据高维欧氏空间构建 | 第74-75页 |
| ·有监督的局部线性嵌入 | 第75-77页 |
| ·局部嵌入映射的优化 | 第77-78页 |
| ·实验结果与分析 | 第78-84页 |
| ·失效数据聚类分析 | 第78-81页 |
| ·失效预测性能测试 | 第81-84页 |
| ·本章小结 | 第84-85页 |
| 第5章 基于DAG任务重构迁移的关键任务调度机制 | 第85-104页 |
| ·引言 | 第85-86页 |
| ·任务迁移问题定义 | 第86-89页 |
| ·任务迁移框架 | 第86-87页 |
| ·DAG任务描述 | 第87-88页 |
| ·迁移任务死锁避免 | 第88-89页 |
| ·关键任务动态迁移 | 第89-93页 |
| ·任务执行时间计算 | 第89-90页 |
| ·DAG动态重构 | 第90-92页 |
| ·可迁移性判定 | 第92-93页 |
| ·基于任务-资源分配图的多任务迁移 | 第93-96页 |
| ·关键任务资源分配流程 | 第94-96页 |
| ·任务迁移代价分析 | 第96页 |
| ·实验结果与分析 | 第96-103页 |
| ·任务调度方案设计 | 第96-99页 |
| ·DAG任务重构 | 第99-101页 |
| ·任务迁移性能测试 | 第101-103页 |
| ·本章小结 | 第103-104页 |
| 结论 | 第104-106页 |
| 参考文献 | 第106-118页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第118-120页 |
| 致谢 | 第120页 |