Dymola中Test1模型报错原因咨询：时钟推理处理异常

报错的Test1模型代码 #

model Test1
  Real outvar;
  Real outvarc;
  Real internal;
  parameter Real Tp=0.1;
equation 
  when Clock(Tp) then
    internal = time;
  end when;
  outvar = hold(outvarc);
algorithm 
  if (firstTick(internal)) then
    outvarc := 1;
  else
    outvarc := previous(outvarc);
    outvarc := outvarc + 1;
  end if;

end Test1;

可正常运行的Test2模型代码 #

model Test2
  Real outvar;
  Real outvarc;
  Boolean internal(start=true);
  parameter Real Tp=0.1;
equation 
  when Clock(Tp) then
    internal = false;
  end when;
  outvar = hold(outvarc);
algorithm 
  if (firstTick(internal)) then
    outvarc := 1;
  else
    outvarc := previous(outvarc);
    outvarc := outvarc + 1;
  end if;
end Test2;

具体报错原因 #

• firstTick参数类型不匹配：firstTick函数要求输入参数为布尔类型，用于检测变量从true切换到false的首个时刻。Test1中internal是Real类型，传入该函数时直接违反类型约束，这是触发报错的核心原因。
• 变量未初始化导致状态异常：Test1里的Real类型变量internal未设置初始值，模型启动阶段无法确定其初始状态。而firstTick的逻辑依赖变量初始值判断“首次触发”，未初始化的变量会让模型初始化失败，进一步引发错误。

Test2通过将internal改为Boolean类型并设置start=true，既满足了firstTick的参数要求，又明确了初始状态，让函数能正确检测首次时钟触发事件，模型逻辑得以正常执行。

内容的提问来源于stack exchange，提问作者Ahsan