Model parameter determining method in a simulation by applying a quantifier elimination algorithm

摘要

A model parameter determination program stored in a storage medium used to direct a computer to efficiently and effectively determine a parameter of a model in a simulation, and includes a step of receiving input of data of a variable in a model of a system to be analyzed; a step of generating a constraint expression relating to a parameter of a model based on the received data and the model of the system; and a step of obtaining presence/absence of a solution and/or a possible range of a feasible parameter by applying a quantifier elimination algorithm to the constraint expression.