1,645 research outputs found

    Test in a beam of large-area Micromegas chambers for sampling calorimetry

    Full text link
    Application of Micromegas for sampling calorimetry puts specific constraints on the design and performance of this gaseous detector. In particular, uniform and linear response, low noise and stability against high ionisation density deposits are prerequisites to achieving good energy resolution. A Micromegas-based hadronic calorimeter was proposed for an application at a future linear collider experiment and three technologically advanced prototypes of 1×\times1 m2^{2} were constructed. Their merits relative to the above-mentioned criteria are discussed on the basis of measurements performed at the CERN SPS test-beam facility

    Internal convection in thermoelectric generator models

    Full text link
    Coupling between heat and electrical currents is at the heart of thermoelectric processes. From a thermal viewpoint this may be seen as an additional thermal flux linked to the appearance of electrical current in a given thermoelectric system. Since this additional flux is associated to the global displacement of charge carriers in the system, it can be qualified as convective in opposition to the conductive part associated with both phonons transport and heat transport by electrons under open circuit condition, as, e.g., in the Wiedemann-Franz relation. In this article we demonstrate that considering the convective part of the thermal flux allows both new insight into the thermoelectric energy conversion and the derivation of the maximum power condition for generators with realistic thermal coupling.Comment: 8 pages, 3 figure

    On the Expressivity and Applicability of Model Representation Formalisms

    Get PDF
    A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.Comment: 15 page

    MICROMEGAS chambers for hadronic calorimetry at a future linear collider

    Full text link
    Prototypes of MICROMEGAS chambers, using bulk technology and analog readout, with 1x1cm2 readout segmentation have been built and tested. Measurements in Ar/iC4H10 (95/5) and Ar/CO2 (80/20) are reported. The dependency of the prototypes gas gain versus pressure, gas temperature and amplification gap thickness variations has been measured with an 55Fe source and a method for temperature and pressure correction of data is presented. A stack of four chambers has been tested in 200GeV/c and 7GeV/c muon and pion beams respectively. Measurements of response uniformity, detection efficiency and hit multiplicity are reported. A bulk MICROMEGAS prototype with embedded digital readout electronics has been assembled and tested. The chamber layout and first results are presented

    Toward Forecasting Volcanic Eruptions using Seismic Noise

    Full text link
    During inter-eruption periods, magma pressurization yields subtle changes of the elastic properties of volcanic edifices. We use the reproducibility properties of the ambient seismic noise recorded on the Piton de la Fournaise volcano to measure relative seismic velocity variations of less than 0.1 % with a temporal resolution of one day. Our results show that five studied volcanic eruptions were preceded by clearly detectable seismic velocity decreases within the zone of magma injection. These precursors reflect the edifice dilatation induced by magma pressurization and can be useful indicators to improve the forecasting of volcanic eruptions.Comment: Supplementary information: http://www-lgit.obs.ujf-grenoble.fr/~fbrengui/brenguier_SI.pdf Supplementary video: http://www-lgit.obs.ujf-grenoble.fr/~fbrengui/brenguierMovieVolcano.av

    Electronic thermal transport in strongly correlated multilayered nanostructures

    Full text link
    The formalism for a linear-response many-body treatment of the electronic contributions to thermal transport is developed for multilayered nanostructures. By properly determining the local heat-current operator, it is possible to show that the Jonson-Mahan theorem for the bulk can be extended to inhomogeneous problems, so the various thermal-transport coefficient integrands are related by powers of frequency (including all effects of vertex corrections when appropriate). We illustrate how to use this formalism by showing how it applies to measurements of the Peltier effect, the Seebeck effect, and the thermal conductance.Comment: 17 pages, 4 figures, submitted to Phys. Rev.
    • 

    corecore