Wyszukiwarka
Filtry
wszystkich: 171
Wyniki wyszukiwania dla: ARBITRARY ACCURACY
-
Realistic noise-tolerant randomness amplification using finite number of devices
PublikacjaRandomness is a fundamental concept, with implications from security of modern data systems, to fundamental laws of nature and even the philosophy of science. Randomness is called certified if it describes events that cannot be pre-determined by an external adversary. It is known that weak certified randomness can be amplified to nearly ideal randomness using quantum-mechanical systems. However, so far, it was unclear whether randomness amplification...
-
Single-Slope ADC With Embedded Convolution Filter for Global-Shutter CMOS Image Sensors
PublikacjaThis brief presents an analog-to-digital converter (ADC) suitable for acquisition and processing of images in the global-shutter mode at the pixel level. The ADC consists of an analog comparator, a multi-directional shift register for the comparator states, and a 16-bit reversible binary counter with programmable step size. It works in the traditional single-slope mode. The novelty is that during each step of the reference ramp,...
-
The Matter of Decision-Making Control Over Operation Processes of Marine Power Plant Systems with the Use of their Models in the form of Semi-Markov Decision-Making Processes
PublikacjaThe article presents the possibility to control the real operation process of an arbitrary device installed in the marine power plant based on the four-state semi-Markov process, being the model of the process, which describes the transition process of operational states of the device and the transition process of its technical states. All these states are precisely defined for the ship main engine (SG). A hypothesis is proposed...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublikacjaWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...
-
TIME-AND-SPACE STRUCTURE OF FORCE-DRIVEN RIGID SPHEREWAVEFIELD
PublikacjaThis paper introduces a time-domain, causality-inspired description of a vector-source acoustic wavefield of arbitrary time evolution, where a sphere is a practical realisation of quasi-point contact surface without which a point force would not be able to exert an impact onto non-viscous fluid. At every space location, the resulting acoustic field is described by a pair of physical variables characterising the time evolution of...
-
Multi-objective design optimization of antennas for reflection, size, and gain variability using kriging surrogates and generalized domain segmentation
PublikacjaCost-efficient multi-objective design optimization of antennas is presented. The framework exploits auxiliary data-driven surrogates, a multi-objective evolutionary algorithm for initial Pareto front identification, response correction techniques for design refinement, as well as generalized domain segmentation. The purpose of this last mechanism is to reduce the volume of the design space region that needs to be sampled in order...
-
Simulating Malware with MAlSim
PublikacjaThis paper describes MAlSim - Mobile Agent Malware Simulator - a mobile agent framework developed to address one of the most important problems related to the simulation of attacks against information systems i.e. the lack of adequate tools for reproducing behaviour of malicious software (malware). The framework can be deployed over the network of an arbitrary information system and it aims at simulating behaviour of each instance...
-
Simulating malware with MAlSim
PublikacjaThis paper describes MAlSim - Mobile Agent Malware Simulator - a mobile agent framework developed to address one of the most important problems related to the simulation of attacks against information systems, i.e. the lack of adequate tools for reproducing behaviour of malicious software (malware). The framework can be deployed over the network of an arbitrary information system and it aims at simulating behaviour of each instance...
-
Dynamic Research of Masonry Vault in a Technical Scale
PublikacjaThe paper presents preliminary results of dynamic tests of the masonry barrel vault in a technical scale. Experimental studies are intended to identify material properties of homogenized masonry vaults under dynamic loads. The aim of the work is to create numerical models to analyse vault’s dynamic response to dynamic loads in a simplest and accurate way. The process of building the vault in a technical scale is presented in the...
-
Magnetic-dipole-to-electric-quadrupole cross-susceptibilities for relativistic hydrogenlike atoms in some low-lying discrete energy eigenstates
PublikacjaIn this paper we present tabulated data for magnetic-dipole-to-electric-quadrupole cross-susceptibilities (χ_{M1→E2}) for Dirac one-electron atoms with a pointlike, spinless and motionless nucleus of charge Ze. Numerical values of this susceptibility for the hydrogen atom (Z = 1) and for hydrogenic ions with 2 \leqslant Z \leqslant 137 are computed from the general analytical formula, recently derived by us (Stefanska, 2016), valid...
-
A model of fuel combustion process in the marine reciprocating engine work space taking into account load and wear of crankshaft-piston assembly and the theory of semi-Markov processes
PublikacjaThe ar ticle analyses the operation of reciprocal internal combu stion engines, with mar ine engines u sed a s an example. The analysis takes into account types of energy conversion in the work spaces (cylinders) of these engines, loads of their crankshaft-piston assemblies, and types of fuel combustion which can take place in these spaces during engine operation. It is highlighted that the analysed time-dependent loads of marine...
-
Rhamnolipid CMC Prediction
PublikacjaRelationships between the purity, pH, hydrophobicity (log Kow) of the carbon substrate, and the critical micelle concentration (CMC) of rhamnolipid type biosurfactants (RL) were investigated using a quantitative structure–property relationship (QSPR) approach and are presented here for the first time. Measured and literature CMC values of 97 RLs, representing biosurfactants at different stages of purification, were considered....
-
New potential functions for greedy independence and coloring
PublikacjaA potential function $f_G$ of a finite, simple and undirected graph $G=(V,E)$ is an arbitrary function $f_G : V(G) \rightarrow \mathbb{N}_0$ that assigns a nonnegative integer to every vertex of a graph $G$. In this paper we define the iterative process of computing the step potential function $q_G$ such that $q_G(v)\leq d_G(v)$ for all $v\in V(G)$. We use this function in the development of new Caro-Wei-type and Brooks-type...
-
Partially Isolated Multi-Active Bridge DC-DC Converter with Bidirectional EV Charging Ports
PublikacjaThere is a growing interest in multiport converters due to their ability to interconnect various energy sources and loads using reduced number of components. Regarding electric vehicle (EV) chargers connection, existing multiport solutions either lack scalability, featuring only one isolated charging port or the operation of ports depend on each other, complicating the converter control algorithm. This article proposes a partially...
-
Time-Domain Description of Point-Source Acoustic Wavefields as a Useful Approach in Ultrasonic Techniques
PublikacjaIn traditional acoustics, field problems are usually treated in the frequency domain, broadband fields being reduced to superposition of harmonic spectrum components. However, this approach is inherently acausal and it is known that in case of arbitrary signals, the distribution-based, time-domain description can be more effective. The present paper is an attempt to expand the time-domain linear systems formalism onto space problems...
-
Structural properties of foil bearings: a closed-form solution validated with finite element analysis
PublikacjaFluid film thickness in a compliant foil bearing is greatly influenced by the deflection of the bearing structure. Therefore, in order to properly model performance of a foil bearing, it is mandatory that the deflection of the compliant bearing structure due to the generated hydrodynamic pressure is determined accurately. This article proposes an easy-to-use two-dimensional model, which takes into account detailed geometry of the...
-
Geometric analogue of holographic reduced representation
PublikacjaHolographic reduced representations (HRRs) are distributed representations of cognitive structuresbased on superpositions of convolution-bound n-tuples. Restricting HRRs to n-tuples consisting of 1,one reinterprets the variable binding as a representation of the additive group of binary n-tupleswith addition modulo 2. Since convolutions are not defined for vectors, the HRRs cannot be directlyassociated with geometric structures....
-
Cops, a fast robber and defensive domination on interval graphs
PublikacjaThe game of Cops and ∞-fast Robber is played by two players, one controlling c cops, the other one robber. The players alternate in turns: all the cops move at once to distance at most one each, the robber moves along any cop-free path. Cops win by sharing a vertex with the robber, the robber by avoiding capture indefinitely. The game was proposed with bounded robber speed by Fomin et al. in “Pursuing a fast robber on a graph”,...
-
Schemes of transmission of classical information via quantum channels with many senders: Discrete- and continuous-variable cases
PublikacjaSuperadditivity effects in the classical capacity of discrete multiaccess channels and continuous variable (CV) Gaussian MACs are analyzed. Several examples of the manifestation of superadditivity in the discrete case are provided, including, in particular, a channel which is fully symmetric with respect to all senders. Furthermore, we consider a class of channels for which input entanglement across more than two copies of the...
-
Variable Fractional Delay Filter Design Using a Symmetric Window
PublikacjaIn this paper a numerically efficient method for designing a nearly optimal variable fractional delay (VFD) filter based on a simple and well-known window method is presented. In the proposed method a single window extracted from the optimal filter with fixed fractional delay (FD) is divided into even and odd part. Subsequently, the odd part is discarded and symmetric even part of the extracted window is used to design a family...
-
Time-domain description of point-source acoustic wavefields as a useful approach in ultrasonic techniques
PublikacjaIn traditional acoustics, field problems are usually treated in the frequency domain, broadband fields being reduced to superposition of harmonic spectrum components. However, this approach is inherently acausal and it is known that in case of arbitrary signals, the distribution-based, time-domain description can be more effective. The present paper is an attempt to expand the time-domain linear systems formalism onto space problems...
-
The description of non-linear interactions of wave and non-wave modes in a non-adiabatic plasma flow
PublikacjaThe method of derivation of non-linear equations for interacting modes is explained and applied to a plasma's flow affected by a magnetic field. It is based on the linear projecting of the total perturbation field into specific variations of variables in individual modes of a flow. The method may be applied in many examples of fluid flows with different mechanisms of non-adiabaticity. It is of special importance in complex flows...
-
Ladder-Based Synthesis and Design of Low-Frequency Buffer-Based CMOS Filters
PublikacjaBuffer-based CMOS filters are maximally simplified circuits containing as few transistors as possible. Their applications, among others, include nano to micro watt biomedical sensors that process physiological signals of frequencies from 0.01 Hz to about 3 kHz. The order of a buffer-based filter is not greater than two. Hence, to obtain higher-order filters, a cascade of second-order filters is constructed. In this paper, a more...
-
Endoscopic Video Classification with the Consideration of Temporal Patterns
PublikacjaThe article describes a novel approach to automatic recognition and classification of diseases in endoscopic videos. Current directions of research in this field are discussed. Most presented methods focus on processing single frames and do not take into consideration the temporal relationship between continuous classifications. Existing approaches that consider the temporal structure of an incoming frame sequence are focused on...
-
The Use of Liquid Crystal Thermography in Selected Technical and Medical Applications—Recent Development
PublikacjaThermochromic liquid crystals (TLC) and true-colour digital image processing have been successfully used in non-intrusive technical, industrial and biomedical studies and applications. Thin coatings of TLC at surfaces are utilized to obtain detailed temperature distributions and heat transfer rates for steady or transient processes. Liquid crystals also can be used to make the temperature and velocity fields in liquids visible...
-
Hidden Tensor Structures
PublikacjaAny single system whose space of states is given by a separable Hilbert space is automatically equipped with infinitely many hidden tensor-like structures. This includes all quantum mechanical systems as well as classical field theories and classical signal analysis. Accordingly, systems as simple as a single one-dimensional harmonic oscillator, an infinite potential well, or a classical finite-amplitude signal of finite duration...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
Decomposition of the induced magnetism degaussing problem for fast determination of currents in demagnetization coils wrapped outside an object under arbitrary external field conditions
PublikacjaSafe passage of ships in the presence of sea mines can be ensured by limiting or reducing the ship’s magnetic footprint. For vessels with plastic hulls, the main component that requires magnetic damping is the engine. Demagnetization of such an object can be achieved by wrapping it with coils and setting the direct current appropriately. For each specific geographic location, the currents in the coils can be determined iteratively...
-
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...
-
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...
-
Comparative analysis of the flow control over a circular cylinder with detached flexible and rigid splitter plates
PublikacjaA comparative study is performed on a circular cylinder with both flexible and rigid splitter plates (SPs). This study has the novelty of using single and dual detached SPs located downstream of the cylinder. The dimensionless gap distance between the first splitter plate and the cylinder as well as the distance between the SPs are varied. The strain of flexible SPs can be used for energy harvesting from the flow. Therefore, a...
-
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...
-
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...
-
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...
-
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...
-
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,...
-
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...
-
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...
-
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...