This Article 
 Bibliographic References 
 Add to: 
A Residue Arithmetic Extension for Reliable Scientific Computation
February 1997 (vol. 46 no. 2)
pp. 129-138

Abstract—A reliable scientific computation approach, substantially different from the known ones, based on Residue Number System (RNS) floating-point arithmetic is described. In the approach, the real number is represented by an expression which consists of two parts, the approximate part and the interval error part. The approximate part, represented by an RNS floating-point number, shows an approximate value for the real number. The interval error value, represented by two RNS floating-point numbers, shows the left and the right limit of an interval containing the error. In parallel to the result of operation, the rounding error induced by that operation is determined and then summed up in each operation. When a series of operations is completed, the range of existence for the result can be determined from the result of the computation and the sum of interval errors.

For the illustration of the proposed method, some examples are also given, which are said to be difficult to find exact solution in the usual floating-point calculation.

[1] R.E. Moore, Interval Analysis.Englewood Cliffs, N.J.: Prentice Hall, 1966.
[2] R. Kirchner and U. Kulisch, "Arithmetic for Vector Processors," Proc. Eighth Symp. Computer Arithmetic,Como, Italy, May 1987.
[3] Reliability in Computing, The Role of Interval Method in Scientific Computing, R.E. Moore, ed. San Diego: Academic Press, 1988.
[4] E. Kinoshita, H. Kosako, and Y. Kojima, "Automatic Rounding Error Estimation and its Applications. Solution of Linear Equations, Newton's and McAuley's Methods," Electronics and Comm. in Japan, Part 1, vol. 69, no. 11, pp. 11-19, 1986.
[5] J.S. Chiang and M. Lu, "Floating-Point Numbers in Residue Number Systems," Computers and Mathematics, vol. 22, no. 10, pp. 127-140, 1991.
[6] E. Kinoshita, H. Kosako, and Y. Kojima, "Floating-Point Arithmetic Algorithms in the Symmetric Residue Number System," IEEE Trans. Computers, vol. 23, no. 1, pp. 9-20, Jan. 1974.
[7] N.S. Szabo and R.I. Tanaka, Residue Arithmetic and Its Applications to Computer Technology.New York: McGraw-Hill, 1967.
[8] A New Approach to Scientific Computation, U.W. Kulisch and W.L. Miranker, eds. New York: Academic Press, 1983.

Index Terms:
Floating-point number, interval operation, precision, reliable computation, residue number system.
Eisuke Kinoshita, Ki-Ja Lee, "A Residue Arithmetic Extension for Reliable Scientific Computation," IEEE Transactions on Computers, vol. 46, no. 2, pp. 129-138, Feb. 1997, doi:10.1109/12.565587
Usage of this product signifies your acceptance of the Terms of Use.