Filters
total: 3061
filtered: 2439
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: APPLICATIONS
-
An agent-based framework for distributed learning
Publication -
Rotating rod and ball
Publication -
Multisource model of ship electric field
PublicationA steel-hulled ship in sea water produces an electric field around itself. The source of this field are electrochemical processes and ship's cathodic protection. The analysis of the electric field around the ship is important by the reason of the ship's identification and counter-mine protection. The paper presents a simplified model of the ship's multisource electric field, which allows to calculate the electric field distribution...
-
Naval mine detection system based of FPGA circuit
PublicationElectrochemical processes take place in a metal object immersed into sea water even if an anticorrosive coating is applied [1]. As a result, flowing field appears around the object. There are naval mines between many other objects situated in the sea. Naval mines can be put in the seabed in order to be more difficult to detect by sonars. Such a mine is located on the line demarking two environments of different electrical conductivity....
-
Electromagnetic plane wave scattering from a cylindrical object with an arbitrary cross section using a hybrid technique
PublicationA 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...
-
Bernstein-type theorem for ϕ-Laplacian
PublicationIn 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...
-
Comparison of induction motor bearing diagnostic test results through vibration and stator current measurement
PublicationThe 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...
-
Rapid multi-objective design of integrated on-chip inductors by means of Pareto front exploration and design extrapolation
PublicationIdentification 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
PublicationUsing 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
PublicationThis 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...
-
The Maslov index and the spectral flow—revisited
PublicationWe 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,...
-
Anisotropic Orlicz–Sobolev spaces of vector valued functions and Lagrange equations
PublicationIn 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
PublicationUsing 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.
-
Marcinkiewicz Averages of Smooth Orthogonal Projections on Sphere
PublicationWe 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...
-
Machine learning-based prediction of preplaced aggregate concrete characteristics
PublicationPreplaced-Aggregate Concrete (PAC) is a type of preplaced concrete where coarse aggregate is placed in the mold and a Portland cement-sand grout with admixtures is injected to fill the voids. Due to the complex nature of PAC, many studies were conducted to determine the effects of admixtures and the compressive and tensile strengths of PAC. Considering that a prediction tool is needed to estimate the compressive and tensile strengths...
-
Seismic response and performance prediction of steel buckling-restrained braced frames using machine-learning methods
PublicationNowadays, 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
PublicationWe 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...
-
Deep learning techniques for biometric security: A systematic review of presentation attack detection systems
PublicationBiometric 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...
-
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...
-
Reconfiguring Minimum Dominating Sets in Trees
PublicationWe 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...
-
Fundamental properties of solutions to fractional-order Maxwell's equations
PublicationIn 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...
-
Super-resolved Thermal Imagery for High-accuracy Facial Areas Detection and Analysis
PublicationIn 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...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublicationWe describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...
-
Four-point boundary-value problems for differential-algebraic systems
PublicationBadane są czteropunktowe problemy brzegowe dla układów równań różniczkowo-algebraicznych. Stosując metodę iteracji monotonicznych, podano warunki dostateczne na istnienie rozwiązań (jednego lub ekstremalnych) takich problemów. Podano przykład ilustrujacy otrzymane wyniki teoretyczne.
-
Instance segmentation of stack composed of unknown objects
PublicationThe article reviews neural network architectures designed for the segmentation task. It focuses mainly on instance segmentation of stacked objects. The main assumption is that segmentation is based on a color image with an additional depth layer. The paper also introduces the Stacked Bricks Dataset based on three cameras: RealSense L515, ZED2, and a synthetic one. Selected architectures: DeepLab, Mask RCNN, DEtection TRansformer,...
-
Orientation-aware ship detection via a rotation feature decoupling supported deep learning approach
PublicationShip imaging position plays an important role in visual navigation, and thus significant focuses have been paid to accurately extract ship imaging positions in maritime videos. Previous studies are mainly conducted in the horizontal ship detection manner from maritime image sequences. This can lead to unsatisfied ship detection performance due to that some background pixels maybe wrongly identified as ship contours. To address...
-
On the interspike-intervals of periodically-driven integrate-and-fire models
PublicationWe 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
PublicationIn 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...
-
A Noether theorem for stochastic operators on Schatten classes
PublicationWe 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...
-
Existence and uniqueness of monotone and bounded solutions for a finite-difference discretization a` la Mickens of the generalized Burgers–Huxley equation.
PublicationDeparting 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,...
-
On the convergence of a finite-difference discretization à la Mickens of the generalized Burgers–Huxley equation
PublicationIn 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
PublicationDust 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....
-
Resonance microstrip structure with patch of arbitrary convex geometry with the use of field matching technique
PublicationAn 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
PublicationThis 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
PublicationIn 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...
-
On simplification of residue scaling process in pipelined Radix-4 MQRNS FFT processor
PublicationResidue 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 convergence of a nonlinear finite-difference discretization of the generalized Burgers–Fisher equation
PublicationIn 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...
-
Investigations of nonreciprocal devices employing cylindrical ferrite coupled line junction
PublicationArtykuł opisuje wykorzystanie cylindrycznej sekcji ferrytowych linii sprzężonych do realizacji układów niewzajemnych. W artykule opisano proces projektowy izolatora ferrytowego wykorzystującego badaną sekcję oraz planarne układy zasilające. Uzyskane z symulacji wyniki zostały zweryfikowane eksperymentalnie.
-
Minimal 2-dominating sets in Trees
PublicationWe 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
PublicationPraca 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...
-
Shub’s conjecture for smooth longitudinal maps of S^m
PublicationLet 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
PublicationThis 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...
-
Fault diagnosis of marine 4-stroke diesel engines using a one-vs-one extreme learning ensemble
PublicationThis 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...
-
Recurrence scheme for FDTD-compatible discrete Green's function derived based on properties of Gauss hypergeometric function
PublicationIn 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...
-
Simulation model of IPMSM drive with rotor position estimator
PublicationThe paper presents a simulation model of electric drive consisting of: IPMSM motor, inverter and digital controller. The model was designed in Mathlab/Simulink. By modelling of the controller its discrete operation was taken into account in order to simulate precisely a specific sensorless control algorithm. A method for estimation of angular rotor position was proposed. Its mathematical algorithm was explained and errors were...
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Equitable coloring of corona products of graphs
PublicationIn 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
PublicationAn 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
PublicationThe 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...
-
3D scanning system for railway current collector contact strips
PublicationUndisturbed 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...