Skip to main content
SpringerLink
Log in

Errors in vector processing and the library libavi.a

Погрещности при векторной обработке и библиотека libavi.a

  • Published:
Reliable Computing

Abstract

In this paper, we describe the results of several tests that check the accuracy of numerical computation on the Cray supercomputer in vector and scalar modes. The known tests were modified to identify the critical point where roundings start causing problems. After describing the tests, we present an interval library called libavi.a. It was developed in Fortran 90 on the Cray Y-MP2E supercomputer of UFRGS-Brazil. This library makes interval mathematics accessible to the Cray supercomputers users. It works with real and complex intervals and intervals matrices and vectors. The library allows overloading of operators and functions. It is organized in four modules: real intervals, interval vectors and matrices, complex intervals, and linear algebra applications.

Abstract

Провелено тестирование качества результатов нескольких численных расчетов на суиеркомньютере Сгау в векторном и скалярном режимах. В тестах прелусматривались изменения ланных с целью опрелелить критическне точки, в которых округления приволят-к проблемам при провелении вычислений. Прелставлена интервальная библиотека пол названием libavi.a, разработанная на фортране-90 на суперкомпьютере Срау Y-MP2E в фелеральном университете Риу-Гранли ло Сул (Бразилия). Эта библиотека лелает интервальную арифметику лоступной пользователям компьютеров Сгау. Она позволяет работать с вещественными и комплексными интервалами, а также интервальными матрицами и векторами. Допускается также совмещение илентификаторов функпий и знаков оиерапий. Библиотека состоит из четырех молулей: вещественные интервалы, интервальные векторы и матрицы, комплексные интервалы и ириложения в линейной алгебре.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bohlender, G., Cordes, D., Knöfel, A., Kulisch, U., Lohner, R., and Walter, W. V.Proposal for accurate floating-point vector arithmetic. In: Adams, E. and Kulisch, U. (eds) “Scientific Computing with Automatic Result Verification”, Academic Press, Orlando, 1992, pp. 87–102.

    Google Scholar 

  2. Diverio, T. A.Uso efetivo da matemática intervalar em supercomputadores vetoriais. Ph.D. thesis, Porto Alegre: CPGCC-UFRGS, 1995.

    Google Scholar 

  3. Fernandes, U. A. L. and Diverio, T. A.Fallas en los calculos utilizando procesamiento vetorial. In: “CITA 95, Assuncion, 7–11, August 1995”.

  4. Hammer, R.How reliable is the arithmetic of vector computers? In: Ullrich, Ch. (ed.) “Contributions to Computer Arithmetic and Self-Validating Numerical Methods”, IMACS Annals on Computing and Applied Mathematics 7, J.C. Baltzer, 1990, pp. 467–482.

  5. Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.Numerical toolbox for verified computing I: basic numerical problems. Springer-Verlag, Berlin, 1992.

    Google Scholar 

  6. Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, Ch.Pascal-XSC. Language reference with examples. Berlin, Springer-Verlag, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituto de Informática, Universidade Federal do Rio Grande do Sul, P.O. BOX 15064, 91501-970, Porto Alegre-RS, Brasil

    Tiarajú A. Diverio, Ursula A. Fernandes & Dalcidio M. Claudio

Authors
  1. Tiarajú A. Diverio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ursula A. Fernandes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dalcidio M. Claudio
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

© T. A. Diverio, Ú. A. Fernandes, D. M. Claudio, 1996

Rights and permissions

Reprints and permissions

About this article

Cite this article

Diverio, T.A., Fernandes, U.A. & Claudio, D.M. Errors in vector processing and the library libavi.a. Reliable Comput 2, 103–109 (1996). https://doi.org/10.1007/BF02425911

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02425911

Keywords

Search

Navigation