modeling - 一致的术语 : Modeling, DAE、ODE

Question

我是“物理系统建模”主题的新手。我阅读了一些基础文献，并在 Modelica 和 Simulink/Simscape 中做了一些教程。我想问你，如果我对以下内容理解正确:

符号操作是将微分代数方程组(物理模型:DAE)转换为可由标准求解器(Runge、Kutta、BDF、...)求解的微分方程组 (ODE) 的过程

也有求解器可以直接求解 DAE。但是 Modelica (openModelica, Dymola) 和 Simscape 将系统转换为 ODE(为什么这种方法比直接 DAE 求解器更好？)

“平面 Modelica 代码”是转换的结果 (= ODE)。

非常感谢您的回答。

Answer 1

所以我认为你对术语的理解也很好。
由于在 modelica 中编程的声明式(与命令式相反)，我们立即得到非常多的代数方程。象征性地解决这些(部分)问题首先具有以下基本优势:

速度。如果不消除代数环，modelica 将实际上无法用于任何现实世界的问题，即使这样，仅在简单的情况下也不会保留代数方程。这太慢了，并且会迫使您自己在 modelica 中手动进行转换(如在命令式语言中，例如在 C/C++ 或 Simulink 中)。即使在今天，modelica 仍然比手动转换和优化的解决方案要慢。
此外，modelica 应用程序通常需要实时仿真。

正确性。符号转换基​​于证明，而模型应用程序通常位于安全关键或网络物理系统领域。