ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

Check Discrete Gradient

連続した離散信号のサンプル間の差の絶対値が上限未満であるかどうかのチェック

ライブラリ

Model Verification

説明

Check Discrete Gradient ブロックは、入力の各信号要素をチェックして、連続した要素サンプル間の差の絶対値が上限未満であるかどうかを調べます。上限値 (既定の設定では 1) を指定するには、[ブロック パラメーター] ダイアログ ボックスを使用します。検証条件が true の場合、ブロックは処理を行いません。そうでない場合、既定の設定ではブロックはシミュレーションを停止して、診断ビューアーにエラーを表示します。

[コンフィギュレーション パラメーター] ダイアログ ボックスの [データ有効性] ペインにある [デバッグ][Model Verification ブロックを有効にする] 設定によって、Check Discrete Gradient ブロックも含め、モデル内のすべてのモデル検証ブロックを有効または無効にすることができます。

Model Verification ライブラリの Check Discrete Gradient ブロックとそのコンパニオン ブロックにより、自己検証型モデルの作成が容易になります。たとえば、モデル検証ブロックを使用して、シミュレーション中に信号が指定された限界を超えないかどうかをテストできます。モデルが正しいことを確認したら、検証ブロックを無効にすることによってエラー チェックをオフにできます。モデルから検証ブロックを物理的に削除する必要はありません。モデルを変更する必要がある場合は、検証ブロックを一時的にオンに戻し、変更によってモデルに不具合が発生していないことを確認できます。

    メモ:   Simulink® Coder™ で生成されたコードによる Model Verification ブロックの処理方法の詳細は、「デバッグ」を参照してください。

サポートするデータ型

Check Discrete Gradient ブロックは、任意の次元の singledoubleint8int16 および int32 の入力信号を受け入れます。このブロックは、固定小数点データ型もサポートします。

詳細は、Simulink ドキュメンテーションの「 Simulink でサポートされているデータ型」を参照してください。

パラメーターとダイアログ ボックス

最大の勾配

離散入力信号の傾きの上限を指定します。

アサーションを有効にする

このチェック ボックスをオフにすると、Check Discrete Gradient ブロックは無効になります。すなわち、モデルはこのブロックが存在しない場合と同じ動作をします。このオプションの設定にかかわらず、[コンフィギュレーション パラメーター] ダイアログ ボックスの [データ有効性] ペインにある [デバッグ][Model Verification ブロックを有効にする] 設定によって、Check Discrete Gradient ブロックも含め、モデル内のすべてのモデル検証ブロックを有効または無効にすることができます。

アサーションの失敗時のシミュレーション コールバック

アサーションが失敗したときに評価する MATLAB® 式を指定します。式は MATLAB ワークスペースで評価されるため、そのワークスペース内の式に使用されるすべての変数を定義します。

アサーションが失敗したときにシミュレーションを中止

このチェック ボックスがオンになっている場合、ブロックの出力がゼロのとき、Check Discrete Gradient ブロックはシミュレーションを停止して、診断ビューアーにエラーを表示します。このチェック ボックスがオンになっていない場合、ブロックは MATLAB コマンド ウィンドウに警告メッセージを表示してシミュレーションを続行します。

アサーション信号の出力

このチェック ボックスをオンにした場合、Check Discrete Gradient ブロックは Boolean 信号を出力します。Boolean 信号は、アサートが成功した場合は各タイム ステップで true (1) であり、アサートが失敗した場合は false (0) です。出力信号のデータ型が Boolean になるのは、[コンフィギュレーション パラメーター] ダイアログ ボックスの [最適化] ペインで [boolean データとして論理信号を処理] チェック ボックスをオンにした場合です。そうでない場合、出力信号のデータ型は double です。

アイコン タイプの選択

ブロック線図で、このブロックを表示するために使用されるアイコンのタイプ ([graphic] または [text]) を指定します。[graphic] オプションを選択した場合は、アサート条件のグラフィカル表現がアイコン上に表示されます。[text] オプションを選択した場合は、アサート条件を表す数式が表示されます。アイコンが小さすぎて式を表示できない場合は、テキスト アイコンに感嘆符が表示されます。式を確認するには、アイコンを拡大してください。

特性

直接フィードスルー

なし

サンプル時間

駆動ブロックから継承

スカラー拡張

なし

離散化

あり

多次元化

あり

ゼロクロッシング検出

なし

この情報は役に立ちましたか?