1,964,043 research outputs found
Testing Reactive Probabilistic Processes
We define a testing equivalence in the spirit of De Nicola and Hennessy for
reactive probabilistic processes, i.e. for processes where the internal
nondeterminism is due to random behaviour. We characterize the testing
equivalence in terms of ready-traces. From the characterization it follows that
the equivalence is insensitive to the exact moment in time in which an internal
probabilistic choice occurs, which is inherent from the original testing
equivalence of De Nicola and Hennessy. We also show decidability of the testing
equivalence for finite systems for which the complete model may not be known
Testing Spallation Processes With Beryllium and Boron
The nucleosynthesis of Be and B by spallation processes provides unique
insight into the origin of cosmic rays. Namely, different spallation schemes
predict sharply different trends for the growth of LiBeB abundances with
respect to oxygen. ``Primary'' mechanisms predict BeB O, and are well
motivated by the data if O/Fe is constant at low metallicity. In contrast,
``secondary'' mechanisms predict BeB O and are consistent with
the data if O/Fe increases towards low metallicity as some recent data suggest.
Clearly, any primary mechanism, if operative, will dominate early in the
history of the Galaxy. In this paper, we fit the BeB data to a two-component
scheme which includes both primary and secondary trends. In this way, the data
can be used to probe the period in which primary mechanisms are effective. We
analyze the data using consistent stellar atmospheric parameters based on
Balmer line data and the continuum infrared flux. Results depend sensitively on
Pop II O abundances and, unfortunately, on the choice of stellar parameters.
When using recent results which show O/Fe increasing toward lower metallicity,
a two-component Be-O fits indicates that primary and secondary components
contribute equally at [O/H] = -1.8 for Balmer line data; and
[O/H] = -1.4 to -1.8 for IRFM. We apply these constraints to recent
models for LiBeB origin. The Balmer line data does not show any evidence for
primary production. On the other hand, the IRFM data does indicate a preference
for a two-component model, such as a combination of standard GCR and
metal-enriched particles accelerated in superbubbles. These conclusions rely on
a detailed understanding of the abundance data including systematic effects
which may alter the derived O-Fe and BeB-Fe relations.Comment: 40 pages including 11 ps figures. Written in AASTe
Characterising Testing Preorders for Finite Probabilistic Processes
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and
Hennessy to processes featuring probabilistic as well as nondeterministic
choice. They concluded with two problems that have remained open throughout the
years, namely to find complete axiomatisations and alternative
characterisations for these preorders. This paper solves both problems for
finite processes with silent moves. It characterises the may preorder in terms
of simulation, and the must preorder in terms of failure simulation. It also
gives a characterisation of both preorders using a modal logic. Finally it
axiomatises both preorders over a probabilistic version of CSP.Comment: 33 page
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
We introduce a notion of real-valued reward testing for probabilistic
processes by extending the traditional nonnegative-reward testing with negative
rewards. In this richer testing framework, the may and must preorders turn out
to be inverses. We show that for convergent processes with finitely many states
and transitions, but not in the presence of divergence, the real-reward
must-testing preorder coincides with the nonnegative-reward must-testing
preorder. To prove this coincidence we characterise the usual resolution-based
testing in terms of the weak transitions of processes, without having to
involve policies, adversaries, schedulers, resolutions, or similar structures
that are external to the process under investigation. This requires
establishing the continuity of our function for calculating testing outcomes.Comment: In Proceedings QAPL 2011, arXiv:1107.074
On Hypothesis Testing for Poisson Processes. Singular Cases
We consider the problem of hypothesis testing in the situation where the
first hypothesis is simple and the second one is local one-sided composite. We
describe the choice of the thresholds and the power functions of different
tests when the intensity function of the observed inhomogeneous Poisson process
has two different types of singularity: cusp and discontinuity. The asymptotic
results are illustrated by numerical simulations
Space processes for extended low-G testing
Results of an investigation of verifying the capabilities of space processes in ground based experiments at low-g periods are presented. Limited time experiments were conducted with the processes. A valid representation of the complete process cycle was achieved at low-g periods ranging from 40 to 390 seconds. A minimum equipment inventory, is defined. A modular equipment design, adopted to assure low cost and high program flexibility, is presented as well as procedures and data established for the synthesis and definition of dedicated and mixed rocket payloads
- …