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.