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ł:
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ł:
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ł:
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ł:
Comparison of heat transfer phenomena for two different cryopreservation methods : slow freezing and vitrification
Autorzy:
Skorupa, Anna
Piasecka-Belkhayat, Alicja
Powiązania:
https://bibliotekanauki.pl/articles/2202057.pdf
Data publikacji:
2023
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
cryopreservation
slow freezing
vitrification
phase change
finite difference method
directed interval arithmetic
kriokonserwacja
powolne zamrażanie
witryfikacja
przemiana fazowa
metoda różnic skończonych
arytmetyka przedziałów skierowanych
Opis:
The purpose of the research is to prepare a mathematical and numerical model for the phenomenon of heat transfer during cryopreservation. In the paper, two popular methods, slow freezing and vitrification, are compared. Furthermore, the basic model of thermal processes is supplemented by the phenomenon of phase transitions. To determine the temperature distribution during cryopreservation processes, one uses the heat transfer equation proposed by Pennes. An integral part of the energy equation is the substitute thermal capacity (STC) performed according to the concept named one domain method (fixed domain method), The numerical model is developed using the finite difference method (FDM) connected with directed interval arithmetic. The final part of the article contains the results of numerical simulations.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2023, 22, 1; 57--69
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
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ł:
A decomposition approach to type 2 interval arithmetic
Autorzy:
Piegat, Andrzej
Dobryakova, Larisa
Powiązania:
https://bibliotekanauki.pl/articles/330100.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
multidimensional RDM interval arithmetic
type 2 interval arithmetic
RDM type 2 interval arithmetic
decomposition type 2 interval arithmetic
interval arithmetic
Opis:
The classic interval has precise borders A = [a, ā] . Therefore, it can be called a type 1 interval. Because of great practical importance of such interval data, several versions of type 1 interval arithmetic have been created. However, sometimes precise borders a and ā of intervals cannot be determined in practice. If the borders are uncertain, then we have to do with type 2 intervals. A type 2 interval can be denoted as AT2 = [aL, aR], [āL, āR]. The paper presents multidimensional decomposition RDM type 2 interval arithmetic (D-RDM-T2-I arithmetic), where RDM means relative-distance measure. The decomposition approach considerably simplifies calculations and is transparent for users. Apart from this arithmetic, examples of its applications are also presented. To the authors’ best knowledge, no papers on this arithmetic exist. D-RDM-T2-I arithmetic is necessary to create type 2 fuzzy arithmetic based on horizontal µ-cuts, which the authors aim to do.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 1; 185-201
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A realistic tolerant solution of a system of interval linear equations with the use of multidimensional interval arithmetic
Autorzy:
Piegat, Andrzej
Pluciński, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/11542697.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
interval arithmetic
interval linear equation
tolerable solution
multidimensional interval arithmetic
arytmetyka interwałowa
równanie liniowe przedziałowe
arytmetyka interwałowa wielowymiarowa
Opis:
The paper presents a method of determining the robustness of solutions of systems of interval linear equations (ILEs). The method can be applied also for the ILE systems for which it has been impossible to find solutions so far or for which solutions in the form of improper intervals have been obtained (which cannot be implemented in practice). The research conducted by the authors has shown that for many problems it is impossible to arrive at ideal solutions that would be fully robust to data uncertainty. However, partially robust solutions can be obtained, and those with the highest robustness can be selected and put into practice. The paper shows that the degree of robustness to the uncertainty of the entire system can be calculated on the basis of the degrees of robustness of individual equations, which greatly simplifies calculations. The presented method is illustrated with a series of examples (also benchmark ones) that facilitate its understanding. It is an extension of the authors’ previously published method for first-order ILEs.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2023, 33, 2; 229--247
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Is an interval the right result of arithmetic operations on intervals?
Autorzy:
Piegat, A.
Landowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/330098.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
interval arithmetic
one dimensional interval arithmetic
multidimensional interval arithmetic
RDM interval arithmetic
arytmetyka interwałowa
arytmetyka interwałowa jednowymiarowa
arytmetyka interwałowa wielowymiarowa
Opis:
For many scientists interval arithmetic (IA, I arithmetic) seems to be easy and simple. However, this is not true. Interval arithmetic is complicated. This is confirmed by the fact that, for years, new, alternative versions of this arithmetic have been created and published. These new versions tried to remove shortcomings and weaknesses of previously proposed options of the arithmetic, which decreased the prestige not only of interval arithmetic itself, but also of fuzzy arithmetic, which, to a great extent, is based on it. In our opinion, the main reason for the observed shortcomings of the present IA is the assumption that the direct result of arithmetic operations on intervals is also an interval. However, the interval is not a direct result but only a simplified representative (indicator) of the result. This hypothesis seems surprising, but investigations prove that it is true. The paper shows what conditions should be satisfied by the result of interval arithmetic operations to call it a “result”, how great its dimensionality is, how to perform arithmetic operations and solve equations. Examples illustrate the proposed method of interval computations.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2017, 27, 3; 575-590
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of the interval Lattice Boltzmann method for a numerical modeling of 2D thin metal films irradiated by ultrashort laser pulses
Autorzy:
Piasecka-Belkhayat, Alicja
Korczak, Anna
Powiązania:
https://bibliotekanauki.pl/articles/122840.pdf
Data publikacji:
2019
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
lattice Boltzmann method
interval arithmetic
laser irradiation
heat transfer
metoda kratowa Boltzmanna
arytmetyka przedziałowa
promieniowanie laserowe
przenikanie ciepła
Opis:
In the paper, the two-dimensional numerical modelling of heat transfer in thin metal films irradiated by ultrashort laser pulses using the D2Q9 scheme is considered. In the mathematical description, the relaxation times and the boundary conditions for phonons and electrons are given as interval numbers. The problem has been formulated using the interval coupled lattice Boltzmann equations for electrons and phonons. The solution has been obtained by means of the interval lattice Boltzmann method using the rules of directed interval arithmetic. Examples of numerical computations are presented in the final part of the paper.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2019, 18, 4; 63-71
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of the interval lattice boltzmann method for a numerical modelling of thin metal films irradiation by ultra short laser pulses
Zastosowanie interwałowej metody siatek boltzmanna do numerycznego modelowania procesu naświetlania laserem pulsacyjnym cienkich warstw metalowych
Autorzy:
Piasecka-Belkhayat, A.
Korczak, A.
Powiązania:
https://bibliotekanauki.pl/articles/407706.pdf
Data publikacji:
2014
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
równanie transportu Boltzmanna
interwałowa metoda siatek Boltzmanna
skierowana arytmetyka interwałowa
Boltzmann transport equation
interval lattice Boltzmann method
directed interval arithmetic
Opis:
In the paper the one-dimensional numerical modelling of heat transfer in thin metal films irradiated by ultra short laser pulses is considered. In the mathematical description the relaxation times and the boundary conditions for phonons and electrons are given as interval numbers. The problem formulated has been solved by means of the interval lattice Boltzmann method using the rules of directed interval arithmetic. The examples of numerical computations are presented in the final part of the paper.
W artykule zaprezentowano jednowymiarowy model numeryczny przepływu ciepła w cienkich warstwach metalowych poddanych. naświetlaniu laserem pulsacyjnym. W opisie matematycznym czasy relaksacji oraz warunki brzegowe dla fononów i elektronów są zdefiniowane jako liczby przedziałowe. Sformułowane zagadnienie rozwiązano za pomocą interwałowej metody siatek Boltzmanna stosując skierowaną arytmetykę interwałową. W końcowej części artykułu przedstawione są przykłady obliczeń numerycznych.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2014, 4; 85-88
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
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ł:
Modelling of transient heat transport in crystalline solids using the interval lattice Bolzmann method (two-dimesnsional model)
Modelowanie przepływu ciepła w dwuwymiarowym ciele krystalicznym za pomocą interwałowej metody siatek Bolzmanna
Autorzy:
Piasecka-Belkhayat, A.
Korczak, A.
Powiązania:
https://bibliotekanauki.pl/articles/408012.pdf
Data publikacji:
2014
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
Boltzmann transport equation
interval lattice Boltzmann method
directed interval arithmetic
równanie transportu Boltzmanna
interwałowa metoda siatek Boltzmanna
skierowana arytmetyka interwałowa
Opis:
In the paper the two-dimensional numerical modelling of heat transfer in crystalline solids is considered. In the mathematical description the relaxation time and the boundary conditions are given as interval numbers. The problem formulated has been solved by means of the interval lattice Boltzmann method using the rules of directed interval arithmetic.
W artykule zaprezentowano dwuwymiarowy model numeryczny przepływu ciepła w ciele krystalicznym. W opisie matematycznym czas relaksacji i warunki brzegowe są zdefiniowane jako liczby przedziałowe. Sformułowane zagadnienie rozwiązano za pomocą interwałowej metody siatek Boltzmanna stosując skierowaną arytmetykę interwałową.
Źródło:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2014, 1; 69-71
2083-0157
2391-6761
Pojawia się w:
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling of transient heat transport in metal films using the interval lattice Boltzmann method
Autorzy:
Piasecka-Belkhayat, A.
Korczak, A.
Powiązania:
https://bibliotekanauki.pl/articles/201473.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Boltzmann equation
transport equation
interval lattice Boltzmann method
directed interval arithmetic
równanie Boltzmanna
równanie transportu
interwałowa metoda siatek Boltzmanna
Opis:
In the paper a description of heat transfer in one-dimensional crystalline solids is presented. The lattice Boltzmann method based on Boltzmann transport equation is used to simulate the nanoscale heat transport in thin metal films. The coupled lattice Boltzmann equations for electrons and phonons are applied to analyze the heating process of thin metal films via laser pulse. Such approach in which the parameters appearing in the problem analyzed are treated as constant values is widely used, but in the paper the interval values of relaxation times and electron-phonon coupling factor are taken into account. The problem formulated has been solved by means of the interval lattice Boltzmann method using the rules of directed interval arithmetic. In the final part of the paper the results of numerical computations are shown.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 599-606
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ liczby punktów pomiarowych na niepewność wyznaczania izolacyjności akustycznej przegród budowlanych
The effect of number of measurement points on the uncertainty of the determination of sound insulation of building partitions
Autorzy:
Pawlik, P.
Przysucha, B.
Powiązania:
https://bibliotekanauki.pl/articles/153536.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
izolacyjność akustyczna
niepewność pomiaru
propagacja rozkładów
metoda Monte Carlo
arytmetyka przedziałowa
sound insulation
uncertainty of measurement
propagation of distribution method
Monte Carlo method
interval arithmetic
Opis:
W artykule przedstawiono problem doboru liczby punktów pomiarowych do prawidłowego wyznaczenia izolacyjności akustycznej przegród budowlanych. Obliczenia pozwoliły na wyznaczenie zależności pomiędzy niepewnością wyznaczania izolacyjności akustycznej przegród budowlanych a liczbą wykonanych pomiarów.
The article presents the problem of adjustment of the number of measurement points to correct designation of sound insulation of building partitions. The calculations allowed to determine the relationship between the uncertainty of the determination of sound insulation of building partitions and the number of measurements (Fig. 2, 3, 4).
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 12, 12; 1124-1126
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
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