Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "interval arithmetic" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 33
Tytuł:
Set arithmetic and the enclosing problem in dynamics
Autorzy:
Mrozek, Marian
Zgliczyński, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/1207977.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
dynamical systems
interval arithmetic
rigorous numerical analysis
enclosing problem
Opis:
We study the enclosing problem for discrete and continuous dynamical systems in the context of computer assisted proofs. We review and compare the existing methods and emphasize the importance of developing a suitable set arithmetic for efficient algorithms solving the enclosing problem.
Źródło:
Annales Polonici Mathematici; 2000, 74, 1; 237-259
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kontrola dokładności numerycznego przetwarzania danych pomiarowych
Calculation accuracy check in computer processing of measurement data
Autorzy:
Górka, P.
Powiązania:
https://bibliotekanauki.pl/articles/157094.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
arytmetyka przedziałowa
metody numeryczne
analiza błędów
kontrola dokładności obliczeń
przetwarzanie danych pomiarowych
błędy obliczeń
programowanie
interval arithmetic
interval computations
numerical methods
error analysis
calculation accuracy check
measurement data processing
calculation error
programming
Opis:
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.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 12, 12; 854-856
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
Autorzy:
Rauh, A.
Minisini, J.
Hofer, E. P.
Powiązania:
https://bibliotekanauki.pl/articles/930112.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
arytmetyka przedziałowa
analiza osiągalności
sterowanie odporne
interval arithmetic
reachability analysis
observability analysis
robust stability
model-based design of optimal controllers
Opis:
Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime dynamical system models is extended. These extensions are the synthesis, sensitivity analysis, and optimization of open-loop and closed-loop controllers. In addition to the calculation of guaranteed enclosures of the sets of all reachable states, interval arithmetic routines have been developed which verify the controllability and observability of the states of uncertain dynamic systems. Furthermore, they assure asymptotic stability of controlled systems for all possible operating conditions. Based on these results, techniques for trajectory planning can be developed which determine reference signals for linear and nonlinear controllers. For that purpose, limitations of the control variables are taken into account as further constraints. Due to the use of interval techniques, issues of the functionality, robustness, and safety of dynamic systems can be treated in a unified design approach. The presented algorithms are demonstrated for a nonlinear uncertain model of biological wastewater treatment plants.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 3; 425-439
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On probabilistic bounds inspired by interval arithmetic
Autorzy:
Zilinskas, A.
Zilinskas, J.
Powiązania:
https://bibliotekanauki.pl/articles/969846.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
global optimization
branch and bound method
randomized computing
interval arithmetic
Opis:
A randomized method aimed at evaluation of probabilistic bounds for function values is considered. Stochastic intervals tightly covering ranges of function values with probability close to one are modelled by a randomized method inspired by interval arithmetic. Statistical properties of the modelled intervals are investigated experimentally. The experimental results are discussed with respect to application of this method in the construction of a branch and bound type randomized algorithm for global optimization.
Źródło:
Control and Cybernetics; 2010, 39, 2; 507-525
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interval boundary element method for transient diffusion problem in two-layered domain
Przedziałowa metoda elementów brzegowych dla zadań dyfuzji w obszarach dwuwarstwowych
Autorzy:
Piasecka-Belkhayat, A.
Powiązania:
https://bibliotekanauki.pl/articles/280879.pdf
Data publikacji:
2011
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
directed interval arithmetic
interval boundary element method
heat transfer
Opis:
In the paper, the description of an unsteady heat transfer for one- dimensional problem proceeding in a two-layered domain is presented. It is assumed that all thermophysical parameters appearing in the mathematical description of the problem analysed are given as directed interval values. The problem discussed has been solved using the 1st scheme of the interval boundary element method. The interval Gauss elimination method has been applied to solve the obtained interval system of equations. In the final part of the paper, results of numerical computations are shown.
W pracy przedstawiono opis nieustalonego przepływu ciepła dla zadań jednowymiarowych w obszarach dwuwarstwowych. Założono, że wszystkie parametry termofizyczne pojawiające się w opisie matematycznym analizowanego zadania są wartościami przedziałowymi skierowanymi. Omawiane zagadnienie zostało rozwiązane za pomocą pierwszego schematu przedziałowej metody elementów brzegowych. Do rozwiązania otrzymanego interwałowego układu równań zastosowano przedziałową metodę eliminacji Gaussa. W końcowej części pracy pokazano wyniki obliczeń numerycznych.
Źródło:
Journal of Theoretical and Applied Mechanics; 2011, 49, 1; 265-276
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical study of large scale truss construction with structural uncertainties
Autorzy:
Bednár, Róbert
Sága, Milan
Vaško, Milan
Powiązania:
https://bibliotekanauki.pl/articles/41204159.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:
uncertain parameters
uncertainties and errors
Monte Carlo method
interval arithmetic
optimization
MATLAB
Opis:
The paper deals with efficiency and usability problem for the chosen solution methods for mechanical systems with structural uncertainties. They are significantly influencing the analysis results and the analysis itself. An application of the chosen approaches will be presented – the first one, a simple combination of only inf-values or only sup-values; the second one presents full combination of all inf-sup values; the third one uses the optimizing process as a tool for finding out an inf-sup solution and last one is Monte Carlo method as a comparison tool.
Źródło:
Studia i Materiały Informatyki Stosowanej; 2011, 4; 17-22
1689-6300
Pojawia się w:
Studia i Materiały Informatyki Stosowanej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie interwału korelacji do oceny niepewności standardowej średniej arytmetycznej danych skorelowanych
Application of correlation interval to determination of standard uncertainty of arithmetic mean for correlated data
Autorzy:
Kowalczyk, A.
Szlachta, A.
Hanus, R.
Powiązania:
https://bibliotekanauki.pl/articles/155964.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sygnały przypadkowe
funkcja autokorelacji
interwał korelacji
średnia arytmetyczna
niepewność standardowa
random signals
autocorrelation function
correlation interval
arithmetic mean
standard uncertainty
Opis:
W pracy zaproponowano wykorzystanie interwału korelacji do wyznaczania standardowej niepewności średniej arytmetycznej szeregu danych dodatnio skorelowanych. Dla wykładniczego modelu skorelowania danych porównano sposób oceny wpływu skorelowania za pomocą interwału korelacji i wartości funkcji autokorelacji.
Correlation interval (CI) is frequently used in stochastic signals analysis. In this work the CI application to determination of standard uncertainty of arithmetic mean for correlated data is proposed. The results of theoretical analysis for Gaussian distributed data with exponential form of autocorrelation functions are given. The paper is divided into five sections. The first is a short introduction to the subject of the paper. Section 2 presents the definition and determination of CI (Eq. 1, Eq. 2) and its application to evaluation of the standard uncertainty of the arithmetic mean (Eq. 11). Section 3 describes the use of correlation interval to determination of the standard uncertainty of the arithmetic mean for data with exponential form of autocorrelation function. The results of experiments for random signals with Gaussian probability distribution are given in Section 4. Section 5 summarizes the results and presents final remarks. The authors conclude that the method described in this paper may be applied to determination of standard uncertainty of arithmetic mean for Gaussian positively correlated data.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 12, 12; 1549-1551
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Résumé on Interval Runge-Kutta Methods
Autorzy:
Marciniak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/748753.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
interval methods for ODEs, Runge-Kutta methods, floating-point interval arithmetic
Opis:
W artykule przedstawiono jawne i niejawne metody przedziałowe typu Rungego-Kutty. Metody takie zawierają w sobie błędy metod, co oznacza, że ten rodzaj błędów jest uwzględniony w otrzymywanych rozwiązaniach przedziałowych. Stosując te metody do rozwiązywania zagadnienia początkowego w zmiennopozycyjnej arytmetyce przedziałowej otrzymujemy zatem rozwiłzania w postaci przedziałów, które zawierają wszystkie możliwe błędy numeryczne. W artykule przedstawiono także przykłady numeryczne.
The paper presents explicit and implicit interval methods of Runge-Kutta type. Such methods introduce the errors of methods. It means that this kind of errors are included in the interval solutions obtained. Applying these methods for solving the initial value problem in floating-point interval arithmetic we can obtain solutions in the form of intervals which contain all possible numerical errors. Numerical examples are presented.
Źródło:
Mathematica Applicanda; 2012, 40, 1
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An interval difference method for solving the wave equation
Autorzy:
Szyszka, B.
Powiązania:
https://bibliotekanauki.pl/articles/378277.pdf
Data publikacji:
2012
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
wave equation
difference interval method
interval method
floating point interval arithmetic
Opis:
In the paper a difference interval method for solving the wave equation together the initial-boundary value problems is presented. Using an interval method together floating-point interval arithmetic guarantee, that obtained interval solutions contain all numerical errors. Additionally, each exact solution is included into interval solution. In numerical experiments it is guarantee contain all numerical errors in obtained interval solutions. Taken into consideration is the central discretization method with regard to space and time. An initial condition is approximated by the third-order Taylor polynomial with local truncation error of order 0(h4). In the paper new formula, which described discretization of the initial condition, is proposed. Therefore more exact solutions are obtained then in the previous considerations.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2012, 69; 161-168
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computer Assisted Proofs in Dissipative Partial Differential Equations
Autorzy:
Cyranka, J.
Powiązania:
https://bibliotekanauki.pl/articles/115445.pdf
Data publikacji:
2012
Wydawca:
Fundacja na Rzecz Młodych Naukowców
Tematy:
rigorous numerics
Lohner algorithm
viscous Burgers equation
interval arithmetic
dissipative partial differential equations
Opis:
The goal of this paper is to present a brief survey of our research that has focused on studying the dynamics of dissipative partial differential equations by performing computer as sisted proofs. We provide a description of the main ideas behind the computer assisted proofs that we have performed, along with related topics. The emphasis is given to the case of the vis cous Burgers equation with constant forcing, for which the existence of globally attracting fixed points has been established. To achieve this goal, we used a combination of analytical results with computer assistance.
Źródło:
Challenges of Modern Technology; 2012, 3, 3; 3-6
2082-2863
2353-4419
Pojawia się w:
Challenges of Modern Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Evaluation of the Accuracy of the Solution to the Heat Conduction Problem with the Interval Method of Crank-Nicolson Type
Autorzy:
Jankowska, M. A.
Sypniewska-Kamińska, G.
Kamiński, H.
Powiązania:
https://bibliotekanauki.pl/articles/387306.pdf
Data publikacji:
2012
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
metoda Cranka-Nicholsona
arytmetyka interwałowa
błędy obliczeniowe
interval finite difference method of Crank-Nicholson type
interval arithmetic
computational errors
Opis:
The paper deals with the interval method of Crank-Nicolson type used for some initial-boundary value problem for the onedimensional heat conduction equation. The numerical experiments are directed at a short presentation of advantages of the interval solutions obtained in the floating-point interval arithmetic over the approximate ones. It is also shown how we can deal with errors that occur during computations in terms of interval analysis and interval arithmetic.
Źródło:
Acta Mechanica et Automatica; 2012, 6, 1; 36-43
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
New Approach to the Uncertainty Assessment of Acoustic Effects in the Environment
Autorzy:
Batko, W.
Pawlik, P.
Powiązania:
https://bibliotekanauki.pl/articles/177204.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
interval arithmetic
uncertainty
railway noise
Opis:
The acoustic climate assessment needed for the selection of solutions (technical, legal and organisa- tional), which will help to minimise the acoustic hazards in the analysed areas, is realised on the basis of acoustic maps. The reference computational algorithms, assigned to them, require very thorough prepa- ration of input data for the considered noise source model representing – in the best possible way – the acoustic climate. These input data are burdened with certain uncertainties in this class of computational tasks. The uncertainties are related to the problem of selecting proper argument values (from the inter- val of their possible variability) for the modelled processes. This situation has a direct influence on the uncertainty of acoustic maps. The idea of applying the interval arithmetic for the assessment of acoustic models uncertainty is formulated in this paper. The computational formalism assigned to the interval arithmetic was discussed. The rules of interval estimations for the model solutions determining the sound level distribution around the analysed noise source – caused by possible errors in the input data – were presented. The application of this formalism was illustrated in uncertainty assessments of modelling acoustic influences of the railway noise linear source on the environment.
Źródło:
Archives of Acoustics; 2012, 37, 1; 57-61
0137-5075
Pojawia się w:
Archives of Acoustics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Interval arithmetic-based fuzzy discrete-time crane control scheme design
Autorzy:
Smoczek, J.
Powiązania:
https://bibliotekanauki.pl/articles/201270.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
interval arithmetic
discrete-time control
fuzzy control
pole placement
anti-sway control
Opis:
In many manufacturing segments, container terminals and shipping yards the automation of material handling systems is an important element of enhancing productivity, safety and efficiency. The fast, precise and safe transfer of goods in crane operations requires a control application solving the problems, including non-collision trajectory planning and limitation of payload oscillations. The paper presents the interval arithmetic-based method of designing a discrete-time closed-loop anti-sway crane control system based on the fuzzy interpolation of linear controller parameters. The interval analysis of a closed-loop control system characteristic polynomial coefficients deviation from their nominal values is proposed to define a minimum number of fuzzy sets on the scheduling variables universe of discourse and to determine the distribution of triangular-shaped membership functions parameters, which satisfy the acceptable range of performances deterioration in the presence of the system’s parameters variation. The effectiveness of this method was proved in experiments conducted using the PAC system on the laboratory scaled overhead crane.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2013, 61, 4; 863-870
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Niepewność estymacji izolacyjności akustycznej przegród
Uncertainty of sound insulation estimation
Autorzy:
Batko, W.
Powiązania:
https://bibliotekanauki.pl/articles/153505.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
ocena niepewności
redukcyjna arytmetyka interwałowa
izolacyjność akustyczna
uncertainty evaluation
reductive interval arithmetic
sound insulation
Opis:
W artykule przedstawiono sposób wyrażania niepewności estymacji izolacyjności akustycznej, oparty na redukcyjnej arytmetyce interwałowej. Zaproponowano rozwiązanie pozwalające na wyznaczenie zakresu możliwego błędu estymacji, przy uwzględnieniu możliwych rozbieżności w wartościach parametrów wejściowych. Zaproponowana metoda wskazuje na możliwość spójnej oceny różnych kategorii błędów, uzupełnia lukę formalną z jaka mamy do czynienia w praktycznym stosowaniu zaleceń przewodnika niepewności [1].
This paper presents the method for estimating the uncertainty of sound insulation of partitions based on the reductive interval arithmetic [4]. The variability ranges of input parameters were presented as interval numbers (Fig. 1). Based on the determined intervals, the sound insulation of partition was determined by performing operations on the interval numbers. As a result, there was obtained a range of variations of sound insulation as a function of frequency (Fig. 2). The proposed arithmetic allows determining the range of a possible estimation error of the parameter analyzed, when taking into account possible differences in the values of input parameters. The distribution of errors is asymmetric. The proposed method for evaluating the uncertainty shows the possibility of coherent assessment of various categories of errors, thereby fills the formal gap which exists in practical application of the recommendations of the Guide to the Expression of Uncertainty in Measurement [1].
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 1, 1; 26-27
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nowa metoda oceny niepewności identyfikacji źródeł hałasu
A new method for uncertainty assessment of noise source identification
Autorzy:
Batko, W.
Pawlik, P.
Powiązania:
https://bibliotekanauki.pl/articles/151148.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
ocena niepewności
arytmetyka przedziałowa
identyfikacja źródeł hałasu
ocena zagrożeń hałasu
wibroakustyka
uncertainty assessment
interval arithmetic
noise source identification
noise hazard estimation
vibroacoustics
Opis:
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.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 6, 6; 529-531
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 33

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies