Refining Nodes and Edges of State Machines

State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement. We compare the two notions by means of examples and argue that, by adopting simple conventions, they can be combined into one method of refinement. In the combined method, node refinement can be used to develop architectural aspects of a model and edge refinement to develop algorithmic aspects. The two notions of refinement are grounded in previous work. Event-B is used as the foundation for our refinement theory and UML-B state machine refinement influences the style of node refinement. Hence we propose a method with direct proof of state machine refinement avoiding the detour via Event-B that is needed by UML-B

The PHENIX Experiment at RHIC

The physics emphases of the PHENIX collaboration and the design and current status of the PHENIX detector are discussed. The plan of the collaboration for making the most effective use of the available luminosity in the first years of RHIC operation is also presented.Comment: 5 pages, 1 figure. Further details of the PHENIX physics program available at http://www.rhic.bnl.gov/phenix

Decomposing transverse momentum balance contributions for quenched jets in PbPb collisions at √sNN=2.76 TeV

Interactions between jets and the quark-gluon plasma produced in heavy ion collisions are studied via the angular distributions of summed charged-particle transverse momenta (pT) with respect to both the leading and subleading jet axes in high-pT dijet events. The contributions of charged particles in different momentum ranges to the overall event pT balance are decomposed into short-range jet peaks and a long-range azimuthal asymmetry in charged-particle pT. The results for PbPb collisions are compared to those in pp collisions using data collected in 2011 and 2013, at collision energy √ sNN = 2.76 TeV with integrated luminosities of 166 µb −1 and 5.3 pb−1 , respectively, by the CMS experiment at the LHC. Measurements are presented as functions of PbPb collision centrality, charged-particle pT, relative azimuth, and radial distance from the jet axis for balanced and unbalanced dijets