英語の複数動詞連鎖：分類と機能

博士（文学）神戸大

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 $\nu_e \to \nu_\tau$ oscillations, and measuring CP violation with either $\nu_e \to \nu_\mu$ or $\nu_\mu \to \nu_\tau$ oscillations (including the corresponding antineutrino channels). With measurements of CP violation in both $\nu_e \to \nu_\mu$ and $\nu_\mu \to \nu_\tau$ 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 $\nu_{\mu} \to \nu_{\mu}$, 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 $\Delta m^2_{sol}$ and $\Delta m^2_{atm}$ 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.