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

The asymmetric structure of the Galactic halo

Using the stellar photometry catalogue based on the latest data release (DR4) of the Sloan Digital Sky Survey (SDSS), a study of the Galactic structure using star counts is carried out for selected areas of the sky. The sample areas are selected along a circle at a Galactic latitude of +60$^\circ$, and 10 strips of high Galactic latitude along different longitudes. Direct statistics of the data show that the surface densities of $\ell$ from $180^{\circ}$ to $360^{\circ}$ are systematically higher than those of $\ell$ from $0^{\circ}$ to $180^{\circ}$, defining a region of overdensity (in the direction of Virgo) and another one of underdensity (in the direction of Ursa Major) with respect to an axisymmetric model. It is shown by comparing the results from star counts in the $(g-r)$ colour that the density deviations are due to an asymmetry of the stellar density in the halo. Theoretical models for the surface density profile are built and star counts are performed using a triaxial halo of which the parameters are constrained by observational data. Two possible reasons for the asymmetric structure are discussed.Comment: 17 pages, 7 figures, 5 tables, MNRAS accepte