Phase modulator Patent

Phase modulator with tuned variable length electrical lines including coupling and varactor diode circuit

Electron beam charging of insulators: A self-consistent flight-drift model

International audienceElectron beam irradiation and the self-consistent charge transport in bulk insulating samples are described by means of a new flight-drift model and an iterative computer simulation. Ballistic secondary electron and hole transport is followed by electron and hole drifts, their possible recombination and/or trapping in shallow and deep traps. The trap capture cross sections are the Poole-Frenkel-type temperature and field dependent. As a main result the spatial distributions of currents j(x,t), charges, the field F(x,t) and the potential slope V(x,t) are obtained in a self-consistent procedure as well as the time-dependent secondary electron emission rate sigma(t) and the surface potential V0(t) For bulk insulating samples the time-dependent distributions approach the final stationary state with j(x,t)=const=0 and sigma=1. Especially for low electron beam energies E0=4 keV the incorporation of mainly positive charges can be controlled by the potential VG of a vacuum grid in front of the target surface. For high beam energies E0=10, 20, and 30 keV high negative surface potentials V0=−4, −14, and −24 kV are obtained, respectively. Besides open nonconductive samples also positive ion-covered samples and targets with a conducting and grounded layer (metal or carbon) on the surface have been considered as used in environmental scanning electron microscopy and common SEM in order to prevent charging. Indeed, the potential distributions V(x) are considerably small in magnitude and do not affect the incident electron beam neither by retarding field effects in front of the surface nor within the bulk insulating sample. Thus the spatial scattering and excitation distributions are almost not affected

Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Electron Beam Charging of Insulators with Surface Layer and Leakage Currents

International audienceThe electron beam induced selfconsistent charge transport in layered insulators is described by means of an electron-hole fight-drift model FDM and an iterative computer simulation. Ballistic secondary electrons and holes, their attenuation and drift, as well as their recombination, trapping, and detrapping are included. Thermal and field-enhanced detrapping are described by the Poole-Frenkel effect. Furthermore, an additional surface layer with a modified electric surface conductivity is included which describes the surface leakage currents and will lead to particular charge incorporation at the interface between the surface layer and the bulk substrate

Modelling the spectral response of the Swift-XRT CCD camera: Experience learnt from in-flight calibration

(Abbreviated) We show that the XRT spectral response calibration was complicated by various energy offsets in photon counting (PC) and windowed timing (WT) modes related to the way the CCD is operated in orbit (variation in temperature during observations, contamination by optical light from the sunlit Earth and increase in charge transfer inefficiency). We describe how these effects can be corrected for in the ground processing software. We show that the low-energy response, the redistribution in spectra of absorbed sources, and the modelling of the line profile have been significantly improved since launch by introducing empirical corrections in our code when it was not possible to use a physical description. We note that the increase in CTI became noticeable in June 2006 (i.e. 14 months after launch), but the evidence of a more serious degradation in spectroscopic performance (line broadening and change in the low-energy response) due to large charge traps (i.e. faults in the Si crystal) became more significant after March 2007. We describe efforts to handle such changes in the spectral response. Finally, we show that the commanded increase in the substrate voltage from 0 to 6V on 2007 August 30 reduced the dark current, enabling the collection of useful science data at higher CCD temperature (up to -50C). We also briefly describe the plan to recalibrate the XRT response files at this new voltage.Comment: 27 pages, 29 figures (many in colour), accepted for publication in A&

Focused labeled proof systems for modal logic

International audienceFocused proofs are sequent calculus proofs that group inference rules into alternating positive and negative phases. These phases can then be used to define macro-level inference rules from Gentzen's original and tiny introduction and structural rules. We show here that the inference rules of labeled proof systems for modal logics can similarly be described as pairs of such phases within the LKF focused proof system for first-order classical logic. We consider the system G3K of Negri for the modal logic K and define a translation from labeled modal formulas into first-order polarized formulas and show a strict correspondence between derivations in the two systems, i.e., each rule application in G3K corresponds to a bipole—a pair of a positive and a negative phases—in LKF. Since geometric axioms (when properly polarized) induce bipoles, this strong correspondence holds for all modal logics whose Kripke frames are characterized by geometric properties. We extend these results to present a focused labeled proof system for this same class of modal logics and show its soundness and completeness. The resulting proof system allows one to define a rich set of normal forms of modal logic proofs

A hilbert-style axiomatisation for equational hybrid logic

This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics

"Safe" Coulomb Excitation of 30Mg

We report on the first radioactive beam experiment performed at the recently commissioned REX-ISOLDE facility at CERN in conjunction with the highly efficient gamma spectrometer MINIBALL. Using 30Mg ions accelerated to an energy of 2.25 MeV/u together with a thin nat-Ni target, Coulomb excitation of the first excited 2+ states of the projectile and target nuclei well below the Coulomb barrier was observed. From the measured relative de-excitation gamma ray yields the B(E2; 0+ -> 2+) value of 30Mg was determined to be 241(31) e2fm4. Our result is lower than values obtained at projectile fragmentation facilities using the intermediate-energy Coulomb excitation method, and confirms the theoretical conjecture that the neutron-rich magnesium isotope 30Mg lies still outside the ``island of inversion''

First Results on In-Beam gamma Spectroscopy of Neutron-Rich Na and Mg Isotopes at REX-ISOLDE

After the successful commissioning of the radioactive beam experiment at ISOLDE (REX-ISOLDE) - an accelerator for exotic nuclei produced by ISOLDE - first physics experiments using these beams were performed. Initial experiments focused on the region of deformation in the vicinity of the neutron-rich Na and Mg isotopes. Preliminary results show the high potential and physics opportunities offered by the exotic isotope accelerator REX in conjunction with the modern Germanium gamma spectrometer MINIBALL.Comment: 7 pages, RNB6 conference contributio

Regulation by anti-inflammatory cytokines (IL-4, IL-10, IL-13, TGFβ)of interleukin-8 production by LPS- and/ or TNFα-activated human polymorphonuclear cells

The capacity to down-regulate the production of IL-8 by LPS-activated human polymorphonuclear cells (PMN) has been demonstrated for IL-4, IL-10, and TGFβ. We compared their relative capacities and further extended this property to IL-13. We report a great heterogeneity among individuals related to the responsiveness of PMN to the IL-4 and IL-13 inhibitory effects while their response to the IL-10 effect was homogenous. The inhibitory activities were observed at the transcriptional level. IL-8 induction by TNFα was, unlike its induction by LPS, resistant to the inhibitory effects of IL-10, IL-4, IL-13 and TGFβ. Furthermore, IL-10 and IL-4 inhibitory activity were less effective when TNFα was acting synergistically with LPS to induce IL-8 production by PMN. LPS-induced cell-associated IL-8, detected in the PMN cultures, could be marginally inhibited by IL-4 and IL-10. Altogether, our data demonstrate that IL-13 is able to inhibit LPS-induced IL-8 production by human PMN, although IL-10 remains the most active anti-inflammatory cytokine. Despite the capacity of IL-4, IL-10, and IL-13 to limit the production of TNFα-induced IL-8 in a whole blood assay, none was able to inhibit this production when studying isolated human polymorphonuclear cells