Obiekt
Tytuł: Automatic detection and correction of computational errors in programs
Współtwórca:
Korbicz, Józef - red. ; Uciński, Dariusz - red.
Tytuł publikacji grupowej:
Abstract:
Two different kinds of methods that are frequently used to evaluate functions are: Regression (for single-valued parameters) and Iteration (for multi-valued parameters). Comprehensive tests have established that both regression and iteration methods can yield unexpected false answers because their criteria are , necessary but not sufficient conditions. Working algorithms that automatically detect and correct computational errors are described. ; For regression methods, in the Maximum Tolerance (MAXTOL) algorithm, the traditional question "Do these data describe this equation?" is replaced by "Do these data describe this equation within user stipulated limits of reliability for the raw data?" For iteration methods absolute measures for computational accuracy, determined from a general form of the Law of Conservation of Mass and Energy, have led to the development of the fully Automatic Error Detection and Corrective Action (EDCA) algorithm.
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Identyfikator zasobu:
Strony:
Źródło:
AMCS, volume 4, number 4 (1994) ; kliknij tutaj, żeby przejść
Jezyk:
Prawa do dysponowania publikacją:
Biblioteka Uniwersytetu Zielonogórskiego
Kolekcje, do których przypisany jest obiekt:
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Jednostki organizacyjne > Wydział Informatyki, Elektrotechniki i Automatyki
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Typy utworów > Artykuły
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Czasopisma naukowe i serie wydawnicze UZ > International Journal of Applied Mathematics and Computer Science (AMCS)
- Zielonogórska Biblioteka Cyfrowa > Repozytorium > Czasopisma naukowe i serie wydawnicze UZ > International Journal of Applied Mathematics and Computer Science (AMCS) > International Journal of Applied Mathematics and Computer Science (AMCS) (1994)
Data ostatniej modyfikacji:
2021-09-01
Data dodania obiektu:
2020-07-29
Liczba wyświetleń treści obiektu:
48
Wszystkie dostępne wersje tego obiektu:
https://www.zbc.uz.zgora.pl/publication/63954
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
International Journal of Applied Mathematics and Computer Science (AMCS)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 23 (2013)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 22 (2012)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 21 (2011)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 20 (2010)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 19 (2009)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 18 (2008)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 17 (2007)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 16 (2006)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 15 (2005)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 13 (2003)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 12 (2002)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 11 (2001)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 10 (2000)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 9 (1999)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 8 (1998)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 7 (1997)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 6 (1996)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 5 (1995)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4, number 1 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4, number 2 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4, number 3 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4, number 4 (1994)
- Extensions of the Cayley-Hamilton theorem for 2-D continuous-discrete linear systems
- A multidimensional polynomial factorization method based on the multidimensional Lagrange polynomials
- Variational solver for elliptic problems in atmospheric flows
- Strategic sensors and spy sensors
- On limiting forms of the reliability functions sequence of the parallel-series system
- Application of MATLAB[TM] software package for identification of mechanical systems modal models
- Formal description technique to support load modelling for innovative communication systems
- Group sequencing subject to precedence constraints
- Towards automatic correctness verification of real-time programs
- Automatic detection and correction of computational errors in programs
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 4, number 1 (1994)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 3 (1993)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 2 (1992)
-
International Journal of Applied Mathematics and Computer Science (AMCS),volume 1 (1991)
-
International Journal of Applied Mathematics and Computer Science (AMCS), volume 23 (2013)
| Nazwa wydania | Data |
|---|---|
| Automatic detection and correction of computational errors in programs | 2021-09-01 |
