338 research outputs found

    Heterogeneous Timed Machines

    Get PDF
    International audienceWe present an algebra of discrete timed input/output au- tomata that execute in the context of different clock granularities -- timed machines -- as models of systems that can be dynamically inter- connected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasi- ble. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata

    Anisotropic optical properties of single-crystal GdBa2Cu3O7-delta

    Get PDF
    The optical spectrum of reduced-T(c) GdBa2Cu3O7-delta has been measured for polarizations parallel and perpendicular to the ab plane. The sample was an oxygen-deficient single crystal with a large face containing the c axis. The polarized reflectance from this face was measured from 20-300 K in the spectral region from 30-3000 cm-1, with 300 K data to 30 000 cm-1. Kramers-Kronig analysis was used to determine the spectral dependence of the ab and the c components of the dielectric tensor. The optical properties are strongly anisotropic. The ab-plane response resembles that of other reduced-T(c) materials whereas the c axis, in contrast, shows only the presence of several phonons. There is a complete absence of charge carrier response along c above and below T(c). This observation allows us to set an upper limit to the free-carrier spectral weight for transport perpendicular to the CuO2 planes

    International Consortium for Health Outcomes Measurement (ICHOM): Standardized Patient-Centered Outcomes Measurement Set for Heart Failure Patients

    Get PDF
    Whereas multiple national, international, and trial registries for heart failure have been created, international standards for clinical assessment and outcome measurement do not currently exist. The working group's objective was to facilitate international comparison in heart failure care, using standardized parameters and meaningful patient-centered outcomes for research and quality of care assessments. The International Consortium for Health Outcomes Measurement recruited an international working group of clinical heart failure experts, researchers, and patient representatives to define a standard set of outcomes and risk-adjustment variables. This was designed to document, compare, and ultimately improve patient care outcomes in the heart failure population, with a focus on global feasibility and relevance. The working group employed a Delphi process, patient focus groups, online patient surveys, and multiple systematic publications searches. The process occurred over 10 months, employing 7 international teleconferences. A 17-item set has been established, addressing selected functional, psychosocial, burden of care, and survival outcome domains. These measures were designed to include all patients with heart failure, whether entered at first presentation or subsequent decompensation, excluding cardiogenic shock. Sources include clinician report, administrative data, and validated patient-reported outcome measurement tools: the Kansas City Cardiomyopathy Questionnaire; the Patient Health Questionnaire-2; and the Patient-Reported Outcomes Measurement Information System. Recommended data included those to support risk adjustment and benchmarking across providers and regions. The International Consortium for Health Outcomes Measurement developed a dataset designed to capture, compare, and improve care for heart failure, with feasibility and relevance for patients and clinicians worldwide

    Magnetic Field Amplification in Galaxy Clusters and its Simulation

    Get PDF
    We review the present theoretical and numerical understanding of magnetic field amplification in cosmic large-scale structure, on length scales of galaxy clusters and beyond. Structure formation drives compression and turbulence, which amplify tiny magnetic seed fields to the microGauss values that are observed in the intracluster medium. This process is intimately connected to the properties of turbulence and the microphysics of the intra-cluster medium. Additional roles are played by merger induced shocks that sweep through the intra-cluster medium and motions induced by sloshing cool cores. The accurate simulation of magnetic field amplification in clusters still poses a serious challenge for simulations of cosmological structure formation. We review the current literature on cosmological simulations that include magnetic fields and outline theoretical as well as numerical challenges.Comment: 60 pages, 19 Figure

    Heavy quarkonium: progress, puzzles, and opportunities

    Get PDF
    A golden age for heavy quarkonium physics dawned a decade ago, initiated by the confluence of exciting advances in quantum chromodynamics (QCD) and an explosion of related experimental activity. The early years of this period were chronicled in the Quarkonium Working Group (QWG) CERN Yellow Report (YR) in 2004, which presented a comprehensive review of the status of the field at that time and provided specific recommendations for further progress. However, the broad spectrum of subsequent breakthroughs, surprises, and continuing puzzles could only be partially anticipated. Since the release of the YR, the BESII program concluded only to give birth to BESIII; the BB-factories and CLEO-c flourished; quarkonium production and polarization measurements at HERA and the Tevatron matured; and heavy-ion collisions at RHIC have opened a window on the deconfinement regime. All these experiments leave legacies of quality, precision, and unsolved mysteries for quarkonium physics, and therefore beg for continuing investigations. The plethora of newly-found quarkonium-like states unleashed a flood of theoretical investigations into new forms of matter such as quark-gluon hybrids, mesonic molecules, and tetraquarks. Measurements of the spectroscopy, decays, production, and in-medium behavior of c\bar{c}, b\bar{b}, and b\bar{c} bound states have been shown to validate some theoretical approaches to QCD and highlight lack of quantitative success for others. The intriguing details of quarkonium suppression in heavy-ion collisions that have emerged from RHIC have elevated the importance of separating hot- and cold-nuclear-matter effects in quark-gluon plasma studies. This review systematically addresses all these matters and concludes by prioritizing directions for ongoing and future efforts.Comment: 182 pages, 112 figures. Editors: N. Brambilla, S. Eidelman, B. K. Heltsley, R. Vogt. Section Coordinators: G. T. Bodwin, E. Eichten, A. D. Frawley, A. B. Meyer, R. E. Mitchell, V. Papadimitriou, P. Petreczky, A. A. Petrov, P. Robbe, A. Vair

    A resonant-term-based model including a nascent disk, precession, and oblateness: application to GJ 876

    Full text link
    Investigations of two resonant planets orbiting a star or two resonant satellites orbiting a planet often rely on a few resonant and secular terms in order to obtain a representative quantitative description of the system's dynamical evolution. We present a semianalytic model which traces the orbital evolution of any two resonant bodies in a first- through fourth-order eccentricity or inclination-based resonance dominated by the resonant and secular arguments of the user's choosing. By considering the variation of libration width with different orbital parameters, we identify regions of phase space which give rise to different resonant ''depths,'' and propose methods to model libration profiles. We apply the model to the GJ 876 extrasolar planetary system, quantify the relative importance of the relevant resonant and secular contributions, and thereby assess the goodness of the common approximation of representing the system by just the presumably dominant terms. We highlight the danger in using ''order'' as the metric for accuracy in the orbital solution by revealing the unnatural libration centers produced by the second-order, but not first-order, solution, and by demonstrating that the true orbital solution lies somewhere ''in-between'' the third- and fourth-order solutions. We also present formulas used to incorporate perturbations from central-body oblateness and precession, and a protoplanetary or protosatellite thin disk with gaps, into a resonant system. We quantify these contributions to the GJ 876 system, and thereby highlight the conditions which must exist for multi-planet exosystems to be significantly influenced by such factors. We find that massive enough disks may convert resonant libration into circulation; such disk-induced signatures may provide constraints for future studies of exoplanet systems.Comment: 39 pages of body text, 21 figures, 5 tables, 1 appendix, accepted for publication in Celestial Mechanics and Dynamical Astronom
    • 

    corecore