如何通过同步模型中的函数初始化记录类型(modelica)

Sim*_*ner 5 modelica dymola

我写了一个函数,返回值为记录类型。通常我会使用这个函数通过一个初始方程来初始化一个记录类型的实例。但是因为我想在时钟模型中使用这个函数,所以不可能有初始方程。

对我来说,这似乎是使用属性 start 初始化变量的唯一方法。不幸的是,记录没有这个属性,只有它的组成部分。

这是一个简单的例子,展示了我想要做什么:

model RecordInitializeTest
  record simpleRecord
    Integer arg1;
    Integer arg2;
  end simpleRecord;

  function initFunc
    output simpleRecord sR;
  algorithm 
    sR.arg1 := 1;
    sR.arg2 := 2;
  end initFunc;

  model InitializeTest
    input Boolean u(start=false);
    output simpleRecord sR1;
  equation 
    if u and not previous(u) then
      sR1 =initFunc();
    else
      sR1 = previous(sR1);
    end if;
  end InitializeTest;

  InitializeTest iT;
equation 
  iT.u = sample(time > 0.5,Clock(0.1));
end RecordInitializeTest;
Run Code Online (Sandbox Code Playgroud)

这个模型在 dymola 中工作,但当然有警告,因为 iT.sR1.agr1 和 iT.sR1.arg2 没有起始值,但是 previous() 的参数。Conceputally 我想使用

output simpleRecord sR1(start=initFunc());

有没有人知道如何以方便的方式初始化 sR1 而无需像这样的分配

output simpleRecord sR1(arg1(start=1),arg2(start=2));

因为这对于大型结构化记录来说会很不方便。

实际上,我只想在某些时间和初始情况下执行复杂的外部不纯函数(而不是 initFunc),并将结果保持在两者之间。而且我明确不想使用连续时间模型。而且我不想在翻译过程中收到警告。

mar*_*rco 3

如果我完全理解你的问题,只需要一些小的修改就可以让你的示例按预期运行:

model RecordInitializeTest
  record simpleRecord
    Integer arg1(start=0);
    Integer arg2(start=0);
  end simpleRecord;

  function impureFunc
    output simpleRecord sR;
  algorithm 
    (sR.arg1, sR.arg2) :=Modelica.Utilities.System.getTime();
  end impureFunc;

  model ImpureTest
    input Boolean u(start=false);
    output simpleRecord sR1;
  equation 
    if firstTick() or u and not previous(u) then
      sR1 = impureFunc();
    else
      sR1 = previous(sR1);
    end if;
  end ImpureTest;

  ImpureTest iT(u=sample(time > 0.5, Clock(0.1)));
end RecordInitializeTest;
Run Code Online (Sandbox Code Playgroud)

在模拟结果中,我们看到新记录值被精确计算了 2 次:在时间 0 和时间 0.5:

模拟结果

变化是:

  • initFunc()替换为impureFunc(), 可在结果中看到该函数在时间 0 和时间 0.5 被调用

  • 为了执行初始化,firstTick()添加了在时间 0 调用不纯函数

  • 不再有起始值警告,因为记录中的每个变量都有一个虚拟起始值。实际的起始值并不重要,因为它们是用firstTick()

注意:我以前从未创建过时钟模型,所以我可能犯了一些初学者的愚蠢错误。