Estimating the feasibility of transition paths in extended finite state machines

There has been significant interest in automating testing on the basis of an extended finite state machine (EFSM) model of the required behaviour of the implementation under test (IUT). Many test criteria require that certain parts of the EFSM are executed. For example, we may want to execute every transition of the EFSM. In order to find a test suite (set of input sequences) that achieves this we might first derive a set of paths through the EFSM that satisfy the criterion using, for example, algorithms from graph theory. We then attempt to produce input sequences that trigger these paths. Unfortunately, however, the EFSM might have infeasible paths and the problem of determining whether a path is feasible is generally undecidable. This paper describes an approach in which a fitness function is used to estimate how easy it is to find an input sequence to trigger a given path through an EFSM. Such a fitness function could be used in a search-based approach in which we search for a path with good fitness that achieves a test objective, such as executing a particular transition, and then search for an input sequence that triggers the path. If this second search fails then we search for another path with good fitness and repeat the process. We give a computationally inexpensive approach (fitness function) that estimates the feasibility of a path. In order to evaluate this fitness function we compared the fitness of a path with the ease with which an input sequence can be produced using search to trigger the path and we used random sampling in order to estimate this. The empirical evidence suggests that a reasonably good correlation (0.72 and 0.62) exists between the fitness of a path, produced using the proposed fitness function, and an estimate of the ease with which we can randomly generate an input sequence to trigger the path

A study of smoke formation from wood combustion

Aerosol time of flight mass spectrometry (ATOFMS) was used to analyse the particles emitted during the flaming and smouldering phases of the combustion of samples of hard and soft woods. Eugenol and furfural were also burned and using results from previous work of the authors, they have been shown to be useful proxies for initial wood combustion products. The ratios of elementary carbon to total carbon in the particles were similar for both the woods and for eugenol. The ATOFMS spectra of most of the particles were consistent with the presence of soot precursor constituents along with oxygen containing fragments. Most particle diameters were less than 2.5. μm, with the greatest concentration of <. 0.12. μm

Evolution of active and polar photospheric magnetic fields during the rise of Cycle 24 compared to previous cycles

The evolution of the photospheric magnetic field during the declining phase and minimum of Cycle 23 and the recent rise of Cycle 24 are compared with the behavior during previous cycles. We used longitudinal full-disk magnetograms from the NSO's three magnetographs at Kitt Peak, the Synoptic Optical Long-term Investigations of the Sun (SOLIS) Vector Spectro-Magnetograph (VSM), the Spectromagnetograph and the 512-Channel Magnetograph instruments, and longitudinal full-disk magnetograms from the Mt. Wilson 150-foot tower. We analyzed 37 years of observations from these two observatories that have been observing daily, weather permitting, since 1974, offering an opportunity to study the evolving relationship between the active region and polar fields in some detail over several solar cycles. It is found that the annual averages of a proxy for the active region poloidal magnetic field strength, the magnetic field strength of the high-latitude poleward streams, and the time derivative of the polar field strength are all well correlated in each hemisphere. These results are based on statistically significant cyclical patterns in the active region fields and are consistent with the Babcock-Leighton phenomenological model for the solar activity cycle. There was more hemispheric asymmetry in the activity level, as measured by total and maximum active region flux, during late Cycle 23 (after around 2004), when the southern hemisphere was more active, and Cycle 24 up to the present, when the northern hemisphere has been more active, than at any other time since 1974. The active region net proxy poloidal fields effectively disappeared in both hemispheres around 2004, and the polar fields did not become significantly stronger after this time. We see evidence that the process of Cycle 24 field reversal has begun at both poles.Comment: Accepted for publication in Solar Physic

Chiral Analysis of Quenched Baryon Masses

We extend to quenched QCD an earlier investigation of the chiral structure of the masses of the nucleon and the delta in lattice simulations of full QCD. Even after including the meson-loop self-energies which give rise to the leading and next-to-leading non-analytic behaviour (and hence the most rapid variation in the region of light quark mass), we find surprisingly little curvature in the quenched case. Replacing these meson-loop self-energies by the corresponding terms in full QCD yields a remarkable level of agreement with the results of the full QCD simulations. This comparison leads to a very good understanding of the origins of the mass splitting between these baryons.Comment: 23 pages, 6 figure

