| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 综述 | 第9-18页 |
| ·背景 | 第9-10页 |
| ·IEC标准体系 | 第10页 |
| ·IEC61499及其功能块的基本概念 | 第10-14页 |
| ·系统模型 | 第11页 |
| ·设备模型 | 第11页 |
| ·源模型 | 第11页 |
| ·应用模型 | 第11-12页 |
| ·功能块模型 | 第12-13页 |
| ·执行控制表 | 第13-14页 |
| ·服务接口功能块 | 第14页 |
| ·研究现状分析 | 第14-15页 |
| ·立题依据 | 第15-17页 |
| ·本文结构 | 第17-18页 |
| 第二章 基于IEC61499和系统工程设计模式的控制系统设计 | 第18-34页 |
| ·介绍 | 第18-19页 |
| ·MVC设计模式及其扩展 | 第19-21页 |
| ·扩展的MVC设计模式 | 第19页 |
| ·层次化的MVC设计模式 | 第19-20页 |
| ·与传统的MVC设计模式的比较 | 第20-21页 |
| ·基于IEC61499 MVC框架应用例子 | 第21-27页 |
| ·MODEL设备 | 第21-24页 |
| ·VIEW设备 | 第24-25页 |
| ·CONTROL设备 | 第25-26页 |
| ·HMI设备 | 第26-27页 |
| ·故障诊断设备 | 第27页 |
| ·分布式设计 | 第27页 |
| ·系统工程设计方法 | 第27-33页 |
| ·小结 | 第33-34页 |
| 第三章 基于NCES的IEC61499功能块应用系统建模与验证 | 第34-54页 |
| ·介绍 | 第34-35页 |
| ·离散事件系统的模块化建模 | 第35-36页 |
| ·信号／事件网络的数学基础 | 第36-41页 |
| ·非时域模型 | 第36-38页 |
| ·时域模型 | 第38-40页 |
| ·时域计算树逻辑 | 第40-41页 |
| ·建模和验证符合IEC61499标准的控制系统 | 第41-48页 |
| ·一般性问题 | 第41页 |
| ·IEC61499组件的建模 | 第41-42页 |
| ·输入输出建模 | 第42-44页 |
| ·执行控制操作状态机 | 第44-45页 |
| ·执行控制表模型 | 第45页 |
| ·转换 | 第45页 |
| ·转换条件求值监视器 | 第45-48页 |
| ·状态 | 第47-48页 |
| ·IEC61499应用的建模与验证 | 第48-53页 |
| ·建立模型 | 第48-51页 |
| ·分析 | 第51-53页 |
| ·小结 | 第53-54页 |
| 第四章 功能块标记语言-对功能块的XML描述 | 第54-74页 |
| ·介绍 | 第54页 |
| ·XML技术 | 第54-59页 |
| ·XML语法 | 第55-57页 |
| ·XML DTD文档 | 第57-58页 |
| ·文档对象模型 | 第58-59页 |
| ·DOM对象模型 | 第58页 |
| ·DOM信息树 | 第58-59页 |
| ·FBML的文档类型定义 | 第59-70页 |
| ·数据类型DTD | 第60-62页 |
| ·库元素DTD | 第62-70页 |
| ·FBML的Java包 | 第70-71页 |
| ·FBML开发实例 | 第71-73页 |
| ·小结 | 第73-74页 |
| 第五章 功能块开发工具的框架结构 | 第74-78页 |
| ·引言 | 第74页 |
| ·功能块配置工具 | 第74-77页 |
| ·功能块系统的建模和验证 | 第77页 |
| ·小结 | 第77-78页 |
| 第六章 结束语 | 第78-80页 |
| 参考文献 | 第80-86页 |
| 致谢 | 第86-87页 |
| 作者在攻读硕士期间完成的论文 | 第87-88页 |
| 科研情况 | 第88页 |