1,322 research outputs found
Compositional nonblocking verification with always enabled events and selfloop-only events
This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the system and abstract events even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before
Measurements of Dihadron Correlations Relative to the Event Plane in Au+Au Collisions at GeV
Dihadron azimuthal correlations containing a high transverse momentum (\pt)
trigger particle are sensitive to the properties of the nuclear medium created
at RHIC through the strong interactions occurring between the traversing parton
and the medium, i.e. jet-quenching. Previous measurements revealed a strong
modification to dihadron azimuthal correlations in Au+Au collisions with
respect to \pp\ and \dAu\ collisions. The modification increases with the
collision centrality, suggesting a path-length dependence to the jet-quenching
effect. This paper reports STAR measurements of dihadron azimuthal correlations
in mid-central (20-60\%) Au+Au collisions at \snn=200~GeV as a function of
the trigger particle's azimuthal angle relative to the event plane,
\phis=|\phit-\psiEP|. The azimuthal correlation is studied as a function of
both the trigger and associated particle \pt. The subtractions of the
combinatorial background and anisotropic flow, assuming Zero Yield At Minimum
(\zyam), are described. The away-side correlation is strongly modified, and the
modification varies with \phis, which is expected to be related to the
path-length that the away-side parton traverses. The pseudo-rapidity (\deta)
dependence of the near-side correlation, sensitive to long range \deta
correlations (the ridge), is also investigated. The ridge and jet-like
components of the near-side correlation are studied as a function of \phis.
The ridge appears to drop with increasing \phis while the jet-like component
remains approximately constant. ...Comment: 50 pages, 39 figures, 6 table
Isolation of Flow and Nonflow Correlations by Two- and Four-Particle Cumulant Measurements of Azimuthal Harmonics in 200 GeV Au+Au Collisions
A data-driven method was applied to measurements of Au+Au collisions at
200 GeV made with the STAR detector at RHIC to isolate
pseudorapidity distance -dependent and -independent
correlations by using two- and four-particle azimuthal cumulant measurements.
We identified a component of the correlation that is -independent,
which is likely dominated by anisotropic flow and flow fluctuations. It was
also found to be independent of within the measured range of
pseudorapidity . The relative flow fluctuation was found to be for particles of transverse momentum
less than GeV/. The -dependent part may be attributed to
nonflow correlations, and is found to be relative to the
flow of the measured second harmonic cumulant at
Charged-to-neutral correlation at forward rapidity in Au+Au collisions at =200 GeV
Event-by-event fluctuations of the ratio of inclusive charged to photon
multiplicities at forward rapidity in Au+Au collision at =200
GeV have been studied. Dominant contribution to such fluctuations is expected
to come from correlated production of charged and neutral pions. We search for
evidences of dynamical fluctuations of different physical origins. Observables
constructed out of moments of multiplicities are used as measures of
fluctuations. Mixed events and model calculations are used as baselines.
Results are compared to the dynamical net-charge fluctuations measured in the
same acceptance. A non-zero statistically significant signal of dynamical
fluctuations is observed in excess to the model prediction when charged
particles and photons are measured in the same acceptance. We find that, unlike
dynamical net-charge fluctuation, charge-neutral fluctuation is not dominated
by correlation due to particle decay. Results are compared to the expectations
based on the generic production mechanism of pions due to isospin symmetry, for
which no significant (<1%) deviation is observed.Comment: 14 pages, 6 figure
Centrality and transverse momentum dependence of elliptic flow of multi-strange hadrons and meson in Au+Au collisions at = 200 GeV
We present high precision measurements of elliptic flow near midrapidity
() for multi-strange hadrons and meson as a function of
centrality and transverse momentum in Au+Au collisions at center of mass energy
200 GeV. We observe that the transverse momentum dependence of
and is similar to that of and , respectively,
which may indicate that the heavier strange quark flows as strongly as the
lighter up and down quarks. This observation constitutes a clear piece of
evidence for the development of partonic collectivity in heavy-ion collisions
at the top RHIC energy. Number of constituent quark scaling is found to hold
within statistical uncertainty for both 0-30 and 30-80 collision
centrality. There is an indication of the breakdown of previously observed mass
ordering between and proton at low transverse momentum in the
0-30 centrality range, possibly indicating late hadronic interactions
affecting the proton .Comment: 7 pages and 4 figures, Accepted for publication in Physical Review
Letter
Observation of charge asymmetry dependence of pion elliptic flow and the possible chiral magnetic wave in heavy-ion collisions
We present measurements of and elliptic flow, , at
midrapidity in Au+Au collisions at 200, 62.4, 39, 27,
19.6, 11.5 and 7.7 GeV, as a function of event-by-event charge asymmetry,
, based on data from the STAR experiment at RHIC. We find that
() elliptic flow linearly increases (decreases) with charge asymmetry
for most centrality bins at and higher.
At , the slope of the difference of
between and as a function of exhibits a
centrality dependence, which is qualitatively similar to calculations that
incorporate a chiral magnetic wave effect. Similar centrality dependence is
also observed at lower energies.Comment: 6 pages, 4 figure
Recommended from our members
Observation of Excess J/ψ Yield at Very Low Transverse Momenta in Au+Au Collisions at sqrt[s_{NN}]=200 GeV and U+U Collisions at sqrt[s_{NN}]=193 GeV.
We report on the first measurements of J/ψ production at very low transverse momentum (p_{T}<0.2 GeV/c) in hadronic Au+Au collisions at sqrt[s_{NN}]=200 GeV and U+U collisions at sqrt[s_{NN}]=193 GeV. Remarkably, the inferred nuclear modification factor of J/ψ at midrapidity in Au+Au (U+U) collisions reaches about 24 (52) for p_{T}<0.05 GeV/c in the 60%-80% collision centrality class. This noteworthy enhancement cannot be explained by hadronic production accompanied by cold and hot medium effects. In addition, the dN/dt distribution of J/ψ for the very low p_{T} range is presented for the first time. The distribution is consistent with that expected from the Au nucleus and shows a hint of interference. Comparison of the measurements to theoretical calculations of coherent production shows that the excess yield can be described reasonably well and reveals a partial disruption of coherent production in semicentral collisions, perhaps due to the violent hadronic interactions. Incorporating theoretical calculations, the results strongly suggest that the dramatic enhancement of J/ψ yield observed at extremely low p_{T} originates from coherent photon-nucleus interactions. In particular, coherently produced J/ψ's in violent hadronic collisions may provide a novel probe of the quark-gluon plasma
Azimuthal anisotropy in U+U and Au+Au collisions at RHIC
Collisions between prolate uranium nuclei are used to study how particle
production and azimuthal anisotropies depend on initial geometry in heavy-ion
collisions. We report the two- and four-particle cumulants, and
, for charged hadrons from U+U collisions at =
193 GeV and Au+Au collisions at = 200 GeV. Nearly fully
overlapping collisions are selected based on the amount of energy deposited by
spectators in the STAR Zero Degree Calorimeters (ZDCs). Within this sample, the
observed dependence of on multiplicity demonstrates that ZDC
information combined with multiplicity can preferentially select different
overlap configurations in U+U collisions. An initial-state model with gluon
saturation describes the slope of as a function of multiplicity in
central collisions better than one based on Glauber with a two-component
multiplicity model.Comment: Final paper version accepted for publication in Phys. Rev. Lett. New
version includes comparisons to a constituent quark glauber mode
Beam energy dependent two-pion interferometry and the freeze-out eccentricity of pions in heavy ion collisions at STAR
We present results of analyses of two-pion interferometry in Au+Au collisions
at = 7.7, 11.5, 19.6, 27, 39, 62.4 and 200 GeV measured in the
STAR detector as part of the RHIC Beam Energy Scan program. The extracted
correlation lengths (HBT radii) are studied as a function of beam energy,
azimuthal angle relative to the reaction plane, centrality, and transverse mass
() of the particles. The azimuthal analysis allows extraction of the
eccentricity of the entire fireball at kinetic freeze-out. The energy
dependence of this observable is expected to be sensitive to changes in the
equation of state. A new global fit method is studied as an alternate method to
directly measure the parameters in the azimuthal analysis. The eccentricity
shows a monotonic decrease with beam energy that is qualitatively consistent
with the trend from all model predictions and quantitatively consistent with a
hadronic transport model.Comment: 27 pages; 27 figure
- …