Filtry
wszystkich: 932
-
Katalog
- Publikacje 305 wyników po odfiltrowaniu
- Czasopisma 312 wyników po odfiltrowaniu
- Konferencje 13 wyników po odfiltrowaniu
- Osoby 162 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 82 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 55 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: Mathematics
-
Equitable 4-coloring of cacti and edge-cacti in polynomial time
PublikacjaRozważono problem wyznaczania sprawiedliwej liczby chromatycznej kaktusów i drzew wielokątowych bez trójkątów i krawędzi wiszących. Podano wielomianowy algorytm wyznaczający pokolorowanie optymalne, oparty na paradygmacie programowania dynamicznego. Tym samym znaleziona została kolejna klasa grafów planarnych, dla której kolorowanie sprawiedliwe jawi się jako zagadnienie obliczeniowo łatwe.
-
Boundary value problems for first-order impulsive ordinary differential equations with delay arguments
PublikacjaPraca dotyczy problemów istnienia rozwiązań dla pierwszego rzędu równań różniczkowych typu opóźnionego z impulsami. Podano warunki dostateczne na istnienie ekstremalnych kwazi-rozwiązań. Podano też warunki przy których powyższe zagadnienie ma jedyne rozwiązanie. Praca zawiera też przykład ilustrujący otrzymane wyniki teoretyczne.
-
Chaotic modes of systems described by the Liénard equations with a large period of the right-hand side and impact conditions
Publikacja -
Grazing bifurcation and chaotic oscillations of vibro-impact systems with one degree of freedom
Publikacja -
The symmetrization method and limit cycles of vibro-impact systems
Publikacja -
Chaotic modes of oscillation of a vibro-impact system
Publikacja -
Structural stability of invariant sets of vibro-impact systems
Publikacja -
Existence and uniqueness for neutral equations with delay dependant on a solution and its derivative
PublikacjaDla wykazania istnienia i jednoznaczności w pracy została zaprezentowana metoda porównawcza.
-
Human-Computer Interface Based on Visual Lip Movement and Gesture Recognition
PublikacjaThe multimodal human-computer interface (HCI) called LipMouse is presented, allowing a user to work on a computer using movements and gestures made with his/her mouth only. Algorithms for lip movement tracking and lip gesture recognition are presented in details. User face images are captured with a standard webcam. Face detection is based on a cascade of boosted classifiers using Haar-like features. A mouth region is located in...
-
Recent development in rigorous computational methods in dynamical systems
Publikacja -
Maxwell's approach to effective conductivity and its limitations
Publikacja -
Approximate solution for Euler equations of stratified water via numerical solution of coupled KdV system
PublikacjaWe consider Euler equations with stratified background state that is valid for internal water waves. The solution of the initial-boundary problem for Boussinesq approximation in the waveguide mode is presented in terms of the stream function. The orthogonal eigenfunctions describe a vertical shape of the internal wave modes and satisfy a Sturm-Liouville problem. The horizontal profile is defined by a coupled KdV system which is...
-
Hybrid Obfuscation Technique for Reverse Engineering Problems
Publikacja -
Approximation of extremal solutions for functional differential equations
PublikacjaDyskutowane 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ń.
-
On the connected and weakly convex domination numbers
PublikacjaIn 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...
-
On the regularity of the displacement sequence of an orientation preserving circle homeomorphism
PublikacjaWe investigate the regularity properties of the displacemnet sequence of an orientation preserving circle homeomorphism. is rational, then ηn(z) is asymptotically periodic with semi-period q. This
-
A space-efficient algorithm for computing the minimum cycle mean in a directed graph
PublikacjaAn algorithm is introduced for computing the minimum cycle mean in a strongly connected directed graph with n vertices and m arcs that requires O(n) working space. This is a considerable improvement for sparse graphs in comparison to the classical algorithms that require O(n^2) working space. The time complexity of the algorithm is still O(nm). An implementation in C++ is made publicly available at http://www.pawelpilarczyk.com/cymealg/.
-
Paired domination subdivision and multisubdivision numbers of graphs
PublikacjaThe paired domination subdivision number sdpr(G) of a graph G is the minimum number of edges that must be subdivided (where an edge can be subdivided at most once) in order to increase the paired domination number of G. We prove that the decision problem of the paired domination subdivision number is NP-complete even for bipartite graphs. For this reason we define the paired domination muttisubdivision number of a nonempty graph...
-
On-line ranking of split graphs
PublikacjaA vertex ranking of a graph G is an assignment of positive integers (colors) to the vertices of G such that each path connecting two vertices of the same color contains a vertex of a higher color. Our main goal is to find a vertex ranking using as few colors as possible. Considering on-line algorithms for vertex ranking of split graphs, we prove that the worst case ratio of the number of colors used by any on-line ranking algorithm...
-
Vibration of the bridge under moving singular loads - theoretical formulation and numerical solution
PublikacjaThe paper presents the results of the numerical analysis of a simple vehicle passing over a simply supported bridge span. The bridge is modelled by a Euler-Bernoulli beam. The vehicle is modelled as a linear, visco-elastic oscillator, moving at a constant speed. The system is described by a set of differential equations of motion and solved numerically using the Runge-Kutta algorithm. The results are compared with the solution...
-
On trees with double domination number equal to 2-outer-independent domination number plus one
PublikacjaA vertex of a graph is said to dominate itself and all of its neighbors. A double dominating set of a graph G is a set D of vertices of G such that every vertex of G is dominated by at least two vertices of D. The double domination number of a graph G is the minimum cardinality of a double dominating set of G. For a graph G=(V,E), a subset D subseteq V(G) is a 2-dominating set if every vertex of V(G)D has at least two neighbors...
-
On the ratio between 2-domination and total outer-independent domination numbers of trees
PublikacjaA 2-dominating set of a graph G is a set D of vertices of G such that every vertex of V(G)D has a at least two neighbors in D. A total outer-independent dominating set of a graph G is a set D of vertices of G such that every vertex of G has a neighbor in D, and the set V(G)D is independent. The 2-domination (total outer-independent domination, respectively) number of a graph G is the minimum cardinality of a 2-dominating (total...
-
On trees with equal 2-domination and 2-outer-independent domination numbers
PublikacjaFor a graph G = (V,E), a subset D \subseteq V(G) is a 2-dominating set if every vertex of V(G)\D$ has at least two neighbors in D, while it is a 2-outer-independent dominating set if additionally the set V(G)\D is independent. The 2-domination (2-outer-independent domination, respectively) number of G, is the minimum cardinality of a 2-dominating (2-outer-independent dominating, respectively) set of G. We characterize all trees...
-
Set membership estimation of parameters and variables in dynamic networks by recursive algorithms with moving measurment window
PublikacjaW artykule rozważana jest łączna estymacja przedziałowa zmiennych i parametrów w złożonej sieci dynamicznej w oparciu niepewne modele parametryczne i ograniczoną liczbę pomiarów. Opracowany został rekursywny algorytm estymacji z przesuwnym oknem pomiarowym, odpowiedni dla monitorowania sieci on-line. Okno pomiarowe pozwala na stabilizowanie klasycznego algorytmu rekurencyjnego estymacji i znacznie poprawienie obcisłości estymat....
-
Niching mechanisms in evolutionary computations
PublikacjaDozorowanie nisz stanowi mechanizm, którego celem jest utrzymanie gorzej przystosowanych osobników tak, aby populacja była różnorodna, zawierała odpowiednią liczbę istniejących gatunków, zarówno tych bardziej licznych, jak i tych mniej licznych, a przez to nie powodowała przedwczesnej zbieżności algorytmów ewolucyjnych. Efekt taki uzyskuje się poprzez odpowiednią modyfikację stopnia przystosowania lub rang osobników (zwiększa się...
-
Servo tracking of targets at sea
PublikacjaW artykule przedstawiono propozycje systemu sterowania układem śledzącym umieszczonym na okręcie. Przedstawiono dynamikę błędów śledzenia obiektu we współrzędnych LOS (ang., Line - Of - Sight). Zostało wykazane, że regulacja błędów śledzenia LOS jest możliwa przy pomocy sprzężenia feed-forward od prędkości śledzonego obiektu. Ponieważ prędkość ta nie jest mierzalna zastosowano filtr Kalmana w celu jej estymacji. Ponieważ problem...
-
Monitoring of Chlorine Concentration in Drinking Water Distribution Systems Using an Interval Estimator
PublikacjaThis paper describes the design of an interval observer for the estimation of unmeasured quality state variables in drinking water distribution systems. The estimator utilizes a set bounded model of uncertainty to produce robust interval bounds on the estimated state variables of the water quality. The bounds are generated by solving two differential equations. Hence the numerical efficiency is sufficient for on-line monitoring...
-
Machine learning techniques combined with dose profiles indicate radiation response biomarkers
Publikacja -
Data-driven models for fault detection using kernel PCA: A water distribution system case study
Publikacja -
Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem
Publikacja -
A new seismic control framework of optimal PIλDµ controller series with fuzzy PD controller including soil-structure interaction
Publikacja -
Sub-optimal fault-tolerant control by means of discrete optimization
PublikacjaOpracowanie przedstawia metodę projektowania sterowania optymalnego i odpornego na uszkodzenia z zastosowaniem algorytmów optymalizacji dyskretnej. Poszukiwana trajektoria, jeśli istnieje, jest reprezentowana przez najtańszą ścieżkę w grafie przepływowym, kodującym właściwości danego procesu dynamicznego. Metoda umożliwia zdefiniowanie obszarów zastrzeżonych dla punktu pracy, mogących reprezentować uszkodzenia systemu wykryte wcześniej.
-
Adaptive prediction of stock exchange indices by state space wavelet networks
PublikacjaThe paper considers the forecasting of the Warsaw Stock Exchange price index WIG20 by applying a state space wavelet network model of the index price. The approach can be applied to the development of tools for predicting changes of other economic indicators, especially stock exchange indices. The paper presents a general state space wavelet network model and the underlying principles. The model is applied to produce one session...
-
Indirect adaptive controller based on a self-structuring fuzzy system for nonlinear modeling and control
PublikacjaIn this paper, a unified nonlinear modeling and control scheme is presented. A self-structuring Takagi-Sugeno (T-S) fuzzymodel is used to approximate the unknown nonlinear plant based on I/O data collected on-line. Both the structure and theparameters of the T-S fuzzy model are updated by an on-line clustering method and a recursive least squares estimation(RLSE) algorithm. The rules of the fuzzy model can be added, replaced or...
-
Fuzzy logic gain scheduling for non - linear servo tracking
PublikacjaArtykuł zawiera propozycję strojenia jako metodę sterowania serwomechanizmem z silnie nieliniowymi elementami. Serwomechanizm steruje dwoma elementami układu śledzącego zamontowanymi na okręcie znajdującym się w morzu. W układzie występuje tarcie spoczynkowe przy zerowej prędkości oraz nieliniowe tarcie przeciwdziałające ruchowi w każdej z osi układu śledzącego. Zastosowany został podwójny układ sterowania ze sprzężeniem zwrotnym....
-
Approximate and analytic flow models for leak detection and identification
PublikacjaThe article presents a comprehensive quantitative comparison of four analytical models that, in different ways, describe the flow process in transmission pipelines necessary in the task of detecting and isolating leaks. First, the analyzed models are briefly presented. Then, a novel model comparison framework was introduced along with a methodology for generating data and assessing diagnostic effectiveness. The study presents basic...
-
A hierarchical observer for a non-linear uncertain CSTR model of biochemical processes
PublikacjaThe problem of estimation of unmeasured state variables and unknown reaction kinetic functions for selected biochemical processes modelled as a continuous stirred tank reactor is addressed in this paper. In particular, a new hierarchical (sequential) state observer is derived to generate stable and robust estimates of the state variables and kinetic functions. The developed hierarchical observer uses an adjusted asymptotic observer...
-
Stability analysis of interconnected discrete-time fractional-order LTI state-space systems
PublikacjaIn 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...
-
Spike patterns and chaos in a map-based neuron model
PublikacjaThe work studies the well-known map-based model of neuronal dynamics introduced in 2007 by Courbage, Nekorkin and Vdovin, important due to various medical applications. We also review and extend some of the existing results concerning β-transformations and (expanding) Lorenz mappings. Then we apply them for deducing important properties of spike-trains generated by the CNV model and explain their implications for neuron behaviour....
-
TRAVELLING WAVES FOR LOW–GRADE GLIOMA GROWTH AND RESPONSE TO A CHEMOTHERAPY MODEL
PublikacjaLow-grade gliomas (LGGs) are primary brain tumours which evolve very slowly in time, but inevitably cause patient death. In this paper, we consider a PDE version of the previously proposed ODE model that describes the changes in the densities of functionally alive LGGs cells and cells that are irreversibly damaged by chemotherapy treatment. Besides the basic mathematical properties of the model, we study the possibility of the...
-
An interval estimator for chlorine monitoring in drinking water distribution systems under uncertain system dynamics, inputs and chlorine concentration measurement errors
PublikacjaThe design of an interval observer for estimation of unmeasured state variables with application to drinking water distribution systems is described. In particular, the design process of such an observer is considered for estimation of the water quality described by the concentration of free chlorine. The interval observer is derived to produce the robust interval bounds on the estimated water quality state variables. The stability...
-
Intelligent decision-making system for autonomous robots
PublikacjaAdaptacja może być oparta na różnych koncepcjach cybernetycznych (takich jak algorytmy genetyczne, rojowe, sieci neuronowe, itp.). Główna myśl opisywanej pracy opiera się na wykorzystaniu modeli psychologii żywych istot (człowieka) w konstrukcji systemów sterowania jednostek autonomicznych w celu adaptacji jednostki do zmiennego środowiska (kluczowe dla projektu jest traktowanie elementów motywacyjnych jako problemu osobowości)....
-
MACHINE LEARNING–BASED ANALYSIS OF ENGLISH LATERAL ALLOPHONES
PublikacjaAutomatic classification methods, such as artificial neural networks (ANNs), the k-nearest neighbor (kNN) and selforganizing maps (SOMs), are applied to allophone analysis based on recorded speech. A list of 650 words was created for that purpose, containing positionally and/or contextually conditioned allophones. For each word, a group of 16 native and non-native speakers were audio-video recorded, from which seven native speakers’...
-
ADAPTIVE BACKSTEPPING TRACKING CONTROL FOR OVER-ACTUATED DP MARINE VESSEL WITH INERTIA UNCERTAINTIES
PublikacjaDesigning a tracking control system for an over-actuated dynamic positioning marine vessel in the case of insufficient information on environmental disturbances, hydrodynamic damping, Coriolis forces and vessel inertia characteristics is considered. The designed adaptive MIMO backstepping control law with control allocation is based on Lyapunov control theory for cascaded systems to guarantee stabilization of the marine vessel...
-
Template chart detection for stoma telediagnosis
PublikacjaThe paper presents the concept of using color template charts for the needs of telemedicine, particularly telediagnosis of the stoma. Although the concept is not new, the current popularity and level of development of digital cameras, especially those embedded in smartphones, allow common and reliable remote advice on various medical problems, which can be very important in the case of limitations in a physical contact with a doctor....
-
Stability of softly switched multiregional dynamic output controllers with a static antiwindup filter: A discrete-time case
PublikacjaThis paper addresses the problem of model-based global stability analysis of discrete-time Takagi–Sugeno multiregional dynamic output controllers with static antiwindup filters. The presented analyses are reduced to the problem of a feasibility study of the Linear Matrix Inequalities (LMIs), derived based on Lyapunov stability theory. Two sets of LMIs are considered candidate derived from the classical common quadratic Lyapunov...
-
A biochemical multi-species quality model of a drinking water distribution system for simulation and design
PublikacjaDrinking Water Distribution Systems (DWDSs) play a key role in sustainable development of modern society. They are classified as critical infrastructure systems. This imposes a large set of highly demanding requirements on the DWDS operation and requires dedicated algorithms for on-line monitoring and control to tackle related problems. Requirements on DWDS availability restrict the usability of the real plant in the design phase....
-
ADAPTIVE PREDICTIONS OF THE EURO/ZŁOTY CURRENCY EXCHANGE RATE USING STATE SPACE WAVELET NETWORKS AND FORECAST COMBINATIONS
PublikacjaThe paper considers the forecasting of the euro/Polish złoty (EUR/PLN) spot exchange rate by applying state space wavelet network and econometric forecast combination models. Both prediction methods are applied to produce one-trading-day- ahead forecasts of the EUR/PLN exchange rate. The paper presents the general state space wavelet network and forecast combination models as well as their underlying principles. The state space...
-
Asynchronous distributed state estimation for continuous-time stochastic processes
PublikacjaWe consider the problem of state estimation of a continuous-time stochastic process using an asynchronous distributed multi-sensor estimation system (ADES). In an ADES the state of a process of interest is estimated by a group of local estimators. Each local estimator based, for example, on a Kalman filter, performs single sensor filtration but also fusion of its local results and results from other (remote) processors to compute...
-
On a matching distance between rooted phylogenetic trees
PublikacjaThe Robinson–Foulds (RF) distance is the most popular method of evaluating the dissimilarity between phylogenetic trees. In this paper, we define and explore in detail properties of the Matching Cluster (MC) distance, which can be regarded as a refinement of the RF metric for rooted trees. Similarly to RF, MC operates on clusters of compared trees, but the distance evaluation is more complex. Using the graph theoretic approach...