このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
Implies
特定の応答を生成する条件の指定
ライブラリ:
Simulink Design Verifier /
Verification Utilities
説明
Implies ブロックでは、特定の応答を生成する条件を指定できます。たとえば、車のブレーキ ペダルを踏むと、クルーズ コントロール メカニズムが無効になります。また入力 A が true で入力 B が false の場合、出力は false になり、他のすべての入力ペアの出力が true になるなどです。
Simulink® Design Verifier™ ソフトウェアを実行している場合以外でも、任意のモデルで Implies ブロックを使用できます。
端子
入力
拡張機能
バージョン履歴
R2009a で導入