摘要 | 第5-7页 |
Abstract | 第7-8页 |
第一章 绪论 | 第12-22页 |
1.1 选题研究背景与意义 | 第12-17页 |
1.1.1 CPS的定义 | 第12-14页 |
1.1.2 CPS的特性与挑战 | 第14-16页 |
1.1.3 CPS实时调度的研究意义 | 第16-17页 |
1.2 国内外研究现状 | 第17-19页 |
1.2.1 国际研究现状 | 第18页 |
1.2.2 国内研究现状 | 第18-19页 |
1.3 本文主要工作与创新点 | 第19-20页 |
1.4 本文内容安排与研究思路 | 第20-22页 |
第二章 研究基础与工具 | 第22-36页 |
2.1 离散事件模型概念与其调度研究 | 第22-23页 |
2.2 信息物理系统建模工具与方法 | 第23-28页 |
2.2.1 CPS模型融合与建模语义 | 第24-25页 |
2.2.2 CPS建模与仿真技术 | 第25-27页 |
2.2.3 CPS模型验证方法 | 第27-28页 |
2.3 Ptolemy Ⅱ建模平台 | 第28-34页 |
2.3.1 Ptolemy Ⅱ的异构建模方法 | 第28-29页 |
2.3.2 Ptolemy Ⅱ的计算模型 | 第29-34页 |
2.4 基于Ptolemy Ⅱ的离散事件模型建模方法 | 第34-36页 |
2.4.1 DE模型中的时间信号 | 第34页 |
2.4.2 DE模型的调度 | 第34-35页 |
2.4.3 DE模型调度的局限性 | 第35-36页 |
第三章 基于离散事件模型的控制约束条件实时语义 | 第36-47页 |
3.0 本章符号列表 | 第36-37页 |
3.1信号事件的实时事件标签 | 第37-40页 |
3.1.1实时事件标签下的系统状态转移规则 | 第37-38页 |
3.1.2 超致密时间概念 | 第38-39页 |
3.1.3 实时事件标签表达的约束条件 | 第39-40页 |
3.2 基于实时事件标签的离散事件模型实时语义分析 | 第40-42页 |
3.2.1 事件驱动状态转移的操作过程 | 第40-41页 |
3.2.2实时状态转移的确定性分析 | 第41-42页 |
3.3 实时标签理论在嵌入式预测调度模型中的应用 | 第42-46页 |
3.3.1 嵌入式控制预测调度模型设计 | 第42-43页 |
3.3.2 前馈控制器设计 | 第43-45页 |
3.3.3 反馈控制器设计 | 第45-46页 |
3.4 本章小结 | 第46-47页 |
第四章 基于实时标签约束条件的CPS模型调度性分析 | 第47-77页 |
4.0 本章符号列表 | 第47-48页 |
4.1 CPS调度算法概述 | 第48-49页 |
4.2 一种基于实时标签的价值评价方法 | 第49-58页 |
4.2.1 执行器的价值评价规则 | 第49-53页 |
4.2.1.1 执行器释放事件的信息熵 | 第49-51页 |
4.2.1.2 执行器的信息冗余度与事件的失效性 | 第51-52页 |
4.2.1.3 事件的数据质量 | 第52-53页 |
4.2.2 基于价值评价方法的调度策略 | 第53-54页 |
4.2.3 价值评价调度策略仿真分析 | 第54-58页 |
4.3 基于价值评价方法的CPS任务调度权限控制策略 | 第58-67页 |
4.3.1 系统调度参数 | 第58-62页 |
4.3.2 控制策略的事件执行顺序 | 第62-63页 |
4.3.3 调度权限控制策略实验分析 | 第63-67页 |
4.4 基于实时标签的CPS可调度性分析方法 | 第67-76页 |
4.4.1 带约束条件的执行器行为分析 | 第67-69页 |
4.4.2 执行器状态自动机 | 第69-71页 |
4.4.3 可调度性分析方法的验证 | 第71-76页 |
4.5 本章小结 | 第76-77页 |
第五章 基于CPS实时调度分析的GCPS调度方法研究 | 第77-89页 |
5.0 本章符号列表 | 第77页 |
5.1 电网信息物理系统概述 | 第77-79页 |
5.2 系统约束条件与调度性分析 | 第79-82页 |
5.2.1 电网系统的约束条件 | 第79-80页 |
5.2.2 GCPS系统模型的约束条件 | 第80-81页 |
5.2.3 系统任务的调度分析 | 第81-82页 |
5.3 GCPS自适应调度模型研究 | 第82-88页 |
5.3.1 发电机组可行近似期望目标优化 | 第82-83页 |
5.3.2 建立GCPS系统协同执行器网络 | 第83-87页 |
5.3.3 GCPS模型仿真分析 | 第87-88页 |
5.4 本章小结 | 第88-89页 |
第六章 总结与展望 | 第89-91页 |
6.1 本文总结 | 第89页 |
6.2 下一步工作 | 第89-91页 |
致谢 | 第91-92页 |
参考文献 | 第92-100页 |
附录A 攻读学位期间发表的论文与专利 | 第100-101页 |
附录B 攻读学位期间参与的研究工作 | 第101页 |