| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 1 绪论 | 第9-16页 |
| ·课题的背景、目的和意义 | 第9-11页 |
| ·课题的来源、目的和意义 | 第9页 |
| ·课题的背景 | 第9-11页 |
| ·MODELICA 语言发展综述 | 第11-14页 |
| ·Modelica 语言的形成与发展 | 第11-12页 |
| ·Modelica 语言的特点 | 第12-13页 |
| ·基于Modelica 语言的建模仿真平台开发 | 第13页 |
| ·国内Modelica 语言研究状况 | 第13-14页 |
| ·本文的主要工作和内容安排 | 第14-16页 |
| 2 MODELICA 语法特征及MWORKS 结构流程 | 第16-32页 |
| ·MODELICA 语法特征 | 第16-22页 |
| ·面向对象与非因果联系建模 | 第17-18页 |
| ·多领域建模 | 第18-19页 |
| ·抽象模型 | 第19-21页 |
| ·类变型 | 第21-22页 |
| ·Modelica 标准库 | 第22页 |
| ·MWORKS 系统编译器的流程与结构 | 第22-31页 |
| ·MWorks 系统编译器设计流程 | 第22-26页 |
| ·MWorks 编译器结构 | 第26-31页 |
| ·本章小结 | 第31-32页 |
| 3 MODELICA 语言编译器查找机制的研究与实现 | 第32-53页 |
| ·MODELICA 语言的查找环境与规则 | 第32-37页 |
| ·Modelica 作用域的层次结构 | 第32-33页 |
| ·Modelica 查找路径 | 第33-35页 |
| ·查找机制中的规则 | 第35-37页 |
| ·MODELICA 语言的查找过程研究 | 第37-41页 |
| ·嵌套查找过程 | 第37-38页 |
| ·同层查找过程 | 第38-39页 |
| ·标准查找过程 | 第39-40页 |
| ·自顶向下查找 | 第40-41页 |
| ·查找机制设计与实现 | 第41-48页 |
| ·查找机制数据结构设计 | 第42-43页 |
| ·查找机制的实现 | 第43-48页 |
| ·查找机制中几个关键技术 | 第48-52页 |
| ·类型循环继承的处理 | 第48-50页 |
| ·类型/组件重名检查机制 | 第50-51页 |
| ·错误处理机制 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 4 MODELICA 语言编译器变型机制的研究与实现 | 第53-66页 |
| ·MODELICA 语言中的变型机制 | 第53-56页 |
| ·面向对象语言中的继承 | 第53-54页 |
| ·Modelica 中的变型 | 第54页 |
| ·变型机制的应用与规范 | 第54-56页 |
| ·变型机制算法研究 | 第56-60页 |
| ·构造变量表法 | 第57-58页 |
| ·构造变型表法 | 第58-60页 |
| ·变型机制的实现 | 第60-65页 |
| ·数据结构设计 | 第60-62页 |
| ·变型解析 | 第62-63页 |
| ·变型实例化 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 5 MWORKS 系统介绍与运行实例 | 第66-76页 |
| ·MWORKS 系统介绍 | 第66-70页 |
| ·运行实例 | 第70-74页 |
| ·查找机制运行实例 | 第70-73页 |
| ·变型机制运行实例 | 第73-74页 |
| ·本章小结 | 第74-76页 |
| 6 结论和未来工作展望 | 第76-78页 |
| ·全文总结 | 第76-77页 |
| ·未来工作展望 | 第77-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-84页 |
| 附录1 攻读学位期间发表论文目录 | 第84页 |