Quantum computation in a Ising spin chain taking into account second neighbor couplings

We consider the realization of a quantum computer in a chain of nuclear spins coupled by an Ising interaction. Quantum algorithms can be performed with the help of appropriate radio-frequency pulses. In addition to the standard nearest-neighbor Ising coupling, we also allow for a second neighbor coupling. It is shown, how to apply the 2\pi k method in this more general setting, where the additional coupling eventually allows to save a few pulses. We illustrate our results with two numerical simulations: the Shor prime factorization of the number 4 and the teleportation of a qubit along a chain of 3 qubits. In both cases, the optimal Rabi frequency (to suppress non-resonant effects) depends primarily on the strength of the second neighbor interaction.Comment: 19 pages, 6 figure

Multiple Inflation, Cosmic String Networks and the String Landscape

Motivated by the string landscape we examine scenarios for which inflation is a two-step process, with a comparatively short inflationary epoch near the string scale and a longer period at a much lower energy (like the TeV scale). We quantify the number of $e$-foldings of inflation which are required to yield successful inflation within this picture. The constraints are very sensitive to the equation of state during the epoch between the two inflationary periods, as the extra-horizon modes can come back inside the horizon and become reprocessed. We find that the number of $e$-foldings during the first inflationary epoch can be as small as 12, but only if the inter-inflationary period is dominated by a network of cosmic strings (such as might be produced if the initial inflationary period is due to the brane-antibrane mechanism). In this case a further 20 $e$-foldings of inflation would be required at lower energies to solve the late universe's flatness and horizon problems.Comment: 27 pages, 6 figures; v2: refences adde

The semileptonic decays of the B_c meson

We study the semileptonic transitions B_c to \eta_c, J/\psi, D, D^*, B, B^*, B_s, B_s^* in the framework of a relativistic constituent quark model. We use experimental data on leptonic J/\psi decay, lattice and QCD sum rule results on leptonic B_c decay, and on radiative \eta_c transitions to adjust the quark model parameters. We compute all form factors of the above semileptonic B_c-transitions and give predictions for various semileptonic B_c decay modes including their \tau-modes when they are kinematically accessible. The implications of heavy quark symmetry for the semileptonic decays are discussed and are shown to be manifest in our explicit relativistic quark model calculation. A comparison of our results with the results of other calculations is performed.Comment: 31 pages Latex (uses epsf, revtex). Section II expanded, typos corrected. This version will appear in Phys. Rev.

A study of the centrally produced baryon-antibaryon systems in pp interactions at 450 GeV/c

A study of the centrally produced ppbar, ppbarpi, ppbarpipi and lambda lambda channels has been performed in pp collisions using an incident beam momentum of 450 GeV/c. No significant new structures are observed in the mass spectra, however, important new information on the production dynamics is obtained. A systematic study of the production properties of these systems has been performed and it is found that these systems are not produced dominantly by double Pomeron exchange.Comment: 13 pages, Latex, 4 Figure

A study of pseudoscalar states produced centrally in pp interactions at 450 GeV/c

A study has been made of pseudoscalar mesons produced centrally in pp interactions. The results show that the eta and etaprime appear to have a similar production mechanism which differs from that of the pi0. The production properties of the eta and etaprime are not consistent with what is expected from double Pomeron exchange. In addition the production mechanism for the eta and etaprime is such that the production cross section are greatest when the azimuthal angle between the pT vectors of the two protons is 90 degrees.Comment: 11 pages, Latex, 3 Figure

A measurement of the branching fractions of the f1(1285) and f1(1420) produced in central pp interactions at 450 GeV/c

A study of the f1(1285) and f1(1420) produced in central pp interactions has been performed. For the first time in a single experiment the branching fractions of both mesons in all major decay modes have been determined. Both the f1(1285) and f1(1420) are consistent with being produced by double Pomeron exchange.Comment: 15 pages, Latex, 5 Figures, submitted to Physics Letters