Explaining Violation Traces with Finite State Natural Language Generation Models

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user

Low-speed Wind-Tunnel Study of Reaction Control-jet Effectiveness for Hover and Transition of a STOVL Fighter Concept

A brief wind-tunnel study was conducted in the Langley 12-Foot Low-Speed Tunnel to determine reaction control-jet effectiveness and some associated aerodynamic characteristics of a 15 percent scale model of the General Dynamics E-7A STOVL fighter/attack aircraft concept applicable to hover and transition flight. Tests were made with the model at various attitude angles in the tunnel test section and at various tunnel airspeeds for a range of control-jet nozzle pressure ratios. Eight reaction control-jets were tested individually. Four jets were at the design baseline locations providing roll, pitch, and yaw control. Comparisons of measured data with values calculated using empirical methods were made where possible

Are Neutral Sunspot Winds Important for Penumbral Dynamics and the First Ionization Potential Effect?

The low ionization state in parts of a sunspot may play an important role in its evolution and dynamical state. The cool magnetic interior region of the sunspot develops a substantial neutral atomic and molecular hydrogen osmotic pressure which can drive a wind outward from the umbra. Ambipolar diffusion against the magnetically pinned ionized plasma component can also distort the umbral magnetic field into a filamentary penumbral structure. This may be important for explaining the development of the sunspot penumbra and the Evershed flow. This fractionation process may also be important for the ``First Ionization Potential'' (FIP) effect seen in the solar wind. In support of this mechanism we find evidence for such ionization fractionization in UV observations of molecular hydrogen in a sunspot umbra and penumbra.Comment: 4 pages, ApJL format (submitted, in revision

Radiative Decay of Vector Quarkonium: Constraints on Glueballs and Light Gluinos

Given a resonance of known mass, width, and J^{PC}, we can determine its gluonic branching fraction, b(R->gg), from data on its production in radiative vector quarkonium decay, V -> gamma+R. For most resonances b(R->gg) is found to be O(10%), consistent with being q-qbar states, but we find that both pseudoscalars observed in the 1440 MeV region have b(R->gg) ~ 1/2 - 1, and b(f_0^{++}->gg) ~ 1/2. As data improves, b(R->gg) should be a useful discriminator between q-qbar and gluonic states and may permit quantitative determination of the extent to which a particular resonance is a mixture of glueball and q-qbar. We also examine the regime of validity of pQCD for predicting the rate of V -> gamma+eta_gluino, the ``extra'' pseudoscalar bound state which would exist if there were light gluinos. From the CUSB limit on peaks in Upsilon -> gamma X, the mass range 3 GeV < m(eta_gluino) < 7 GeV can be excluded. An experiment must be significantly more sensitive to exclude an eta_gluino lighter than this.Comment: 36pp (inc figs),RU-94-04. (Replaces original which didn't latex correctly and didn't have figures.

Hypoconstrained Jammed Packings of Nonspherical Hard Particles: Ellipses and Ellipsoids

Continuing on recent computational and experimental work on jammed packings of hard ellipsoids [Donev et al., Science, vol. 303, 990-993] we consider jamming in packings of smooth strictly convex nonspherical hard particles. We explain why the isocounting conjecture, which states that for large disordered jammed packings the average contact number per particle is twice the number of degrees of freedom per particle (\bar{Z}=2d_{f}), does not apply to nonspherical particles. We develop first- and second-order conditions for jamming, and demonstrate that packings of nonspherical particles can be jammed even though they are hypoconstrained (\bar{Z}<2d_{f}). We apply an algorithm using these conditions to computer-generated hypoconstrained ellipsoid and ellipse packings and demonstrate that our algorithm does produce jammed packings, even close to the sphere point. We also consider packings that are nearly jammed and draw connections to packings of deformable (but stiff) particles. Finally, we consider the jamming conditions for nearly spherical particles and explain quantitatively the behavior we observe in the vicinity of the sphere point.Comment: 33 pages, third revisio

Dynamic rotor mode in antiferromagnetic nanoparticles

We present experimental, numerical, and theoretical evidence for a new mode of antiferromagnetic dynamics in nanoparticles. Elastic neutron scattering experiments on 8 nm particles of hematite display a loss of diffraction intensity with temperature, the intensity vanishing around 150 K. However, the signal from inelastic neutron scattering remains above that temperature, indicating a magnetic system in constant motion. In addition, the precession frequency of the inelastic magnetic signal shows an increase above 100 K. Numerical Langevin simulations of spin dynamics reproduce all measured neutron data and reveal that thermally activated spin canting gives rise to a new type of coherent magnetic precession mode. This "rotor" mode can be seen as a high-temperature version of superparamagnetism and is driven by exchange interactions between the two magnetic sublattices. The frequency of the rotor mode behaves in fair agreement with a simple analytical model, based on a high temperature approximation of the generally accepted Hamiltonian of the system. The extracted model parameters, as the magnetic interaction and the axial anisotropy, are in excellent agreement with results from Mossbauer spectroscopy

Microscopic theory of quantum-transport phenomena in mesoscopic systems: A Monte Carlo approach

A theoretical investigation of quantum-transport phenomena in mesoscopic systems is presented. In particular, a generalization to ``open systems'' of the well-known semiconductor Bloch equations is proposed. The presence of spatial boundary conditions manifest itself through self-energy corrections and additional source terms in the kinetic equations, whose form is suitable for a solution via a generalized Monte Carlo simulation. The proposed approach is applied to the study of quantum-transport phenomena in double-barrier structures as well as in superlattices, showing a strong interplay between phase coherence and relaxation.Comment: to appear in Phys. Rev. Let

Electroweak Sudakov Logarithms and Real Gauge-Boson Radiation in the TeV Region

Electroweak radiative corrections give rise to large negative, double-logarithmically enhanced corrections in the TeV region. These are partly compensated by real radiation and, moreover, affected by selecting isospin-noninvariant external states. We investigate the impact of real gauge boson radiation more quantitatively by considering different restricted final state configurations. We consider successively a massive abelian gauge theory, a spontaneously broken SU(2) theory and the electroweak Standard Model. We find that details of the choice of the phase space cuts, in particular whether a fraction of collinear and soft radiation is included, have a strong impact on the relative amount of real and virtual corrections.Comment: 20 pages, 4 figure