Patent Document ID: 7774173
Application ID: 10953115
Patent Status: 1

Claim One:
1. A computer-readable storage medium storing a model parameter determination program used to direct a computer to perform a process, the process comprising: receiving, through an input device, input of variable data based on a result of a simulation or an experiment performed based on a model of a system to be analyzed; generating, by a formulation unit, a first constraint expression relating to a parameter of the model based on the received variable data and the model of the system, an error variable corresponding to the received variable data and a variable indicating a range of the error variable, and storing the expression in a storage; obtaining, by a quantifier elimination unit, a possible range of the variable indicating the range of the error variable as an emax by applying a quantifier elimination algorithm to the first constraint expression; generating, by the formulation unit, a second constraint expression by substituting emax for the variable indicating a range of the error variable in the first constraint expression; obtaining, by the quantifier elimination unit, presence/absence of a solution and/or a possible range of a feasible parameter by applying a quantifier elimination algorithm to the second constraint expression; and displaying the presence/absence of a solution and/or the possible range of a feasible parameter on a display.