modelica - 小于或等于不等于模型中的小于或等于？

Question

我尝试了一个使用 OpenModelica v1.20.0 的简单示例，但我发现结果令人困惑。

代码如下:

model test
  Boolean state1;
  Boolean state2;
  Real f;
equation
  f = if time<1 then 0.5 else if time<3 then 0.4 else if time<5 then 0.3 else if time<7 then 0.4 else 0.5;
  state1 = f<=0.4;
  state2 = f<0.4 or f==0.4;
end test;

而对应的结果如下:

显然state1(<=)的结果不等于state2(< or ==)，state1不是想要的结果。

为什么？

Answer 1

在 Modelica 中有一些需要考虑的事情:

• <、<=、> 和 >= 不一定严格采用，但会生成事件。然而，state1 应该理想地在 f<=0.4 的 1 到 7s 内仍然为真，否则为假； https://specification.modelica.org/maint/3.5/equations.html#events-and-synchronization因此在 Dymola 中模拟生成
• == 对于函数之外的实数是不合法的，所以 state2 不能这样定义 https://specification.modelica.org/maint/3.5/operators-and-expressions.html#equality-relational-and-logical-operators

我写理想的原因是，并不总是可以保证在事件中按字面意思处理关系。这是在 Modelica 3.2 之前的版本中指定的；但在实践中并非在所有情况下都有效，因此后来被删除。