evaluation - Modelica评估订单

Question

我真的无法在 Modelica 规范中找到任何答案，所以我想问问你们。规范指出如果表达式的值不影响结果(例如， bool 表达式的短路评估)，工具可以自由地求解方程、重新排序表达式和不计算表达式。 If 语句和 if 表达式保证它们的子句仅在适当的条件为真时才被评估，但是生成状态或时间事件的关系运算符将在持续集成期间具有来自最近事件的值。
如果数值运算溢出，则结果未定义。对于文字，建议将数字自动转换为精度更高的另一种类型。现在，我想知道，该工具是否可以选择在积分器步骤中多次评估表达式？例如(可能不是一个有效的例子，只是为了让你们知道我在想什么 :) )

Real x;

equation
  der(x) = -t;
  Modelica.Utilities.Streams.print(String(time));

这将多次打印相同的时间，所以我认为正在进行某种迭代。但我真的很想得到一些消息来源的证实。

Answer 1

这很正常。可变步长求解器(如 dassl)可以返回及时来回寻找曲线的方向。此外，如果您有事件，可以生成更多值同时。

如果你想在你需要的精确时刻打印时间或值，当方程式:

when sample(0, 1) then
  Modelica.Utilities.Streams.print(String(time));
end when;

阅读有关示例的 Modelica 规范中的更多信息。

也可以使用像 Euler 之类的固定步长求解器。