函数的Modelica注释反函数被忽略

Question

问题：忽略函数的inverse注释，并以数字方式计算反函数。

根据Modelica规范 ，可以指定给定函数的逆。

为了测试这个功能，我尝试了一个带有两个函数的非常简单的模型：

• 直接函数y（x）= sin（x）

   function y_from_x input Real x; output Real y; algorithm y:=sin(x); annotation(inverse(x = x_from_y(y))); end y_from_x; 

• 它的反函数x（y）= asin（y）

   function x_from_y input Real y; output Real x; algorithm x:=asin(y); end x_from_y; 

• 几个相关的方程式

   y = time; y = y_from_x(x); 

如您所见，为了检索变量x的值，应该反转函数y_from_x ; 因此，由于inverse注释明确告诉如何反转函数，我希望调用x_from_y 。

不，那不是发生了什么。 即使只是在展平步骤中，也会丢弃反函数，并且使用迭代循环以数字方式计算y_from_x的解。 OpenModelica v1.14和Dymola 2018都会发生这种情况。

这是预期的行为吗？ 如何使用这个inverse注释？ 有没有办法避免这种低效的迭代解决方案？

完整代码

model test_inverse

Real y, x;

function y_from_x
  input Real x;
  output Real y;
algorithm
  y:=sin(x);
  annotation(inverse(x = x_from_y(y)));
end y_from_x;

function x_from_y
  input Real y;
  output Real x;
algorithm
  x:=asin(y);
end x_from_y;


equation
  y = time;
  y = y_from_x(x);
end test_inverse;

Answer 1

Dymola（也可能在OpenModelica中）的问题是在使用反转之前函数是内联的，但是你的语法是正确的。

使用以下方法可以避免内联：

function y_from_x
  input Real x;
  output Real y;
algorithm
  y:=sin(x);
  annotation(LateInline=true, inverse(x = x_from_y(y)));
end y_from_x;

但是，请注意Dymola不会在数字上反转正弦函数 - 而是使用内置逆函数进行正弦函数; 这与asin类似。