Skip to main content

2021 | OriginalPaper | Buchkapitel

Exact Floating Point

verfasst von : Alan A. Jorgensen, Andrew C. Masters

Erschienen in: Advances in Software Engineering, Education, and e-Learning

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Standard IEEE floating point, which defines the representation and calculations of real numbers using a binary representation similar to scientific notation, does not define an exact floating-point result. In contrast, here we use a patented bounded floating-point (BFP) device and method for calculating and retaining the precision of the floating-point number represented, which provides an indication of exactness, with an “exact” floating-point result defined as a result that has error within + or – ½ units in the last place (ulps). Analysis and notification of exactness is important because subtraction of “similar,” but inexact, floating-point numbers can introduce an error (even catastrophic error) in the calculation. Here we also define “similar” and use bounded floating point to provide examples comparing subtraction of exact and inexact similar numbers by comparing the results from 64-bit and 128-bit standard and 80-bit bounded floating-point calculations.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat ISO/IEC/IEEE 60559, Information Technology – Microprocessor Systems – Floating-Point Arithmetic (Institute of Electrical and Electronics Engineers, Piscataway, 2011) ISO/IEC/IEEE 60559, Information Technology – Microprocessor Systems – Floating-Point Arithmetic (Institute of Electrical and Electronics Engineers, Piscataway, 2011)
2.
Zurück zum Zitat D. Goldberg, What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5–48 (1991)CrossRef D. Goldberg, What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5–48 (1991)CrossRef
3.
Zurück zum Zitat A. A. Jorgensen, Apparatus for calculating and retaining a bound on error during floating point operations and methods thereof. US Patent No. 9,817,662, 14 Nov 2017 A. A. Jorgensen, Apparatus for calculating and retaining a bound on error during floating point operations and methods thereof. US Patent No. 9,817,662, 14 Nov 2017
4.
Zurück zum Zitat A. A. Jorgensen, Apparatus for calculating and retaining a bound on error during floating point operations and methods thereof. US Patent No. 10,540,143, 21 Jan 2020 A. A. Jorgensen, Apparatus for calculating and retaining a bound on error during floating point operations and methods thereof. US Patent No. 10,540,143, 21 Jan 2020
5.
Zurück zum Zitat R.L. Ashenhurst, N. Metropolis, Error estimation in computer calculation. Am Math Monthly, Part 2: Comp Comp 72(2), 47–58 (1965)MathSciNetCrossRef R.L. Ashenhurst, N. Metropolis, Error estimation in computer calculation. Am Math Monthly, Part 2: Comp Comp 72(2), 47–58 (1965)MathSciNetCrossRef
6.
Zurück zum Zitat J.-M. Muller, F. de Dinechin, C.P. Jeannerod, V. Lefevre, G. Melquiond, N. Revo, D. Stehle, S. Torres, Handbook of Floating-Point Arithmetic (Birkhauser, Boston, 2010)CrossRef J.-M. Muller, F. de Dinechin, C.P. Jeannerod, V. Lefevre, G. Melquiond, N. Revo, D. Stehle, S. Torres, Handbook of Floating-Point Arithmetic (Birkhauser, Boston, 2010)CrossRef
7.
Zurück zum Zitat N.J. Higham, Accuracy and Stability of Numerical Algorithms (SIAM, Philadelphia, 1996), p. vii-xxviii, 1–688MATH N.J. Higham, Accuracy and Stability of Numerical Algorithms (SIAM, Philadelphia, 1996), p. vii-xxviii, 1–688MATH
9.
Zurück zum Zitat W.E. Ferguson Jr., Exact computation of a sum or difference with applications to argument reduction, in Proceedings of the 12th IEEE Symposium on Computer Arithmetic, (Bath, 1995) W.E. Ferguson Jr., Exact computation of a sum or difference with applications to argument reduction, in Proceedings of the 12th IEEE Symposium on Computer Arithmetic, (Bath, 1995)
10.
Zurück zum Zitat W.M. Kahan, Desperately needed remedies for the undebuggability of large floating-point computations in science and engineering, in IFIP/SIAM/NIST Working Conference on Uncertainty Quantification in Scientific Computing, (Boulder, 2011) W.M. Kahan, Desperately needed remedies for the undebuggability of large floating-point computations in science and engineering, in IFIP/SIAM/NIST Working Conference on Uncertainty Quantification in Scientific Computing, (Boulder, 2011)
11.
Zurück zum Zitat D. Goldberg, What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5–47 (1991)CrossRef D. Goldberg, What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5–47 (1991)CrossRef
12.
Zurück zum Zitat A.A. Jorgensen, A. Masters, R. Guha, Assurance of accuracy in floating-point calculations – A software model study, in 2019 International Conference on Computational Science and Computational Intelligence (CSCI), (Las Vegas, 2019) A.A. Jorgensen, A. Masters, R. Guha, Assurance of accuracy in floating-point calculations – A software model study, in 2019 International Conference on Computational Science and Computational Intelligence (CSCI), (Las Vegas, 2019)
14.
Zurück zum Zitat H. M. Sierra, Floating decimal point arithmetic control means for calculator, United States Patent 3,037,701, 5 June 1962 H. M. Sierra, Floating decimal point arithmetic control means for calculator, United States Patent 3,037,701, 5 June 1962
Metadaten
Titel
Exact Floating Point
verfasst von
Alan A. Jorgensen
Andrew C. Masters
Copyright-Jahr
2021
DOI
https://doi.org/10.1007/978-3-030-70873-3_26

Neuer Inhalt