Search
Filters
total: 13994
filtered: 9518
-
Catalog
- Publications 9518 available results
- Journals 1035 available results
- Conferences 253 available results
- Publishing Houses 1 available results
- People 374 available results
- Inventions 12 available results
- Projects 22 available results
- Research Teams 1 available results
- Research Equipment 2 available results
- e-Learning Courses 708 available results
- Events 10 available results
- Open Research Data 2058 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: iterated function systems · invariant measures · stability · strong law of large numbers · functional equations
-
Invariant Measures for Uncountable Random Interval Homeomorphisms
PublicationA necessary and sufficient condition for the iterated function system { f (·, ω) | ω ∈ } with probability P to have exactly one invariant measure μ∗ with μ∗((0, 1)) = 1 is given. The main novelty lies in the fact that we only require the transformations f (·, ω) to be increasing homeomorphims, without any smoothness condition, nei- ther we impose conditions on the cardinality of . In particular, positive Lyapunov exponents conditions...
-
Generic invariant measures for iterated systems of interval homeomorphisms
PublicationIt is well known that iterated function systems generated by orientation preserving homeomorphisms of the unit interval with positive Lyapunov exponents at its ends admit a unique invariant measure on (0, 1) provided their action is minimal. With the additional requirement of continuous differentiability of maps on a fixed neighbourhood of {0,1} { 0 , 1 } , we present a metric in the space of such systems which renders it complete....
-
The law of the Iterated Logarithm for random interval homeomorphisms
PublicationA proof of the law of the iterated logarithm for random homeomorphisms of the interval is given.
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublicationThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
Weighted difference schemes for systems of quasilinear first order partial functional differential equations
PublicationThe paper deals with initial boundary value problems of the Dirichlet type for system of quasilinear functional differential equations. We investigate weighted difference methods for these problems. A complete convergence analysis of the considered difference methods is given. Nonlinear estimates of the Perron type with respect to functional variables for given functions are assumed. The proof of the stability of difference problems...
-
Strong ellipticity conditions and infinitesimal stability within nonlinear strain gradient elasticity
PublicationWe discuss connections between the strong ellipticity condition and the infinitesimal instability within the nonlinear strain gradient elasticity. The strong ellipticity (SE) condition describes the property of equations of statics whereas the infinitesimal stability is introduced as the positive definiteness of the second variation of an energy functional. Here we establish few implications which simplify the further analysis...
-
Structural stability of invariant sets of vibro-impact systems
Publication -
Parabolic Equations with Functional Dependence
PublicationWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence and prove theorems on the existence of solutions to parabolic differential-functional equations.
-
Homoclinics for singular strong force Lagrangian systems in R^N
PublicationWe will be concerned with the existence of homoclinics for second order Hamiltonian systems in R^N (N>2) given by Hamiltonians of the form H(t,q,p)=Φ(p)+V(t,q), where Φ is a G-function in the sense of Trudinger, V is C^2-smooth, periodic in the time variable, has a single well of infinite depth at a point ξ and a unique strict global maximum 0 at the origin. Under a strong force type condition aroud the singular point ξ, we prove...
-
Method of lines for nonlinear first order partial functional differential equations.
PublicationClassical solutions of initial problems for nonlinear functional differential equations of Hamilton--Jacobi type are approximated by solutions of associated differential difference systems. A method of quasilinearization is adopted. Sufficient conditions for the convergence of the method of lines and error estimates for approximate solutions are given. Nonlinear estimates of the Perron type with respect to functional variables...
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublicationThe Cauchy problem for nonlinear parabolic differential-functional equations is considered. Under natural generalized Lipschitz-type conditions with weights, the existence and uniqueness of unbounded solutions is obtained in three main cases: (i) the functional dependence u(·); (ii) the functional dependence u(·) and ∂xu(·); (iii) the functional dependence u(·)and the pointwise dependence ∂xu(t,x).
-
Measures of Functional Reliability of Two-Lane Highways
PublicationRural two-lane highways are the most common road type both in Poland and globally. In terms of kilometres, their length is by far greater than that of motorways and expressways. They are roads of one carriageway for each direction, which makes the overtaking of slower vehicles possible only when there is a gap in the stream of traffic moving from the opposite direction. Motorways and express roads are dual carriageways that are...
-
Numerical methods for systems of nonlinear differential functional equations
PublicationPraca dotyczy zagadnień początkowo brzegowych dla nieliniowych układów różniczkowo funkcyjnych. Rozważana jest aproksymacja rozwiązań rozważanego problemu różniczkowo funkcyjnego przez rozwiązania odpowiedniego problemu różnicowego. W pracy analizowana jest zbieżność prezentowanych metod. Dowód zbieżności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perron'a dla danych operatorów.
-
Boundary value problems for systems of functional differential equations
PublicationPraca dotyczy przybliżonych rozwiązań zagadnienia brzegowego dla funkcyjnych równań różniczkowych 2-go rzędu. Podano numeryczne algorytmy na wyznaczenie tego rozwiązania i warunki dostateczne, przy których metoda jest zgodna i zbieżna. Podano też konstrukcję metody dowolnego rzędu.
-
Existence of solutions with an exponential growth for nonlinear differential-functional parabolic equations
PublicationWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence.We prove Schauder-type existence results for unbounded solutions. We also prove existence of maximal solutions for a wide class of differential functional equations.
-
Implicit difference methods for first order partial differential functional equations
PublicationKlasyczne rozwiązania problemów początkowo brzegowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Homoclinics for singular strong force Lagrangian systems
PublicationWe study the existence of homoclinic solutions for a class of generalized Lagrangian systems in the plane, with a C1-smooth potential with a single well of infinite depth at a point ξ and a unique strict global maximum 0 at the origin.Under a strong force condition around the singular point ξ, via minimization of an action integral, we will prove the existence of at least two geometrically distinct homoclinic solutions.
-
Numerical Test for Stability Evaluation of Discrete-Time Systems
PublicationIn this paper, a new numerical test for stability evaluation of discrete-time systems is presented. It is based on modern root-finding techniques at the complex plane employing the Delaunay triangulation and Cauchy's Argument Principle. The method evaluates if a system is stable and returns possible values and multiplicities of unstable zeros of the characteristic equation. For state-space discrete-time models, the developed test...
-
Inverse shadowing and related measures
PublicationWe study various weaker forms of the inverse shadowing property for discrete dynamical systems on a smooth compact manifold. First, we introduce the so-called ergodic inverse shadowing property (Birkhoff averages of continuous functions along an exact trajectory and the approximating one are close). We demonstrate that this property implies the continuity of the set of invariant measures in the Hausdorff metric. We show that the...
-
Tuning a Hybrid GPU-CPU V-Cycle Multilevel Preconditioner for Solving Large Real and Complex Systems of FEM Equations
PublicationThis letter presents techniques for tuning an accelerated preconditioned conjugate gradient solver with a multilevel preconditioner. The solver is optimized for a fast solution of sparse systems of equations arising in computational electromagnetics in a finite element method using higher-order elements. The goal of the tuning is to increase the throughput while at the same time reducing the memory requirements in order to allow...
-
Invariant measures for interval translations and some other piecewise continuous maps
Publication -
Stability analysis of interconnected discrete-time fractional-order LTI state-space systems
PublicationIn this paper, a stability analysis of interconnected discrete-time fractional-order (FO) linear time-invariant (LTI) state-space systems is presented. A new system is formed by interconnecting given FO systems using cascade, feedback, parallel interconnections. The stability requirement for such a system is that all zeros of a non-polynomial characteristic equation must be within the unit circle on the complex z-plane. The obtained...
-
Systems of Nonlinear Fractional Differential Equations
PublicationUsing the iterative method, this paper investigates the existence of a unique solution to systems of nonlinear fractional differential equations, which involve the right-handed Riemann-Liouville fractional derivatives D(T)(q)x and D(T)(q)y. Systems of linear fractional differential equations are also discussed. Two examples are added to illustrate the results.
-
Systems of boundary value problems of advanced differential equations
PublicationThis paper considers the existence of extremal solutions to systems of advanced differential equations with corresponding nonlinear boundary conditions. The monotone iterative method is applied to obtain the existence results. An example is provided for illustration.
-
Implicit difference methods for infinite systems of hyperbolic functional differential equations
PublicationPraca dotyczy klasycznych rozwiązań problemów początkowo brzegowych dla nieskończonych układów nieliniowych równań rózniczkowo funkcyjnych. Skonstruowane są dwa typy schematów różnicowych. Pokazujemy, ze rozwiązania rozważanego zagadnienia różniczkowego można przybliżyć przy pomocy rozwiązań nieskończonych układów równań różnicowych. W drugiej części pracy udowadniamy, że również rozwiązania skończonych układów równań różnicowych...
-
Functional differential equations
PublicationSformułowano dość ogólne warunki dostateczne na to, aby odpowiednio zdefiniowane ciągi monotoniczne były zbieżne do jedynego, w pewnym segmencie, rozwiązania zagadnienia początkowego dla funkcyjnych równań różniczkowych. Omawiane równanie jest ogólne, a np. zwyczajne równania różniczkowe czy równania różniczkowo-całkowe są jego szczególnymi przypadkami.
-
Green function diagonal for a class of heat equations
PublicationA construction of the heat kernel diagonal is considered as element of generalized zeta function theory, which gradient at the origin defines determinant of a differential operator in a technique for regularizing quadratic path integral. Some classes of explicit expressions of the Green function in the case of finite-gap potential coefficient of the heat equation are constructed. An algorithm and program for Mathematica are presented...
-
Fixed point indices of iterated smooth maps in arbitrary dimension
PublicationWe give a complete description of possible sequences ofindices of iterations of f at an isolated fixed point, answering inaffirmative the Chow, Mallet-Paret and Yorke conjecture posed in[S.N. Chow, J. Mallet-Parret, J.A. Yorke, A periodic point index whichis a bifurcation invariant, in: Geometric Dynamics, Rio de Janeiro,1981, in: Lecture Notes in Math., vol. 1007, Springer, Berlin, 1983,pp. 109-131].
-
Camera angle invariant shape recognition in surveillance systems
PublicationA method for human action recognition in surveillance systems is described. Problems within this task are discussed and a solution based on 3D object models is proposed. The idea is shown and some of its limitations are talked over. Shape description methods are introduced along with their main features. Utilized parameterization algorithm is presented. Classification problem, restricted to bi-nary cases is discussed. Support vector...
-
The Concept of Using the Decision-Robustness Function in Integrated Navigation Systems
PublicationThe diversity and non-uniformity of the positioning systems available in maritime navigation systems often impede the watchkeeping officer in the selection of the appropriate positioning system, in particular, in restricted basins. Thus, it is necessary to introduce a mathematical apparatus to suggest, in an automated manner, which of the available systems should be used at the given moment of a sea trip. Proper selection of the...
-
Stability by linear approximation for time scale dynamical systems
PublicationWe study systems on time scales that are generalizations of classical differential or difference equations and appear in numerical methods. In this paper we consider linear systems and their small nonlinear perturbations. In terms of time scales and of eigenvalues of matrices we formulate conditions, sufficient for stability by linear approximation. For non-periodic time scales we use techniques of central upper Lyapunov exponents...
-
Structural Stability of Nonautonomous Systems
Publication -
Functional Safety and Cybersecurity Analysis and Management in Smart Manufacturing Systems
PublicationThis chapter addresses some of the issues of the integrated functional safety and cybersecurity analysis and management with regard to selected references and the functional safety standards: IEC 61508, IEC 61511, ISO 13849-1 and IEC 62061, and a cybersecurity standard IEC 62443 that concerns the industrial automation and control systems. The objective is to mitigate the vulnerability of industrial systems that include the information...
-
On the connected and weakly convex domination numbers
PublicationIn this paper we study relations between connected and weakly convex domination numbers. We show that in general the difference between these numbers can be arbitrarily large and we focus on the graphs for which a weakly convex domination number equals a connected domination number. We also study the influence of the edge removing on the weakly convex domination number, in particular we show that a weakly convex domination number...
-
Equivalence of equicontinuity concepts for Markov operators derived from a Schur-like property for spaces of measures
PublicationVarious equicontinuity properties for families of Markov operators have been – and still are – used in the study of existence and uniqueness of invariant probability for these operators, and of asymptotic stability. We prove a general result on equivalence of equicontinuity concepts. It allows comparing results in the literature and switching from one view on equicontinuity to another, which is technically convenient in proofs....
-
Explicit and implicit difefrence methods for quasilinear first order partial functional differential equations.
PublicationInitial boundary value problems of the Dirichlet type for quasilinear functional differential equations are considered. Explicit difference schemes of the Euler type and implicit difference methods are investigated. Suffcient conditions for the convergence of approximate solutions are given and comparisons of the methods are presented. It is proved that assumptions on the regularity of given functions are the same for both classes...
-
Benchmarking Performance of a Hybrid Intel Xeon/Xeon Phi System for Parallel Computation of Similarity Measures Between Large Vectors
PublicationThe paper deals with parallelization of computing similarity measures between large vectors. Such computations are important components within many applications and consequently are of high importance. Rather than focusing on optimization of the algorithm itself, assuming specific measures, the paper assumes a general scheme for finding similarity measures for all pairs of vectors and investigates optimizations for scalability...
-
Approximate methods for functional differential equations
PublicationW pracy przedstawione są dwie klasy przybliżonych metod rozwiązywania równań różniczkowo funkcyjnych ze szczególnym uwzględnieniem równań różniczkowych z opóźnieniem. Do pierwszej klasy należą metody bezpośrednie reprezentowane w przedkładanej rozprawie przez dwukrokowe metody Rungego-Kutty. Należą one do klasy ogólnych metod liniowych rozwiązywania równań różniczkowych. Druga klasę przybliżonych metod rozwiązywania równań różniczkowo...
-
Functional differential equations of second order.
PublicationPraca dotyczy problemu brzegowego dla równań różniczkowo-funkcyjnych 2-go rzędu. Stosując metodę kwasilinearyzacji pokazano, że odpowiednio skonstruowane ciągi monotoniczne są zbieżne do jedynego rozwiązania danego problemu i ustalono szybkość tej zbieżności. Pokazano również pewną relację pomiędzy rozwiązaniami odpowiednich liniowych równań różniczkowo-funkcyjnych z warunkami brzegowymi.
-
A Concept of Modeling and Optimization of Applications in Large Scale Systems
PublicationThe chapter presents the idea that includes modeling and subsequent optimization of application execution on large scale parallel and distributed systems. The model considers performance, reliability and power consumption. It should allow easy modeling of various classes of applications while reflecting key parameters of both the applications and two classes of target systems: clusters and volunteer based systems. The chapter presents...
-
Application of the numerical-analytic method for systems of differential equations with parameter
PublicationThe numerical-analytic method is applied to systems of differential equations with parameter under the assumption that the corresponding functions satisfy the Lipschitz conditions in matrix notation. We also obtain several existence results for problems with deviations of an argument
-
Scanning the special section on technologies of large scale and complex systems
PublicationArtykuł wprowadza do Specjalnej Sekcji pt. Technologies for large scale and complex systems, zamieszczonej w czasopiśmie Annual Reviews in Control, Vol. 32, Issue 1 wydanego w kwietniu 2008. Specjalna sekcja zawiera artykuły będące rozszerzeniem referatów plenarnych wygłoszonych podczas 11th IFAC Symposium on Large Scale Complex Systems, które odbyło się w Gdańsku, Lipiec 2007r.
-
THE INFLUENCE OF PHASE SHIFTERS ON THE VOLTAGE STABILITY OF CONNECTED POWER SYSTEMS
PublicationThe paper presents the results of simulation tests of connected power systems in which phase shifters were installed on cross-border links. The analysis was carried out in terms of assessing the impact of shifters on node voltage stability. Individual systems were characterized by different balance of active power: deficit or excess. The evaluation of voltage stability was based on the dU/dQ and dU/dP criteria.
-
A Note on Shannon Capacity for Invariant and Evolving Channels
PublicationIn the paper we discuss the notion of Shannon capacity for invariant and evolving channels. We show how this notion is involved in information theory, graph theory and Ramsey theory.
-
Chaotic modes of systems described by the Liénard equations with a large period of the right-hand side and impact conditions
Publication -
Designing Control and Protection Systems with Regard to Integrated Functional Safety and Cybersecurity Aspects
PublicationThis article addresses current problems of risk analysis and probabilistic modelling for functional safety management in the life cycle of safety-related systems. Two main stages in the lifecycle of these systems are distinguished, namely the design and operation. The risk analysis and probabilistic modelling differ in these stages in view of available knowledge and data. Due to the complexity and uncertainty involved, both qualitative...
-
Systems engineering approach to functional safety and cyber security of industrial critical installations
PublicationThis chapter addresses the systems engineering approach to integrated functional safety and cybersecurity analysis and management regarding selected references, standards and requirements concerning critical installations and their industrial automation and control system (IACS). The objective is to mitigate the vulnerability of industrial installations that include the information technology (IT) and the operational technology...
-
Systems engineering approach to functional safety and cyber security of industrial critical installations
PublicationThis chapter addresses the systems engineering approach to integrated functional safety and cybersecurity analysis and management regarding selected references, standards and requirements concerning critical installations and their industrial automation and control system (IACS). The objective is to mitigate the vulnerability of industrial installations that include the information technology (IT) and the operational technology...