Wyszukiwarka
Wyniki wyszukiwania dla: ARBITRARY LAGRANGIAN-EULERIAN
-
Numerical modeling of quantum dynamical processes
PublikacjaIn this dissertation I present a high-precision (15, 18 or 33 decimal places) C++ implementation of quantum dynamics time propagation algorithms for both time-independent and time-dependent Hamiltonian with an inhomogeneous source term. Moreover I present an extension of both algorithms for time propagation to handle arbitrary number of coupled electronic levels. I have performed a careful validation of these implementations comparing...
-
Edge coloring of graphs of signed class 1 and 2
PublikacjaRecently, Behr (2020) introduced a notion of the chromatic index of signed graphs and proved that for every signed graph (G, σ) it holds that ∆(G) ≤ χ′(G,σ) ≤ ∆(G) + 1, where ∆(G) is the maximum degree of G and χ′ denotes its chromatic index. In general, the chromatic index of (G, σ) depends on both the underlying graph G and the signature σ. In the paper we study graphs G for which χ′(G, σ) does not depend on σ. To this aim we...
-
A chemo-mechano-thermodynamical contact theory for adhesion, friction, and (de)bonding reactions
PublikacjaThis work presents a self-contained continuum formulation for coupled chemical, mechanical, and thermal contact interactions. The formulation is very general and, hence, admits arbitrary geometry, deformation, and material behavior. All model equations are derived rigorously from the balance laws of mass, momentum, energy, and entropy in the framework of irreversible thermodynamics, thus exposing all the coupling present in the...
-
Independent Domination Subdivision in Graphs
PublikacjaA set $S$ of vertices in a graph $G$ is a dominating set if every vertex not in $S$ is adjacent to a vertex in~$S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. The independent domination subdivision number $\sdi(G)$ is the minimum number of edges that must be subdivided (each...
-
Properties of dimension witnesses and their semidefinite programming relaxations
PublikacjaIn 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
PublikacjaIn 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
PublikacjaThis 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
PublikacjaIn 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
PublikacjaIn 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
PublikacjaIn 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
PublikacjaIn order to solve a system of nonlinear rate equations one can try to use some soliton methods. The procedure involves three steps: (1) find a ‘Lax representation’ where all the kinetic variables are combined into a single matrix ρ, all the kinetic constants are encoded in a matrix H; (2) find a Darboux–Bäcklund dressing transformation for the Lax representation iρ˙=[H,f(ρ)], where f models a time-dependent environment; (3) find...
-
Direction of Arrival Estimation Based on Received Signal Strength Using Two-Row Electronically Steerable Parasitic Array Radiator Antenna
PublikacjaIn 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
PublikacjaMetasurfaces 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
PublikacjaThis 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
PublikacjaThis 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
PublikacjaThis 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
PublikacjaIn 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
PublikacjaFirst 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
PublikacjaIn 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
PublikacjaWe 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
PublikacjaElongated 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
PublikacjaThe 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
PublikacjaImagine 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
PublikacjaModern 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
PublikacjaResearch 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
PublikacjaApplication 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaThis 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
PublikacjaThe 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
PublikacjaThe 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
PublikacjaIn 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
PublikacjaThree-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
PublikacjaAdhesive 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
PublikacjaEfficient 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
PublikacjaCurrently 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
PublikacjaGlobal 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
PublikacjaIn 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
PublikacjaWe 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
PublikacjaOptical 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...
-
Marek Czachor prof. dr hab.
Osoby -
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublikacjaWe 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
PublikacjaThe 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
PublikacjaW 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ć...
-
Zaawansowane Metody Pomiarowe i Diagnostyczne 2022/2023
Kursy Online{mlang en} 1. Introduction/Guide for the use of the International System of Units2. Rules and style conventions for expressing values of quantities.3. The role of measurement uncertainty in conformity assessment. 4. Probabilistic model for measurement processes, estimation theory5. Analog-digital conversion methods6. Selected structures of classical analog-digital converters7. New techniques of analog-digital conversion: sigma-delta...
-
Zaawansowane Metody Pomiarowe i Diagnostyczne 2023/2024
Kursy Online{mlang en} 1. Introduction/Guide for the use of the International System of Units2. Rules and style conventions for expressing values of quantities.3. The role of measurement uncertainty in conformity assessment. 4. Probabilistic model for measurement processes, estimation theory5. Analog-digital conversion methods6. Selected structures of classical analog-digital converters7. New techniques of analog-digital conversion: sigma-delta...
-
Zaawansowane Metody Pomiarowe i Diagnostyczne 2024/2025
Kursy Online{mlang en} 1. Introduction/Guide for the use of the International System of Units2. Rules and style conventions for expressing values of quantities.3. The role of measurement uncertainty in conformity assessment. 4. Probabilistic model for measurement processes, estimation theory5. Analog-digital conversion methods6. Selected structures of classical analog-digital converters7. New techniques of analog-digital conversion: sigma-delta...