变量在“when sample（）”语句中自动重置为零

Posted 2021-04-10

以下Modelica代码在设置为123后将变量'bb'重置为0.可以解释为什么？我正在使用OpenModelica v1.13.2。

model test2
import Modelica.Utilities.Streams.print;

Real b(start=0, fixed=true);
Real bb(start=0, fixed=true);

Integer c(start=0,fixed=true);
algorithm
  when sample(0,0.1) then
    c := pre(c) + 1;
    if c == 1 then
      b := 12.3;
    elseif c == 2 then 
      bb := 123;
    end if;
    print(String(time)+", "+String(b)+", "+String(bb));
  end when;
end test2;

模拟打印：

0, 12.3, 0
0, 12.3, 123
0, 12.3, 0
...(repeats)

还有情节的截图：

答案

根据Modelica 3.4规范，结果不正确，并且bb不应设置为零：

在算法开始时，bb应设置为pre(bb)，即123;根据“11.1.2在模型中执行算法”https://specification.modelica.org/master/Ch11.html#execution-of-an-algorithm-in-a-model

请注意，方程式中的when的语义给出了类似的结果但是以不同的方式，在这种情况下，特定的when子句被隐式映射到if-then-else，其中else-branch将根据“8.3”部分设置bb=pre(bb)。 5.1“ - https://specification.modelica.org/master/Ch8.html#defining-when-equations-by-if-expressions-in-equality-equations