| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第12-27页 |
| 1.1 可重构嵌入式数控系统概述 | 第12-15页 |
| 1.1.1 数控系统发展趋势 | 第12-13页 |
| 1.1.2 可重构数控系统介绍 | 第13-14页 |
| 1.1.3 可重构数控系统开发面临的挑战 | 第14-15页 |
| 1.2 可重构嵌入式数控系统开发方法 | 第15-18页 |
| 1.2.1 组件化开发方法 | 第15-16页 |
| 1.2.2 基于模型的系统设计方法 | 第16-18页 |
| 1.3 组件化模型集成开发方法 | 第18-22页 |
| 1.3.1 特定领域建模语言（DSML）及其支持工具的研究 | 第18-19页 |
| 1.3.2 模型验证及其支持技术研究 | 第19-20页 |
| 1.3.3 代码实现技术的研究 | 第20-22页 |
| 1.4 软件框架 | 第22-25页 |
| 1.5 本文的研究内容 | 第25-27页 |
| 第二章 组件化的可重构嵌入式数控系统软件框架研究 | 第27-44页 |
| 2.1 模型集成嵌入式数控系统设计开发方法 | 第27-29页 |
| 2.2 基于连接管理的组件化嵌入式数控系统软件框架 | 第29-41页 |
| 2.2.1 嵌入式数控系统功能组件定义 | 第30-31页 |
| 2.2.2 组件间交互机制 | 第31-33页 |
| 2.2.3 软件框架实现结构 | 第33-39页 |
| 2.2.4 功能块与外部环境或存储空间交互 | 第39-41页 |
| 2.3 支撑软件框架的目标平台结构 | 第41-42页 |
| 2.3.1 设计原则 | 第41页 |
| 2.3.2 分层目标平台结构 | 第41-42页 |
| 2.4 软件框架特性 | 第42-43页 |
| 2.4.1 完整性 | 第42-43页 |
| 2.4.2 数据准确性 | 第43页 |
| 2.4.3 实时性 | 第43页 |
| 2.4.4 可重构性 | 第43页 |
| 2.5 本章小结 | 第43-44页 |
| 第三章 基于IEC61499 的数控系统组件代码实现研究 | 第44-72页 |
| 3.1 基于IEC 61499 的嵌入式数控系统基本功能组件建立 | 第44-48页 |
| 3.1.1 数控系统基本功能组件开发要求 | 第45-46页 |
| 3.1.2 基于领域分析的数控系统功能块的分类 | 第46-48页 |
| 3.2 基本功能组件类型代码生成 | 第48-59页 |
| 3.2.1 基于模板的代码实现 | 第48-50页 |
| 3.2.2 总体实现过程 | 第50-51页 |
| 3.2.3 模板设计 | 第51-59页 |
| 3.3 功能块组件算法的实现 | 第59-71页 |
| 3.3.1 多段连续螺纹算法 | 第59-68页 |
| 3.3.2 螺纹算法代码实现 | 第68-71页 |
| 3.3.3 螺纹功能组件模型 | 第71页 |
| 3.4 本章总结 | 第71-72页 |
| 第四章 嵌入式数控系统代码实现框架研究 | 第72-89页 |
| 4.1 代码实现框架 | 第72-75页 |
| 4.1.1 总体设计思想 | 第72-73页 |
| 4.1.2 嵌入数控系统领域建模代码生成器的实现过程框架（ENCCGF） | 第73-75页 |
| 4.2 目标平台代码的产生 | 第75-79页 |
| 4.2.1 目标平台模板设计及实现 | 第76-77页 |
| 4.2.2 实时操作系统层任务配置 | 第77-79页 |
| 4.3 软件框架可变点产生 | 第79-83页 |
| 4.3.1 事件连接管理单元实现 | 第80-82页 |
| 4.3.2 数据连接管理单元实现 | 第82页 |
| 4.3.3 功能组件实例容器实现 | 第82-83页 |
| 4.4 可执行功能块库的选择方法 | 第83-86页 |
| 4.4.1 复合功能块组件分解 | 第84-85页 |
| 4.4.2 基本组件类型选择算法 | 第85页 |
| 4.4.3 实例说明 | 第85-86页 |
| 4.5 编译连接处理 | 第86-87页 |
| 4.6 代码生成器的实现 | 第87-88页 |
| 4.7 本章小结 | 第88-89页 |
| 第五章 嵌入式数控系统开发与验证 | 第89-115页 |
| 5.1 硬质合金PCB微型铣刀开槽机控制系统——CNC2400 | 第89-98页 |
| 5.1.1 模型建立 | 第91-93页 |
| 5.1.2 系统代码实现 | 第93-97页 |
| 5.1.3 系统验证 | 第97-98页 |
| 5.2 车床数控系统 | 第98-110页 |
| 5.2.1 数控系统需求 | 第98页 |
| 5.2.2 数控系统硬件平台介绍 | 第98-99页 |
| 5.2.3 车床数控系统领域模型构建 | 第99-102页 |
| 5.2.4 车床数控系统代码实现 | 第102-107页 |
| 5.2.5 车床数控系统集成测试 | 第107-110页 |
| 5.3 可重构性验证 | 第110-114页 |
| 5.3.1 可重构性验证 | 第110-113页 |
| 5.3.2 讨论 | 第113-114页 |
| 5.4 本章小结 | 第114-115页 |
| 结论与展望 | 第115-117页 |
| 参考文献 | 第117-124页 |
| 攻读博士学位期间取得的研究成果 | 第124-126页 |
| 致谢 | 第126-127页 |
| 附件 | 第127页 |
