在嵌套模型模型中，还有其他优雅的方式来重新划分类型和值

Question

我有一组嵌套的型号和子模型以及记录。这是一个简单的示例：

package Unnamed1
  record A
    Real a;
  end A;

  record B
    extends A;
    Real b;
  end B;

  record C
    extends B;
    Real c;
  end C;

  model M
    replaceable record Data = A;
    parameter Data data;
  end M;

  model H
    replaceable record Data = A;
    parameter Data data;
    protected
    M m(redeclare replaceable record Data = Data, data=data);
  end H;

  model R
    parameter B bb(b=5, a=2.0);
    parameter A aa(a=4.0);
    parameter C cc(a=0.0, b=0.2, c=0.8);
    H h(redeclare record Data = B, data=bb);
    H g(redeclare record Data = A, data = aa);
    H f(redeclare record Data = C, data = cc);
  end R;
end Unnamed1;

它们是3组嵌套记录（ a，b，c ）和3个嵌套模型（ r，h，m ）。我想通过 r 将记录的实例传递给 m ta h ，其中具有不同类型的实例。这样，我发现听起来很重，通过不同的变量传递了两种记录及其内容。当我有2个级别时，没问题，我可以使用重新列出的很好。当我有两个以上的嵌套类（假设5）时，我不知道如何同时通过类型和实例。请注意，在 h 中， m 受到保护。 虽然以不同的方式做吗？

Answer 1

我想提出另一个答案的轻微变化，然后解释它通常是如何解决的。

变化是您可以在重新列表中修改值和类别，而无需明确的记录声明。

package Unnamed1
  record A
    parameter Real a;
  end A;

  record B
    extends A;
    parameter Real b;
  end B;

  record C
    extends B;
    parameter Real c;
  end C;

  model M
    replaceable record Data = A;
    parameter Data data;
  end M;

  model H
    replaceable record Data = A;
  protected 
    M m(redeclare replaceable record Data = Data);
  end H;

  model R
    H h(redeclare record Data = B(b=5,a=2.0));
    H g(redeclare record Data = A(a=4.0));
    H f(redeclare record Data = C(a=0, b=0.2, c=0.8));
  end R;
end Unnamed1;

但是，当查看h内部时，我们会发现即使模型是合法的，也无法使用新参数。因此，更正常的情况是，它是模型，其中一些参数导致：

package Unnamed2
  partial model SO
    output Real y;
  end SO;

  model Constant
    extends SO;
    parameter Real b;
  equation 
    y=b;
  end Constant;

  model Ramp
    extends SO;
    parameter Real b;
    parameter Real k;
  equation 
    y=b+time*k;
  end Ramp;

  model Other
    extends SO;
    parameter Real offset;
  equation 
    y=time+offset;
  end Other;

  model M
    replaceable model Source = SO;
    Source source;
  protected 
    Real x;
  equation 
    der(x)=source.y;
  end M;

  model H
    replaceable model Source = SO;
  protected 
    M m(redeclare replaceable model Source = Source);
  end H;

  model R
    H h(redeclare model Source = Constant(b=5));
    H g(redeclare model Source = Other(offset=4.0));
    H f(redeclare model Source = Ramp(b=0.2, k=0.8));
  end R;
end Unnamed2;

Answer 2

我发现的一种解决方案是传递记录封装记录的实例（在Modelica术语中称为组件）。新代码是：

package Unnamed1
  record A
    Real a=0.0; // value for Dymola... don't know why yet
  end A;

  record B
    extends A;
    Real b;
  end B;

  record C
    extends B;
    Real c;
  end C;

  model M
    replaceable record Data = A;
    Data data;
  end M;

  model H
    replaceable record Data = A;
    M m(redeclare record Data = Data);
  end H;

  model R
    record AA
        extends A(a=5);
    end AA;

    record BB
        extends B(b=5, a=2.0);
    end BB;

    record CC
      extends C(a=0.0, b=0.2, c=0.8);
    end CC;

    H f(redeclare record Data = AA);
    H g(redeclare record Data = BB);
    H h(redeclare record Data = CC);
  end R;
end Unnamed1;

主要区别不是传递组件 b 参数b bb（b = 5，a = 2.0）; 到各种子模型，一个通过记录 bb
包含 b 的值，

record BB
    extends B(b=5, a=2.0);
end BB;

然后必须在子classe定义中重新记录记录，可以一次又一次地重复。

虚拟值必须在基本记录A中定义，假设Dymola接受代码，则假设A = 0.0，而OpenModelica和SimulationX不需要它。