How to Develop and Utilize Numerical Algorithms with Automatic Result Verification?
Advances in computer technology axe now so profound that the arithmetic capability and repertoire of computers can and should be expanded. The quality of the elementary floating-point operations should be extended to the most frequent numerical data types or mathematical spaces of computation (vectors, matrices, complex numbers and intervals over these types). A VLSI coprocessor chip with integrated PCI-interface has been developed which provides these operations. The expanded capability is gained at modest hardware cost and does not implicate a performance penalty. Language and programming support (the -XSC languages) are available. There, the chip’s functionality is directly coupled to the operator symbols for the corresponding data types. By operator overloading a long real arithmetic (array of reals) and long interval arithmetic as well as automatic differentiation arithmetic become part of the runtime system of the compiler. I. e. derivatives, Taylor-coefficients, gradients, Jacobian and Hessian matrices or enclosures of these are directly computed out of the expression by a simple type change of the operands. Techniques are now available so that with this expanded capability, the computer itself can be used to appraise the quality and the reliability of the computed results over a wide range of applications. Program packages for many standard problems of Numerical Analysis have been developed where the computer itself verifies the correctness of the computed result and proves existence and uniqueness of the solution within the computed bounds.
Many applications require that rigorous mathematics can be done with the computer using floating-point. As an example, this is essential in simulation runs (fusion reactor) or mathematical modeling where the user has to distinguish between computational artifacts and genuine reactions of the model. The model can only be developed systematically if errors entering into the computation can be essentially excluded. Automatic result verification re-integrates digital computing into real mathematics.
KeywordsArithmetic Operation Remainder Term Interval Arithmetic Automatic Differentiation Result Verification
Unable to display preview. Download preview PDF.
- 2.Alefeld, G., Herzberger, J.: An Introduction to Interval Computations, Academic Press, New York, 1983.Google Scholar
- 4.Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I, Theory, Algorithms and PASCAL-XSC Programs, Springer, Berlin, 1993.Google Scholar
- 8.Lohner, R., Krämer, W., Kulisch, U.: Numerical Toolbox for Verified Computing II, Theory, Algorithms and PASCAL-XSC Programs, Springer, Berlin, 1999.Google Scholar
- 12.Ungerer, T.: Mikroprozessoren — heute, morgen und übermorgen, Jahrbuch Überblicke Mathematik 1996, Vieweg.Google Scholar
- 14.GAMM-IMACS, Proposal for Accurate Floating-Point Vector Arithmetic, in Rundbrief der GAMM, 1993, Brief 2, und in Mathematics and Computers in Simulation, Vol. 35, No. 4, IMACS, 1993.Google Scholar
- 15.IBM, High Accuracy Arithmetic Subroutine Library (ACRITH), General Information Manual, 3rd ed., GC33–6163–02, IBM, 1986.Google Scholar
- 16.IBM, High Accuracy Arithmetic-Extended Scientific Computation (ACRITH-XSC), General Information, GC33–6461–01, IBM, 1990.Google Scholar
- 17.IBM: System /370 RPQ, High Accuracy Arithmetic. SA22–7093–0, IBM Corp., 1984.Google Scholar
- 18.Zeitschrift Elektronik 26, 1994, Genauer und trotzdem schneller, Ein neuer Coprozessor für hochgenaue Matrix- und Vektoroperationen, Titelgeschichte.Google Scholar