Furthermore, the wavelet transform provides a direct measure of local error at each collocation point, effectively producing automatically verified solutions.
The purpose of the database, called the Exact Analytical Conduction Toolbox, is to provide improved access to precise numerical values from verified solutions for application to engineering problems of current interest.
JSim's loops facility support modeling steps 6 and 7 above (verify solution accuracy, explore model state space).
The result is an important step towards being able to use MMS to verify solutions with discontinuities.
The three software components include, respectively, a repository or memory of past solutions (managed by case-based reasoning methods), the capacity to discover new solutions (using evolutionary algorithms), and the capacity to verify solutions (using numerical simulation models).
In order to verify solutions numerically, it is necessary to calculate the explicit a priori error estimates for approximate problems.
This is shown by linear numerical analysis and verified by solution of three test problems.
We further verified the solution by applying the model to match with actual data of Well 314 (Al-Ahmadi and Wattenbarger 2011).
At last, three representative examples are provided to demonstrate the solution process and verify the solution framework.
JSim plot pages support modeling steps 1, 5, 6, 7, 8 and 10 above (display of experimental data and model solutions, verify solution accuracy, explore model behavior, display of sensitivity curves and assessments of goodness of fit).
