20,335 research outputs found
Recommended from our members
Deriving real-time action systems with multiple time bands using algebraic reasoning
The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations. This paper presents a derivation method for real-time systems with realistic constraints on their behaviour. We develop a high-level interval-based logic that provides flexibility in an implementation, yet allows algebraic reasoning over multiple granularities and sampling multiple sensors with delay. The semantics of an action system is given in terms of interval predicates and algebraic operators to unify the logics for an action system and its properties, which in turn simplifies the calculations and derivations
The Origin and Significance of Reverse Zoning in Melilite from Allende Type B Inclusions
In many Type B Allende inclusions, melilite is reversely-zoned over restricted portions of each crystal. Textural relationships and the results of dynamic crystallization experiments suggest that the reverselyzoned intervals in these Type melilites result from the co-precipitation of melilite with clinopyroxene from a melt, prior to the onset of anorthite precipitation. When clinopyroxene begins to precipitate, the Al/Mg ratio of the melt rises, causing the crystallizing melilite to become more gehlenitic, an effect which is negated by crystallization of anorthite. Because the equilibrium crystallization sequence in these liquids is anorthite before pyroxene, melilite reverse zoning can occur only when anorthite nucleation is suppressed relative to pyroxene. This has been achieved in our experiments at cooling rates as low as 0.5Ā°C/hour. Our experiments further indicate, however, that reverse zoning does not form at cooling rates ā„50Ā°C/hour , probably because the clinopyroxene becomes too Al-rich to drive up the Al/Mg ratio of the liquid. Type inclusions with reversely-zoned melilites must have cooled at rates greater than those at which anorthite begins to crystallize before clinopyroxene but <50Ā°C/hour. Such rates are far too slow for the Type droplets to have cooled by radiation into a nebular gas but are much faster than the cooling rate of the solar nebula itself. One possibility is that Type B's formed in local hot regions within the nebula, where their cooling rate was equal to that of their surrounding gas. Other possibilities are that their cooling rates reflect their movement along nebular temperature gradients or the influence of a heat source. The sun or viscous drag on inclusions as they moved through the nebular gas are potential candidates for such heat sources
The serendipituous discovery of a short-period eclipsing polar in 2XMMp
We report the serendipituous discovery of the new eclipsing polar 2XMMp
J131223.4+173659. Its striking X-ray light curve attracted immediate interest
when we were visually inspecting the source products of the 2XMMp catalogue.
This light curve revealed its likely nature as a magnetic cataclysmic variable
of AM Herculis (or polar) type with an orbital period of ~92 min, which was
confirmed by follow-up optical spectroscopy and photometry. 2XMMp
J131223.4+173659 probably has a one-pole accretion geometry. It joins the group
of now nine objects that show no evidence of a soft component in their X-ray
spectra despite being in a high accretion state, thus escaping ROSAT/EUVE
detection. We discuss the likely accretion scenario, the system parameters, and
the spectral energy distribution.Comment: Accepted for publication in A&
Alternative Methods of Seasonal Adjustment
Alternative methods for the seasonal adjustment of economic data are described that operate in the time domain and in the frequency domain. The time-domain method, which employs a classical comb filter, mimics the effects of the model-based procedures of the SEATSāTRAMO and STAMP programs. The frequency-domain method eliminates the sinusoidal elements of which, in the judgment of the user, the seasonal component is composed. It is proposed that, in some circumstances, seasonal adjustment is best achieved by eliminating all elements in excess of the frequency that marks the upper limit of the trend-cycle component of the data. It is argued that the choice of the method seasonal adjustment is liable to affect the determination of the turning points of the business cycle.WienerāKolmogorov Filtering; Frequency-Domain Methods; The Trend-Cycle Component
- ā¦