Filtry
wszystkich: 3176
wybranych: 2544
-
Katalog
- Publikacje 2544 wyników po odfiltrowaniu
- Czasopisma 258 wyników po odfiltrowaniu
- Konferencje 130 wyników po odfiltrowaniu
- Osoby 94 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Kursy Online 76 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 64 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: APPLICATIONS
-
Equitable coloring of corona products of graphs
PublikacjaIn this paper we consider an equitable coloring of some corona products of graphs G and H in symbols, G o H). In particular, we show that deciding the colorability of G o H is NP-complete even if G is 4-regular and H is K_2. Next, we prove exact values or upper bounds on the equitable chromatic number of G o H, where G is an equitably 3- or 4-colorable graph and H is an r-partite graph, a path, a cycle or a complete graph.
-
Pipelined division of signed numbers with the use of residue arithmetic in FPGA
PublikacjaAn architecture of a pipelined signed residue divider for small number ranges is presented. The divider makes use of the multiplicative division algorithm where initially the reciprocal of the divisor is calculated and subsequently multiplied by the dividend. The divisor represented in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to reduce the needed length...
-
Wear estimation of current collector contact strips by analysis of a 3D scanning results
PublikacjaThe technical condition of current collector contact strips is very important when operational reliability of railway transportation is considered. The authors proposed a novel measurement system based on a 3D camera to register the shape and dimensions of the current collector contact strips surface. The system was installed above the railway track for tests in target ambient. During the trial operation a few dozen of contact...
-
Existence and uniqueness of monotone and bounded solutions for a finite-difference discretization a` la Mickens of the generalized Burgers–Huxley equation.
PublikacjaDeparting from a generalized Burgers–Huxley partial differential equation, we provide a Mickens-type, nonlinear, finite-difference discretization of this model. The continuous system is a nonlinear regime for which the existence of travelling-wave solutions has been established previously in the literature. We prove that the method proposed also preserves many of the relevant characteristics of these solutions, such as the positivity,...
-
3D scanning system for railway current collector contact strips
PublikacjaUndisturbed collection of current from a contact wire of the catenary constitutes one of the basic elements in reliable operation of electrified rail transport, particularly when vehicles move at high speed. Quality of current collection is influenced by the construction of catenary and current collectors, as well as by the technical condition and regulation of these two elements. Total contact force of a current collector head...
-
On the convergence of a finite-difference discretization à la Mickens of the generalized Burgers–Huxley equation
PublikacjaIn this note, we establish the property of convergence for a finite-difference discretization of a diffusive partial differential equation with generalized Burgers convective law and generalized Hodgkin–Huxley reaction. The numerical method was previously investigated in the literature and, amongst other features of interest, it is a fast and nonlinear technique that is capable of preserving positivity, boundedness and monotonicity....
-
Pumping effect measured by PIV method in a multilayer spike electrode EHD device for air cleaning
PublikacjaDust particles can be harmful for human health when inhaled. Particularly dangerous are submicrometer dust particles, which can contain traces of toxic elements and can easily penetrate into the human respiratory system. Thus, efficient devices for the air cleaning from submicrometer dust particles are needed. Recently, Katatani and Mizuno have proposed an electrohydrody- namic (EHD) device for air cleaning for submicrometer particles....
-
On the convergence of a nonlinear finite-difference discretization of the generalized Burgers–Fisher equation
PublikacjaIn this note, we establish analytically the convergence of a nonlinear finite-difference discretization of the generalized Burgers-Fisher equation. The existence and uniqueness of positive, bounded and monotone solutions for this scheme was recently established in [J. Diff. Eq. Appl. 19, 1907{1920 (2014)]. In the present work, we prove additionally that the method is convergent of order one in time, and of order two in space. Some...
-
On simplification of residue scaling process in pipelined Radix-4 MQRNS FFT processor
PublikacjaResidue scaling is needed in pipelined FFT radix-4 processors based on the Modified Quadratic Residue Number System (MQRNS) at the output of each butterfly. Such processor uses serial connection of radix-4 butterflies. Each butterfly comprises n subunits, one for each modulus of the RNS base and generates four complex residue numbers. In order to prevent arithmetic overflow intermediate results after each butterfly have to be...
-
On the interspike-intervals of periodically-driven integrate-and-fire models
PublikacjaWe analyze properties of the firing map, which iterations give information about consecutive spikes, for periodically driven linear integrate-and-fire models. By considering locally integrable (thus in general not continuous) input functions, we generalize some results of other authors. In particular, we prove theorems concerning continuous dependence of the firing map on the input in suitable function spaces. Using mathematical...
-
Serial control of CNC machines
PublikacjaIn this paper a new method of the serial control of CNC machines is proposed. Actuators are controlled locally and the role of the central computer is limited to sending commands to the controller instead of sending it directly to actuators. It has been achieved with the use of the serial protocol with the use of the USB port. The taken approach leads to more reliable operation because commands are buffered and no synchronization...
-
Comment on the orthogonality of the Macdonald functions of imaginary order
PublikacjaPrzeprowadzono dowód ortogonalności funkcji Macdonalda z urojonym indeksem. Zastosowana metoda jest znacznie prostsza od innych prezentowanych do tej pory w literaturze.
-
Parallel processing of multimedia streams
PublikacjaRozdział przedstawia platformę KASKADA służącą do przetwarzania strumieni multimedialnych. Został opisany jej projekt: diagramy UML klas i sekwencji obrazujące mechanizmy przetwarzania strumieni, oraz szczegóły komunikacji. Zaprezentowano, również, specjalistyczny framework wspomagający tworzenie i wykonywanie algorytmów, jak również definiowanie scenariuszy usług, wraz z oceną ich użyteczności.
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublikacjaPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
On the mixing property and the ergodic principle for nonhomogeneous Markov chains
PublikacjaW pracy rozważane są różne typy zachowania granicznego nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym. Badana jest struktura geometryczna zbioru łańcuchów Markowa w normowej i mocnej topologii operatorowej.
-
Non-quadratic quality criteria in parameter estimation of continuous-time models
PublikacjaW pracy wykorzystuje się procedury estymacji parametrycznej do identyfikacji modeli z czasem ciągłym. Rozważane algorytmy minimalizują wskaźnik jakości w postaci sumy lub całki wartości bezwzględnej błędu predykcji. Zastosowanie techniki zmiennych instrumentalnych umożliwia ponadto znaczące polepszenie dokładności ocen parametrów, a wprowadzony do w procedur estymacji mechanizm ważenia błędów predykcji pozwala identyfikować modele...
-
Super-resolved Thermal Imagery for High-accuracy Facial Areas Detection and Analysis
PublikacjaIn this study, we evaluate various Convolutional Neural Networks based Super-Resolution (SR) models to improve facial areas detection in thermal images. In particular, we analyze the influence of selected spatiotemporal properties of thermal image sequences on detection accuracy. For this purpose, a thermal face database was acquired for 40 volunteers. Contrary to most of existing thermal databases of faces, we publish our dataset...
-
Rapid multi-objective design of integrated on-chip inductors by means of Pareto front exploration and design extrapolation
PublikacjaIdentification of the best trade-offs between conflicting design objectives allows for making educated design decisions as well as assessing suitability of a given component or circuit for a specific application. In case of inductors, the typical objectives include maximization of the quality factor and minimization of the layout area, as well as maintaining a required inductance at a given operating frequency. This work demonstrates...
-
Mountain pass solutions to Euler-Lagrange equations with general anisotropic operator
PublikacjaUsing the Mountain Pass Theorem we show that the problem \begin{equation*} \begin{cases} \frac{d}{dt}\Lcal_v(t,u(t),\dot u(t))=\Lcal_x(t,u(t),\dot u(t))\quad \text{ for a.e. }t\in[a,b]\\ u(a)=u(b)=0 \end{cases} \end{equation*} has a solution in anisotropic Orlicz-Sobolev space. We consider Lagrangian $\Lcal=F(t,x,v)+V(t,x)+\langle f(t), x\rangle$ with growth conditions determined by anisotropic G-function and some geometric conditions...
-
Structure and the space vector modulation for a medium-voltage power-electronic-transformer based on two seven-level cascade H-bridge inverters
PublikacjaThis study presents the structure and the space vector pulse-width modulation (SVPWM) for power electronic transformer (PET) based on two seven-level cascade H-bridge (CHB) inverters. The DC links of CHB inverters are coupled with nine dual-active bridge (DAB) converters with medium-frequency transformers. The DC-link voltages are equalised with two methods – through the control of DAB voltages...
-
Marcinkiewicz Averages of Smooth Orthogonal Projections on Sphere
PublikacjaWe construct a single smooth orthogonal projection with desired localization whose average under a group action yields the decomposition of the identity operator. For any full rank lattice \Gamma ⊂ R^d , a smooth projection is localized in a neighborhood of an arbitrary precompact fundamental domain R^d / \Gamma. We also show the existence of a highly localized smooth orthogonal projection, whose Marcinkiewicz average under the...
-
Minimal 2-dominating sets in Trees
PublikacjaWe provide an algorithm for listing all minimal 2-dominating sets of a tree of order n in time O(1.3247^n). This leads to that every tree has at most 1.3247^n minimal 2-dominating sets. We also show that thisbound is tight.
-
mechanical engineering education via projects in multibody dynamics
PublikacjaPraca prezentuje rozważania nad wykorzystaniem interdyscyplinarnych projektów bazujących na zasadach dynamiki układów wieloczłonowych, traktowanych tu jako rozwinięcie kursu klasycznej mechaniki. Celem dydaktycznym jest zebranie w jednym procesie dydaktycznym takich aspektów jak: możliwość wykorzystania poznanych teoretycznie równań do modelowania i analizy znanego mu obiektu rzeczywistego; umożliwienie formułowania i testowania...
-
Electromagnetic plane wave scattering from a cylindrical object with an arbitrary cross section using a hybrid technique
PublikacjaA hybrid technique combining finite-element and mode-matching methods for the analysis of scattering problems in open and closed areas is presented. The main idea of the analysis is based on the utilization of the finite-element method to calculate the post impedance matrix and combine it with external excitation. The discrete analysis, which is the most time- and memory-consuming, is limited here only to the close proximity of...
-
Fault diagnosis of marine 4-stroke diesel engines using a one-vs-one extreme learning ensemble
PublikacjaThis paper proposes a novel approach for intelligent fault diagnosis for stroke Diesel marine engines, which are commonly used in on-road and marine transportation. The safety and reliability of a ship's work rely strongly on the performance of such an engine; therefore, early detection of any type of failure that affects the engine is of crucial importance. Automatic diagnostic systems are of special importance because they can...
-
Bernstein-type theorem for ϕ-Laplacian
PublikacjaIn this paper we obtain a solution to the second-order boundary value problem of the form \frac{d}{dt}\varPhi'(\dot{u})=f(t,u,\dot{u}), t\in [0,1], u\colon \mathbb {R}\to \mathbb {R} with Sturm–Liouville boundary conditions, where \varPhi\colon \mathbb {R}\to \mathbb {R} is a strictly convex, differentiable function and f\colon[0,1]\times \mathbb {R}\times \mathbb {R}\to \mathbb {R} is continuous and satisfies a suitable growth...
-
Resonance microstrip structure with patch of arbitrary convex geometry with the use of field matching technique
PublikacjaAn analysis of the resonance frequency problem of planar microstrip structure with patch of arbitrary convex geometry is presented. A full-wave analysis is employed utilizing a combination of Galerkin’s moment method and field matching technique. In this approach, a field matching technique is adopted to calculate the patch surface current densities, and next the method of moments is utilized to calculate resonance frequencies...
-
Finite element/mode-matching analysis of ferrite/dielectric line junctions of arbitrary cross-section
PublikacjaThis paper is focused on the analysis of line junctions obtained as a cascade of dielectric and ferrite guides of arbitrary cross-section. The main application of such structures is nonreciprocal devices such as isolators, circulators, or phase shifters. The efficient finite element/mode-matching approach is proposed to the analysis of such structures. In this approach, thefiniteelementmethod is applied todetermine propagation...
-
Left-handed propagation characteristics of a dielectric and metal-loaded periodic circular waveguide
PublikacjaIn this paper, a periodic dielectric/metallic rod is located in a circular waveguide to obtain left-handed operation. Two geometries of the dielectric/metallic rod are proposed and examined. The dispersion characteristics of the investigated waveguides are obtained using a surface impedance model. Moreover, equivalent circuit models are proposed allowing for calculation of the dispersion characteristics and scattering parameters...
-
The Maslov index and the spectral flow—revisited
PublikacjaWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Fundamental properties of solutions to fractional-order Maxwell's equations
PublikacjaIn this paper, fundamental properties of solutions to fractional-order (FO) Maxwell's equations are analysed. As a starting point, FO Maxwell's equations are introduced in both time and frequency domains. Then, we introduce and prove the fundamental properties of electromagnetic field in FO electromagnetics, i.e. energy conservation, uniqueness of solutions, and reciprocity. Furthermore, the algorithm of the plane wave simulation...
-
Reconfiguring Minimum Dominating Sets in Trees
PublikacjaWe provide tight bounds on the diameter of γ-graphs, which are reconfiguration graphs of the minimum dominating sets of a graph G. In particular, we prove that for any tree T of order n ≥ 3, the diameter of its γ-graph is at most n/2 in the single vertex replacement adjacency model, whereas in the slide adjacency model, it is at most 2(n − 1)/3. Our proof is constructive, leading to a simple linear-time algorithm for determining...
-
Recurrence scheme for FDTD-compatible discrete Green's function derived based on properties of Gauss hypergeometric function
PublikacjaIn this paper, the formulation of one-dimensional FDTD (Finite-difference time-domain)-compatible discrete Green's function (DGF) is derived based on the Gauss hypergeometric function (GHF). The properties of GHF make it possible to derive the recurrence scheme only in the time domain for the DGF generation. Furthermore, this recurrence scheme is valid for any stable time-step size and can be implemented using standard numerical...
-
Shub’s conjecture for smooth longitudinal maps of S^m
PublikacjaLet f be a smooth map of the m-dimensional sphere Sm to itself, preserving the longitudinal foliation. We estimate from below the number of fixed points of the iterates of f , reduce Shub’s conjecture for longitudinal maps to a lower dimensional classical version, and prove the conjecture in case m = 2 and in a weak form for m = 3.
-
Design and optimization of a novel miniaturized low-profile circularly polarized wide-slot antenna
PublikacjaThis paper presents a novel structure of a compact circularly polarized (CP) antenna. CP is obtained using a parasitic quasi-rectangular strip placed coplanar to the feedline. A ground plane perturbation combined with the asymmetric geometry of the coplanar waveguide ground planes is utilized to excite additional CP modes. All antenna dimensions are rigorously optimized to achieve the best possible performance in terms of the impedance...
-
Comparison of induction motor bearing diagnostic test results through vibration and stator current measurement
PublikacjaThe paper discusses results of tests performed by authors, related to the angine bearings diagnostic using vibration and stator current measurements. The paper contains the description of an automatic measurement system, developed for measurement of those harmonics and processing that to obtain bearing diagnostic information. System was tested on objects with intentionally made defects in bearings, results of this test was also...
-
A Noether theorem for stochastic operators on Schatten classes
PublikacjaWe prove that a stochastic (Markov) operator S acting on a Schatten class C_1 satisfies the Noether condition S'(A) = A and S'(A^2) = A^2, where A is a Hermitian bounded linear operator on a complex Hilbert space H, if and only if, S(E(G)XE(G)) = E(G)S(X)E(G) holds true for every Borel subset G of the real line R, where E(G) denotes the orthogonal projection coming from the spectral resolution of A. Similar results are obtained...
-
Anisotropic Orlicz–Sobolev spaces of vector valued functions and Lagrange equations
PublikacjaIn this paper we study some properties of anisotropic Orlicz and Orlicz–Sobolev spaces of vector valued functions for a special class of G-functions. We introduce a variational setting for a class of Lagrangian Systems. We give conditions which ensure that the principal part of variational functional is finitely defined and continuously differentiable on Orlicz–Sobolev space.
-
Mountain pass type periodic solutions for Euler–Lagrange equations in anisotropic Orlicz–Sobolev space
PublikacjaUsing the Mountain Pass Theorem, we establish the existence of periodic solution for Euler–Lagrange equation. Lagrangian consists of kinetic part (an anisotropic G-function), potential part and a forcing term. We consider two situations: G satisfying at infinity and globally. We give conditions on the growth of the potential near zero for both situations.
-
Optimal linear control theory in power system application
PublikacjaPrzedstawiono syntezę stabilizatora systemowego przy wykorzystaniu metodyki Hinf. Zaprojektowany regulator umożliwia uzyskanie lepszych rezultatów w porównaniu z regulatorem odniesienia w szerokim zakresie zmian punktu pracy.
-
Analytical design of stable delta-domain generalized predictive control
PublikacjaPraca dotyczy analitycznej metody projektowania układów sterowania skalarnymi (SISO) obiektami czasu ciągłego według strategii uogólnionego sterowania predykcyjnego (GPC) w oparciu o dyskretnoczasowe modele takich obiektów. Założono wykorzystanie numeryczne odpornych modeli opartych o tak zwany operator delta. Przyjmując kwadratowy funkcjonał kosztów, w którym prognozowany przebieg przyszłego wyjścia sterowanego obiektu porównywany...
-
Differential-algebraic systems with maxima
PublikacjaMetoda numeryczno-analityczna została zastosowana do układów równań różniczkowo-algebraicznych z operatorem maximum. Zakładając warunek Lipschitza na funkcje występujące w zagadnieniu pokazano, że ciąg iteracji prostych jest zbieżny do rozwiązania zagadnienia pomocniczego. Podano warunki dostateczne na istnienie rozwiązania problemu wyjściowego. Iteracje Seidla też były przedmiotem badań. W ostatniej części pracy był dyskutowany...
-
Iterative‐recursive estimation of parameters of regression models with resistance to outliers on practical examples
PublikacjaHere, identification of processes and systems in the sense of the least sum of absolute values is taken into consideration. The respective absolute value estimators are recognised as exceptionally insensitive to large measurement faults or other defects in the processed data, whereas the classical least squares procedure appears to be completely impractical for processing the data contaminated with such parasitic distortions. Since...
-
Machine-learning methods for estimating compressive strength of high-performance alkali-activated concrete
PublikacjaHigh-performance alkali-activated concrete (HP-AAC) is acknowledged as a cementless and environmentally friendly material. It has recently received a substantial amount of interest not only due to the potential it has for being used instead of ordinary concrete but also owing to the concerns associated with climate change, sustainability, reduction of CO2 emissions, and energy consumption. The characteristics and amounts of the...
-
Automated network control and supervision
PublikacjaPrzedstawiono ogólne problemy związane z postępem w zakresie integracji systemów informatycznych w elektroenergetyce. Podano zasady budowy struktury systemów sterowania i nadzoru.
-
Deep learning techniques for biometric security: A systematic review of presentation attack detection systems
PublikacjaBiometric technology, including finger vein, fingerprint, iris, and face recognition, is widely used to enhance security in various devices. In the past decade, significant progress has been made in improving biometric sys- tems, thanks to advancements in deep convolutional neural networks (DCNN) and computer vision (CV), along with large-scale training datasets. However, these systems have become targets of various attacks, with...
-
Seismic response and performance prediction of steel buckling-restrained braced frames using machine-learning methods
PublikacjaNowadays, Buckling-Restrained Brace Frames (BRBFs) have been used as lateral force-resisting systems for low-, to mid-rise buildings. Residual Interstory Drift (RID) of BRBFs plays a key role in deciding to retrofit buildings after seismic excitation; however, existing formulas have limitations and cannot effectively help civil engineers, e.g., FEMA P-58, which is a conservative estimation method. Therefore, there is a need to...
-
Rotating rod and ball
PublikacjaWe consider a mechanical system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points. The ball is reflected elastically when colliding with the rod and moves freely between consecutive hits. A sliding motion along the rod is also allowed. We prove the existence and uniqueness of the motion with a given position and velocity at a certain time...
-
Heat Dissipation from the Power Cable in the Casing Pipe
PublikacjaThe current carrying capacity of a power cable determines its ability to carry a specific current and is related to the efficiency of dissipation of heat generated in the cable laid in a specific environment. The studies were conducted in order to determine how the characteristics of the medium around the cable affected its temperature, and thus the ability of the cable to transmit electricity. The experimentation in the lab and...
-
Stability by linear approximation for time scale dynamical systems
PublikacjaWe 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...