ドキュメンテーション センター

  • 評価版
  • 製品アップデート

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

Check Dynamic Lower Bound

ある信号が別の信号より常に小さいかどうかのチェック

ライブラリ

Model Verification

説明

Check Dynamic Lower Bound ブロックは、基準信号の振幅が現在のタイム ステップのテスト信号の振幅より小さいかどうかをチェックします。テスト信号は、sig というラベルの付いた入力に接続された信号です。検証条件が true の場合、ブロックは処理を行いません。true でない場合、既定の設定ではブロックはシミュレーションを停止してエラー メッセージを表示します。

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

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

サポートするデータ型

Check Dynamic Lower Bound ブロックは、Simulink がサポートする任意の数値データ型の入力信号を受け入れます。テスト信号と基準信号は、同じ次元とデータ型でなければなりません。入力が非スカラーの場合、ブロックは入力テスト信号の各要素を、基準信号の対応する要素に対してチェックします。

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

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

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

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

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

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

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

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

アサーション信号の出力

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

アイコン タイプの選択

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

特性

直接フィードスルー

なし

サンプル時間

駆動ブロックから継承

スカラー拡張

なし

離散化

あり

多次元化

あり

ゼロクロッシング検出

なし

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