Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: arytmetyka przedziałowa

Sortuj według:

Ogranicz wyniki do:

Validated high precision solution of second order initial value problem with Taylor model

100%

Stręk T.

tom Vol. 21

357--360

The problem of reliability of computer computations is one of great concern to specialists in many areas of science and engineering. The notion of computing estimates of numerical error in computer simulations is not new. In recent years, considerable progress has been made in determining theoretical and computational techniques that aid to improve the reliability of results of simulations. An important advance in this area has been the recent discovery of methods to determine upper and lower bounds of local approximation error in any given simulation. Different from floating-point computations, interval arithmetic offers a simple mechanism to evaluate an enclosure of a function. Interval arithmetic is the arithmetic defined on sets of intervals, rather than sets of real numbers. The power of the interval arithmetic lay in implementation of interval arithmetic on computers. The fundamental problem in interval methods is computing the ranges of values of real function. The overestimation of the range of a given function by the interval arithmetic expression is strongly dependent on the arithmetic expression of the given function. The reason for this is based on the fact that interval arithmetic does not follow the same rules as the arithmetic for real numbers.

Nowa metoda oceny niepewności identyfikacji źródeł hałasu

84%

Batko W. , Pawlik P.

tom R. 59, nr 6

529--531

W artykule przedstawiono nową metodę oceny niepewności estymacji poziomu dźwięku pochodzącego od identyfikowanych źródeł oraz tła akustycznego. Wykorzystano metodę eliminacji w celu zbadania wpływu poszczególnych źródeł na sumaryczny poziom hałasu. Operacje matematyczne opisujące wykorzystaną metodykę obliczeniową, przeprowadzono w formalizmie redukcyjnej arytmetyki przedziałowej, w celu oceny wpływu niepewności pomiarowej na wyniki obliczeń. W artykule przedstawiono ogólny schemat oceny niepewności, dający możliwość uwzględnienia informacji probabilistycznej związanej z wynikami pomiaru. Zaproponowane rozwiązanie oparto na pomiarach zrealizowanych w warunkach laboratoryjnych.

A new method for uncertainty assessment of the sound level originated from identified noise sources and their acoustic background is presented in the paper. The elimination method [1] was applied in order to investigate influence of individual sources on the cumulative noise level. Mathematical operations describing the used computational method were performed in the reduction interval arithmetic formalism [6] to assess the influence of the measuring uncertainty on the calculation results. The measurement values of the total noise level and the noise levels characteristic for disconnections of successive noise sources were presented in the interval numbers. These numbers contain the measurement values and the uncertainty (Tab. 2). The authors determined the ranges of variation for estimates of the noise levels by individual sources and the background noise using the reductive interval arithmetic (Tab. 3). The general uncertainty estimation scheme presented in the paper provides the possibility of taking into account probabilistic information related to the obtained results. The proposed solution was based on measurements realised under laboratory conditions.

Kontrola dokładności numerycznego przetwarzania danych pomiarowych

67%

Górka P.

Pomiary Automatyka Kontrola

2008

tom R. 54, nr 12

854-856

W artykule przedstawiono wybrane metody automatycznej kontroli dokładności obliczeń w procesie przetwarzania danych pomiarowych. Metody te powinny - w założeniu - uwzględniać dokładność wyników pomiarów, jak i błędy numeryczne. Najwięcej uwagi poświęcono omówieniu możliwości zastosowania arytmetyki przedziałowej jako najbardziej uniwersalnej metody kontroli dokładności obliczeń. Przedstawiono zasady jej stosowania, zalety jak i uwagi dotyczące ominięcia jej mankamentów.

The paper presents some methods of the automatic accuracy check of calculations performed during computer processing of measurement data. The mentioned methods should take into account the measurement data accuracy and numerical errors. The paper discusses mainly the interval arithmetic method which appears as the most universal one. The basis of the method, its advantages and possibility to avoid some problems which can be connected with the use of interval arithmetic are presented as well.