Filtry
wszystkich: 14353
wybranych: 9838
-
Katalog
- Publikacje 9838 wyników po odfiltrowaniu
- Czasopisma 1036 wyników po odfiltrowaniu
- Konferencje 253 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 381 wyników po odfiltrowaniu
- Wynalazki 12 wyników po odfiltrowaniu
- Projekty 24 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 722 wyników po odfiltrowaniu
- Wydarzenia 10 wyników po odfiltrowaniu
- Dane Badawcze 2073 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ITERATED FUNCTION SYSTEMS · INVARIANT MEASURES · STABILITY · STRONG LAW OF LARGE NUMBERS · FUNCTIONAL EQUATIONS
-
Systems engineering approach to functional safety and cyber security of industrial critical installations
PublikacjaThis 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
PublikacjaThis 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...
-
MERPSYS: An environment for simulation of parallel application execution on large scale HPC systems
PublikacjaIn 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...
-
Information Systems, Business and Law - Lessons Learnt
PublikacjaReferat 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,...
-
The shadowing chain lemma for singular Hamiltonian systems involving strong forces
PublikacjaW 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...
-
Local basis function method for identification of nonstationary systems
PublikacjaThis thesis is focused on the basis function method for the identification of nonstationary processes. The first chapter describes a group of models that can be identified using the basis function method. The next chapter describes the basic version of the basis function method, including its algebraic and statistical properties. The following section introduces the local basis function (LBF) method: its properties are described...
-
On some Zarankiewicz numbers and bipartite Ramsey Numbers for Quadrilateral
PublikacjaThe 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 )....
-
Chaotic invariant sets of vibro-impact systems with one degree of freedom
Publikacja -
Multimode systems of nonlinear equations: derivation, integrability, and numerical solutions
PublikacjaWe 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...
-
Two families of infinitely many homoclinics for singular strong force Hamiltonian systems
PublikacjaWe 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
PublikacjaWe 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...
-
INTEGRATED FUNCTIONAL SAFETY AND CYBERSECURITY ANALYSIS METHOD FOR SMART MANUFACTURING SYSTEMS
PublikacjaThis 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...
-
Self-assembly, stability and conductance of amphotericin B channels: bridging the gap between structure and function
PublikacjaAmphotericin 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,...
-
Application of the distributed transfer function method and the rigid finite element method for modelling of 2-D and 3-D systems
PublikacjaIn 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
PublikacjaThe 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...
-
Large thermo-elastic displacement and stability FEM analysis of multilayered plates and shells
PublikacjaThe 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...
-
Difference functional inequalities and applications.
PublikacjaThe 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.
-
Periodic boundary value problems for functional differential equations
PublikacjaPrzedmiotem 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...
-
Antiperiodic boundary value problems for functional differential equations
PublikacjaRó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
PublikacjaRozważ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ń.
-
Quasilinearization methods for nonlinear parabolic equations with functional dependence
PublikacjaRozważ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.
PublikacjaPraca 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
PublikacjaSoliton 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
PublikacjaIncreased 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
PublikacjaIn 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...
-
Chinese Law Research Guide
PublikacjaA 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
PublikacjaThis 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.
-
Functional safety with cybersecurity for the control and protection systems on example of the oil port infrastructure
PublikacjaSafety 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
PublikacjaThe 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:...
-
Ways of Harmonising Polish Competition Law with the Competition Law of the EU
PublikacjaThis 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....
-
A solution of the integrated µBIST for functional and diagnostic testing in mixed-signal electronic embedded systems
PublikacjaMain 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
PublikacjaThis 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
PublikacjaWe 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
PublikacjaKlasyczne 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
PublikacjaSkonstruowano 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.
-
On the Chaplyghin method for generalized solutions of partial differential functional equations
PublikacjaW 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...
-
Initial problems for neutral functional differential equations with unbounded delay.
PublikacjaSformuł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.
-
Polyhedral Ramsey Numbers
PublikacjaGiven 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
PublikacjaIn 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...
-
Measures of region failure survivability for wireless mesh networks
PublikacjaWireless 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...
-
A Novel Iterative Decoding for Iterated Codes Using Classical and Convolutional Neural Networks
PublikacjaForward error correction is crucial for communication, enabling error rate or required SNR reduction. Longer codes improve correction ratio. Iterated codes offer a solution for constructing long codeswith a simple coder and decoder. However, a basic iterative code decoder cannot fully exploit the code’s potential, as some error patterns within its correction capacity remain uncorrected.We propose two neural network-assisted decoders:...
-
Methodological issues of functional safety and reliability assessment of critical systems in industrial hazardous plants
PublikacjaThe 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
PublikacjaA 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...
-
Systems of differential equations with a singular matrix
PublikacjaPraca dotyczy układów równań różniczkowych z macierzą osobliwą. Szczególnymi przypadkami takich układów są równania różniczkowo-algebraiczne. Korzystając z odpowiedniej nierówności różniczkowej dla układów równań i metody quasi linearyzacji pokazano, iż odpowiednie monotoniczne ciągi są zbieżne do rozwiązania naszego problemu i jest to zbieżność kwadratowa. O funkcji f występującej po prawej stronie zagadnienia zakładano...
-
Generating sequences of Lefschetz numbers of iterates
PublikacjaDu, Huang and Li showed in 2003 that the class of Dold–Fermat sequences coincides with the class of Newton sequences, which are defined in terms of socalled generating sequences. The sequences of Lefschetz numbers of iterates form an important subclass of Dold–Fermat (thus also Newton) sequences. In this paper we characterize generating sequences of Lefschetz numbers of iterates.
-
On some open questions for Ramsey and Folkman numbers
PublikacjaWe discuss some of our favorite open questions about Ramsey numbers and a related problem on edge Folkman numbers. For the classical two-color Ramsey numbers, we first focus on constructive bounds for the difference between consecutive Ramsey numbers. We present the history of progress on the Ramsey number R(5,5) and discuss the conjecture that it is equal to 43.
-
Recent Advances in Loop Heat Pipes with Flat Evaporator
PublikacjaThe focus of this review is to present the current advances in Loop Heat Pipes (LHP) with flat evaporators, which address the current challenges to the wide implementation of the technology. A recent advance in LHP is the design of flat-shaped evaporators, which is better suited to the geometry of discretely mounted electronics components (microprocessors) and therefore negate the need for an additional transfer surface (saddle)...
-
Recycling of waste tires in the light of binding law in Poland
PublikacjaA risings of large quantities of used rubber products, especially used tires has been increasing every year in Poland, in 2006 it was 160 thousand. The waste management and recycling of used tires become a major environmental problem. Well known methods of utilization of used tires are presented in this article. The main problem is ignorance of the law by tyre manufactures and users. In Poland first act on waste introduces ban...
-
Optimally regularized local basis function approach to identification of time-varying systems
PublikacjaAccurate identification of stochastic systems with fast-varying parameters is a challenging task which cannot be accomplished using model-free estimation methods, such as weighted least squares, which assume only that system coefficients can be regarded as locally constant. The current state of the art solutions are based on the assumption that system parameters can be locally approximated by a linear combination of appropriately...
-
Closed Form Constraint Equations Used to Express Frictionless Slip of Multibody Systems Attached to Finite Elements—Application to a Contact between a Double Pendulum and a Beam
PublikacjaThis paper focuses on the numerical modeling of the dynamics of mechanical systems. Robots that can inspect high-voltage lines inspired this research. Their control systems must anticipate potential grab positions appropriately. We intend to formulate equations dedicated to the numerical description of the robot/cable contact. The investigated problem is not straightforward, since parts of the modeled systems are numerically inhomogeneous....