| 摘要 | 第1-7页 |
| ABSTRACT | 第7-15页 |
| 第一章 绪论 | 第15-41页 |
| ·嵌入式数控系统 | 第15-22页 |
| ·嵌入式数控系统的典型特征 | 第16-17页 |
| ·数控技术的发展趋势 | 第17-20页 |
| ·嵌入式数控系统开发面临的挑战 | 第20-22页 |
| ·组件化模型集成数控系统开发的总体框架 | 第22-30页 |
| ·组件化模型集成设计方法 | 第22-27页 |
| ·面向嵌入式数控系统的模型集成开发框架 | 第27-29页 |
| ·系统模型层存在的问题 | 第29-30页 |
| ·形式化方法 | 第30-36页 |
| ·形式化方法的简介 | 第30-32页 |
| ·形式化方法的分类 | 第32-35页 |
| ·形式化方法在工业中的应用 | 第35-36页 |
| ·本文的主要研究内容 | 第36-41页 |
| 第二章 组件化模型集成数控系统的形式化框架 | 第41-59页 |
| ·组件化模型集成数控系统的领域模型 | 第41-47页 |
| ·CNCDSM 的层次化结构 | 第41页 |
| ·功能单元层 | 第41-45页 |
| ·应用层 | 第45-46页 |
| ·系统层 | 第46-47页 |
| ·数控系统的形式化建模框架——CNCFMF | 第47-51页 |
| ·基于IEC 61499 的形式化建模语言——CNCFML | 第48-49页 |
| ·数控系统的形式化模型——CNCFM | 第49-51页 |
| ·数控系统的形式化验证框架——CNCFVF | 第51-54页 |
| ·系统相关性质的形式化描述——CNCPFS | 第52-53页 |
| ·系统的形式化验证——CNCFV | 第53-54页 |
| ·CNC2F | 第54-57页 |
| ·CNC2F 的设计目标 | 第54-55页 |
| ·CNC2F 的设计步骤 | 第55-56页 |
| ·CNC2F 的总体框架 | 第56-57页 |
| ·本章小结 | 第57-59页 |
| 第三章 组件化模型集成数控系统的形式化建模 | 第59-113页 |
| ·标记变迁系统——LTS | 第59-65页 |
| ·LTS | 第59-62页 |
| ·IOLTS | 第62-65页 |
| ·CNCFML 的语法域 | 第65-79页 |
| ·功能单元层的语法定义 | 第65-72页 |
| ·应用层的语法定义 | 第72-75页 |
| ·系统层的语法定义 | 第75-79页 |
| ·CNCFML 的语义域 | 第79-96页 |
| ·功能单元层的语义定制 | 第79-89页 |
| ·应用模型层的语义定制 | 第89-93页 |
| ·系统层的语义定制 | 第93-96页 |
| ·CNCFM | 第96-105页 |
| ·功能单元层的FM | 第96-102页 |
| ·应用层的FM | 第102-103页 |
| ·系统层的FM | 第103-105页 |
| ·CNCFML 中相关映射 | 第105-111页 |
| ·CNCDSM 到CNCFML 的语法指定 | 第106-108页 |
| ·CNCFML 的语法语义锚 | 第108-109页 |
| ·CNCFML 到CNCFM 的语义指定 | 第109-111页 |
| ·本章小结 | 第111-113页 |
| 第四章 数控系统的形式化仿真与验证 | 第113-135页 |
| ·系统验证 | 第113-117页 |
| ·模型仿真的验证方法 | 第113-114页 |
| ·形式化验证方法 | 第114-117页 |
| ·CNCPFS | 第117-125页 |
| ·CNCFSL | 第117-121页 |
| ·应用模型的逻辑功能描述 | 第121-123页 |
| ·系统模型的非功能属性描述 | 第123-125页 |
| ·基于功能的形式化仿真 | 第125-129页 |
| ·仿真工具——Ptolemy II[127-141] | 第125-127页 |
| ·基于Ptolemy II 的形式化仿真 | 第127-129页 |
| ·基于非功能属性的形式化验证 | 第129-134页 |
| ·实时性验证工具——UPPAAL[142-150] | 第129-130页 |
| ·基于UPPAAL 的形式化验证 | 第130-134页 |
| ·本章小结 | 第134-135页 |
| 第五章 基于CNC2F 的数控系统形式化建模与仿真验证的实例分析 | 第135-165页 |
| ·钻孔检测一体机控制系统 | 第135-158页 |
| ·系统需求 | 第136页 |
| ·系统建模 | 第136-152页 |
| ·系统验证 | 第152-158页 |
| ·数控平面切割机控制系统 | 第158-164页 |
| ·数控平面切割机的领域建模 | 第159页 |
| ·数控平面切割机的形式化建模 | 第159-162页 |
| ·数控平面切割机的形式化验证 | 第162-164页 |
| ·本章小结 | 第164-165页 |
| 结论与展望 | 第165-167页 |
| 参考文献 | 第167-178页 |
| 攻读博士学位期间取得的研究成果 | 第178-180页 |
| 致谢 | 第180-181页 |
| 附件 | 第181页 |
