Optimal Scheduling Using Branch and Bound with SPIN 4.0

The use of model checkers to solve discrete optimisation problems is appealing. A model checker can first be used to verify that the model of the problem is correct. Subsequently, the same model can be used to find an optimal solution for the problem. This paper describes how to apply the new PROMELA primitives of SPIN 4.0 to search effectively for the optimal solution. We show how Branch-and-Bound techniques can be added to the LTL property that is used to find the solution. The LTL property is dynamically changed during the verification. We also show how the syntactical reordering of statements and/or processes in the PROMELA model can improve the search even further. The techniques are illustrated using two running examples: the Travelling Salesman Problem and a job-shop scheduling problem

CMS Software Distribution on the LCG and OSG Grids

The efficient exploitation of worldwide distributed storage and computing resources available in the grids require a robust, transparent and fast deployment of experiment specific software. The approach followed by the CMS experiment at CERN in order to enable Monte-Carlo simulations, data analysis and software development in an international collaboration is presented. The current status and future improvement plans are described.Comment: 4 pages, 1 figure, latex with hyperref

HEPCloud, a New Paradigm for HEP Facilities: CMS Amazon Web Services Investigation

Historically, high energy physics computing has been performed on large purpose-built computing systems. These began as single-site compute facilities, but have evolved into the distributed computing grids used today. Recently, there has been an exponential increase in the capacity and capability of commercial clouds. Cloud resources are highly virtualized and intended to be able to be flexibly deployed for a variety of computing tasks. There is a growing nterest among the cloud providers to demonstrate the capability to perform large-scale scientific computing. In this paper, we discuss results from the CMS experiment using the Fermilab HEPCloud facility, which utilized both local Fermilab resources and virtual machines in the Amazon Web Services Elastic Compute Cloud. We discuss the planning, technical challenges, and lessons learned involved in performing physics workflows on a large-scale set of virtualized resources. In addition, we will discuss the economics and operational efficiencies when executing workflows both in the cloud and on dedicated resources.Comment: 15 pages, 9 figure

Rapidity and k_T dependence of HBT correlations in Au+Au collisions at 200 GeV with PHOBOS

Two-particle correlations of identical charged pion pairs from Au+Au collisions at sqrt(s_NN) = 200 GeV were measured by the PHOBOS experiment at RHIC. Data for the most central (0--15%) events were analyzed with Bertsch-Pratt (BP) and Yano-Koonin-Podgoretskii (YKP) parameterizations using pairs with rapidities of 0.4 < y < 1.3 and transverse momenta 0.1 < k_T < 1.4 GeV/c. The Bertsch-Pratt radii decrease as a function of pair transverse momentum. The pair rapidity Y_pipi roughly scales with the source rapidity Y_YKP, indicating strong dynamical correlations.Comment: 5 pages, 2 figures. To appear in the proceedings of Seventeenth International Conference on Ultra-Relativistic Nucleus-Nucleus Collisions (Quark Matter 2004), Oakland, California from January 11-17, 2004. Submitted to Journal of Physics G: Nuclear and Particle Physic

System Size, Energy and Centrality Dependence of Pseudorapidity Distributions of Charged Particles in Relativistic Heavy Ion Collisions

We present the first measurements of the pseudorapidity distribution of primary charged particles in Cu+Cu collisions as a function of collision centrality and energy, \sqrtsnn = 22.4, 62.4 and 200 GeV, over a wide range of pseudorapidity, using the PHOBOS detector. Making a global comparison of Cu+Cu and Au+Au results, we find that the total number of produced charged particles and the rough shape (height and width) of the pseudorapidity distributions are determined by the number of nucleon participants. More detailed studies reveal that a more precise matching of the shape of the Cu+Cu and Au+Au pseudorapidity distributions over the full range of pseudorapidity occurs for the same Npart/2A value rather than the same Npart value. In other words, it is the collision geometry rather than just the number of nucleon participants that drives the detailed shape of the pseudorapidity distribution and its centrality dependence at RHIC energies.Comment: Submitted to Physical Review Letter

System Size, Energy, Pseudorapidity, and Centrality Dependence of Elliptic Flow

