Search
Filters
total: 247
filtered: 239
Search results for: ARBITRARY LAGRANGIAN-EULERIAN
-
Properties of dimension witnesses and their semidefinite programming relaxations
PublicationIn this paper we develop a method for investigating semi-device-independent randomness expansion protocols that was introduced in Li et al. [H.-W. Li, P. Mironowicz, M. Pawłowski, Z.-Q. Yin, Y.-C. Wu, S. Wang, W. Chen, H.-G. Hu, G.-C. Guo, and Z.-F. Han, Phys. Rev. A 87, 020302(R) (2013)]. This method allows us to lower bound, with semi-definite programming, the randomness obtained from random number generators based on dimension...
-
Acceleration of the Discrete Green’s Function Formulation of the FDTD Method Based on Recurrence Schemes
PublicationIn this paper, we investigate an acceleration of the discrete Green's function (DGF) formulation of the FDTD method (DGF-FDTD) with the use of recurrence schemes. The DGF-FDTD method allows one to compute FDTD solutions as a convolution of the excitation with the DGF kernel. Hence, it does not require to execute a leapfrog time-stepping scheme in a whole computational domain for this purpose. Until recently, the DGF generation...
-
New hybrid quadrature schemes for weakly singular kernels applied to isogeometric boundary elements for 3D Stokes flow
PublicationThis work proposes four novel hybrid quadrature schemes for the efficient and accurate evaluation of weakly singular boundary integrals (1/r kernel) on arbitrary smooth surfaces. Such integrals appear in boundary element analysis for several partial differential equations including the Stokes equation for viscous flow and the Helmholtz equation for acoustics. The proposed quadrature schemes apply a Duffy transform-based quadrature...
-
Active Control of Highly Autocorrelated Machinery Noise in Multivariate Nonminimum Phase Systems
PublicationIn this paper, a novel multivariate active noise control scheme, designed to attenuate disturbances with high autocorrelation characteristics and preserve background signals, is proposed. The algorithm belongs to the class of feedback controllers and, unlike the popular feedforward FX-LMS approach, does not require availability of a reference signal. The proposed approach draws its inspiration from the iterative learning control...
-
Optimization of Data Assignment for Parallel Processing in a Hybrid Heterogeneous Environment Using Integer Linear Programming
PublicationIn the paper we investigate a practical approach to application of integer linear programming for optimization of data assignment to compute units in a multi-level heterogeneous environment with various compute devices, including CPUs, GPUs and Intel Xeon Phis. The model considers an application that processes a large number of data chunks in parallel on various compute units and takes into account computations, communication including...
-
Dia- and paramagnetic contributions to magnetizabilities of relativistic hydrogenlike atoms in some low-lying discrete energy eigenstates
PublicationIn this paper we present tabulated data for relative diamagnetic and paramagentic contributions to the magnetizability ($\chi$) of the relativistic hydrogenlike atoms with a pointlike, motionless and spinless nucleus of charge $Ze$. Utilizing general analytical formulas for the diamagnetic ($\chi_{d}$) and paramagnetic ($\chi_{p}$) components of $\chi$, recently derived by us [P. Stefa{\'n}ska, 2020] with the aid of the Gordon...
-
Systems, Environments, and Soliton Rate Equations: Toward Realistic Modeling
PublicationIn order to solve a system of nonlinear rate equations one can try to use some soliton methods. The procedure involves three steps: (1) find a ‘Lax representation’ where all the kinetic variables are combined into a single matrix ρ, all the kinetic constants are encoded in a matrix H; (2) find a Darboux–Bäcklund dressing transformation for the Lax representation iρ˙=[H,f(ρ)], where f models a time-dependent environment; (3) find...
-
Direction of Arrival Estimation Based on Received Signal Strength Using Two-Row Electronically Steerable Parasitic Array Radiator Antenna
PublicationIn this paper, we present a novel approach to direction-of-arrival (DoA) estimation using two-row electronically steerable parasitic array radiator (ESPAR) antenna which has 12 passive elements and allows for elevation and azimuth beam switching using a simple microcontroller, relying solely on received signal strength (RSS) values measured at the antenna output port. To this end, we thoroughly investigate all 18 available 3D antenna...
-
Surrogate-Assisted Design of Checkerboard Metasurface for Broadband Radar Cross-Section Reduction
PublicationMetasurfaces have been extensively exploited in stealth applications to reduce radar cross section (RCS). They rely on the manipulation of backward scattering of electromagnetic (EM) waves into various oblique angles. However, arbitrary control of the scattering properties poses a significant challenge as a design task. Yet it is a principal requirement for making RCS reduction possible. This article introduces a surrogate-based...
-
Efficient and robust quadratures for isogeometric analysis: Reduced Gauss and Gauss–Greville rules
PublicationThis work proposes two efficient quadrature rules, reduced Gauss quadrature and Gauss–Greville quadrature, for isogeometric analysis. The rules are constructed to exactly integrate one-dimensional B-spline basis functions of degree p, and continuity class C^{p−k}, where k is the highest order of derivatives appearing in the Galerkin formulation of the problem under consideration. This is the same idea we utilized in Zou et al....
-
Detection and time/frequency analysis of electric fields in the ground
PublicationThis paper sets out to detect and characterize electric fields in the ground (such as stray current fields) using a tandem time/frequency method of signal analysis. Results were obtained from investigations performed in the presence of a generated electric field with controlled variable characteristics, and in the presence of an electric field generated by a tramline. The analysis of measurement registers was performed using Short‐Time...
-
Theoretical modelling of efficient fire safety water networks by certified domination
PublicationThis paper explores a new way of designing water supply networks for fire safety using ideas from graph theory, focusing on a method called certified domination. Ensuring a good water supply is crucial for fire safety in communities, this study looks at the rules and problems in Poland for how much water is needed to fight fires in different areas and how this can be achieved at a lowest possible cost. We present a way to plan...
-
Distributed graph searching with a sense of direction
PublicationIn this work we consider the edge searching problem for vertex-weighted graphs with arbitrarily fast and invisible fugitive. The weight function w provides for each vertex v the minimum number of searchers required to guard v, i.e., the fugitive may not pass through v without being detected only if at least w(v) searchers are present at v. This problem is a generalization of the classical edge searching problem, in which one has...
-
Laboratory Load Model Based on 150 kVA Power Frequency Converter and Simulink Real-Time – Concept, mplementation, Experiments
PublicationFirst section of the paper provides technical specification of laboratory load model basing on 150 kVA power frequency converter and Simulink Real-Time platform. Assumptions, as well as control algorithm structure is presented. Theoretical considerations based on criteria which load types may be simulated using discussed laboratory setup, are described. As described model contains transformer with thyristor-controlled tap changer,...
-
A Proposed Soft Computing Model for Ultimate Strength Estimation of FRP-Confined Concrete Cylinders
PublicationIn this paper, the feed-forward backpropagation neural network (FFBPNN) is used to propose a new formulation for predicting the compressive strength of fiber-reinforced polymer (FRP)-confined concrete cylinders. A set of experimental data has been considered in the analysis. The data include information about the dimensions of the concrete cylinders (diameter, length) and the total thickness of FRP layers, unconfined ultimate concrete...
-
On-line Search in Two-Dimensional Environment
PublicationWe consider the following on-line pursuit-evasion problem. A team of mobile agents called searchers starts at an arbitrary node of an unknown network. Their goal is to execute a search strategy that guarantees capturing a fast and invisible intruder regardless of its movements using as few searchers as possible. We require that the strategy is connected and monotone, that is, at each point of the execution the part of the graph...
-
Pose-Configurable Generic Tracking of Elongated Objects
PublicationElongated objects have various shapes and can shift, rotate, change scale, and be rigid or deform by flexing, articulating, and vibrating, with examples as varied as a glass bottle, a robotic arm, a surgical suture, a finger pair, a tram, and a guitar string. This generally makes tracking of poses of elongated objects very challenging. We describe a unified, configurable framework for tracking the pose of elongated objects, which...
-
Scheduling on Uniform and Unrelated Machines with Bipartite Incompatibility Graphs
PublicationThe problem of scheduling jobs on parallel machines under an incompatibility relation is considered in this paper. In this model, a binary relation between jobs is given and no two jobs that are in the relation can be scheduled on the same machine. We consider job scheduling under the incompatibility relation modeled by a bipartite graph, under the makespan optimality criterion, on uniform and unrelated machines. Unrelated machines...
-
Certified domination
PublicationImagine that we are given a set D of officials and a set W of civils. For each civil x ∈ W, there must be an official v ∈ D that can serve x, and whenever any such v is serving x, there must also be another civil w ∈ W that observes v, that is, w may act as a kind of witness, to avoid any abuse from v. What is the minimum number of officials to guarantee such a service, assuming a given social network? In this paper, we introduce...
-
Modelling and Simulation of a New Variable Stiffness Holder for Milling of Flexible Details
PublicationModern industry expectations in terms of milling operations often demand the milling of the flexible details by using slender ball-end tools. This is a difficult task because of possible vibration occurrence. Due to existence of certain conditions (small depths of cutting, regeneration phenomena), cutting process may become unstable and self-excited chatter vibration may appear. Frequency of the chatter vibration is close to dominant...
-
The atlas of inequality aversion: theory and empirical evidence on 55 countries from the Luxembourg Income Study database
PublicationResearch background: In the distributive analysis, the constant relative inequality aversion utility function is a standard tool for ethical judgements of income distributions. The sole parameter ε of this function expresses a society’s aversion to inequality. However, the profession has not committed to the range of ε. When assessing inequality and other welfare characteristics, analysts assume an arbitrary level of ε, common...
-
Application of the finite element methods in long-term simulation of the multi-physics systems with large transient response differences
PublicationApplication of the Finite Element Method (FEM) and the Multibody Dynamics Method allows analyzing of complex physical systems. Complexity of the system could be related both to the geometry and the physical description of phenomenon. The metod is the excellent tool for analyzing statics or dynamics of the mechanical systems, and permits tracking of Multi Body System (MBS) transient response for the long-term simulations and application...
-
An electric ring thruster as auxiliary manoeuvring propulsion system for watercraft - construction analysis
PublicationThe reported project aimed at examining properties and purposefulness of use of modern electromagneticbearings for a screw propeller in a prototype version of a synchronous ring motor with rare earths magnets.Bearings of this type generate electromagnetic forces which keep the rotor in a state of levitation. Therotating machine with magnetic bearings can work in any environment which reveals diamagnetic properties(air, vacuum,...
-
The semi-Markov model of the process of appearance of sea-going ship propupsion system ability and inability states in application to determining the reliablity of these systems
PublicationThe article presents possible application of the theory of semi-Markov processes in creating the eight-state model of the process of appearance of the propulsion systems ability and inability states on sea-going vessels performing transportation tasks in a relatively long operating time t (t → ∞). The model has been proved to be able to be successfully used for determining the reliability of the abovementioned systems. The probability...
-
Compact Quasi-Elliptic-Type Inline Waveguide Bandpass Filters With Nonlinear Frequency-Variant Couplings
PublicationThis work presents the design techniques to synthesize a class of compact inline quasi-elliptic-type waveguide cavity bandpass filters based on novel nonlinear frequency-variant couplings (NFVCs). These highly dispersive frequency-variant couplings (FVCs) are realized by means of a pair of partial-height posts that are placed at the junctions between every two cavity resonators. Each NFVC produces a transmission pole in between...
-
Design of novel highly sensitive sensors for crack detection in metal surfaces: theoretical foundation and experimental validation
PublicationThe application of different types of microwave resonators for sensing cracks in metallic structures has been subject of many studies. While most studies have been focused on improving the sensitivity of planar crack sensors, the theoretical foundation of the topic has not been treated in much detail. The major objective of this study is to perform an exhaustive study of the principles and theoretical foundations for crack sensing...
-
Approximation algorithms for job scheduling with block-type conflict graphs
PublicationThe problem of scheduling jobs on parallel machines (identical, uniform, or unrelated), under incompatibility relation modeled as a block graph, under the makespan optimality criterion, is considered in this paper. No two jobs that are in the relation (equivalently in the same block) may be scheduled on the same machine in this model. The presented model stems from a well-established line of research combining scheduling theory...
-
On Tradeoffs Between Width- and Fill-like Graph Parameters
PublicationIn this work we consider two two-criteria optimization problems: given an input graph, the goal is to find its interval (or chordal) supergraph that minimizes the number of edges and its clique number simultaneously. For the interval supergraph, the problem can be restated as simultaneous minimization of the path width pw(G) and the profile p(G) of the input graph G. We prove that for an arbitrary graph G and an integer t ∈ {1,...
-
A Generalized Framework Towards Structural Mechanics of Three-layered Composite Structures
PublicationThree-layered composite structures find a broad application. Increasingly, composites are being used whose layer thicknesses and material properties diverge strongly. In the perspective of structural mechanics, classical approaches to analysis fail at such extraordinary composites. Therefore, emphasis of the present approach is on arbitrary transverse shear rigidities and structural thicknesses of the individual layers. Therewith...
-
RMS-based damage identification in adhesive joint between concrete beam and steel plate using ultrasonic guided waves
PublicationAdhesive joints have numerous applications in many branches of industry, such as civil engineering, automotive, aerospace and shipbuilding. As with most structural elements, adhesive joints can experience any damage mechanism, which induces the need for diagnostic testing. Ultrasonic waves are widely used for non-destructive inspection of many structures and their elements, including adhesive joints. Guided wave propagation method...
-
Vibration Surveillance System with Variable Stiffness Holder for Milling Flexible Details
PublicationEfficient milling of the flexible details (i.e. rotor blades, thin-walled elements) using slender ball-end tools is a difficult task due to possibility of vibration occurrence. Because of the existence of certain conditions (small depths of cutting, regeneration phenomena), cutting process may lose stability and self-excited chatter vibration may appear. Frequency of the chatter vibration is close to dominant natural frequency...
-
Modeling of TEC Variations Based on Signals from Near Zenith GNSS Satellite Observed by Dense Regional Network
PublicationCurrently the substantial successes in high-resolution ionospheric mapping is declared in many publications. Nevertheless, up to now there are no examples of dynamic visualization of TEC disturbances on regional scale with as high resolution as tropospheric models. Over the years, ionosphere has been modeling basing on the simple assumption, that it is a thin layer, which surrounds the Earth at some arbitrary height. However, the...
-
Iterative Global Sensitivity Analysis Algorithm with Neural Network Surrogate Modeling
PublicationGlobal sensitivity analysis (GSA) is a method to quantify the effect of the input parameters on outputs of physics-based systems. Performing GSA can be challenging due to the combined effect of the high computational cost of each individual physics-based model, a large number of input parameters, and the need to perform repetitive model evaluations. To reduce this cost, neural networks (NNs) are used to replace the expensive physics-based...
-
Global defensive sets in graphs
PublicationIn the paper we study a new problem of finding a minimum global defensive set in a graph which is a generalization of the global alliance problem. For a given graph G and a subset S of a vertex set of G, we define for every subset X of S the predicate SEC ( X ) = true if and only if | N [ X ] ∩ S | ≥ | N [ X ] \ S | holds, where N [ X ] is a closed neighbourhood of X in graph G. A set S is a defensive alliance if and only if for...
-
The searchlight problem for road networks
PublicationWe consider the problem of searching for a mobile intruder hiding in a road network given as the union of two or more lines, or two or more line segments, in the plane. Some of the intersections of the road network are occupied by stationary guards equipped with a number of searchlights, each of which can emit a single ray of light in any direction along the lines (or line segments) it is on. The goal is to detect the intruder,...
-
Application of the Fractional Fourier Transform for dispersion compensation in signals from a fiber-based Fabry-Perot interferometer
PublicationOptical methods of measurement do not require contact of a probe and the object under study, and thus have found use in a broad range of applications such as nondestructive testing (NDT), where noninvasive measurement is crucial. Measuring the refractive index of a material can give a valuable insight into its composition. Low‑coherence radiation sources enable measurement of the sample’s properties across a wide spectrum, while...
-
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...
-
Scheduling of compatible jobs on parallel machines
PublicationThe dissertation discusses the problems of scheduling compatible jobs on parallel machines. Some jobs are incompatible, which is modeled as a binary relation on the set of jobs; the relation is often modeled by an incompatibility graph. We consider two models of machines. The first model, more emphasized in the thesis, is a classical model of scheduling, where each machine does one job at time. The second one is a model of p-batching...
-
Drawing maps with advice
PublicationW pracy podejmujemy temat konstrukcji algorytmu dla agenta, który zostaje umieszczony w dowolnym wierzchołku grafu (wierzchołki są nierozróżnialne, krawędzie mają etykiety portów), po czym realizuje algorytm zmierzający do znalezienia drzewa spinającego grafu lub izomorficznej kopii grafu. Dla obu problemów podajemy asymptotycznie dokładne lub prawie dokładne oszacowania na ilość bitów dodatkowej informacji, którą agent musi otrzymać...