テスト生成やプロパティ検証において、モデルを複雑にする原因はなんですか？

Question

0 个投票

テスト生成やプロパティ検証において、モデルを複雑にする原因を教えてください。

Answer 1

MathWorks Support Team 2026-5-4，0:00

编辑：MathWorks Support Team 2026-5-4，6:30

0 个投票

モデルを複雑にする要因に付きましては、下記の項目が挙げられます。

・入力ポート数　：　Number of inputs

・入力ポートのデータ型　：　the type of the inputs

・入力信号と状態・オブジェクトの依存関係　： the way inputs affect the model state and the objectives of the analysis

・モデルを通した可能なシミュレーション経路の数：Number of possible simulation paths through a model

・モデルの一部が到達できない：Portions of the model that cannot be reached

・大きなカウンタがモデル内にある：Large signal count in the model

等になります。

詳しい情報が、下記WEBの「Analyzing Large Models and Improving Performance」の「Sources of Model Complexity」に記載されています。

・Sources of Model Complexity

0 个评论
显示 -2更早的评论隐藏 -2更早的评论