Embedded systems are hardware and software based equipment. They are subject to many constraints and must run without stopping. To define the behavior of these systems, dataflow programming models are often used. On one hand, this choice is motivated by the fact that dataflow models allow the description of cyclic behavior, which is needed for embedded systems ; secondly because the analysis of...

The problem at hand is the integration of expert forecasts for plane prices into a fully calibrated basic economy. The economy is simulated through an Economic Scenario Generator (ESG), which includes macroeconomic processes, interest rate term structures, etc.. By defining the available best-case, worst-case, and mid-case forecasts to correspond to the 95%, the 50% and the 5% quantiles of the ...

This paper combines ultrasonic parameters recorded from P- and S- waves effective porosity to estimate uniaxial compressive strength, σC, intrinsic permeability, k - two of the most crucial physical used in stone conservation studies. The have been chosen because they are sensitive microstructural properties stones which influence both σC differently. Velocities compressional or primary, Vp, sh...

A starquake mechanism for pulsar glitches is developed in the solid quark star model. It is found that the general glitch natures (i.e., the glitch amplitudes and the time intervals) could be reproduced if solid quark matter, with high baryon density but low temperature, has properties of shear modulus μ = 1030∼34 erg/cm3 and critical stress σc = 1018∼24 erg/cm3. The post-glitch behavior may re...

Femtosecond ring-opening dynamics of 1,3-cyclohexadiene (CHD) in gas phase upon two-photon excitation at 400 nm (=3.1 eV) was investigated by time-resolved photoelectron spectroscopy using 42 nm (=29.5 eV) high harmonic photons probing the dynamics of the lower-lying occupied molecular orbitals (MOs), which are the fingerprints of the molecular structure. After 500 fs, the photoelectron intensi...

In this paper we present a slightly modified definition of snap rounding, and provide two efficient algorithms that perform this rounding. The first algorithm takes n line segments as input and generates the set of snapped segments in O(|I| + Σc is(c) log n + |I∗ m|), where |I| is the complexity of the unrounded arrangement I, is(c) is the number of segments that have an intersection or endpoin...

Rockbursts are serious threats to the safe production of mining, resulting in great casualties and property losses. The accurate prediction rockburst is an important premise that influences safety health miners. As a classical machine learning algorithm, back propagation (BP) neural network has been widely used prediction. However, there few reports about influence study different training samp...