基于模型集成的嵌入式数控系统设计关键技术研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-17页 |
| 第一章 绪论 | 第17-35页 |
| ·嵌入式数控系统 | 第17-24页 |
| ·数控技术及其发展趋势 | 第17-19页 |
| ·数控系统开发研究现状 | 第19-21页 |
| ·嵌入式数控系统的典型特征 | 第21-22页 |
| ·嵌入式数控系统开发面临的挑战 | 第22-24页 |
| ·模型集成设计方法 | 第24-30页 |
| ·基于模型的系统设计方法 | 第25-27页 |
| ·基于组件的系统设计方法 | 第27-28页 |
| ·模型集成设计方法 | 第28-30页 |
| ·本文的主要研究内容 | 第30-35页 |
| 第二章 CNCMIF：数控系统模型集成框架 | 第35-53页 |
| ·CNCMIF的理论基础 | 第35-43页 |
| ·DSM | 第35-41页 |
| ·IEC61499 | 第41-43页 |
| ·CNCMIF | 第43-50页 |
| ·CNCMIF基本框架 | 第43-46页 |
| ·CNCMIF设计目标 | 第46-47页 |
| ·CNCMIF形式化定义 | 第47页 |
| ·CNCMIF 的实现 | 第47-50页 |
| ·CNCML | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第三章 CNCML领域描述 | 第53-71页 |
| ·CNCML领域描述策略 | 第53-54页 |
| ·多粒度组件模型 | 第54-57页 |
| ·原子功能组件 | 第54-55页 |
| ·复合功能组件 | 第55-56页 |
| ·功能单元 | 第56-57页 |
| ·多视角集成模型 | 第57-61页 |
| ·数控系统视角定义 | 第57页 |
| ·功能视角模型 | 第57-58页 |
| ·平台视角模型 | 第58页 |
| ·实施视角模型 | 第58-59页 |
| ·多视角集成平台 | 第59-61页 |
| ·数控领域元模型设计 | 第61-69页 |
| ·数控领域组件定义 | 第61-64页 |
| ·数控领域组件元模型 | 第64-65页 |
| ·功能视角元模型 | 第65-67页 |
| ·平台视角元模型 | 第67-68页 |
| ·实施视角元模型 | 第68-69页 |
| ·数控系统视角间交互定义 | 第69页 |
| ·本章小结 | 第69-71页 |
| 第四章 CNCML形式化行为语义描述 | 第71-89页 |
| ·MOC | 第71页 |
| ·基于模型转换的形式化语义集成 | 第71-74页 |
| ·形式化语义集成框架 | 第71-73页 |
| ·形式化语义映射定义 | 第73-74页 |
| ·数控系统形式化语义单元 | 第74-81页 |
| ·FSM_SU | 第75-76页 |
| ·SDF_SU | 第76-77页 |
| ·SDFFSM_SU | 第77-78页 |
| ·TATM_SU | 第78-81页 |
| ·基于GReAT的形式化语义映射 | 第81-88页 |
| ·基于GReAT的模型转换 | 第81页 |
| ·转换实例 | 第81-88页 |
| ·本章小结 | 第88-89页 |
| 第五章 CNCML可重构性评价体系研究 | 第89-109页 |
| ·CNCML可重构性 | 第89-91页 |
| ·可重构性定义 | 第89-90页 |
| ·影响系统可重构性的特征 | 第90-91页 |
| ·CNCML组件交互关系定义 | 第91-97页 |
| ·组件交互关系类型定义 | 第91-92页 |
| ·数据通信交互关系 | 第92页 |
| ·事件通信交互关系 | 第92-93页 |
| ·同步交互关系 | 第93页 |
| ·实施交互关系 | 第93-94页 |
| ·实例分析 | 第94-97页 |
| ·单种类型交互关系的耦合度测量评价 | 第97-99页 |
| ·耦合强度系数 | 第98页 |
| ·交互对象系数 | 第98页 |
| ·单种类型交互关系的耦合度测量实例分析 | 第98-99页 |
| ·多种类型交互关系的耦合度测量评价 | 第99-102页 |
| ·相对耦合系数 | 第100-101页 |
| ·权重因子 | 第101-102页 |
| ·可重构性评价实例 | 第102-107页 |
| ·本章小结 | 第107-109页 |
| 第六章 基于CNCMIF的数控系统开发实例 | 第109-125页 |
| ·数控系统需求分析 | 第109-110页 |
| ·数控系统硬件平台介绍 | 第110-111页 |
| ·数控车床系统领域模型构建 | 第111-114页 |
| ·功能视角模型 | 第111页 |
| ·平台视角模型 | 第111-113页 |
| ·实施视角模型 | 第113-114页 |
| ·车床数控系统可重构性验证 | 第114-116页 |
| ·结构重构 | 第114-116页 |
| ·实施重构 | 第116页 |
| ·数控系统形式化仿真与验证 | 第116-120页 |
| ·功能仿真 | 第116-118页 |
| ·实时性能验证 | 第118-120页 |
| ·数控系统代码自动生成 | 第120-122页 |
| ·面向WinCE平台的代码自动生成 | 第120-121页 |
| ·面向DSP/BIOS平台的代码自动生成 | 第121-122页 |
| ·数控系统集成测试 | 第122-123页 |
| ·结论 | 第123页 |
| ·本章小结 | 第123-125页 |
| 结论与展望 | 第125-129页 |
| 参考文献 | 第129-141页 |
| 攻读博士学位期间取得的研究成果 | 第141-143页 |
| 致谢 | 第143页 |
