Visualization technique of feasible regions
AssigneeFujitsu Limited
InventorHirokazu ANAI
Life of this patent
Estimating the term…
Abstract
The disclosed method includes: generating, from model expressions, each representing a relationship between input parameters and output evaluation indicators and a range of residuals for each model expression, at least one of a first problem to calculate a region that can be feasible with the model expressions, value ranges of the input parameters and the range of the residuals for each model expression and a second problem to calculate a region that is always feasible with the model expressions, the value ranges of the input parameters and the influence of the aforementioned range; calculating a feasible region(s) for a generated problem(s) to obtain data of the feasible region(s); and generating visualization data of the feasible region(s) to output the visualization data.
Claims12
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.
A method for visualizing a feasible region, comprising:
- first generating, by using a computer, 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, by using a computer, 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, by using a computer, visualization data of the data of the feasible region or regions to output the visualization data.
A visualization processing apparatus, comprising:
- a memory;
- a processor using the memory and configured 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.
Dependencies are inferred from the claim text.