在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（＆lt; =）的结果不是等于状态2（＆lt; or ==），而状态1不是所需的结果。

为什么？

Answer 1

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

• ＆lt;，＆lt; = ,,＆gt;和＆gt; =不一定是严格采用的，而是生成事件。但是，state1应该理想情况下，在1到7s中仍然是正确的，其中f＆lt; = 0.4，否则为false; https：//specification.modelica.modelica.orgg/maint/3.5/equication 。 “ alt =” dymola。
• //i.sstatic.net/yrjpa.png >不能像这样定义 https ：//specification.modelica.org/maint/3.5/operators-and-expressions.html#equality-ralational-relations-melational-and-logical-operator

我写的原因理想是是它是它并非总是有可能确保在事件中从字面上处理关系。该版本在Modelica中指定为3.2版；但是在实践中没有工作，因此后来被删除。

Answer 2

我怀疑浮点问题，尽管行为仍然很奇怪。

我修复了有关，使用<代码> == 在函数外部的reals （您也应该看到），但行为与图中的行为相同。
我还试图确保所有比较都使用相同的参数0.4，以避免在不同的0.4文字之间浮动点不准确，并使用标称属性缩放f。

即使使用＆lt; = state1（在“等式”部分）和state2（由函数设置）di dim not 为state1和state2提供相同的图。

model test
Boolean state1;
Boolean state2;
parameter Real threshold = 0.4;
Real f(nominal=0.5);

  function compare
  input Real a;
  input Real b;
  output Boolean res;
  algorithm
  res := a < b or a == b;
  //res := a <= b; // Even this does not produce the same result as state1
  end compare;
equation
  f = if time<1 then 0.5 else if time<3 then threshold else if time<5 then 0.3 else if time<7 then threshold else 0.5;
  state1 = f<=threshold;
  state2 = compare(f, threshold);

annotation(
    experiment(StartTime = 0, StopTime = 10, Tolerance = 1e-06, Interval = 0.02));
end test;

编辑：这似乎连接到事件解决方案，我打开了有关＆lt; =操作员的行为的错误报告，请 https://github.com/openmodelica/openmodelica/openmodelica/issues/9140

现在，您可以使用state1 = noevent（f＆lt; = threshold）来解决它;，而是。这似乎也可以在OM中正常工作。

编辑/分辨率：该问题已用您可能不应该这样写Modelica。一个不太合成的示例可能有助于解决您遇到的基本建模问题。