パラメーター制約の MATLAB コードファイルへの格納

パラメーターテーブルを使用して、解析におけるモデルパラメーターの制約を管理することができます。モデル内のパラメーターに対して制約を課すと、解析時にそのパラメーターは指定された制約値しか取りません。ここでは同一モデル内の複数のパラメーターに対して課す制約の集合もパラメーターコンフィギュレーションと呼びます。複数個のパラメーター制約の集合を、パラメーターコンフィギュレーションファイルと呼ばれる MATLAB^® コードファイルに格納できます。Simulink^® Design Verifier™ のコンフィギュレーションパラメーターの詳細については、パラメーターテーブルの使用を参照してください。

パラメーターコンフィギュレーションを有効にするには、[Design Verifier] タブの [準備] セクションのモード設定のドロップダウンメニューから、[設定] をクリックします。[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier] 、 [パラメーターとバリアント] ペインで、[パラメーターコンフィギュレーションの有効化] を選択します。

パラメーター制約のファイルへのエクスポート

パラメーターテーブルを使用して、パラメーターの制約値を MATLAB コードファイルにエクスポートできます。同じパラメーターコンフィギュレーションを後で別の解析で使用する場合、過去に指定したパラメーターの制約値を MATLAB コードファイルからインポートできます。

パラメーターの制約値をファイルにエクスポートするには、次の手順に従います。

[Design Verifier] タブの [準備] セクションのモード設定のドロップダウンメニューから、[設定] をクリックします。[コンフィギュレーションパラメーター] ダイアログボックスで、[Design Verifier] 、 [パラメーターとバリアント] を選択します。
パラメーターテーブルには、モデル内のパラメーターに対して指定されている制約値が表示されます。たとえば次のスクリーンショットのようになります。
[ファイルにエクスポート] をクリックします。
パラメーターコンフィギュレーションファイルは、現在のパラメーターコンフィギュレーションを指定したファイル名の .m ファイルに保存します。[使用] チェックボックスが選択されていないパラメーターは、パラメーターコンフィギュレーションファイルではコメント付きの行として表示されます。
前の手順で示した例では、パラメーターコンフィギュレーションファイルには次のコードが含まれています。
```
function params = ex_many_params_config
params.param_01 = {0, 1};
% params.param_02 = {0, 01};
params.param_03 = {0, 1};
% params.param_04 = {0, 1};
```

パラメーター制約のファイルからのインポート

R2014a より前のリリースで解析用にパラメーターコンフィギュレーションを定義した場合、それに対応する MATLAB ファイルをインポートし、パラメーターテーブルでそれらのパラメーターを管理することができます。

MATLAB コードファイルからパラメーター制約をインポートするには、次の手順に従います。

[Design Verifier] タブの [準備] セクションのモード設定のドロップダウンメニューから、[設定] をクリックします。[コンフィギュレーションパラメーター] ダイアログボックスで、[Design Verifier] 、 [パラメーターとバリアント] を選択します。
[ファイルから追加] をクリックします。パラメーターコンフィギュレーションファイルを選択します。
このファイルからパラメーターテーブルにコード内の指定のパラメーター制約が読み込まれます。ただし、コードのコメントは除外されます。パラメーターに対して制約を指定し、その後、同じパラメーターに対する制約指定があるパラメーターコンフィギュレーションファイルを読み込んだ場合、ファイル内で指定されている制約によって、テーブルにある既存の制約が上書きされます。

Simulink Design Verifier では、モデル例 sldvdemo_param_identification に対するパラメーターコンフィギュレーションファイルの例が提供されています。

matlabroot/toolbox/sldv/sldvdemos/sldvdemo_param_ident_config.m