动态系统建模软件设计与开发
| 第一章 绪论 | 第1-15页 |
| ·混杂系统建模与仿真 | 第11-12页 |
| ·本论文的出发点 | 第12-13页 |
| ·论文研究内容 | 第13-14页 |
| ·论文组织结构 | 第14-15页 |
| 第二章 混杂系统建模现状 | 第15-26页 |
| ·混杂系统特点 | 第15-16页 |
| ·混杂系统建模 | 第16-17页 |
| ·混杂系统仿真 | 第17-21页 |
| ·微分代数方程 | 第18-20页 |
| ·指数 | 第19-20页 |
| ·初始化 | 第20页 |
| ·不连续情况 | 第20-21页 |
| ·状态驱动事件 | 第21页 |
| ·切换多套方程 | 第21页 |
| ·混杂系统建模语言 | 第21-23页 |
| ·条件模型 | 第23-24页 |
| ·建模语言的选择 | 第24-26页 |
| 第三章 面向对象建模语言Modelica | 第26-36页 |
| ·何为Modelica | 第26-29页 |
| ·Modelica开发背景 | 第26-28页 |
| ·Modelica发展历史 | 第28页 |
| ·Modelica的应用 | 第28-29页 |
| ·Modelica的优点 | 第29-36页 |
| ·类似于自然语言的语法 | 第29-31页 |
| ·模型与开发平台、实现手段无关 | 第31-32页 |
| ·使用面向对象建模思想 | 第32-33页 |
| ·能处理混杂系统 | 第33-34页 |
| ·支持多领域联合建模 | 第34-35页 |
| ·支持多范式建模 | 第35页 |
| ·模型维护与文档化 | 第35-36页 |
| 第四章 动态系统建模仿真环境的系统设计 | 第36-43页 |
| ·系统设计 | 第36-38页 |
| ·建模环境 | 第38-39页 |
| ·仿真环境 | 第39-43页 |
| ·编译模块 | 第39-40页 |
| ·混杂系统引擎 | 第40-41页 |
| ·用户交互模块 | 第41-43页 |
| 第五章 Modelica编译器的设计与开发 | 第43-56页 |
| ·编译过程和编译器组成 | 第43-45页 |
| ·编译程序生成器Antlr | 第45-47页 |
| ·分析能力强 | 第45页 |
| ·语法简单 | 第45-46页 |
| ·生成代码可读 | 第46页 |
| ·错误处理力强 | 第46页 |
| ·支持多种面向对象语言 | 第46-47页 |
| ·词法分析 | 第47-51页 |
| ·Modelica词法 | 第47-50页 |
| ·行终结符 | 第47页 |
| ·空白符 | 第47-48页 |
| ·注释 | 第48页 |
| ·记号 | 第48-50页 |
| ·标示符 | 第48页 |
| ·关键字 | 第48-49页 |
| ·文字 | 第49-50页 |
| ·操作符 | 第50页 |
| ·Modelica词法分析的实现 | 第50-51页 |
| ·语法分析 | 第51-52页 |
| ·语法树的构建 | 第51-52页 |
| ·语义节点的确定 | 第52页 |
| ·核心数据结构 | 第52-56页 |
| ·主驱动程序 | 第52-53页 |
| ·类型管理模块 | 第53-54页 |
| ·类型跟踪模块 | 第54页 |
| ·代码生成模块 | 第54-55页 |
| ·语句 | 第55页 |
| ·方程的管理 | 第55-56页 |
| 第六章 混杂系统求解算法 | 第56-64页 |
| ·边界跨越算法 | 第56-61页 |
| ·算法原理 | 第56-58页 |
| ·边界跨越算法求解 | 第58-61页 |
| ·边界跨越 | 第59-60页 |
| ·关于连续性的假设 | 第60-61页 |
| ·边界跨越算法的实现 | 第61-64页 |
| 第七章 微分代数方程求解器的开发 | 第64-72页 |
| ·DASSL | 第64-67页 |
| ·步长和阶数的选择 | 第66页 |
| ·收敛性和精度 | 第66-67页 |
| ·IRK | 第67-68页 |
| ·微分代数方程求解器MoSlv | 第68-72页 |
| ·问题定义 | 第68-69页 |
| ·算法选择和格式设定 | 第69页 |
| ·应用实例 | 第69-72页 |
| 第八章 实例验证 | 第72-77页 |
| ·撞球的条件模型 | 第72-73页 |
| ·撞球的离散模型 | 第73-75页 |
| ·带有状态检测的撞球模型 | 第75-77页 |
| 第九章 结论与展望 | 第77-81页 |
| ·研究结论 | 第77-79页 |
| ·Modelica建模语言 | 第78页 |
| ·Modelica编译器 | 第78页 |
| ·条件模型管理 | 第78-79页 |
| ·方程求解系统 | 第79页 |
| ·未来的工作 | 第79-81页 |
| ·Modelica语义的进一步完善 | 第79页 |
| ·混杂系统算法的完善 | 第79页 |
| ·数值计算中的符号计算 | 第79-81页 |
| 参考文献 | 第81-84页 |
| 致谢 | 第84-85页 |
| 攻读学位期间发表的学术论文 | 第85页 |
