模型校验经济有效性问题的优化模型与方法

The Optimal Model and Methods of Economical-Effective Problem in Model Check

模型校验中的经济有效性问题对于仿真系统,特别是大型复杂的军用仿真系统的模型校验十分重要。通过对模型校验策略的分析,讨论了如何建立这一问题的优化模型,并给出了基于线性规划和非线性规划的模型求解方法。

The economical-effective problem in model check is very important for simulation system, especially for large-scale complicated military simulation system. This paper discusses how to found its optimal model through the analysis of model check countermeasure and proposes its solution based on linear and non-linear programming.