Simulink Design Verifierがレポートする”非線形性のため未判定のオブジェクティブ”とは、何ですか？

Question

MathWorks Support Team 2024-6-13

回答： MathWorks Support Team 2024-6-13

Simulink Design Verifierでテストケース生成を実行した際、”非線形性のため未判定のオブジェクティブ”がレポートされました。
”非線形演算”とは、どのような演算になりますか？

Answer 1

浮動小数点数同士で次に該当する演算は、SLDVでは非線形演算として扱われます。

１）区間線形として表現できない演算、例えば、

・　y = x * z ： x および z が共に定数でない場合

・　y = 1/ z ： z が定数でない場合

など。

上記の場合、Test Condition ブロックを使って、入力値を制限することで、乗算および除算の非線形演算を極力単純に処理できます。

こちらにつきましては、下記ドキュメントページより、ご確認頂けます。

https://jp.mathworks.com/help/sldv/ug/manage-model-data-to-simplify-the-analysis.html

２）浮動小数点数から整数へのキャストも非線形演算として、扱われる場合があります。

（例：double を int8 にキャスト）

関連ドキュメントページは下記です。

https://jp.mathworks.com/help/sldv/ug/logical-operations_ja_JP.html

Simulink Design Verifierがレ​ポートする”非線形性​のため未判定のオブジ​ェクティブ”とは、何​ですか？