Check Discrete Gradient

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

• 

ライブラリ:
Simulink / Model Verification
HDL Coder / Model Verification

説明

Check Discrete Gradient ブロックは、各信号要素をチェックして、要素の連続値間の差の絶対値が指定値未満であるかどうかを判別します。次に、ブロックは比較後にアサーションを実行します。勾配値 (既定の設定では 1) は、[最大の勾配] パラメーターを調整することで指定できます。入力信号の差が [最大の勾配] の絶対値未満であった場合、アサーションは true (1) であり、ブロックは処理を行いません。そうでない場合、既定の設定ではブロックはシミュレーションを停止してエラー メッセージを返します。

メモ

シミュレーションを実行するには、Check Discrete Gradient ブロックに固定ステップ離散ソルバーが必要です。別のソルバーが選択されると、エラーが表示されます。

例

Check Discrete Gradient ブロックによる信号傾きのチェック

Check Discrete Gradient ブロックを使用して、信号の連続したサンプル間の差の絶対値が定義された値未満であるかどうかをチェックできます。

この例では、Check Discrete Gradient ブロックは Sine Wave ブロックからの入力信号の値を、0.1 である [最大の勾配] パラメーター値と比較します。信号の連続したサンプル間の差の絶対値が 0.1 未満である場合、ブロックは true (1) をアサートします。ブロックの [アサーション信号の出力] パラメーターが選択されているため、ブロックはアサーション値を出力します。ブロックには、モデルで選択されている固定ステップ離散ソルバーが必要です。シミュレーションを実行し、モデルの出力を観察します。

ブロックは、正弦波が最大または最小に近いと true をアサートします。信号のこれらのセクションで、勾配の絶対値は [最大の勾配] の値 0.1 未満です。このパターンはシミュレーションの終了時間まで繰り返されます。

端子

入力

Port_1 — 勾配についてチェックされる入力信号

スカラー | ベクトル | 行列

連続したサンプル間の各要素の差が [最大の勾配] パラメーターの絶対値未満であるかどうかを判別するためにブロックでチェックする入力信号。

データ型: single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | fixed point

出力

Port_1 — アサーション出力信号

スカラー

アサーションが成功した場合は true (1)、アサーションが失敗した場合は false (0) になる出力信号。[コンフィギュレーション パラメーター] ウィンドウで、[数学とデータ型] セクションの [詳細設定パラメーター] の下で [boolean データとして論理信号を処理] を選択すると、出力のデータ型は Boolean になります。それ以外の場合、信号のデータ型は double です。

依存関係

この出力端子を有効にするには、[アサーション信号の出力] パラメーターのチェック ボックスをオンにします。

データ型: double | Boolean

パラメーター

最大の勾配 — 許容される差の最大値

1 (既定値) | スカラー

入力信号の許容される勾配の値を指定します。

プログラムでの使用

パラメーター: gradient

型: string スカラーまたは文字ベクトル

値: 実数スカラー

既定の設定: "1"

アサーションを有効にする — チェックを有効化または無効化

on (既定値) | off

このパラメーターをオフにすると、ブロックが無効になり、モデルはこのブロックが存在しない場合と同じ動作をします。すべての検証ブロックを有効または無効にするには、このオプションの設定にかかわらず、[コンフィギュレーション パラメーター] ウィンドウへ移動し、[診断] 、 [データ有効性] をクリックして [詳細設定パラメーター] セクションを展開し、[Model Verification ブロックを有効にする] を Enable all または Disable all に設定します。

プログラムでの使用

パラメーター: enabled

型: string スカラーまたは文字ベクトル

値: "on" | "off"

既定の設定: "on"

アサーションが失敗したときのシミュレーション コールバック (オプション) — アサーションが失敗したときに評価する式

"" (既定値) | MATLAB 式

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

依存関係

このパラメーターを有効にするには、[アサーションを有効にする] を選択します。

プログラムでの使用

パラメーター: callback

型: string スカラーまたは文字ベクトル

既定の設定: ""

アサーションが失敗したときにシミュレーションを中止 — チェックに失敗したときにシミュレーションを停止するかどうか

on (既定値) | off

チェックに失敗したときにシミュレーションを停止するには、このパラメーターをオンにします。このパラメーターをオフにすると、警告が表示され、シミュレーションは続行されます。

プログラムでの使用

パラメーター: stopWhenAssertionFail

型: string スカラーまたは文字ベクトル

値: "on" | "off"

既定の設定: "on"

アサーション信号の出力 — 出力信号を作成

off (既定値) | on

出力端子を有効にするには、このパラメーターを選択します。

プログラムでの使用

パラメーター: export

型: string スカラーまたは文字ベクトル

値: "on" | "off"

既定の設定: "off"

アイコン タイプの選択 — アイコン タイプの選択

グラフィックス (既定値) | テキスト

ブロック アイコンのスタイルを指定します。[graphic] オプションを選択した場合は、アサート条件のグラフィカル表現がアイコン上に表示されます。[text] オプションを選択した場合は、アサート条件を表す数式が表示されます。

プログラムでの使用

パラメーター: icon

型: string スカラーまたは文字ベクトル

値: "graphic" | "text"

既定の設定: "graphic"

ブロックの特性

データ型	double | fixed point | integer | single
直達	いいえ
多次元信号	はい
可変サイズの信号	いいえ
ゼロクロッシング検出	いいえ

拡張機能

C/C++ コード生成

Simulink® Coder™ を使用して C および C++ コードを生成します。

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

量産コードには推奨されません。

HDL コード生成

HDL Coder™ を使用して FPGA 設計および ASIC 設計のための VHDL、Verilog および SystemVerilog のコードを生成します。

HDL Coder™ には、HDL の実装および合成されたロジックに影響する追加のコンフィギュレーション オプションがあります。

HDL アーキテクチャ

アーキテクチャ	説明
No HDL	このブロックには HDL コードを生成しないでください。

HDL ブロック プロパティ

PreserveUpstreamLogic

接続されていないロジックの削除を制御します。既定の設定は off です。つまり、接続されていないロジックは HDL コードで維持されません。詳細については、PreserveUpstreamLogic (HDL Coder)を参照してください。

PLC コード生成
Simulink® PLC Coder™ を使用して構造化テキスト コードを生成します。

固定小数点の変換
Fixed-Point Designer™ を使用して固定小数点システムの設計とシミュレーションを行います。

バージョン履歴

R2006a より前に導入

参考

Check Dynamic Range | Check Dynamic Gap