Demonstration of an inductively coupled ring trap for cold atoms

We report the first demonstration of an inductively coupled magnetic ring trap for cold atoms. A uniform, ac magnetic field is used to induce current in a copper ring, which creates an opposing magnetic field that is time-averaged to produce a smooth cylindrically symmetric ring trap of radius 5 mm. We use a laser-cooled atomic sample to characterize the loading efficiency and adiabaticity of the magnetic potential, achieving a vacuum-limited lifetime in the trap. This technique is suitable for creating scalable toroidal waveguides for applications in matter-wave interferometry, offering long interaction times and large enclosed areas

Probabilistic Model Checking for Energy Analysis in Software Product Lines

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment. The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automata-based coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.Comment: 14 pages, 11 figure

Inclusive production of charged pions in p+C collisions at 158 GeV/c beam momentum

The production of charged pions in minimum bias p+C interactions is studied using a sample of 377000 inelastic events obtained with the NA49 detector at the CERN SPS at 158 GeV/c beam momentum. The data cover a phase space area ranging from 0 to 1.8 GeV/c in transverse momentum and from -0.1 to 0.5 in Feynman x. Inclusive invariant cross sections are given on a grid of 270 bins per charge thus offering for the first time a dense coverage of the projectile hemisphere and of the cross-over region into the target fragmentation zone.Comment: 31 pages, 30 figures, submitted to European Journal of Physic

Results on correlations and fluctuations from NA49

The large acceptance and high momentum resolution as well as the significant particle identification capabilities of the NA49 experiment at the CERN SPS allow for a broad study of fluctuations and correlations in hadronic interactions. In the first part recent results on event-by-event charge and p_t fluctuations are presented. Charge fluctuations in central Pb+Pb reactions are investigated at three different beam energies (40, 80, and 158 AGeV), while for the p_t fluctuations the focus is put on the system size dependence at 158 AGeV. In the second part recent results on Bose Einstein correlations of h-h- pairs in minimum bias Pb+Pb reactions at 40 and 158 AGeV, as well as of K+K+ and K-K- pairs in central Pb+Pb collisions at 158 AGeV are shown. Additionally, other types of two particle correlations, namely pi p, Lambda p, and Lambda Lambda correlations, have been measured by the NA49 experiment. Finally, results on the energy and system size dependence of deuteron coalescence are discussed.Comment: 10 pages, 12 figures, Presented at Quark Matter 2002, Nantes, France, Corrected error in Eq.

Rapidity and energy dependence of the electric charge correlations in A+A collisions at the SPS energies

Results from electric charge correlations studied with the Balance Function method in A+A collisions from 20\emph{A} to 158\emph{A} GeV are presented in two different rapidity intervals: In the mid-rapidity region we observe a decrease of the width of the Balance Function distribution with increasing centrality of the collision, whereas this effect vanishes in the forward rapidity region. Results from the energy dependence study in central Pb+Pb collisions show that the narrowing of the Balance Function expressed by the normalised width parameter \textit{W} increases with energy towards the highest SPS and RHIC energies. Finally we compare our experimental data points with predictions of several models. The hadronic string models UrQMD and HIJING do not reproduce the observed narrowing of the Balance Function. However, AMPT which contains a quark-parton transport phase before hadronization can reproduce the narrowing of the BF's width with centrality. This confirms the proposed sensitivity of the Balance Function analysis to the time of hadronization.Comment: Submitted in Phys. Rev.

Multiplicity fluctuations in nuclear collisions at 158 A GeV

System size dependence of multiplicity fluctuations of charged particles produced in nuclear collisions at 158 A GeV was studied in the NA49 CERN experiment. Results indicate a non-monotonic dependence of the scaled variance of the multiplicity distribution with a maximum for semi-peripheral Pb+Pb interactions with number of projectile participants of about 35. This effect is not observed in a string-hadronic model of nuclear collision HIJING.Comment: Presented at "Focus on Multiplicity", 17-19 of June, Bari, Ital

Bose-Einstein correlations of pion pairs in central Pb+Pb collisions at CERN SPS energies

Measurements of Bose-Einstein correlations of pion pairs in central Pb+Pb collisions were performed with the NA49 detector at the CERN SPS for beam energies of 20A, 30A, 40A, 80A, and 158A GeV. Correlation functions were measured in the longitudinally co-moving ``out-side-long'' reference frame as a function of rapidity and transverse momentum in the forward hemisphere of the reaction. Radius and correlation strength parameters were obtained from fits of a Gaussian parametrization. The results show a decrease of the radius parameters with increasing transverse momentum characteristic of strong radial flow in the pion source. No striking dependence on pion-pair rapidity or beam energy is observed. Static and dynamic properties of the pion source are obtained from simultaneous fits with a blast-wave model to radius parameters and midrapidity transverse momentum spectra. Predictions of hydrodynamic and microscopic models of Pb+Pb collisions are discussed.Comment: 22 pages, 23 figure