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

The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Octahedral conversion of a-SiO2-host matrix by pulsed ion implantation

This is the abstract. The results of measurements of X-ray photoelectron spectra (XPS) of a-SiO2-host material after pulsed implantation with [Mn+] and [Co+, Mn+]-ions as well as DFT-calculations are presented. The low-energy shift is found in XPS Si 2p and O 1s core-levels of single [Mn+] and dual [Co+, Mn+] pulsed ion-implanted a-SiO2 (E = 30 keV, D = 2*10^17 cm^-2) with respect to those of untreated a-SiO2.The similar changes are found in XPS Si 2p and O 1s of stishovite compared to those of quartz. This means that the pulsed ion-implantation induces the local high pressure effect which leads to an appearance of SiO6-structural units in alpha-SiO2 host, forming "stishovite-like" local atomic structure. This process can be described within electronic bonding transition from the four-fold "quartz-like" to six-fold "stishovite-like" high-pressure phase in SiO2 host-matrix. It is found that such octahedral conversion depends on the fluence and starts with doses higher than D = 3*10^16 cm^-2.Comment: 15 pages, 6 figures, 1 table, accepted in phys. stat. solidi (b

Defects and localized states in silica layers implanted with lead ions

The luminescence of silica films and glasses implanted with Pb+ ions was studied by means of time-resolved photoluminescence spectroscopy under synchrotron excitation. The ion-modified silica layers are "metal- dielectrics" composites the oxide part of which is represented by amorphous micro-heterogeneous phase with variable Pb2+ions. Two groups of emission centers are identified: such as: (1) radiation-induced oxygen-deficient centers (ODCs) and non-bridging oxygen atoms (NBOs) in the SiO2 matrix and (2) localized electronic states (LS) of the amorphous lead-silicate phase. © 2014 Elsevier B.V

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

Completeness in hybrid type theory

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret @i in propositional and first-order hybrid logic. This means: interpret @iαa, where αa is an expression of any type a, as an expression of type a that rigidly returns the value that αa receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual in hybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logic over Henkin’s logic.submittedVersionFil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Blackburn, Patrick. University of Roskilde. Centre for Culture and Identity. Department of Philosophy and Science Studies; Dinamarca.Fil: Huertas, Antonia. Universitat Oberta de Catalunya; España.Fil: Manzano, María. Universidad de Salamanca; España.Ciencias de la Computació