Accuracy verification program for model parameter computation and storage medium storing the program
AssigneeFujitsu Limited
InventorsShigeo Orii, Hirokazu Anai
Life of this patent
Estimating the term…
Abstract
A program causes a computer to perform a step 1 of reading a model from a storage apparatus; a step 2 of computing difference equations by replacing variables with numeric values of a time-series that are stored in the storage apparatus; a step 3 of determining ranges of parameters of the model using a quantifier elimination method and a step 4 of verifying numbers of significant figures that show an accuracy of a computation by the determined ranges of parameters of the model.
Claims14
A computer-readable storage medium storing a program for verifying an accuracy for model parameters computation, wherein the program causes the computer to perform:
- reading a model represented by difference equations from a storage apparatus;
- computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus;
- determining ranges of parameters of the model by applying a quantifier elimination method to the constraints, that is, the results of above computation;
- and
- verifying numbers of significant figures that show a computation accuracy of model parameters by the determined ranges of parameters of the model.
A computer-readable storage medium storing a program for verifying an accuracy for model parameters computation, wherein the program causes the computer to perform:
- reading a model represented by difference equations from a storage apparatus;
- computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus;
- determining ranges of parameters of the model by applying a quantifier elimination method to the constraints, that is, the results of above computation;
- comparing the determined ranges of parameters of the model with model parameter input values of the read model and verifying whether or not the determined ranges fall within a predetermined accuracy range;
- and
- when the ranges do not fall within the accuracy range according to the verification result, repeating steps in and after the step of reading the model after executing a processing of enhancing the computation accuracy.
A computer-readable storage medium storing a program for verifying an accuracy for model parameters computation, wherein the program causes the computer to perform:
- reading a model represented by difference equations from a storage apparatus;
- computing difference equations by replacing variables of the model with numeric values at one time among numeric values of a time-series that are stored in the storage apparatus;
- determining ranges of values of variables of the model at a time that is different from the one time by applying a quantifier elimination method to the constraints, that is, the results of above computation;
- and
- verifying numbers of significant figures that show a computation accuracy of variable values by the determined ranges of variable values of the model.
A method of verifying an accuracy for model parameters computation;
- comprising:
- reading a model represented by difference equations from a storage apparatus;
- computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus;
- determining ranges of parameters of the model by applying a quantifier elimination method to the difference equations;
- and
- verifying numbers of significant figures that show a computation accuracy of model parameters by the determined ranges of parameters of the model.
An apparatus for verifying an accuracy for model parameters computation;
- comprising:
- a reading unit for reading a model represented by difference equations from a storage apparatus;
- a computing unit for computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus;
- a determining unit for determining ranges of parameters of the model by applying a quantifier elimination method to the constraints, that is, the results of above computation;
- and
- a verifying unit for verifying numbers of significant figures that show a computation accuracy of model parameters by the determined ranges of parameters of the model.
An apparatus for verifying an accuracy for model parameters computation;
- comprising:
- reading means for reading a model represented by difference equations from a storage apparatus;
- computing means for computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus;
- determining means for determining ranges of parameters of the model by applying a quantifier elimination method to the constraints, that is, the result of above computation;
- and
- verifying means for verifying numbers of significant figures that show a computation accuracy of model parameters by the determined ranges of parameters of the model.
A computer data signal embodied in a carrier wave, the signal which shows a program for verifying an accuracy of model parameters computation, wherein the program causes a computer to perform:
- reading a model represented by difference equations from a storage apparatus;
- computing difference equations that use numeric values of a time-series by replacing variables of the model with numeric values of a time-series that are stored in the storage apparatus;
- determining ranges of parameters of the model by applying a quantifier elimination method to the constraints, that is, the results of above computation;
- and
- verifying numbers of significant figures that show a computation accuracy of model parameters by the determined ranges of parameters of the model.
Dependencies are inferred from the claim text.