このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Truth Table

条件、判定、アクションを伴う論理的意思決定動作を表現

このページをすべて展開する

ライブラリ:
Stateflow

説明

Truth Table ブロックは、組み合わせ論理設計を表形式で表現します。Truth Table ブロックを使用して、一連の条件に基づいて論理判定の動作をモデル化できます。詳細については、真理値表を使用して組み合わせ論理をモデル化を参照してください。

Truth Table ブロックで制御ロジックを実装するには、MATLAB® をアクション言語として使用します。

端子

入力

すべて展開する

[シンボル] ペインを使用して Stateflow® 真理値表で入力データを作成すると、Stateflow により Truth Table ブロックに対応する入力端子が作成されます。

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

出力

すべて展開する

[シンボル] ペインを使用して Stateflow 真理値表で出力データを作成すると、Stateflow により Truth Table ブロックに対応する出力端子が作成されます。

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

パラメーター

すべて展開する

ブロック パラメーターを対話的に編集するには、プロパティ インスペクターを使用します。Simulink® ツールストリップの [シミュレーション] タブの [準備] ギャラリーで [プロパティ インスペクター] を選択します。

メモ

Truth Table ブロックには Subsystem (Simulink) ブロック パラメーターもあり、これらのパラメーターにアクセスするには、ブロックを右クリックして [ブロック パラメーター (Subsystem)] をクリックします。ただし、これらのブロック パラメーターを更新することは推奨されません。

Stateflow 真理値表を更新または起動する方法。[継承]、[離散]、または [連続] として指定します。

継承

Simulink モデルからの入力によって、シミュレーション中に真理値表を起動するタイミングが決定されます (既定)。

真理値表の入力イベントを定義した場合、Stateflow 真理値表は、接続している Simulink ブロックから派生するトリガー端子の信号によって明示的にトリガーされます。このトリガー入力イベントを、Simulink 信号に応答して発生するように設定できます。Simulink 信号は、[立ち上がり]、[立ち下がり]、または [両方] (立ち上がりと立ち下がり) か、[関数呼び出し] に応答するものになります。詳細については、入力イベントの送信による Stateflow チャートのアクティブ化を参照してください。

入力イベントを定義していない場合、Stateflow 真理値表は暗黙的に Stateflow モデルからのトリガーを継承します。これらの暗黙的なイベントは、入力を真理値表に渡す Stateflow 信号の離散サンプル時間または連続サンプル時間です。データ入力を定義している場合、真理値表は最速のデータ入力のレートで起動します。真理値表のデータ入力を定義していない場合は、真理値表は親サブシステムの実行動作の定義に従って起動します。

離散

Simulink モデルは、一定の時間間隔で暗黙的イベントを生成し、[サンプル時間] 真理値表パラメーターで指定したレートで Stateflow 真理値表を起動します。Simulink モデルの他のブロックは、サンプル時間が異なる場合があります。

連続

Stateflow 真理値表がそのステートを更新するのはメジャー タイム ステップ中のみですが、出力およびローカル連続変数はメジャー タイム ステップ中とマイナー タイム ステップ中に計算されます。詳細については、Stateflow の連続時間モデルを参照してください。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: ChartUpdate
値: "INHERITED" (既定値) | "CONTINUOUS" | "DISCRETE"

シミュレーション中に真理値表が起動する時間間隔。スカラーまたはベクトルとして指定します。既定の時間間隔は -1 で、これは Stateflow 真理値表が Simulink からサンプル時間を継承することを示します。

Subsystem ブロック パラメーターの [サンプル時間] パラメーターは使用しないでください。代わりに、プロパティ インスペクターを使用してください。

依存関係

このパラメーターを有効にするには、[更新方法] を [離散] に設定します。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: SampleTime
値: "-1" (既定値) | string scalar | character vector
データ型: string | char

詳細設定

真理値表内のデータが整数オーバーフローで飽和するかどうか。このパラメーターをオフにすると、真理値表内のデータは整数オーバーフローでラップします。詳細については、チャート データの整数オーバーフローと列挙オーバーフローの処理を参照してください。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: SaturateOnIntegerOverflow
値: true or 1 (既定値) | false or 0
データ型: logical

真理値表が可変サイズ データをサポートするかどうか。詳細については、Stateflow チャートでの可変サイズ データの宣言を参照してください。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: SupportVariableSizing
値: true or 1 (既定値) | false or 0
データ型: logical

R2023a 以降

真理値表が長さ 1 の次元をもつ非スカラー データを固定サイズとして扱うかどうか。このパラメーターをオンにすると、[可変サイズ] データ プロパティを有効にしたかどうかに関係なく、真理値表は少なくとも 1 つの次元の長さが 1 である非スカラー データを固定サイズとして扱います。このパラメーターをオフにすると、真理値表は [可変サイズ] プロパティが有効になっている非スカラー データを可変サイズとして扱います。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: TreatDimensionOfLengthOneAsFixedSize
値: true or 1 (既定値) | false or 0
データ型: logical

真理値表が過剰指定されているときの診断アクションのレベル。"Error"、"Warning"、または "None" として指定します。詳細については、真理値表の過剰指定と過少指定の修正を参照してください。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: OverSpecDiagnostic
値: "Error" (既定値) | "Warning" | "None"

固定小数点プロパティ

Fixed-Point Designer™ fi オブジェクトとして扱う、継承された Simulink 信号。次のいずれかの値として指定します。

  • Fixed-point — 真理値表はすべての固定小数点入力を fi オブジェクトとして扱います。

  • Fixed-point & Integer — 真理値表はすべての固定小数点および整数の入力を fi オブジェクトとして扱います。

このパラメーターは、MATLAB をアクション言語として使用する真理値表にのみ適用されます。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: TreatAsFi
値: "Fixed-point" (既定値) | "Fixed-point & Integer"

真理値表の既定の fimath オブジェクト プロパティ。次のいずれかの値として指定します。

  • Same as MATLAB — 真理値表は、現在の既定の fimath オブジェクトと同じ fimath オブジェクト プロパティを使用します。テキスト ボックスが淡色表示され、現在のグローバル fimath オブジェクトが読み取り専用で表示されます。

  • Specify other — テキスト ボックスで独自の fimath オブジェクトを指定します。

詳細については、fimath オブジェクトの作成 (Fixed-Point Designer)を参照してください。

プログラムでの使用

ブロックのパラメーター値をプログラムで設定するには、ブロックの Stateflow.TruthTableChart オブジェクトにアクセスし、ドット表記を使用してオブジェクト プロパティを変更します。

パラメーター: EmlDefaultFimath
値: "Same as MATLAB Default" (既定値) | "Other:UserSpecified"

拡張機能

すべて展開する

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

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

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

バージョン履歴

R2006a より前に導入

すべて展開する

参考

ブロック

オブジェクト

トピック