Stability analysis of second- and fourth-order finite-difference modelling of wave propagation in orthotropic media

The stability of the finite-difference approximation of elastic wave propagation in orthotropic homogeneous media in the three-dimensional case is discussed. The model applies second- and fourth-order finite-difference approaches with staggered grid and stress-free boundary conditions in the space domain and second-order finite-difference approach in the time domain. The numerical integration of the wave equation by central differences is conditionally stable and the corresponding stability criterion for the time domain discretisation has been deduced as a function of the material properties and the geometrical discretization. The problem is discussed by applying the method of VonNeumann. Solutions and the calculation of the critical time steps is presented for orthotropic material in both the second- and fourth-order case. The criterion is verified for the special case of isotropy and results in the well-known formula from the literature. In the case of orthotropy the method was verified by long time simulations and by calculating the total energy of the system

Heavy ion physics at CMS and ATLAS: hard probes

Hard probes are indispensable tools to study the hot and dense quark-gluon matter created in ultra-relativistic heavy ion collisions. These probes are created in the collision itself with a small cross section, and they serve as indicators of various properties of the medium, such as temperature, viscosity, energy density, transport coefficients. Hard probes measured by the CMS and ATLAS experiments at the LHC include highly energetic jets and charged particles, quarkonium states, and electroweak gauge bosons. An overview of those recent experimental results will be given that represent the path towards high-precision measurements, even in the challenging, high-multiplicity environment created by colliding heavy ions.Comment: 4 pages, 3 figures, contribution to the 2019 QCD session of the 54th Rencontres de Morion

Hybrid automata dicretising agents for formal modelling of robots

Some of the fundamental capabilities required by autonomous vehicles and systems for their intelligent decision making are: modelling of the environment and forming data abstractions for symbolic, logic based reasoning. The paper formulates a discrete agent framework that abstracts and controls a hybrid system that is a composition of hybrid automata modelled continuous individual processes. Theoretical foundations are laid down for a class of general model composition agents (MCAs) with an advanced subclass of rational physical agents (RPAs). We define MCAs as the most basic structures for the description of complex autonomous robotic systems. The RPA’s have logic based decision making that is obtained by an extension of the hybrid systems concepts using a set of abstractions. The theory presented helps the creation of robots with reliable performance and safe operation in their environment. The paper emphasizes the abstraction aspects of the overall hybrid system that emerges from parallel composition of sets of RPAs and MCAs

Automated operational states detection for drilling systems control in critical conditions

Critical events in industrial drilling should be overcome by engineers while they maintain safety and achieve their targeted operational drilling plans. Geophysical drilling requires maximum awareness of critical situations such as “Kicks”, “Fluid loss” and “Stuck pipe”. These may compromise safety and potentially halt operations with the need of staff rapid evacuations from rigs. In this paper, a robust method for the detection of operational states is proposed. Specifically, Echo State Networks (ESNs) were benchmarked and tested rigorously despite the challenging unbalanced datasets used for training. Nevertheless, these challenges were overcome and led to acceptable ESNs performances