具备约束的实时调度关键问题的研究
| 摘要 | 第1-7页 |
| Abstract | 第7-14页 |
| 第一章 绪论 | 第14-24页 |
| ·嵌入式系统 | 第14页 |
| ·实时系统与实时调度 | 第14-15页 |
| ·具备约束的实时调度问题 | 第15-21页 |
| ·具备偏序约束的实时调度 | 第16-19页 |
| ·问题提出 | 第16-17页 |
| ·研究现状 | 第17-19页 |
| ·具备QoS约束的实时调度 | 第19-21页 |
| ·问题提出 | 第19-20页 |
| ·研究现状 | 第20-21页 |
| ·本文研究的内容 | 第21-24页 |
| 第二章 经典实时调度理论与约束 | 第24-34页 |
| ·实时任务 | 第24-26页 |
| ·实时任务的定义及分类 | 第24-25页 |
| ·实时任务参数的符号化表示 | 第25-26页 |
| ·经典实时调度算法 | 第26-28页 |
| ·RM算法 | 第26-28页 |
| ·EDF算法 | 第28页 |
| ·RM与具备约束的实时调度 | 第28-31页 |
| ·RM与具备偏序约束的实时调度 | 第28-29页 |
| ·RM与具备QoS约束的实时调度 | 第29-31页 |
| ·EDF与具备约束的实时调度 | 第31-32页 |
| ·EDF与具备偏序约束的实时调度 | 第31页 |
| ·EDF与具备QoS约束的实时调度 | 第31-32页 |
| ·本章小结 | 第32-34页 |
| 第三章 满足偏序约束的在线调度 | 第34-54页 |
| ·经典算法分析 | 第35-37页 |
| ·LDF | 第35页 |
| ·EDF~* | 第35-37页 |
| ·基于拓扑排序研究偏序约束实时调度的可行性 | 第37-42页 |
| ·拓扑排序 | 第37-38页 |
| ·研究可行性 | 第38-39页 |
| ·并行拓扑排序原理与启发 | 第39-42页 |
| ·启发性例子 | 第42-43页 |
| ·调度原理 | 第43-49页 |
| ·调度原则 | 第43页 |
| ·基本原理 | 第43-49页 |
| ·算法设计 | 第49-50页 |
| ·算法分析与比较 | 第50-52页 |
| ·示例分析 | 第50页 |
| ·仿真实验 | 第50-52页 |
| ·本章小结 | 第52-54页 |
| 第四章 满足偏序约束的离线调度 | 第54-72页 |
| ·线性规划与调度 | 第54-57页 |
| ·线性规划一般描述 | 第54-57页 |
| ·线性规划求解约束调度可行性 | 第57页 |
| ·问题分析 | 第57-58页 |
| ·求解过程 | 第58页 |
| ·偏序约束的非周期实时任务的离线调度 | 第58-64页 |
| ·符号及假设 | 第58-59页 |
| ·约束不等式描述 | 第59-60页 |
| ·算法设计 | 第60-61页 |
| ·算例 | 第61-64页 |
| ·具备偏序约束的周期实时任务的离线调度 | 第64-67页 |
| ·符号及假设 | 第64-65页 |
| ·全局偏序关系图 | 第65-66页 |
| ·不等式约束 | 第66-67页 |
| ·仿真实验 | 第67-70页 |
| ·实验设计 | 第67页 |
| ·时间效率同偏序关系数之间的关系 | 第67-68页 |
| ·时间效率同系统负载之间的关系 | 第68-70页 |
| ·本章小结 | 第70-72页 |
| 第五章 满足QoS约束的固定优先级调度 | 第72-94页 |
| ·具备QoS约束的实时系统模型 | 第73-77页 |
| ·系统模型 | 第73-74页 |
| ·μ-pattern与QoS约束规范 | 第74-77页 |
| ·经典算法分析 | 第77-80页 |
| ·基于QOS的实时静态调度算法 | 第77-78页 |
| ·基于QOS的实时动态调度算法 | 第78-80页 |
| ·系统模型与假设 | 第80-81页 |
| ·满足QoS约束的固定优先级调度 | 第81-85页 |
| ·基本思想 | 第81页 |
| ·具体设计 | 第81-82页 |
| ·可调度分析 | 第82-83页 |
| ·示例分析与比较 | 第83-85页 |
| ·QoS退化机制 | 第85-90页 |
| ·问题描述 | 第85页 |
| ·系统模型 | 第85-86页 |
| ·算法设计 | 第86-87页 |
| ·示例分析 | 第87-90页 |
| ·仿真实验与比较 | 第90-93页 |
| ·本章小结 | 第93-94页 |
| 第六章 满足实时QoS约束的离线优化 | 第94-112页 |
| ·系统模型 | 第95-96页 |
| ·能耗模型 | 第95页 |
| ·任务模型 | 第95-96页 |
| ·问题分析 | 第96-97页 |
| ·问题的解 | 第96-97页 |
| ·约束条件 | 第97页 |
| ·优化目标 | 第97页 |
| ·基于标准遗传算法的离线优化 | 第97-103页 |
| ·基于标准遗传算法的方案设计 | 第98-100页 |
| ·具体步骤及算例 | 第100-103页 |
| ·小结 | 第103页 |
| ·基于混合遗传算法的离线优化 | 第103-110页 |
| ·模拟退火算法简介 | 第104-106页 |
| ·模拟退火算法的基本原理 | 第104-105页 |
| ·模拟退火算法的基本过程 | 第105-106页 |
| ·可行性分析 | 第106-107页 |
| ·算法设计 | 第107-108页 |
| ·算例及实验 | 第108-110页 |
| ·算例 | 第108-109页 |
| ·仿真实验 | 第109-110页 |
| ·本章小结 | 第110-112页 |
| 第七章 总结与展望 | 第112-116页 |
| ·工作总结 | 第112-113页 |
| ·创新点 | 第113页 |
| ·未来工作 | 第113-116页 |
| 参考文献 | 第116-126页 |
| 致谢 | 第126-128页 |
| 作者从事科学研究和学习经历的简历 | 第128-130页 |
| 科学研究 | 第128页 |
| 学习经历 | 第128-130页 |
| 攻读博士期间发表的论文 | 第130页 |
