2,792,661 research outputs found

    Event anisotropy in 4.2A GeV/c C+C collisions

    Get PDF
    The directed and elliptic flow of protons and negative pions in 4.2A GeV/c C+C collisions is studied using the Fourier analysis of azimuthal distributions. It is found that the protons exhibit pronounced directed flow, while the flow of pions is either non existent or too weak to be detected experimentally. Also, it is found that in the entire rapidity interval the elliptic flow is very small if not zero. These results are confirmed by the Quark-Gluon-String Model (QGSM) and the relativistic transport model (ART 1.0), except that these models predict very weak antiflow of pions. The more detailed comparison with the QGSM suggests that the decay of resonances and rescattering of secondaries dominantly determine the proton and negative pion flow at this energy.Comment: 7 pages, 3 figures, TeX file changed from double to single-spacin

    Synchronising C/C++ and POWER

    Get PDF
    Shared memory concurrency relies on synchronisation primitives: compare-and-swap, load-reserve/store-conditional (aka LL/SC), language-level mutexes, and so on. In a sequentially consistent setting, or even in the TSO setting of x86 and Sparc, these have well-understood semantics. But in the very relaxed settings of IBM®, POWER®, ARM, or C/C++, it remains surprisingly unclear exactly what the programmer can depend on. This paper studies relaxed-memory synchronisation. On the hardware side, we give a clear semantic characterisation of the load-reserve/store-conditional primitives as provided by POWER multiprocessors, for the first time since they were introduced 20 years ago; we cover their interaction with relaxed loads, stores, barriers, and dependencies. Our model, while not officially sanctioned by the vendor, is validated by extensive testing, comparing actual implementation behaviour against an oracle generated from the model, and by detailed discussion with IBM staff. We believe the ARM semantics to be similar. On the software side, we prove sound a proposed compilation scheme of the C/C++ synchronisation constructs to POWER, including C/C++ spinlock mutexes, fences, and read-modify-write operations, together with the simpler atomic operations for which soundness is already known from our previous work; this is a first step in verifying concurrent algorithms that use load-reserve/store-conditional with respect to a realistic semantics. We also build confidence in the C/C++ model in its own terms, fixing some omissions and contributing to the C standards committee adoption of the C++11 concurrency model

    CRAF/Cassini (C/C)

    Get PDF
    The Comet Rendezvous Asteroid Flyby (CRAF) is a mission to rendezvous with the comet Tempel 2 and to station-keep at the comet for a period of 2.6 years, including the comet perihelion. There is a flyby of the asteroid Mandeville prior to the arrival at Tempel 2. The Cassini is a mission to place a spacecraft in a highly elliptical orbit around the planet Saturn and deliver a probe to the surface of its satellite Titan. There is a flyby of the asteroid 1989 UR1 prior to arrival at Saturn. Coverage goals for the two missions are explained. Information is given in tabular form for frequency assignments, telemetry, command, navigation, and tracking support responsibility

    Library abstraction for C/C++ concurrency

    Get PDF
    When constructing complex concurrent systems, abstraction is vital: programmers should be able to reason about concurrent libraries in terms of abstract specifications that hide the implementation details. Relaxed memory models present substantial challenges in this respect, as libraries need not provide sequentially consistent abstractions: to avoid unnecessary synchronisation, they may allow clients to observe relaxed memory effects, and library specifications must capture these. In this paper, we propose a criterion for sound library abstraction in the new C11 and C++11 concurrency model, generalising the standard sequentially consistent notion of linearizability. We prove that our criterion soundly captures all client-library interactions, both through call and return values, and through the subtle synchronisation effects arising from the memory model. To illustrate our approach, we verify implementations against specifications for the lock-free Treiber stack and a producer-consumer queue. Ours is the first approach to compositional reasoning for concurrent C11/C++11 programs. 1

    Murahashi Cross‐Coupling at −78 °C:A One-Pot Procedure for Sequential C-C/C-C, C-C/C-N, and C-C/C-S Cross-Coupling of Bromo-Chloro-Arenes

    Get PDF
    The coupling of organolithium reagents, including strongly hindered examples, at cryogenic temperatures (as low as -78 degrees C) has been achieved with high-reactivity Pd-NHC catalysts. A temperature-dependent chemoselectivity trigger has been developed for the selective coupling of aryl bromides in the presence of chlorides. Building on this, a one-pot, sequential coupling strategy is presented for the rapid construction of advanced building blocks. Importantly, one-shot addition of alkyllithium compounds to Pd cross-coupling reactions has been achieved, eliminating the need for slow addition by syringe pump

    Proton stopping in C+C, d+C, C+Ta and d+Ta collisions at 4.2A GeV/c

    Get PDF
    The shape of proton rapidity distributions is analysed in terms of their Gaussian components, and the average rapidity loss is determined in order to estimate the amount of stopping in C+C, d+C, C+Ta and d+Ta collisions at 4.2A GeV/c. Three Gaussians correspond to the nuclear transparency and describe well all peripheral and also C+C central collisions. Two-component shape is obtained in case of d+C and C+Ta central collisions. Finally one Gaussian, found in d+Ta central collisions, corresponds to the full stopping. The calculated values of the average rapidity loss support the qualitative relationship between the number of Gaussian components and the corresponding stopping power. It is also observed, in central collisions, that the average rapidity loss increases with the ratio of the number of target and the number of projectile participants.Comment: 9 pages REVTeX, 1 PS figure replaced, to be published in Phys.Rev.

    Think global, act local: Burn care in a resource-limited setting

    Get PDF
    Summary The few studies that are available show that the burden of burn injuries remains disproportionally high in resource-limited settings. These settings have a high incidence of burns, and due to limited access to safe burn care the mortality and morbidity remains high in these settings. Of all fire-related cases of mortality worldwide, 95% occur in resource-limited settings. Patients who survive are likely to face serious complications, such as burn scar contractures. During my work as a global health specialist, we, the Tanzanian doctors and I, were indeed confronted with a high incidence of burn injuries. We had limited treatment options available and experienced high mortality and morbidity due to burns. From the literature it became evident that little evidence was available regarding burn care in resource-limited settings. Few studies are available on the outcomes of skin grafting procedures, no studies were available that showed how often burn scar contractures developed, and none of the studies were able to prove whether contracture release surgery was effective in the longer-term. There are valuable and useful treatment guidelines available from the International Society for Burn Injuries, specifically aimed for resource-limited settings. However, the Society also pointed out that the evidence for the guidelines was scarce and recommendations were frequently based on expert opinion. Outline of this thesis To evaluate the current state of burn care and to guide future improvements in burn care of underserved populations in resource-limited settings, insight into current treatment and its outcomes is of vital importance. The studies described in this thesis concentrate on three areas: short-term reconstructive surgical missions (Part I); acute burn care (Part II); and burn scar contracture release surgery (Part III)
    corecore