ドキュメンテーション

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

Check Static Upper Bound

信号が静的上限より小さい (またはオプションで等しい) かどうかのチェック

ライブラリ

Model Verification

説明

Check Static Upper Bound ブロックは、入力信号の各要素が現在のタイム ステップで指定された上限より小さい (またはオプションで等しい) かどうかをチェックします。上限の値を指定し、上限が含まれるかどうかを指定するには、[ブロック パラメーター] ダイアログ ボックスを使用します。検証条件が true の場合、ブロックは処理を行いません。true でない場合、既定の設定ではブロックはシミュレーションを停止してエラー メッセージを表示します。

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

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

サポートするデータ型

Check Static Upper Bound ブロックは、Simulink がサポートする任意の数値データ型の任意の次元の入力信号を受け入れます。

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

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

上限

入力信号の振幅範囲の上限を指定します。

等値を含む境界

このチェック ボックスをオンにすると、有効な振幅範囲に上限が含まれます。

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

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

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

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

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

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

アサーション信号の出力

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

アイコン タイプの選択

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

特性

直接フィードスルー

なし

サンプル時間

駆動ブロックから継承

スカラー拡張

なし

離散化

あり

多次元化

あり

ゼロクロッシング検出

なし

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