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: DAE

Sortuj według:

Ogranicz wyniki do:

Uses of new sensitivity and DAE solving methods in SmartMOBILE for verified analysis of mechanical systems

100%

Auer E. , Luther W.

International Journal of Applied Mathematics and Computer Science

2009

tom 19

nr 3

455-467

Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SmartMOBILE enhances the existing MSS MOBILE with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty. In this paper, we outline the main features and functionalities of SmartMOBILE. In particular, we focus on its use of newly developed methods for sensitivity analysis and DAE solving for several practically relevant mechanical systems.

Comparison ODE theorems related to the method of lines

72%

Leszczyński H.

Journal of Applied Analysis

2011

tom Vol. 17, nr 1

137-154

We prove a comparison theorem for an ODE and DAE system which arises from the method of lines. Under a Perron comparison condition on the functional dependence and a specific Lipschitz and (W+) condition on the classical argument, we obtain strong uniqueness criteria.

Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems

72%

Auer E. , Luther W.

International Journal of Applied Mathematics and Computer Science

2009

tom Vol. 19, no 3

455-467

Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SMARTMOBILE enhances the existing MSS MOBILE with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty. In this paper, we outline the main features and functionalities of SMARTMOBILE. In particular, we focus on its use of newly developed methods for sensitivity analysis and DAE solving for several practically relevant mechanical systems.