Search
Search results for: EXPLICIT KNOWLEDGE
-
Numerical modelling of different airbag folding patterns and their influence on occupant responses in frontal vehicle impact
PublicationThis paper presented a procedure for airbag folding for the application in occupant safety studies and analysed the influence of different airbag folding patterns on the occupant severity in frontal impact. Airbags were folded in two patterns: zig-zag and top-roll, using two folding techniques: Initial Metric Method and Explicit Folding. The explicit folding was found to be more expensive in terms of preparation time. However,...
-
A first-principles study of electron attachment to the fully hydrated bromonucleobases
PublicationDegradation mechanism of four brominated nucleobases (BrX), potential DNA radiosensitizers, is studied in explicit water solution, using ab initio molecular dynamics. Several fs long dynamics is needed to localize an electron on the nucleobase. Produced by electron attachment BrX anion radical degrades through the bromide anion abstraction, barrier-free (purines) or with low barrier (pyrimidines), to a reactive nucleobase radical....
-
Universal construction of genuinely entangled subspaces of any size
PublicationWe put forward a simple construction of genuinely entangled subspaces – subspaces supporting only genuinely multipartite entangled states – of any permissible dimensionality for any number of parties and local dimensions. The method uses nonorthogonal product bases, which are built from totally nonsingular matrices with a certain structure. We give an explicit basis for the constructed subspaces. An immediate consequence of our...
-
Two-dimensional hydrogen-like atom in a weak magnetic field
PublicationWe consider a non-relativistic two-dimensional (2D) hydrogen-like atom in a weak, static, uniform magnetic field perpendicular to the atomic plane. Within the framework of the Rayleigh-Schr¨odinger perturbation theory, using the Sturmian expansion of the generalized radial Coulomb Green function, we derive explicit analytical expressions for corrections to an arbitrary planar hydrogenic bound-state energy level, up to the fourth...
-
Discrete Green's function approach to disjoint domain simulations in 3D FDTD method
PublicationA discrete Green’s function (DGF) approach to couple 3D FDTD subdomains is developed. The total-field/scattered-field subdomains are simulated using the explicit FDTD method whilst interaction between them is computed as a convolution of the DGF with equivalent current sources measured over Huygens surfaces. In the developed method, the DGF waveforms are truncated using the Hann’s window. The error varies in the range -65 to -40...
-
Some variations of perfect graphs
PublicationWe consider (ψk−γk−1)-perfect graphs, i.e., graphs G for which ψk(H) =γk−1(H) for any induced subgraph H of G, where ψk and γk−1 are the k -path vertex cover number and the distance (k−1)-domination number, respectively. We study (ψk−γk−1)-perfect paths, cycles and complete graphs for k≥2. Moreover, we provide a complete characterisation of (ψ2−γ1)-perfect graphs describing the set of its forbidden induced subgraphs and providing...
-
Lamb wave propagation in a single lap adhesive joint
PublicationThe aim of the paper is the analysis of Lamb wave propagation in adhesive joints. The research was performed on a single lap adhesive joint of two steel plates. Two types of joints, namely an intact and with defect were considered. In experimental investigations the condition assessment of the joint was performed with the use of antisymmetric Lamb waves excited by a plate piezo actuators and measured by a laser vibrometer. Numeri-cal...
-
An absorbing set for the Chialvo map
PublicationThe classical Chialvo model, introduced in 1995, is one of the most important models that describe single neuron dynamics. In order to conduct effective numerical analysis of this model, it is necessary to obtain a rigorous estimate for the maximal bounded invariant set. We discuss this problem, and we correct and improve the results obtained by Courbage and Nekorkin (2010). In particular, we provide an explicit formula for an...
-
Lax-Wendroff and McCormack Schemes for Numerical Simulation of Unsteady Gradually and Rapidly Varied Open Channel Flow
PublicationTwo explicit schemes of the finite difference method are presented and analyzed in the paper. The applicability of the Lax-Wendroff and McCormack schemes for modeling unsteady rapidly and gradually varied open channel flow is investigated. For simulation of the transcritical flow the original and improved McCormack scheme is used. The schemes are used for numerical solution of one dimensional Saint-Venant equations describing free...
-
Systems, environments, and soliton rate equations: A non-Kolmogorovian framework for population dynamics
PublicationSoliton rate equations are based on non-Kolmogorovian models of probability and naturally include autocatalytic processes. The formalism is not widely known but has great unexplored potential for applications to systems interacting with environments. Beginning with links of contextuality to non- Kolmogorovity we introduce the general formalism of soliton rate equations and work out explicit examples of subsystems interacting with...
-
MODELLING OF TRANSIENT FLOW IN STORM SEWERS
PublicationThe paper focuses on the assessment of second-order explicit numerical scheme for unsteady flows in sewers. In order to simulate the pressurized flow the 'Preissmann slot' concept is implemented. For simulation of the transcritical flow the original and improved McCormack scheme is used. The calculated results are compared with numerical solutions and laboratory measurements published in the technical literature. Moreover, the...
-
On the Importance of Resilience Engineering for Networked Systems in a Changing World
PublicationResilience is featured increasingly often in the media, usually applied to society when faced, for example, with disasters such as flooding and the enormous challenges that the Covid-19 pandemic posed. There are now many resilience-related discussion groups worldwide, and some standards initiatives devoted in particular to city resilience. However, there is relatively little explicit interest in resilience engineering for communication...
-
Optimization-Based High-Frequency Circuit Miniaturization through Implicit and Explicit Constraint Handling: Recent Advances
PublicationMiniaturization trends in high-frequency electronics have led to accommodation challenges in the integration of the corresponding components. Size reduction thereof has become a practical necessity. At the same time, the increasing performance demands imposed on electronic systems remain in conflict with component miniaturization. On the practical side, the challenges related to handling design constraints are aggravated by the...
-
Expert assessment of arguments: a method and its experimental evaluation
PublicationArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
The equations for interactions of polarization modes in optical fibres including the kerr effect
PublicationWe have derived coupled nonlinear Schro¨ dinger equations (CNLSE) for arbitrary polarized light propagation in a single-mode fibre employing electromagnetic field complete description. We used a basis of transverse eigenmodes with appropriate projecting; hence, the nonlinear constants depend on the waveguide geometry. Accounting for a weak nonlinearity, which is connected to the Kerr effect, we have given explicit expressions for...
-
Can we rely on the pulse transit time - pressure relationship - models comparison
PublicationAn unobtrusive, noninvasive and continuous pressure measurement is invaluable however, still being under research and development. There are many attempts proposing an appropriate relationship between pulse pressure velocity and pressure. Fifteen different formulas, both theoretical and experimental, describing relation between blood pressure and crosssectional area of the vessel were examined. Using these formulas the relation...
-
Fast EM-driven size reduction of antenna structures by means of adjoint sensitivities and trust regions
PublicationIn this letter, a simple yet robust and computationally efficient optimization technique for explicit size reduction of antenna structures is presented. Our approach directly handles the antenna size as the main design objective, while ensuring satisfactory electrical performance by means of suitably defined penalty functions. For the sake of accuracy, the antenna structure is evaluated using high-fidelity EM simulation. In order...
-
Support for argument structures review and assessment
PublicationArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
Markov Model of Disease Development and Recovery
PublicationMarkov models are commonly used to simulate diseases and allow modeling of multiple health states and outcomes. Starting with the well known Le Bras multistate model (cascading failure model) with time-independent transitions we will see how simple Markov mortality models may be pressed into the service of survival and event history analysis. We will focus on more complex models which will be able to take into account remission,...
-
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...
-
Taking advantage of the shared explicit cache system based critical sections in the shared memory parallel architectures
PublicationArtykuł prezentuje nową metodę implementacji sekcji krytycznych w równoległych architekturach z pamięcią współdzieloną, takich jak systemy zintegrowane wielowątkowe wieloprocesorowe. Metoda stanowi modyfikację i rozbudowanie metody zwanej Folding, dostępnej w procesorach sieciowych oraz jest w założeniach podobna do techniki zwanej cache-based locking. W porównaniu do dostępnych metod, nowa metoda usuwa problemy skalowalności i...
-
Random field modelling of mechanical behaviour of corroded thin steel plate specimens
PublicationThe objective of this work is to explore the possibility of corrosion degradation modelling of thin steel plate specimens with the use of random field approach. The mechanical properties are obtained via the nonlinear Finite Element Analysis with the use of an explicit dynamic solver. The fully nonlinear material model is adopted to obtain the proper stress-strain response. Sensitivity analysis considering the main statistical...
-
Application of Barycentric Coordinates in Space Vector PWM Computations
PublicationThis paper proposes the use of barycentric coordinates in the development and implementationof space-vector pulse-width modulation (SVPWM) methods, especially for inverters with deformed space-vector diagrams. The proposed approach is capable of explicit calculation of vector duty cycles, independentof whether they assume ideal positions or are displaced due to the DC-link voltage imbalance. The use ofbarycentric coordinates also...
-
PROPERTIES OF ONE DIMENSIONAL OPEN-CHANNEL STEADY FLOW EQUATIONS
PublicationIn this paper properties of discrete forms of one dimensional steady gradually varied flow equations are discussed. Such forms of flow equations are obtained as a result of approximation of their differential forms, which is required to solve them numerically. For such purpose explicit or implicit numerical approximation schemes for ordinary differential equations can be applied. It turns out that dependently on the chosen approximation...
-
Diffusion equations with spatially dependent coefficients and fractal Cauer-type networks
PublicationIn this article, we formulate and solve the representation problem for diffusion equations: giving a discretization of the Laplace transform of a diffusion equation under a space discretization over a space scale determined by an increment h > 0, can we construct a continuous in h family of Cauer ladder networks whose constitutive equations match for all h > 0 the discretization. It is proved that for a finite differences discretization...
-
An enhanced method in predicting tensile behaviour of corroded thick steel plate specimens by using random field approach
PublicationThe present work investigates the possibility of using random field techniques in modelling the mechanical behaviour of corroded thick steel plate specimens. The nonlinear Finite Element method, employing the explicit dynamic solver, is used to analyse the mechanical properties of typical specimens. A material model considering full nonlinearity is used to evaluate the stress-strain response. The influence of major governing parameters...
-
Modelling of elastic wave propagation in a bolted joint using a thin layer of shell elements
PublicationThere are many mathematical models describing the propagation of elastic waves through the imperfect boundary of two media. They were successfully applied to modelling of high frequency bulk waves and their interaction with local defects. On the other hand, the existing literature models of bolted connections ignore the aspect of imperfect connection between elements. Therefore, this paper presents the concept of application of...
-
Convex set of quantum states with positive partial transpose analysed by hit and run algorithm
PublicationThe convex set of quantum states of a composite K×K system with positive partial transpose is analysed. A version of the hit and run algorithm is used to generate a sequence of random points covering this set uniformly and an estimation for the convergence speed of the algorithm is derived. For K >3 or K=3 this algorithm works faster than sampling over the entire set of states and verifying whether the partial transpose is positive....
-
Finite element modelling of a historic church structure in the context of a masonry damage analysis
PublicationThe paper includes a case study of modelling a real historic church using the finite element method (FEM) based on laser scans of its geometry. The main goal of the study was the analysis of the causes of cracking and crushing of masonry walls. An FEM model of the structure has been defined in ABAQUS. A non-linear dynamic explicit analysis with material model including damage plasticity has been performed. A homogenization procedure...
-
Decoupled Kalman filter based identification of time-varying FIR systems
PublicationWhen system parameters vary at a fast rate, identification schemes based on model-free local estimation approaches do not yield satisfactory results. In cases like this, more sophisticated parameter tracking procedures must be used, based on explicit models of parameter variation (often referred to as hypermodels), either deterministic or stochastic. Kalman filter trackers, which belong to the second category, are seldom used in...
-
Explicit solvent repulsive scaling replica exchange molecular dynamics ( RS‐REMD ) in molecular modeling of protein‐glycosaminoglycan complexes
PublicationGlycosaminoglcyans (GAGs), linear anionic periodic polysaccharides, are crucial for many biologically relevant functions in the extracellular matrix. By interacting with proteins GAGs mediate processes such as cancer development, cell proliferation and the onset of neurodegenerative diseases. Despite this eminent importance of GAGs, they still represent a limited focus for the computational community in comparison to other classes...
-
An analysis of domain-based ship collision risk parameters
PublicationAccording to a lot of contemporary research on ship collision avoidance the classic approach parameters – distance at closest point of approach (DCPA) and time to the closest point of approach (TCPA) – are not sufficient for estimating ship collision risk and for planning evasive manoeuvres. Consequently new measures are introduced, often utilizing the concept of a ship domain. Their drawback, up to this point, was the lack of...
-
Electronic structure and rovibrational predissociation of the 2^1Π state in KLi
PublicationAdiabatic potential energy curves of the 3^1Σ^+, 3^3Σ^+, 2^1Π and 2^3Π states correlating for large internuclear distance with the K(4s) + Li(2p) atomic asymptote were calculated. Very good agreement between the calculated and the experimental curve of the 2^1Π state allowed for a reliable description of the dissociation process through a small (∼20 cm−1 for J = 0) potential energy barrier. The barrier supports several rovibrational...
-
Shape-Based Pose Estimation of Robotic Surgical Instruments
PublicationWe describe a detector of robotic instrument parts in image-guided surgery. The detector consists of a huge ensemble of scale-variant and pose-dedicated, rigid appearance templates. The templates, which are equipped with pose-related keypoints and segmentation masks, allow for explicit pose estimation and segmentation of multiple end-effectors as well as fine-grained non-maximum suppression. We train the templates by grouping examples...
-
On evolutionary computing in multi-ship trajectory planning, Applied Intelligence
PublicationThe paper presents the updated version of Evolutionary Sets of Safe Ship Trajectories: a method which applies evolutionary algorithms and some of the assumptions of game theory to solving ship encounter situations. For given positions and motion parameters of the ships,the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The method works in real time and the solutions must be returned...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Flow Process Models for Pipeline Diagnosis
PublicationThis chapter examines the problem of modeling and parameterization of the transmission pipeline flow process. First, the base model for discrete time is presented, which is a reference for other developed models. Then, the diagonal approximation (AMDA) method is proposed, in which the tridiagonal sub-matrices of the recombination matrix are approximated by their diagonal counterparts, which allows for a simple determination of...
-
Simplified approach to assess the dynamic response of a container ship subjected to bow slamming load
PublicationSimplified approach to assess the dynamic response of a container ship subjected to the bow slamming load, resulting in a transient vibratory response, typically called a 'whip-ping', is presented. The accurate numerical modelling is very complex and involves cou-pling of the hydrodynamic and structural solution at every time step, leading to huge com-putational and workload cost. Thus, the one-way coupling methodology is adopted,...
-
Optimization of Stabilizing Systems in Protection of Cultural Heritage: The Case of the Historical Retaining Wall in the Wisłoujście Fortress
PublicationThe aim of the paper is to propose new quantitative criteria for selecting the optimal method of securing and repairing a historical object, which take into account Structural, Conservation and Architectural aspects (the S–C–A method). Construction works on cultural heritage sites tend to be challenging and require an interdisciplinary approach. Therefore, they are strictly related to the philosophy of sustainable development which...
-
Numerical modelling and analysis of steel specimens subjected to marine immersed corrosion and tensile load
PublicationThe present study develops numerical models to analyse the behaviour of steel specimens subjected to marine immersed corrosion degradation and tensile load. The finite element method with the use of the explicit dynamic solver LS-DYNA, satisfying the quasi-static conditions, is employed. Two numerical models are developed, where in the first one, the scans of surfaces gathered from corroded plate specimens are implemented directly...
-
Oriented Gaussian beams for high-accuracy computation with accuracy control of X-ray propagation through a multi-lens system
PublicationA highly accurate method for calculating X-ray propagation is developed. Within this approach, the propagating wave is represented as a superposition of oriented Gaussian beams. The direction of wave propagation in each Gaussian beam agrees with the local direction of propagation of the X-ray wavefront. When calculating the propagation of X-ray waves through lenses, the thin lens approximation is applied. In this approximation,...
-
Coupled Urban Areas Inundation Model with Interaction Between Storm Water System and Surface Flow - Case Study of Sea Level Impact on Seaside Areas Flooding
PublicationInundations are becoming more frequent than ever. What is connected with increasing area of impervious surface in cities. This makes predicting urban flooding and its scale especially important. At the seaside we observe additional conditions such as sea level that makes accurate numerical modelling of issue even harder. With complex approach to the matter which is simultaneous calculation of storm water conduit flow and overland...
-
Explicit Size-Reduction-Oriented Design of a Compact Microstrip Rat-Race Coupler Using Surrogate-Based Optimization Methods
PublicationIn this paper, an explicit size reduction of a compact rat-race coupler implemented in a microstrip technology is considered. The coupler circuit features a simple topology with a densely arranged layout that exploits a combination of high- and low-impedance transmission line sections. All relevant dimensions of the structure are simultaneously optimized in order to explicitly reduce the coupler size while maintaining equal power...
-
A note on the Morse homology for a class of functionals in Banach spaces involving the 2p-area functional
PublicationIn this paper we show how to construct Morse homology for an explicit class of functionals involving the 2p-area functional. The natural domain of definition of such functionals is the Banach space W_0^{1,2p}(\Omega), where p > n/2 and \Omega \subet R^n is a bounded domain with sufficiently smooth boundary. As W_0^{1,2p}(\Omega) is not isomorphic to its dual space,critical points of such functionals cannot be non-degenerate...
-
On EM-driven size reduction of antenna structures with explicit constraint handling
PublicationSimulation-driven miniaturization of antenna components is a challenging task mainly due to the presence of expensive constraints, evaluation of which involves full-wave electromagnetic (EM) analysis. The recommended approach is implicit constraint handling using penalty functions, which, however, requires a meticulous selection of penalty coefficients, instrumental in ensuring optimization process reliability. This paper proposes...
-
A general isogeometric finite element formulation for rotation‐free shells with in‐plane bending of embedded fibers
PublicationThis article presents a general, nonlinear isogeometric finite element formulation for rotation-free shells with embedded fibers that captures anisotropy in stretching, shearing, twisting, and bending - both in-plane and out-of-plane. These capabilities allow for the simulation of large sheets of heterogeneous and fibrous materials either with or without matrix, such as textiles, composites, and pantographic structures. The work...
-
EM‐driven constrained miniaturization of antennas using adaptive in‐band reflection acceptance threshold
PublicationNumerical optimization of geometry parameters is a critical stage of the design process of compact antennas. It is also challenging because size reduction is constrained by the necessity of fulfilling imposed electrical performance requirements. Furthermore, full‐wave electromagnetic (EM) analysis needs to be used for reliable performance evaluation of the antenna structure, which is computationally expensive. In this paper, an...
-
Bound on Bell inequalities by fraction of determinism and reverse triangle inequality
PublicationIt is an established fact that entanglement is a resource. Sharing an entangled state leads to nonlocal correlations and to violations of Bell inequalities. Such nonlocal correlations illustrate the advantage of quantum resources over classical resources. In this paper, we quantitatively study Bell inequalities with 2 × n inputs. As found in Gisin et al. [Int. J. Quantum. Inform. 05, 525 (2007)], quantum mechanical correlations...
-
The significance of the properties of water for the working cycle of the kinesin molecular motor
PublicationExplicit solvent molecular dynamics simulations were performed in this study to investigate and discuss several aspects of the influence of the properties of water on the working cycle of a molecular motor from the kinesin superfamily. The main objects of attention were: the binding of the neck linker and the association of the kinesin and the tubulin. The docking of the neck linker is considered a crucial event during the working...
-
Theoretical consideration of free convective heat transfer from a round isothermal plate slightly inclined from the vertical
PublicationA semi-analytical solution of simplified Navier-Stokes and Fourier-Kirchhoff equations describing free convective heat transfer from a round isothermal surface slightly inclined from the vertical is presented. The solution is based on the assumption, typical for natural convection, that the velocity component normal to the surface is negligibly small in comparison to the tangential one. Next we neglect the nonlinear inertia force...