Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Self-Diffusion in Random-Tiling Quasicrystals

The first explicit realization of the conjecture that phason dynamics leads to self-diffusion in quasicrystals is presented for the icosahedral Ammann tilings. On short time scales, the transport is found to be subdiffusive with the exponent $\beta\approx0.57(1)$, while on long time scales it is consistent with normal diffusion that is up to an order of magnitude larger than in the typical room temperature vacancy-assisted self-diffusion. No simple finite-size scaling is found, suggesting anomalous corrections to normal diffusion, or existence of at least two independent length scales.Comment: 11 pages + 2 figures, COMPRESSED postscript figures available by anonymous ftp to black_hole.physics.ubc.ca directory outgoing/diffuse (use bi for binary mode to transfer), REVTeX 3.0, CTP-TAMU 21/9

Development of a patient reported outcome measure for fatigue in motor neurone disease: the Neurological Fatigue Index (NFI-MND).

BACKGROUND: The objective of this research was to develop a disease-specific measure for fatigue in patients with motor neurone disease (MND) by generating data that would fit the Rasch measurement model. Fatigue was defined as reversible motor weakness and whole-body tiredness that was predominantly brought on by muscular exertion and was partially relieved by rest. METHODS: Qualitative interviews were undertaken to confirm the suitability of a previously identified set of 52 neurological fatigue items as relevant to patients with MND. Patients were recruited from five U.K. MND clinics. Questionnaires were administered during clinic or by post. A sub-sample of patients completed the questionnaire again after 2-4 weeks to assess test-retest validity. Exploratory factor analyses and Rasch analysis were conducted on the item set. RESULTS: Qualitative interviews with ten MND patients confirmed the suitability of 52 previously identified neurological fatigue items as relevant to patients with MND. 298 patients consented to completing the initial questionnaire including this item set, with an additional 78 patients completing the questionnaire a second time after 4-6 weeks. Exploratory Factor Analysis identified five potential subscales that could be conceptualised as representing: 'Energy', 'Reversible muscular weakness' (shortened to 'Weakness'), 'Concentration', 'Effects of heat' and 'Rest'. Of the original five factors, two factors 'Energy' and 'Weakness' met the expectations of the Rasch model. A higher order fatigue summary scale, consisting of items from the 'Energy' and 'Weakness' subscales, was found to fit the Rasch model and have acceptable unidimensionality. The two scales and the higher order summary scale were shown to fulfil model expectations, including assumptions of unidimensionality, local independency and an absence of differential item functioning. CONCLUSIONS: The Neurological Fatigue Index for MND (NFI-MND) is a simple, easy-to-administer fatigue scale. It consists of an 8-item fatigue summary scale in addition to separate scales for measuring fatigue experienced as reversible muscular weakness and fatigue expressed as feelings of low energy and whole body tiredness. The underlying two factor structure supports the patient concept of fatigue derived from qualitative interviews in this population. All three scales were shown to be reliable and capable of interval level measurement

The First Magnetic Fields

We review current ideas on the origin of galactic and extragalactic magnetic fields. We begin by summarizing observations of magnetic fields at cosmological redshifts and on cosmological scales. These observations translate into constraints on the strength and scale magnetic fields must have during the early stages of galaxy formation in order to seed the galactic dynamo. We examine mechanisms for the generation of magnetic fields that operate prior during inflation and during subsequent phase transitions such as electroweak symmetry breaking and the quark-hadron phase transition. The implications of strong primordial magnetic fields for the reionization epoch as well as the first generation of stars is discussed in detail. The exotic, early-Universe mechanisms are contrasted with astrophysical processes that generate fields after recombination. For example, a Biermann-type battery can operate in a proto-galaxy during the early stages of structure formation. Moreover, magnetic fields in either an early generation of stars or active galactic nuclei can be dispersed into the intergalactic medium.Comment: Accepted for publication in Space Science Reviews. Pdf can be also downloaded from http://canopus.cnu.ac.kr/ryu/cosmic-mag1.pd

Measurement of the photon+b+b-jet production differential cross section in ppˉp\bar{p} collisions at \sqrt{s}=1.96~\TeV

We present measurements of the differential cross section dsigma/dpT_gamma for the inclusive production of a photon in association with a b-quark jet for photons with rapidities |y_gamma|< 1.0 and 30<pT_gamma <300 GeV, as well as for photons with 1.5<|y_gamma|< 2.5 and 30< pT_gamma <200 GeV, where pT_gamma is the photon transverse momentum. The b-quark jets are required to have pT>15 GeV and rapidity |y_jet| < 1.5. The results are based on data corresponding to an integrated luminosity of 8.7 fb^-1, recorded with the D0 detector at the Fermilab Tevatron $p\bar{p}$ Collider at sqrt(s)=1.96 TeV. The measured cross sections are compared with next-to-leading order perturbative QCD calculations using different sets of parton distribution functions as well as to predictions based on the kT-factorization QCD approach, and those from the Sherpa and Pythia Monte Carlo event generators.Comment: 10 pages, 9 figures, submitted to Phys. Lett.

Limits on anomalous trilinear gauge boson couplings from WW, WZ and Wgamma production in pp-bar collisions at sqrt{s}=1.96 TeV

We present final searches of the anomalous gammaWW and ZWW trilinear gauge boson couplings from WW and WZ production using lepton plus dijet final states and a combination with results from Wgamma, WW, and WZ production with leptonic final states. The analyzed data correspond to up to 8.6/fb of integrated luminosity collected by the D0 detector in pp-bar collisions at sqrt{s}=1.96 TeV. We set the most stringent limits at a hadron collider to date assuming two different relations between the anomalous coupling parameters Delta\kappa_\gamma, lambda, and Delta g_1^Z for a cutoff energy scale Lambda=2 TeV. The combined 68% C.L. limits are -0.057<Delta\kappa_\gamma<0.154, -0.015<lambda<0.028, and -0.008<Delta g_1^Z<0.054 for the LEP parameterization, and -0.007<Delta\kappa<0.081 and -0.017<lambda<0.028 for the equal couplings parameterization. We also present the most stringent limits of the W boson magnetic dipole and electric quadrupole moments.Comment: 10 pages, 5 figures, submitted to PL

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters

Measurement of the inclusive isolated prompt photon cross-section in pp collisions at sqrt(s)= 7 TeV using 35 pb-1 of ATLAS data

A measurement of the differential cross-section for the inclusive production of isolated prompt photons in pp collisions at a center-of-mass energy sqrt(s) = 7 TeV is presented. The measurement covers the pseudorapidity ranges |eta|<1.37 and 1.52<=|eta|<2.37 in the transverse energy range 45<=E_T<400GeV. The results are based on an integrated luminosity of 35 pb-1, collected with the ATLAS detector at the LHC. The yields of the signal photons are measured using a data-driven technique, based on the observed distribution of the hadronic energy in a narrow cone around the photon candidate and the photon selection criteria. The results are compared with next-to-leading order perturbative QCD calculations and found to be in good agreement over four orders of magnitude in cross-section.Comment: 7 pages plus author list (18 pages total), 2 figures, 4 tables, final version published in Physics Letters