Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  ordinary differential equations
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Remarks concerning Driver's equation

100%
EN
We consider uniqueness for the initial value problem x' = 1 + f(x) - f(t), x(0) = 0. Several uniqueness criteria are given as well as an example of non-uniqueness.
2
Content available remote

Modelling tumour-immunity interactions with different stimulation functions

80%
EN
Tumour immunotherapy is aimed at the stimulation of the otherwise inactive immune system to remove, or at least to restrict, the growth of the original tumour and its metastases. The tumour-immune system interactions involve the stimulation of the immune response by tumour antigens, but also the tumour induced death of lymphocytes. A system of two non-linear ordinary differential equations was used to describe the dynamic process of interaction between the immune system and the tumour. Three different types of stimulation functions were considered: (a) Lotka-Volterra interactions, (b) switching functions dependent on the tumour size in the Michaelis-Menten form, and (c) Michaelis-Menten switching functions dependent on the ratio of the tumour size to the immune capacity. The linear analysis of equilibrium points yielded several different types of asymptotic behaviour of the system: unrestricted tumour growth, elimination of tumour or stabilization of the tumour size if the initial tumour size is relatively small, otherwise unrestricted tumour growth, global stabilization of the tumour size, and global elimination of the tumour. Models with switching functions dependent on the tumour size and the tumour to the immune capacity ratio exhibited qualitatively similar asymptotic behaviour.
3
Content available remote

Verified solution method for population epidemiology models with uncertainty

70%
EN
Epidemiological models can be used to study the impact of an infection within a population. These models often involve parameters that are not known with certainty. Using a method for verified solution of nonlinear dynamic models, we can bound the disease trajectories that are possible for given bounds on the uncertain parameters. The method is based on the use of an interval Taylor series to represent dependence on time and the use of Taylor models to represent dependence on uncertain parameters and/or initial conditions. The use of this method in epidemiology is demonstrated using the SIRS model, and other variations of Kermack-McKendrick models, including the case of time-dependent transmission.
EN
The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differentialalgebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on VALENCIA-IVP, which has been developed recently for the computation of verified enclosures of the solution sets of initial value problems for ordinary differential equations. For the application to DAEs, VALENCIA-IVP has been extended by an interval Newton technique to solve nonlinear algebraic equations in a guaranteed way. In addition to verified simulation of initial value problems for DAE systems, the developed approach is applicable to the verified solution of the so-called inverse control problems. In this case, guaranteed enclosures for valid input signals of dynamical systems are determined such that their corresponding outputs are consistent with prescribed time-dependent functions. Simulation results demonstrating the potential of VALENCIA-IVP for solving DAEs in technical applications conclude this paper. The selected application scenarios point out relations to other existing verified simulation techniques for dynamical systems as well as directions for future research.
EN
We introduce a simple and powerful procedure-the observer method-in order to obtain a reliable method of numerical integration over an arbitrary long interval of time for systems of ordinary differential equations having first integrals. This aim is achieved by a modification of the original system such that the level manifold of the first integrals becomes a local attractor. We provide a theoretical justification of this procedure. We report many tests and examples dealing with a large spectrum of systems with different dynamical behaviour. The comparison with standard and symplectic methods of integration is also provided.
EN
Complementary analysis of a model of the human immune system after a series of vaccinations, proposed in [7] and studied in [6], is presented. It is shown that all coordinates of every solution have at most two extremal values. The theoretical results are compared with experimental data.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.