Search results for " computer science applications"
showing 3 items of 103 documents
Stability of stochastic nonlinear systems with state-dependent switching
2013
In this paper, the problem of stability on stochastic systems with state-dependent switching is investigated. To analyze properties of the switched system by means of Itô’s formula and Dynkin’s formula, it is critical to show switching instants being stopping times. When the given active-region set can be replaced by its interior, the local solution of the switched system is constructed by defining a series of stopping times as switching instants, and the criteria on global existence and stability of solution are presented by Lyapunov approach. For the case where the active-region set can not be replaced by its interior, the switched systems do not necessarily have solutions, thereby quasi-…
Lidar detection of carbon dioxide in volcanic plumes
2015
Volcanic gases give information on magmatic processes. In particular, anomalous releases of carbon dioxide precede volcanic eruptions. Up to now, this gas has been measured in volcanic plumes with conventional measurements that imply the severe risks of local sampling and can last many hours. For these reasons and for the great advantages of laser sensing, the thorough development of volcanic lidar has been undertaken at the Diagnostics and Metrology Laboratory (UTAPRAD-DIM) of the Italian National Agency for New Technologies, Energy and Sustainable Economic Development (ENEA). In fact, lidar profiling allows one to scan remotely volcanic plumes in a fast and continuous way, and with high s…
The Large Observatory For x-ray Timing
2014
The Large Observatory For x-ray Timing (LOFT) was studied within ESA M3 Cosmic Vision framework and participated in the final down-selection for a launch slot in 2022-2024. Thanks to the unprecedented combination of effective area and spectral resolution of its main instrument, LOFT will study the behaviour of matter under extreme conditions, such as the strong gravitational field in the innermost regions of accretion flows close to black holes and neutron stars, and the supra-nuclear densities in the interior of neutron stars. The science payload is based on a Large Area Detector (LAD, 10 m 2 effective area, 2-30 keV, 240 eV spectral resolution, 1 deg collimated field of view) and a WideFi…