モデルコンフィギュレーションパラメーター: データ有効性の診断

[診断] 、 [データ有効性] カテゴリには、データ (信号、パラメーター、状態) に関連する問題を検出するためのパラメーターが含まれています。これらの値には、次のものがあります。

データ型量子化およびオーバーフローによる情報の損失。
生成されたコードでのパラメーターの調整可能性の消失。
Data Store Write ブロックおよび Data Store Read ブロックの順序が原因となる情報の消失。

[コンフィギュレーションパラメーター] ダイアログボックスの [データ有効性] ペインに次のコンフィギュレーションパラメーターが表示されます。

パラメーター	説明
信号の関連付け	Simulink^® によって信号および状態を `Simulink.Signal` オブジェクトに関連付ける方法を選択します。
特異値行列による除算	Product、Matrix Multiplyブロックが、行列乗算モードで入力の逆行列を計算するときに特異行列を検出した場合に行う診断アクションを選択します。
指定不足のデータ型	データ型の伝播時に信号のデータ型を Simulink によって推測できなかった場合に行う診断アクションを選択します。
シミュレーション範囲のチェック	信号が指定した最小値または最大値を超えるときに行う診断アクションを選択します。
string 打ち切りチェック	string 信号が打ち切られるときに行う診断アクションを選択します。
オーバーフロー時にラップ	信号の値がその信号のデータ型をオーバーフローしてラップアラウンドされる場合に行う診断アクションを選択します。
指定不足の次元	Simulink ソフトウェアがコンパイル時に信号の次元が推測できない場合に実行する診断アクションを選択します。
オーバーフローで飽和	信号の値が大きすぎてその信号のデータ型で表現できず、飽和になる場合に行う診断アクションを選択します。
Inf または NaN のブロック出力	ブロック出力の値が現在のタイムステップで `Inf` または `NaN` のときに行う診断アクションを選択します。
識別子の "rt" 接頭辞	Simulink のオブジェクト名 (パラメーター、ブロック、または信号の名前) が `rt` で始まる場合にコード生成時に行う診断アクションを選択します。
ダウンキャストの検出	コード生成中にパラメーターダウンキャストが起きたときに行う診断アクションを選択します。
オーバーフローの検出	Simulink でパラメーターのオーバーフローを検出したときの診断アクションを選択します。
Bits of error threshold	パラメーターオーバーフローを検出するために、しきい値として 1 ビット、1/2 ビット、またはゼロビットを設定します。
アンダーフローの検出	Simulink でパラメーターのアンダーフローを検出したときの診断アクションを選択します。
桁落ちの検出	Simulink でパラメーターの桁落ちを検出したときに行う診断アクションを選択します。
Suppress double to single detection	double から single へのパラメーターの桁落ち検出を非表示にします。
Absolute difference threshold	量子化誤差が差の絶対値と相対値のしきい値の両方を超えた場合に、パラメーターの桁落ちを報告します。
Relative difference threshold	量子化誤差が差の絶対値と相対値のしきい値の両方を超えた場合に、パラメーターの桁落ちを報告します。
調整可能性の消失を検出	調整可能な変数をもつ式が生成されたコードで数値的に等価な式に簡略化されているときに行う診断アクションを選択します。
書き込み前の読み取りを検出	このタイムステップで、モデルがデータを書き込んでいないデータストアからデータを読み取ろうとしたときに実行する診断アクションを選択します。
読み取り後の書き込みを検出	モデルがデータストアからデータを読み込んだ後でこのデータストアに現在のタイムステップでデータを書き込もうとしたことが検出された場合に行う診断アクションを選択します。
書き込み後の書き込みを検出	現在のタイムステップでモデルが 2 度連続してデータストアにデータを書き込もうとしたことが検出された場合に行う診断アクションを選択します。
マルチタスクデータストア	あるタスクがデータの書き込み先として使用している Data Store Memoryブロックから別のタスクがデータを読み取っているときに行う診断アクションを選択します。
データストア名の重複	同じ名前の複数のデータストアがモデルに含まれているときに行う診断アクションを選択します。データストアの定義には、Data Store Memoryブロックまたは `Simulink.Signal` オブジェクトを使用できます。

次のコンフィギュレーションパラメーターは [詳細設定パラメーター] セクションにあります。

パラメーター	説明
Array bounds exceeded	S-Function で使用される Simulink の割り当てメモリが、出力や状態、または作業ベクトルへの書き込み時に、割り当てられた配列の範囲を超える書き込みを行わないようにします。
Model Verification block enabling	現在のモデルのモデル検証ブロックをグローバルまたはローカルに有効にします。
Detect multiple driving blocks executing at the same time step	ソフトウェアにより、同じタイムステップで実行する Merge ブロックへの 1 つを超える駆動ブロックが検出されたときに行う診断アクションを選択します。
Underspecified initialization detection	条件付き実行サブシステム、Merge ブロック、サブシステムの経過時間、および Discrete-Time Integrator ブロックの初期条件の初期化を Simulink ソフトウェアでどのように処理するかを選択します。
Detect ambiguous custom storage class final values	再利用可能なカスタムストレージクラスを使用している信号に一意のエンドポイントがないかどうかを検出します。値があいまいであるため、ランタイム環境でこの変数を読み取らないようにしてください。
Detect non-reused custom storage classes	同じ再利用可能なカスタムストレージクラスをコードジェネレーターが他の用途で再利用できない、再利用可能なカスタムストレージクラスを信号で使用するかどうかを検出します。コードジェネレーターが再利用を実装できない場合、生成されるコードには追加のグローバル変数が含まれる可能性があります。

モデル コンフィギュレーション パラメーター: データ有効性の診断

関連するトピック

モデルコンフィギュレーションパラメーター: データ有効性の診断