| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 1. 绪论 | 第7-13页 |
| ·课题背景、目的及意义 | 第7-8页 |
| ·基于方程的陈述式物理建模方法 | 第8-10页 |
| ·基于 MODELICA的多领域建模与仿真 | 第10-11页 |
| ·MODELICA模型的符号操作技术 | 第11-12页 |
| ·本文的主要工作及内容安排 | 第12-13页 |
| 2. 方程系统的结构化表示 | 第13-18页 |
| ·方程的二叉树表示 | 第13-16页 |
| ·方程系统的二部图表示 | 第16-17页 |
| ·本章小结 | 第17-18页 |
| 3. 基于二叉树的表达式操作 | 第18-33页 |
| ·表达式估值 | 第18-19页 |
| ·函数内联 | 第19-24页 |
| ·表达式微分 | 第24-32页 |
| ·本章小结 | 第32-33页 |
| 4. 基于二部图的方程系统约简 | 第33-48页 |
| ·方程系统的规模缩减 | 第33-42页 |
| ·方程系统表示图精简 | 第42-47页 |
| ·本章小结 | 第47-48页 |
| 5. 总结与展望 | 第48-50页 |
| ·全文总结 | 第48页 |
| ·研究展望 | 第48-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-54页 |
| 附录1: 攻读硕士学位期间发表的论文 | 第54页 |