34 research outputs found

    Ignition and extinction phenomena in helium micro hollow cathode discharges

    No full text
    International audienceMicro hollow cathode discharges (MHCD) were produced using 250 ”m thick dielectric layer of alumina sandwiched between two nickel electrodes of 8 ”m thickness. A through cavity at the center of the chip was formed by laser drilling technique. MHCD with a diameter of few hundreds of micrometers allowed us to generate direct current discharges in helium at up to atmospheric pressure. A slowly varying ramped voltage generator was used to study the ignition and the extinction periods of the microdischarges. The analysis was performed by using electrical characterisation of the V-I behaviour and the measurement of He*(3S1) metastable atoms density by tunable diode laser spectroscopy. At the ignition of the microdischarges, 2 ”s long current peak as high as 24 mA was observed, sometimes followed by low amplitude damped oscillations. At helium pressure above 400 Torr, an oscillatory behaviour of the discharge current was observed just before the extinction of the microdischarges. The same type of instability in the extinction period at high pressure also appeared on the density of He*(3S1) metastable atoms, but delayed by a few ”s relative to the current oscillations. Metastable atoms thus cannot be at the origin of the generation of the observed instabilities

    Direct measurements of the energy flux due to chemical reactions at the surface of a silicon sample interacting with a SF6 plasma

    Full text link
    Energy exchanges due to chemical reactions between a silicon surface and a SF6 plasma were directly measured using a heat flux microsensor (HFM). The energy flux evolution was compared with those obtained when only few reactions occur at the surface to show the part of chemical reactions. At 800 W, the measured energy flux due to chemical reactions is estimated at about 7 W.cm\^{-2} against 0.4 W.cm\^{-2} for ion bombardment and other contributions. Time evolution of the HFM signal is also studied. The molar enthalpy of the reaction giving SiF4 molecules was evaluated and is consistent with values given in literature.Comment: 3 page

    On the Monniaux Problem in abstract interpretation

    No full text
    The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: given a program P, a safety (e.g., non-reachability) specification ϕ, and an abstract domain of invariants D, does there exist an inductive invariant I in D guaranteeing that program P meets its specification ϕ. The Monniaux Problem is of course parameterised by the classes of programs and invariant domains that one considers. In this paper, we show that the Monniaux Problem is undecidable for unguarded affine programs and semilinear invariants (unions of polyhedra). Moreover, we show that decidability is recovered in the important special case of simple linear loops

    On positivity and minimality for second-order holonomic sequences

    Get PDF
    An infinite sequence ⟹u_n⟩_n of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with polynomial coefficients. Such a sequence is said to be positive if each u_n ≄ 0, and minimal if, given any other linearly independent sequence ⟹v_n⟩_n satisfying the same recurrence relation, the ratio u_n/v_n → 0 as n → ∞. In this paper we give a Turing reduction of the problem of deciding positivity of second-order holonomic sequences to that of deciding minimality of such sequences. More specifically, we give a procedure for determining positivity of second-order holonomic sequences that terminates in all but an exceptional number of cases, and we show that in these exceptional cases positivity can be determined using an oracle for deciding minimality

    Effect of limiting the cathode surface on direct current microhollow cathode discharge in helium

    No full text
    International audienceThis paper describes how to light several microdischarges in parallel without having to individually ballast each one. The V-I curve of a microhollow cathode discharge is characterized by a constant voltage in the normal glow regime because the plasma is able to spread over the cathode surface area to provide the additional secondary electrons needed. If one limits the cathode surface area, the V-I characteristic can be forced into an abnormal glow regime in which the operating voltage must increase with the current. It is then possible to light several microdischarges mounted in parallel without ballasting them individually. Microdischarges are nonequilibrium discharges spatially confined to dimensions smaller than 1 mm. They are a promising approach to the generation and maintenance of stable dc glow discharges at atmospheric pressure and they present interesting challenges for plasma science ͑impact of quantum electrodynamics on spontaneous emission rate and quasineu-trality breaking͒. 1 Parallel microplasmas can be created using several kinds of microdevices. 2 Some teams use ballasts to individually initiate the plasma in each microcavity independently. 3,

    Experimental study and simulation of a micro-discharge with limited cathode area

    No full text
    International audienceWe report in this paper simulation results and experimental measurements to characterize a micro-discharge generated in a single micro cavity device operating in helium. By spatially limiting the cathode surface area using a dielectric layer, we demonstrate the ability of the micro-discharge to work in a steady-state abnormal glow regime. The physical properties of this regime are discussed
    corecore