This paper presents measurements of the elliptic flow of charged particles as a function of pseudorapidity and centrality from Cu-Cu collisions at 62.4 and 200 GeV using the PHOBOS detector at the Relativistic Heavy Ion Collider (RHIC). The elliptic flow in Cu-Cu collisions is found to be significant even for the most central events. For comparison with the Au-Au results, it is found that the detailed way in which the collision geometry (eccentricity) is estimated is of critical importance when scaling out system-size effects. A new form of eccentricity, called the participant eccentricity, is introduced which yields a scaled elliptic flow in the Cu-Cu system that has the same relative magnitude and qualitative features as that in the Au-Au system

Latest Results from PHOBOS

This manuscript contains a summary of the latest physics results from PHOBOS, as reported at Quark Matter 2006. Highlights include the first measurement from PHOBOS of dynamical elliptic flow fluctuations as well as an explanation of their possible origin, two-particle correlations, identified particle ratios, identified particle spectra and the latest results in global charged particle production.Comment: 9 pages, 7 figures, PHOBOS plenary proceedings for Quark Matter 200

System size, energy, centrality and pseudorapidity dependence of charged-particle density in Au+Au and Cu+Cu collisions at RHIC

Charged particle pseudorapidity distributions are presented from the PHOBOS experiment at RHIC, measured in Au+Au and Cu+Cu collisions at sqrt{s_NN}=19.6, 22.4, 62.4, 130 and 200 GeV, as a function of collision centrality. The presentation includes the recently analyzed Cu+Cu data at 22.4 GeV. The measurements were made by the same detector setup over a broad range in pseudorapidity, |eta|<5.4, allowing for a reliable systematic study of particle production as a function of energy, centrality and system size. Comparing Cu+Cu and Au+Au results, we find that the total number of produced charged particles and the overall shape (height and width) of the pseudorapidity distributions are determined by the number of nucleon participants, N_part. Detailed comparisons reveal that the matching of the shape of the Cu+Cu and Au+Au pseudorapidity distributions over the full range of eta is better for the same N_part/2A value than for the same N_part value, where A denotes the mass number. In other words, it is the geometry of the nuclear overlap zone, rather than just the number of nucleon participants that drives the detailed shape of the pseudorapidity distribution and its centrality dependence.Comment: 5 pages, 4 figures. Presented at the 20th International Conference on Nucleus-Nucleus Collisions (Quark Matter 2008), Jaipur, Rajasthan, India, 4-10 February 200

Evidence of Final-State Suppression of High-p_T Hadrons in Au + Au Collisions Using d + Au Measurements at RHIC

Transverse momentum spectra of charged hadrons with ${p_{T} <}$ 6 GeV/c have been measured near mid-rapidity (0.2 $< \eta <$ 1.4) by the PHOBOS experiment at RHIC in Au + Au and d + Au collisions at ${\sqrt{s_{_{NN}}} = \rm {200 GeV}}$. The spectra for different collision centralities are compared to ${p + \bar{p}}$ collisions at the same energy. The resulting nuclear modification factor for central Au + Au collisions shows evidence of strong suppression of charged hadrons in the high-$p_{T}$ region (${>2}$ GeV/c). In contrast, the d + Au nuclear modification factor exhibits no suppression of the high-$p_{T}$ yields. These measurements suggest a large energy loss of the high-$p_{T}$ particles in the highly interacting medium created in the central Au + Au collisions. The lack of suppression in d + Au collisions suggests that it is unlikely that initial state effects can explain the suppression in the central Au + Au collisions.Comment: 3 pages, 4 figures, International Europhysics Conference on High Energy Physics EPS (July 17th-23rd 2003) in Aachen, German

Non-flow correlations and elliptic flow fluctuations in gold-gold collisions at sqrt(s_NN)= 200 GeV

This paper presents results on event-by-event elliptic flow fluctuations in Au+Au collisions at sqrt(s_NN)=200Gev, where the contribution from non-flow correlations has been subtracted. An analysis method is introduced to measure non-flow correlations, relying on the assumption that non-flow correlations are most prominent at short ranges (Delta eta < 2). Assuming that non-flow correlations are of the order that is observed in p+p collisions for long range correlations (Delta eta > 2), relative elliptic flow fluctuations of approximately 30-40% are observed. These results are consistent with predictions based on spatial fluctuations of the participating nucleons in the initial nuclear overlap region. It is found that the long range non-flow correlations in Au+Au collisions would have to be more than an order of magnitude stronger compared to the p+p data to lead to the observed azimuthal anisotropy fluctuations with no intrinsic elliptic flow fluctuations.Comment: 9 pages, 7 figures, Published in Phys. Rev.