Patent Document ID: 20120239357
Application ID: 13413712
Patent Status: 0

Claim One:
1. A computer-readable, non-transitory storage medium storing a program for causing a computer to execute a procedure comprising: first generating, from data of a plurality of model expressions, each representing a relationship between input parameters and output evaluation indicators, and data of a range of residuals for each of the plurality of model expressions, at least one of a first problem to calculate a first region that is capable of being feasible with the plurality of model expressions, value ranges of the input parameters and the range of the residuals for each of the plurality of model expressions and a second problem to calculate a second region that is always feasible with the plurality of model expressions, the value ranges of the input parameters and the influence of the range of the residuals for each of the plurality of model expressions; causing a processing unit that calculates a feasible region by a quantifier elimination method to calculate a feasible region or regions for a generated problem or problems in the first generating to obtain data of the feasible region or regions; and second generating visualization data of the data of the feasible region or regions to output the visualization data.