Modelica 中布尔值数组的 if 条件

Question

如果这是一个“阅读手册”问题（我读了但找不到答案），我很抱歉。

我有一个布尔数组，我想测试其中是否有一个为真。

model TestArray

(...)
Boolean[:] booleanArray;
Real y;

equation
y = if [if any element in booleanArray is true] then ... else ...;

end TestArray;

我该怎么做？ 谢谢， 罗尔

Answer 1

有类似于您在 Modelica.Math.BooleanVectors 中请求的函数。

在这里您将找到 allTrue(Boolean b[:])、anyTrue(Boolean b[:]) 和 oneTrue(Boolean b[:])。

Answer 2

这是一个有趣的问题。坦率地说，我不知道有任何内置功能可以执行此操作（尽管对此类功能的需求肯定是有效的）。

我们过去经常做的是编写名为“any”和“all”的实用函数，它们看起来像这样（未经测试，但你明白了）：

function any
  input Boolean vals[:];
  output Boolean result;
algorithm
  result := max({if i==true then 1 else 0 for i in vals})==1;
end any;

function all
  input Boolean vals[:];
  output Boolean result;
algorithm
  result := min({if i==true then 1 else 0 for i in vals})==1;
end all;

这与你所做的类似，但使用数组推导式，然后将其封装在函数中。这允许您编写如下代码：

if any(conditions) then ... else ...;

理想情况下，可以将这些函数添加到内置的“归约运算符”集中（例如 min 和 max），但是语言组在引入此类运算符方面往往有些保守，因为它们会污染命名空间并与现有代码产生潜在的冲突。

请注意，使用when 子句时事情会变得有点棘手。对于when 子句，有一个向量结构，例如

when {cond1, cond2, cond3} then
  ...
end when;

，它具有非常有用的语义，但并不100% 类似于上面写的“any”或“all”。因此，如果您打算在 when 子句中使用条件向量，请阅读如何处理它（在规范中）或提出一个后续问题，我可以详细说明（这有点超出了这个问题）。

Answer 3

Modelica 规范版本 4.3 第 10.3.4 节 允许布尔数组 v 作为 min(v) 和 max(v) 的参数。

如果 v 的所有分量均为 true，则 min(v) 给出 true、false > 否则。
如果 v 的所有分量均为 false，则 max(v) 给出 false、true > 否则。

型号示例：

model Test
    Boolean anyFalseGivesFalse = min( { true, false } );
    Boolean allTrueGivesTrue = min( { true, true } );
    Boolean allFalseGivesFalse = max( { false, false } );
    Boolean anyTrueGivesTrue = max( { false, true } );
end Test;

Answer 4

现在我找到了一个解决方法，但一定可以做得更好：

model TestArray

(...)
Boolean[:] booleanArray;
Real y;
Real[:] test;

equation
for i in 1:size(booleanArray):
  test[i] = if booleanArray[i] then 1 else 0;
end for;

y = if sum(test) > 0 then ... else ...;

end TestArray;

Answer 5

您可以使用 Modelica.Blocks.Math.BooleanToInteger 将布尔数组转换为整数数组，您可以用它来计算...