Filters
total: 13994
-
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
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.
-
Tomasz Zubowicz dr inż.
PeopleTomasz Zubowicz has received his M.Sc. Eng. degree in Control Engineering from the Faculty of Electrical and Control Engineering at the Gda{\'n}sk University of Technology (GUT) in $2008$. He received his Ph.D. Eng. (Hons.) in the field of Control Engineering from the same faculty in $2019$. In $2012$ he became a permanent staff member at the Department of Intelligent Control and Decision Support Systems at GUT and a member of...
-
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...
-
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.
-
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.
-
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 Materials
e-Learning CoursesPrerequisites: The course is primarily open to all PhD students at Gdansk University of Technology. This course is compulsory for PhD students assigned to Automation, Electronics, Electrical Engineering and Space Technologies tracks at Doctoral School at Gdańsk University of Technology Content During the course students will learn about different classes of intelligent materials and a strong emphasis will be placed on their practical...
-
Numerical Methods for Partial Differential Equations
e-Learning CoursesCourse description: This course focuses on modern numerical techniques for linear and nonlinear elliptic, parabolic and hyperbolic partial differential equations (PDEs), and integral equations fundamental to a large variety of applications in science and engineering. Topics include: formulations of problems in terms of initial and boundary value problems; finite difference and finite element discretizations; boundary element approach;...
-
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....
-
POLYMER DEGRADATION AND STABILITY
Journals -
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...
-
Approximation of extremal solutions for functional differential equations
PublicationDyskutowane są równania różniczkowe funkcyjne z liniowym warunkiem brzegowym. Podano warunki dostateczne dla istnienia ciągów monotonicznych, aproksymujących rozwiązania ekstremalne badanych zagadnień.
-
First-order impulsive functional differential equations
PublicationPraca dotyczy problemów istnienia rozwiązań i kwazi-rozwiązań dla równań różniczkowych rzędu pierwszego z impulsami i nieliniowymi warunkami brzegowymi. Operator występujący w zagadnieniu jest typu opóźnionego. Badano również nierówności różniczkowe z impulsami związane z zagadnieniem wyjściowym. Otrzymane wyniki zilustrowano na przykładach.
-
Information Systems, Business and Law - Lessons Learnt
PublicationReferat prezentuje badania na styku wytwarzania systemów informatycznych, procesów biznesowych i powiązanych z nimi regulacji prawnych. Zawiera on opis doświadczeń wynikających z zastosowania zintegrowanej metody analizy technicznej i prawnej podczas wytwarzania systemu ochrony własności intelektualnej. Przedstawione doświadczenia i powiązane analizy mogą być przydatne podczas tworzenia taksonomii zagadnień na styku systemów informatycznych,...
-
Justyna Signerska-Rynkowska dr inż.
PeopleI am currently an assistant professor (adjunct) at Gdansk University of Technology (Department of Differential Equations and Mathematics Applications). My scientific interests include dynamical systems theory, chaos theory and their applications to modeling of biological phenomena, especially to neurosciences. In June 2013 I completed PhD in Mathematics at the Institute of Mathematics of Polish Academy of Sciences (IMPAN) (thesis...
-
The shadowing chain lemma for singular Hamiltonian systems involving strong forces
PublicationW niniejszym artykule rozważamy autonomiczny układ Hamiltonowski na płaszczyźnie z potencjałem, który ma punkt osobliwy (studnię nieskończonej głębokości) i maksimum globalne właściwe równe zero przyjmowane w dwóch różnych punktach płaszczyzny. Przy założeniu, że w otoczeniu punktu osobliwego potencjał spełnia warunek Gordona(gradient tego potencjału w otoczeniu punktu osobliwego jest tzw. silną siłą, ang. a strong force) dowodzimy...
-
MERPSYS: An environment for simulation of parallel application execution on large scale HPC systems
PublicationIn this paper we present a new environment called MERPSYS that allows simulation of parallel application execution time on cluster-based systems. The environment offers a modeling application using the Java language extended with methods representing message passing type communication routines. It also offers a graphical interface for building a system model that incorporates various hardware components such as CPUs, GPUs, interconnects...
-
Zdzisław Kowalczuk prof. dr hab. inż.
PeopleZdzislaw Kowalczuk received his M.Sc. degree in 1978 and Ph.D. degree in 1986, both in Automatic Control from Technical University of Gdańsk (TUG), Gdańsk, Poland. In 1993 he received his D.Sc. degree (Dr Habilitus) in Automatic Control from Silesian Technical University, Gliwice, Poland, and the title of Professor from the President of Poland in 2003. Since 1978 he has been with Faculty of Electronics, Telecommunications and Informatics...
-
On some Zarankiewicz numbers and bipartite Ramsey Numbers for Quadrilateral
PublicationThe Zarankiewicz number z ( m, n ; s, t ) is the maximum number of edges in a subgraph of K m,n that does not contain K s,t as a subgraph. The bipartite Ramsey number b ( n 1 , · · · , n k ) is the least positive integer b such that any coloring of the edges of K b,b with k colors will result in a monochromatic copy of K n i ,n i in the i -th color, for some i , 1 ≤ i ≤ k . If n i = m for all i , then we denote this number by b k ( m )....
-
Two families of infinitely many homoclinics for singular strong force Hamiltonian systems
PublicationWe are concerned with a planar autonomous Hamiltonian system with a potential possessing a single well of infinite depth at a point X and a unique strict global maximum 0 at a point A. Under a strong force condition around the singularity X, via minimization of an action integral and using a shadowing chain lemma together with simple geometrical arguments, we prove the existence of infinitely many geometrically distinct homoclinic...
-
Conjectured strong complementary-correlations tradeoff
PublicationWe conjecture uncertainty relations that restrict correlations between the results of measurements performed by two separate parties on a shared quantum state. The first uncertainty relation bounds the sum of two mutual informations when one party measures a single observable and the other party measures one of two observables. The uncertainty relation does not follow from the Maassen-Uffink uncertainty relation and is much stronger...
-
Chaotic invariant sets of vibro-impact systems with one degree of freedom
Publication -
Multimode systems of nonlinear equations: derivation, integrability, and numerical solutions
PublicationWe consider the propagation of electromagnetic pulses in isotropic media taking a third-order nonlinearityinto account. We develop a method for transforming Maxwell's equations based on a complete set ofprojection operators corresponding to wave-dispersion branches (in a waveguide or in matter) with thepropagation direction taken into account. The most important result of applying the method is a systemof equations describing the...
-
Self-assembly, stability and conductance of amphotericin B channels: bridging the gap between structure and function
PublicationAmphotericin B (AmB), one of the most powerful but also toxic drugs used to treat systemic mycoses, is believed to selectively permeabilize fungal cell membranes to ions in a sterol-dependent manner. Unfortunately, the structure of the biologically active AmB channels has long eluded researchers, obstructing the design of safer alternatives. Here, we investigate the structural and thermodynamic aspects of channel formation, stability,...
-
INTEGRATED FUNCTIONAL SAFETY AND CYBERSECURITY ANALYSIS METHOD FOR SMART MANUFACTURING SYSTEMS
PublicationThis article addresses integrated functional safety and cybersecurity analysis with regard to: the generic functional safety standard IEC 61508 and the cyber security standard IEC 62443 concerning an industrial automation and control system (IACS). The objective is to mitigate the vulnerability of information technology (IT) and operational technology (OT) systems, and reduce relevant risks taking into account a set of fundamental...
-
Large thermo-elastic displacement and stability FEM analysis of multilayered plates and shells
PublicationThe paper concerns the load capacity analysis of thermally loaded multilayered plates and shells. The multilayered body is treated as an equivalent single layer whose kinematics is consistent with first order shear deformation theory. The authors focus on the thermo-elastic stability problem of the thin-walled structures. The equilibrium paths are traced with the use of Riks-Wempner-Ramm algorithm. By making use of the Tsai-Wu...
-
Application of the distributed transfer function method and the rigid finite element method for modelling of 2-D and 3-D systems
PublicationIn the paper application of the Distributed Transfer Function Method and the Rigid Finite Element Method for modelling of 2-D and 3-D systems is presented. In this method an elastic body is divided into 1-D distributed parameter elements (strips or prisms). The whole body (divided into strips or prism) is described by a set of coupled partial differential equations. Solving this equations in the state space form it is possible...
-
Local basis function estimators for identification of nonstationary systems
PublicationThe problem of identification of a nonstationary stochastic system is considered and solved using local basis function approximation of system parameter trajectories. Unlike the classical basis function approach, which yields parameter estimates in the entire analysis interval, the proposed new identification procedure is operated in a sliding window mode and provides a sequence of point (rather than interval) estimates. It is...
-
Difference functional inequalities and applications.
PublicationThe paper deals with the difference inequalities generated by initial boundary value problems for hyperbolic nonlinear differential functional systems. We apply this result to investigate the stability of constructed difference schemes. The proof of the convergence of the difference method is based on the comparison technique, and the result for difference functional inequalities is used. Numerical examples are presented.
-
Antiperiodic boundary value problems for functional differential equations
PublicationRównania różniczkowo funkcyjne z antyokresowymi warunkami brzegowymi są przedmiotem rozważań tej pracy. Podane zostały warunki dostateczne na istnienie jedynego rozwiązania, które jest granicą dwóch monotonicznych ciągów. Szybkość tej zbieżności jest również określona. Metoda dowodzenia oparta jest na metodzie kwasilinearyzacji. Otrzymano również pewne wyniki dotyczące problemów liniowych.
-
Nonlocal problems for functional partial differential equations of firstorder
PublicationRozważa się istnienie uogólnionych rozwiązań nielokalnych problemów dla quasiliniowych i nieliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Dowody twierdzeń bazują na metodzie bicharakterystyk i metodzie kolejnych przybliżeń.
-
Periodic boundary value problems for functional differential equations
PublicationPrzedmiotem badań były równania różniczkowo-funkcyjne dość ogólnej postaci z warunkami brzegowymi typu okresowego. Podano warunki dostateczne na istnienie jedynego rozwiązania (zerowego) odpowiedniego zagadnienia liniowego z okresowymi warunkami brzegowymi. Te wyniki zostały wykorzystane aby pokazać, że odpowiednio skonstruowane ciągi monotoniczne są jednostajnie zbieżne do jedynego, w pewnym segmencie, rozwiązania zagadnienia...
-
Quasilinearization methods for nonlinear parabolic equations with functional dependence
PublicationRozważamy problem Cauchy`ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Dowodzimy twierdzeń o szybkiej zbieżności ciągów kolejnych przybliżeń określonych w metodzie quasilinearyzacji w dwóch przypadkach: (i) argumentem funkcyjnym jest funkcja niewiadoma, (ii) zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej.
-
Implicit difference methods for parabolic functional differential equations.
PublicationPraca dotyczy przybliżania rozwiązań quasiliniowych parabolicznych równań różniczkowo-funkcyjnych za pomocą schematów różnicowych, uwikłanych ze względu na zmienną czasową. Wykonano pełną analizę zbieżności metod i pokazano na przykładzie, że nowe metody są istotnie lepsze od schematów jawnych. Dowód stabilności oparty jest na metodzie porównawczej z nieliniowymi oszacowaniami typu Perrona. Otrzymane wyniki można zastosować do...
-
Systems, environments, and soliton rate equations: A non-Kolmogorovian framework for population dynamics
PublicationSoliton rate equations are based on non-Kolmogorovian models of probability and naturally include autocatalytic processes. The formalism is not widely known but has great unexplored potential for applications to systems interacting with environments. Beginning with links of contextuality to non- Kolmogorovity we introduce the general formalism of soliton rate equations and work out explicit examples of subsystems interacting with...
-
Effect of gelation and storage conditions on the oxidative stability of microemulsion and nanoemulsion delivery systems
PublicationIncreased interest in the use of microemulsion and nanoemulsion delivery systems for medical, cosmetic and food purposes, promotes the development of research on their physical and chemical stability, and the safety of use. Here, we have for the first time evaluated the oxidative stability of linseed oil dispersed in the microemulsion, nanoemulsion, and their gelled systems, stored under different conditions, and compared to the...
-
On the independence number of some strong products of cycle-powers
PublicationIn the paper we give some theoretical and computational results on the third strong power of cycle-powers, for example, we have found the independence numbers alpha((C^2_10)^⊠3) = 30 and alpha((C^4 _14)^⊠3) = 14. A number of optimizations have been introduced to improve the running time of our exhaustive algorithm used to establish the independence number of the third strong power of cycle-powers. Moreover, our results establish...
-
Reliability data safety instrumented systems SIS from the functional safety analysis example critical instalation
Open Research DataThe dataset represents the results of an example of functional safety analysis systems is presented below. It is based on a control system, which consists of some basic components like sensors, programmable logic controllers and valves. It is a part of petrochemical critical installations. The communication between sensor logic controllers and actuators...
-
Chinese Law Research Guide
PublicationA journey of a thousand miles begins with a single step. This Research Guide will be the first step in your journey with Chinese law. China grows more important every day from a global perspective. However, studying and conducting research on Chinese law can be extremely challenging, especially if you do not know Mandarin well. This book is intended as a compact but comprehensive research guide that would provide students (especially...
-
On some extensions of Murray's Law
PublicationThis paper cites the original Murray's law about optimal radii.Extensions to some class of non-newtonian flows that aredescribedby Ostwalda-de Waele model and newtonian flows foreliptical crosssections. A generalisation of Murray's law formultiobjectiveformulation is also given. It is shown that theoriginal formulation of optimal condition is a particular case ofmultiobjective formulation.
-
Ways of Harmonising Polish Competition Law with the Competition Law of the EU
PublicationThis article discusses the harmonisation of laws within the EU focusing on the specific ways of achieving an approximation of the Polish legal system with European competition law. It identifies and gives an overview of three specific ways of harmonising national laws with EU antitrust provisions: (1) spontaneous (or bottom-up) harmonisation; (2) judicial harmonisation and; (3) legislative harmonisation by means of EU Directives....
-
Przemysław Banasik dr hab.
Peoplee-mail: Przemyslaw.Banasik@zie.pg.edu.pl, pba@zie.pg.gda.pl tel.: +48 58 347 28 75, pok. 510dr hab. Przemysław Banasik, prof. PG – autor ponad 140 publikacji z prawa, zarządzania i ekonomii. W pracy naukowej podejmuje badania nad organizacją wymiaru sprawiedliwości oraz przedsiębiorczością w jej ujęciu prawnym, ekonomicznym i zarządczym. Od 2017 r. Sędzia Sądu Apelacyjnego w Gdańsku. W latach 2013 – 2017 Prezes Sądu...
-
Functional safety with cybersecurity for the control and protection systems on example of the oil port infrastructure
PublicationSafety and cybersecurity aspects consist of two different group of functional requirements for the industrial control and protection systems in the oil port installation. It is the main reason why the analyses of safety and cybersecurity shouldn’t be integrated directly. These article presented some important issues of the functional safety analysis with regard to cybersecurity aspects in the oil seaport infrastructure. The proposed...
-
Two‐functional μBIST for Testing and Self‐Diagnosis of Analog Circuits in Electronic Embedded Systems
PublicationThe paper concerns the testing of analog circuits and blocks in mixed‐signal Electronic Embedded Systems (EESs), using the Built‐in Self‐Test (BIST) technique. An integrated, two‐functional, embedded microtester (μBIST) based on reuse of signal blocks already present in an EES, such as microprocessors, memories, ADCs, DACs, is presented. The novelty of the μBIST solution is its extended functionality. It can perform 2 testing functions:...
-
A solution of the integrated µBIST for functional and diagnostic testing in mixed-signal electronic embedded systems
PublicationMain problem of the paper is testing of analog circuits and blocks in mixed-signal electronic embedded systems (EESs), using the built-in self-test (BIST) technique. The integrated mBIST based on reusing signal blocks already present in an EES, such as processors, memories, ADCs, is presented. The novelty of the solution is the extended functionality of the mBIST. It can perform 2 testing functions: functional testing and fault...
-
Simulation of Parallel Applications on Large-scale Distributed Systems
PublicationThis chapter has a form of a review article in the field of simulating High-Performance Computing systems. We justify the need for a new versatile simulator considering heterogeneity, energy efficiency and reliability of HPC systems. We sketch the problems that need to be solved by such simulator and rationalize using discrete-event simulation for this purpose. Based on a review of existing discrete-event HPC simulation solutions...
-
Practical Approach to Large-Scale Electronic Structure Calculations in Electrolyte Solutions via Continuum-Embedded Linear-Scaling Density Functional Theory
PublicationWe present the implementation of a hybrid continuum-atomistic model for including the effects of a surrounding electrolyte in large-scale density functional theory (DFT) calculations within the Order-N Electronic Total Energy Package (ONETEP) linear-scaling DFT code, which allows the simulation of large complex systems such as electrochemical interfaces. The model represents the electrolyte ions as a scalar field and the solvent...
-
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami odpowiedniego układu quasiliniowego równań różniczkowo funkcyjnych. Rozpatrywana metoda numeryczna jest uwikłana względem zmiennej przestrzennej. 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.
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Initial problems for neutral functional differential equations with unbounded delay.
PublicationSformułowano układ aksjomatów dla przestrzeni fazowej . Wykazano istnienie jednoznaczności rozwiązań zagadnienia Cauchy´ego. Dowód wykorzystuje metody porównawcze z nieliniowymi oszacowaniami dla danej funkcji.
-
On the Chaplyghin method for generalized solutions of partial differential functional equations
PublicationW pracy tej rozważa się zagadnienia początkowo-brzegowe dla semiliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Przy naturalnych założeniach o funkcjach danych, istnieje ciąg Czapłygina i jest on zbieżny do rozwiązania w sensie Caratheodory'ego wyjściowego zagadnienia. Podane jest oszacowanie błędu rozwiązania przybliżonego. Wykazuje się, iż metoda Czapłygina dla powyższego zagadnienia jest równoważna metodzie...
-
Advances in Functional Materials Summer School 2023
e-Learning CoursesOur summer school on “Advances in Functional Materials” aims to bring together young scientists (Ph.D. and MSc students) with renowned specialists in materials engineering. Experts from academia, research units, and industry will deliver lectures, tutorials, and laboratory classes so that you can practice what you have learned. We divided the program into five main thematic topics: 1) Superconducting materials, 2) Additive manufacturing, 3)...
-
Measures of region failure survivability for wireless mesh networks
PublicationWireless mesh networks (WMNs) are considered as a promising alternative to wired local, or metropolitan area networks. However, owing to their exposure to various disruptive events, including natural disasters, or human threats, many WMN network elements located close to the failure epicentre are frequently in danger of a simultaneous failure, referred to as a region failure. Therefore, network survivability, being the ability...
-
Polyhedral Ramsey Numbers
PublicationGiven two polygons or polyhedrons P1 and P2, we can transform these figures to graphs G1 and G2, respectively. The polyhedral Ramsey number Rp(G1,G2) is the smallest integer n such that every graph, which represents polyhedron on n vertices either contains a copy of G1 or its complement contains a copy of G2. Using a computer search together with some theoretical results we have established some polyhedral Ramsey numbers, for example...
-
Systems, Environments, and Soliton Rate Equations: Toward Realistic Modeling
PublicationIn order to solve a system of nonlinear rate equations one can try to use some soliton methods. The procedure involves three steps: (1) find a ‘Lax representation’ where all the kinetic variables are combined into a single matrix ρ, all the kinetic constants are encoded in a matrix H; (2) find a Darboux–Bäcklund dressing transformation for the Lax representation iρ˙=[H,f(ρ)], where f models a time-dependent environment; (3) find...
-
Methodological issues of functional safety and reliability assessment of critical systems in industrial hazardous plants
PublicationThe aim of this article is to identify and discuss some methodological issues that are of interest among functional safety specialists and experts after publication of the second edition of international standards IEC 61508 and IEC 61511, including the design and implementing the safety-related functions of higher safety integrity levels and protection layers. The basic role of safety-related systems is to reduce effectively and...
-
An idea of an approach to self-testing of mixed signal systems based on a quadratic function stimulation
PublicationA new approach to self-testing of the analog parts of mixed-signal electronic systems controlled by microcontrollers equipped with an ADC and a DAC is presented. It is based on a BIST and a new fault diagnosis method. A novelty is the use of the DAC as a component of the BIST, allowing to generate a stimulating signal with a quadratic function shape. It contributes to a better extraction of information about the state of the circuit...