| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 引言 | 第9-11页 |
| ·研究背景及意义 | 第9页 |
| ·国内外研究现状 | 第9-10页 |
| ·课题来源 | 第10页 |
| ·课题的研究内容 | 第10-11页 |
| 第二章 SIMULINK/STATEFLOW 组态仿真机制的概述 | 第11-35页 |
| ·组态软件基础 | 第11-14页 |
| ·组态软件结构及功能 | 第11-12页 |
| ·基于模型设计(Model-based Design) | 第12-14页 |
| ·MATLAB 概述 | 第14-15页 |
| ·SIMULINK 机制概述 | 第15-19页 |
| ·Simulink 建模要素 | 第16-19页 |
| ·STATEFLOW 机制概述 | 第19-26页 |
| ·有限自动机与 UML 状态图理论概述 | 第19-21页 |
| ·Stateflow 建模要素 | 第21-23页 |
| ·Simulink/Stateflow 形式语言描述 | 第23-24页 |
| ·自动代码生成机制 | 第24-26页 |
| ·仿真原理概述 | 第26-35页 |
| ·动态系统建模 | 第27-30页 |
| ·动态系统仿真 | 第30-32页 |
| ·Simulink 建模与仿真 | 第32-35页 |
| 第三章 组态仿真系统的总体设计 | 第35-38页 |
| ·组态仿真系统的基本功能 | 第35页 |
| ·组态仿真系统的总体设计框架 | 第35-37页 |
| ·开发工具与平台 | 第37-38页 |
| 第四章 图形组态系统的设计与实现 | 第38-53页 |
| ·图形组态模块的设计 | 第38-39页 |
| ·图形组态模块的实现 | 第39-51页 |
| ·生成模块的实现 | 第40-46页 |
| ·动画连接模块的实现 | 第46-47页 |
| ·数据管理模块的实现 | 第47-50页 |
| ·智能连接线 | 第50-51页 |
| ·测试与总结 | 第51-53页 |
| 第五章 仿真策略解释系统的分析与实现 | 第53-74页 |
| ·仿真算法的分析与实现 | 第53-58页 |
| ·仿真运行机制的分析 | 第58-62页 |
| ·Simulink RTW 原型化程序框架 | 第58-59页 |
| ·仿真运行机制的框架设计 | 第59-62页 |
| ·仿真运行机制的实现 | 第62-67页 |
| ·模块排序 | 第62-65页 |
| ·嵌套结构的分析与实现 | 第65-66页 |
| ·代数循环问题的解决方法 | 第66-67页 |
| ·STATEFLOW 机制分析与实现思路 | 第67-71页 |
| ·事件驱动机制 | 第67-68页 |
| ·状态的进入、执行和退出过程 | 第68-69页 |
| ·Stateflow 状态图实现思路 | 第69-71页 |
| ·测试与总结 | 第71-74页 |
| 第六章 总结与展望 | 第74-75页 |
| 致谢 | 第75-76页 |
| 参考文献 | 第76-78页 |
