モデルチェッカープロット
Model Checker Plotsモジュールは、Model Checkerツールで失敗したチェックをより視覚的にプロットします。
レポートリボン、モジュールの追加ツールグループから、をクリックし、Model Checker Plotsモジュールを選択します。
または
ReportまたはChapterレベルで右クリックし、 を選択します。- 以下は、Model Checker Plotsモジュールに関連したプロパティです。
- Name
- Model Checker Plotsモジュールの名前を指定します。
- 実行すると、モデルチェッカープロットが生成されます。
- ソリッドとシェルを含むコンポーネント
- 軸ベクトルに沿った方向ベクトル
- 同一線上のRBE3要素
- 重複する1D / 2D / 3D要素
- モデル内のフリー節点
- 同一位置にあるG1、G2のグリッドポイント