modelica - “Variability” 函数调用模型出错

Question

以下代码

model FunctionCall
  Boolean result;

  function F
    input Real p1;
    output Boolean result;
  algorithm 
    result :=p1 < 0.5;
  end F;

algorithm 
  result :=F(time);
end FunctionCall;

(也在 http://www.modelica-forum.com/forums/index.php?showtopic=2 中进行了描述)在 Dymola 2018FD01 中仍然抛出错误，而在 OpenModelica 中它被接受。这是错误的 Modelica 代码还是 Dymola 错误？提前致谢。

Answer 1

模型不正确。

3.8 “对于赋值 v:=expr 或绑定(bind)方程 v=expr，v 必须声明为至少与 expr 一样的变量”

根据3.8.3“离散时间变量，即整数、 bool 值、字符串变量和枚举变量，以及在when子句中分配的实数变量”， bool 变量是离散时间表达式

F(time) 不是离散时间表达式，因为 3.8.3 只包含“函数的所有输入参数都是离散时间表达式的函数调用”

全部根据 Modelica 3.4。

原因是模型中的 bool 变量只应在事件发生时发生变化，而 F(time) 等函数的结果既不能保证也不能可靠地生成事件。