68 research outputs found
Generating a checking sequence with a minimum number of reset transitions
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)
Neutrinoless Double Beta Decay in Light of SNO Salt Data
In the SNO data from its salt run, probably the most significant result is
the consistency with the previous results without assuming the 8B energy
spectrum. In addition, they have excluded the maximal mixing at a very high
confidence level. This has an important implication on the double beta decay
experiments. For the inverted or degenerate mass spectrum, we find
|_{ee}| > 0.013 eV at 95% CL, and the next generation experiments can
discriminate Majorana and Dirac neutrinos if the inverted or degenerate mass
spectrum will be confirmed by the improvements in cosmology, tritium data beta
decay, or long-baseline oscillation experiments.Comment: REVTEX4, three figures. Now uses the updated SK atmospheric data
rather than naive rescaling. Conclusion unchanged. References adde
Parameter Degeneracies in Neutrino Oscillation Measurement of Leptonic CP and T Violation
The measurement of the mixing angle \theta_{13}, sign of \Delta m^2_{13} and
the CP or T violating phase \delta is fraught with ambiguities in neutrino
oscillation. In this paper we give an analytic treatment of the paramater
degeneracies associated with measuring the \nu_\mu -> \nu_e probability and its
CP and/or T conjugates. For CP violation, we give explicit solutions to allow
us to obtain the regions where there exist two-fold and four-fold degeneracies.
We calculate the fractional differences, \Delta \theta / \bar{\theta}, between
the allowed solutions which may be used to compare with the expected
sensitivities of the experiments. For T violation we show that there is always
a complete degeneracy between solutions with positive and negative \Delta
m^2_{13} which arises due to a symmetry and cannot be removed by observing one
neutrino oscillation probability and its T conjugate. Thus, there is always a
four fold parameter degeneracy apart from exceptional points. Explicit
solutions are also given and the fractional differences are computed. The
bi-probability CP/T trajectory diagrams are extensively used to illuminate the
nature of the degeneracies.Comment: 35 pages, Latex, 11 postscript figures, minor correction
Short-Baseline Neutrino Oscillations at a Neutrino Factory
Within the framework of three-neutrino and four-neutrino scenarios that can
describe the results of the LSND experiment, we consider the capabilities of
short baseline neutrino oscillation experiments at a neutrino factory. We find
that, when short baseline (L \alt 100 km) neutrino factory measurements are
used together with other accelerator-based oscillation results, the complete
three-neutrino parameter space can best be determined by measuring the rate of
oscillations, and measuring CP violation with either
or oscillations (including the
corresponding antineutrino channels). With measurements of CP violation in both
and it may be possible to
distinguish between the three- and four-neutrino cases.Comment: 16 pages, Revtex (single-spaced), 8 postscript figures, uses epsf.st
Oscillation enhanced search for new interaction with neutrinos
We discuss the measurement of new physics in long baseline neutrino
oscillation experiments. Through the neutrino oscillation, the probability to
detect the new physics effects such as flavor violation is enhanced by the
interference with the weak interaction. We carefully explain the situations
that the interference can take place. Assuming a neutrino factory and an
upgraded conventional beam, we estimate the feasibility to observe new physics
numerically and point out that we can search new interactions using some
channels, for example , in these experiments. We also
discuss several models which induce the effective interactions interfering with
the weak interaction, and show that some new physics effects are large enough
to be observed in the oscillation enhanced way.Comment: 25 pages, 20 figure
Can three-flavor oscillations solve the solar neutrino problem?
The most promising solution to the solar neutrino problem are neutrino
oscillations, which usually are analyzed within the reduced 2-flavor scheme,
because the solutions found therein reasonably well reproduce the recent data
of Super-Kamiokande about the recoil-electron energy spectrum, zenith-angle and
seasonal variations, and the event rate data of all the neutrino detectors. In
this work, however, a survey of the complete parameter space of 3-flavor
oscillations is performed. Basically eight new additional solutions could be
identified, where the best one with \Delta m(12)^2=2.7x10^(-10) eV^2, \Delta
m(13)^2=1.0x10^(-5) eV^2, \Theta(12)=23, and \Theta(13)=1.3 (denoted SVO) is
slightly more probable than any 2-flavor solution. However, including the
results of the atmospheric neutrino problem excludes all 3-flavour solutions
apart from the SLMA-solution (\Delta m(12)^2=7.9x10^(-6) eV^2, \Delta
m(13)^2=2.5x10^(-4) eV^2, \Theta(12)=1.4, and \Theta(13)=20). Besides, the
ability of SNO and Borexino to discriminate the various 2- and 3-flavor
solutions is investigated. Only with very good statistics in these experiments
the correct solution to the solar neutrino problem can be identified
unambiguously.Comment: 22 pages, 19 figures, REVTeX, submitted to Phys.Rev.D, article with
better resolved figures available under
http://www.mpa-garching.mpg.de/~schlattl/public.htm
Status of four-neutrino mass schemes: a global and unified approach to current neutrino oscillation data
We present a unified global analysis of neutrino oscillation data within the
framework of the four-neutrino mass schemes (3+1) and (2+2). We include all
data from solar and atmospheric neutrino experiments, as well as information
from short-baseline experiments including LSND. If we combine only solar and
atmospheric neutrino data, (3+1) schemes are clearly preferred, whereas
short-baseline data in combination with atmospheric data prefers (2+2) models.
When combining all data in a global analysis the (3+1) mass scheme gives a
slightly better fit than the (2+2) case, though all four-neutrino schemes are
presently acceptable. The LSND result disfavors the three-active neutrino
scenario with only and at 99.9% CL with
respect to the four-neutrino best fit model. We perform a detailed analysis of
the goodness of fit to identify which sub-set of the data is in disagreement
with the best fit solution in a given mass scheme.Comment: 32 pages, 8 Figures included, REVTeX4.Improved discussion in sec. XI,
references added, version accepted by Phys. Rev.
Methods of investigation method of determining the extent of branching in polyethylene-imine
- …