Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, testing is necessary. Generation of counterexamples violating some properties is therefore an important issue, especially for tricky programs the test cases of which are very difficult to compute. We propose in this paper different constraint ∗Ce ...

The ATLAS experiment at the CERN Large Hadron Collider (LHC) started data-taking in Autumn 2008 with the inauguration of the LHC. The Inner Detector is a tracking system for charged particles based on three technologies: silicon pixels, silicon microstrips and drift tubes. The detector was commissioned and calibrated in the ATLAS cavern. Cosmic muons data are used for timing the different compo...

Ancient historical references consistently describe an intoxicating gas, produced by a cavern in the ground, as the source of the power at the oracle of Delphi. These ancient writings are supported by a series of associated geological findings. Chemical analysis of the spring waters and travertine deposits at the site show these gases to be the light hydrocarbon gases methane, ethane, and ethyl...

The luminosity upgrade of the Large Hadron Collider at CERN (sLHC) foresees a luminosity increase by a factor 5 compared to the LHC. To cope with the corresponding increase in background rates, the Muon System of the ATLAS experiment at CERN will likely need major changes in the very forward/backward region (the high rapidity region). The Muon ATLAS MicroMegas Activity (MAMMA) is focused on the...

A model-based optimal operation strategy for an energy storage system exhibiting significant stand-by energy losses is presented. Specifically, a thermodynamic model of an advanced adiabatic compressed air energy storage (AA-CAES) plant, consisting of compression/expansion trains, a thermal energy storage (TES) system, and an underground cavern for compressed air storage, is used in this work. ...

Abstract The occurrence of disasters in deep mining engineering has been confirmed to be closely related the external dynamic disturbances and geological discontinuities. Thus, a combined finite-element method was employed simulate failure process an underground cavern, which provided insights into mechanism hard rock affected by factors such as stress-wave amplitudes, disturbance direction, di...

A numerical approach for predicting the time-accurate fluid flow and mixing properties of non-Newtonian fluids is presented. This approach, which based on lattice Boltzmann method, used to characterize blending in shear-thinning fluids, as well cavern formation yield-stress fluids. Predictions compare favorably measured data expectations from first-principles theory. Importantly, across range s...