假设我根据 Modelica 语法正确地建模了一个完整的系统，编译器是否“成熟”到足以处理它？
我需要建模一个至少有 15 个连通分量的系统，每个分量都比较简单，从数学上讲，只有代数方程。 Modelica 对我很有吸引力，但我是一个完整的初学者，这个项目对我很重要，所以我有点害怕承诺 Modelica。
我了解编译器无法完全模拟所有标准库示例和模型，我如何知道确切的限制是什么？
谢谢。
【问题讨论】：
标签： modelica
当然，这在很大程度上取决于您选择的工具。我可以根据个人经验告诉您，10 多年前，我在福特汽车公司的一个项目中使用了 Dymola，我们在该项目中对发动机（燃烧）、变速箱（机械和液压系统）和底盘（多体表示）进行了建模。由此产生的系统有 250,000 个方程，当然还有数百个（如果不是数千个）组件和连接。您可以在a paper I wrote 中找到有关该项目的更多信息。
当然，这取决于模型大小以外的其他因素。大多数 Modelica 工具并不真正支持可变结构（具有可变索引的 DAE），而其他工具在它们完全支持的某些语言结构方面存在限制（因此意味着某些库不完全支持）。
不幸的是，目前还没有一种全面的方法来确定来自不同工具的支持，但 Modelica 协会认为这是一个问题，他们正在努力解决这个问题。
但总体而言，Modelica 已经相当成熟，并被用于许多工业项目中。您可以在http://www.modelica.org/ 找到前 8 届 Modelica 会议的会议记录，您会看到许多知名公司（福特、宝马、通用、丰田、空中客车等）都在那里发表了材料。
【讨论】：