Electron trapping and acceleration on a downward density ramp: a two-stage approach

In a recent experiment at Lawrence Berkeley National Laboratory (Geddes et al 2008 Phys. Rev. Lett. 100 215004), electron bunches with about 1MeV mean energy and small absolute energy spread (about 0.3MeV) were produced by plasma wave breaking on a downward density ramp. It was then speculated that such a bunch might be accelerated further in a plasma of low constant density, while mostly preserving its small absolute energy spread. This would then lead to a bunch with a high mean energy and very low relative energy spread. In this paper, trapping of a low-energy, low-spread electron bunch on a downward density ramp, followed by acceleration in a constant-density plasma, has been explored through particle-in-cell simulations. It has been found that the scheme works best when it is used as a separate injection stage for a laserwakefield accelerator, where the injection and acceleration stages are separated by a vacuum gap

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache coherence protocol domain and consistent with the internal definition of deadlock in the Murphi model checker: we refer to this deadlock as a system- wide deadlock (s-deadlock). In s-deadlock, the entire system gets blocked and is unable to make any transition. Cache coherence protocols consist of N symmetric cache agents, where N is an unbounded parameter; thus the verification of s-deadlock freedom is naturally a parameterized verification problem. Parametrized verification techniques work by using sound abstractions to reduce the unbounded model to a bounded model. Efficient abstractions which work well for industrial scale protocols typically bound the model by replacing the state of most of the agents by an abstract environment, while keeping just one or two agents as is. However, leveraging such efficient abstractions becomes a challenge for s-deadlock: a violation of s-deadlock is a state in which the transitions of all of the unbounded number of agents cannot occur and so a simple abstraction like the one above will not preserve this violation. In this work we address this challenge by presenting a technique which leverages high-level information about the protocols, in the form of message sequence dia- grams referred to as flows, for constructing invariants that are collectively stronger than s-deadlock. Efficient abstractions can be constructed to verify these invariants. We successfully verify the German and Flash protocols using our technique

Photoluminescence and Electron Spin Resonance of ilicon Dioxide Crystal with Rutile Structure (Stishovite)

This work was supported by ERANET MYND. Also, financial support provided by Scientific Research Project for Students and Young Researchers Nr. SJZ/2017/2 realized at the Institute of Solid State Physics, University of Latvia is greatly acknowledged. The authors express our gratitude to R.I. Mashkovtsev for help in ESR signal interpretation. The authors are appreciative to T.I. Dyuzheva, L.M. Lityagina, N.A. Bendeliani for stishovite single crystals and to K. Hubner and H.-J. Fitting for stishovite powder of Barringer Meteor Crater.An electron spin resonance (ESR) and photoluminescence signal is observed in the as grown single crystal of stishovite indicating the presence of defects in the non‐irradiated sample. The photoluminescence of the as received stishovite single crystals exhibits two main bands – a blue at 3 eV and an UV at 4.75 eV. Luminescence is excited in the range of optical transparency of stishovite (below 8.75 eV) and, therefore, is ascribed to defects. A wide range of decay kinetics under a pulsed excitation is observed. For the blue band besides the exponential decay with a time constant of about 18 μs an additional ms component is revealed. For the UV band besides the fast component with a time constant of 1–3 ns a component with a decay in tens μs is obtained. The main components (18 μs and 1–3 ns) possess a typical intra‐center transition intensity thermal quenching. The effect of the additional slow component is related to the presence of OH groups and/or carbon molecular defects modifying the luminescence center. The additional slow components exhibit wave‐like thermal dependences. Photo‐thermally stimulated creation–destruction of the complex comprising host defect and interstitial modifiers explains the slow luminescence wave‐like thermal dependences.ERANET MYND; ISSP UL Nr. SJZ/2017/2 ; Institute of Solid State Physics, University of Latvia as the Center of Excellence has received funding from the European Union’s Horizon 2020 Framework Programme H2020-WIDESPREAD-01-2016-2017-TeamingPhase2 under grant agreement No. 739508, project CAMART

Modelling the sulfate capacity of simulated radioactive waste borosilicate glasses

The capacity of simulated high-level radioactive waste borosilicate glasses to incorporate sulfate has been studied as a function of glass composition. Combined Raman, 57Fe Mössbauer and literature evidence supports the attribution of coordination numbers and oxidation states of constituent cations for the purposes of modelling, and results confirm the validity of correlating sulfate incorporation in multicomponent borosilicate radioactive waste glasses with different models. A strong compositional dependency is observed and this can be described by an inverse linear relationship between incorporated sulfate (mol% SO42−) and total cation field strength index of the glass, Σ(z/a2), with a high goodness-of-fit (R2 ≈ 0.950). Similar relationships are also obtained if theoretical optical basicity, Λth (R2 ≈ 0.930) or non-bridging oxygen per tetrahedron ratio, NBO/T (R2 ≈ 0.919), are used. Results support the application of these models, and in particular Σ(z/a2), as predictive tools to aid the development of new glass compositions with enhanced sulfate capacities

Demonstration of laser pulse amplification by stimulated Brillouin scattering

The energy transfer by stimulated Brillouin backscatter from a long pump pulse (15 ps) to a short seed pulse (1 ps) has been investigated in a proof-of-principle demonstration experiment. The two pulses were both amplified in different beamlines of a Nd:glass laser system, had a central wavelength of 1054 nm and a spectral bandwidth of 2 nm, and crossed each other in an underdense plasma in a counter-propagating geometry, off-set by 10∘. It is shown that the energy transfer and the wavelength of the generated Brillouin peak depend on the plasma density, the intensity of the laser pulses, and the competition between two-plasmon decay and stimulated Raman scatter instabilities. The highest obtained energy transfer from pump to probe pulse is 2.5%, at a plasma density of 0.17ncr, and this energy transfer increases significantly with plasma density. Therefore, our results suggest that much higher efficiencies can be obtained when higher densities (above 0.25ncr) are used

One-neutron transfer study of 135Te and 137Xe by particle-γ coincidence spectroscopy: The ν1i13/2 state at N = 83

Additional information is reported on single-neutron states above the doubly closed-shell nucleus 132Sn. A radioactive ion beam of 134Te(N=82) at 565 MeV and a stable ion beam of 136Xe(N=82) at 560 MeV were used to study single-neutron states in the N=8

Acoustic Diagnostics of Electrical Origin Fault Modes with Readily Available Consumer-Grade Sensors

Acoustic diagnostics, traditionally associated with mechanical fault modes, can potentially solve a wider range of monitoring applications. Typically, fault modes are induced purposefully by the researcher through physical component damage whilst the system is shutdown. This paper presents low-cost real-time fault diagnostics of a previously unreported acute electrical origin fault that manifests sporadically during system operation with no triggering intervention. A suitability study into acoustic measurements from readily available consumer-grade sensors for low-cost real-time diagnostics of audible faults, and a brief overview of the theory and configuration of the wavelet packet transform (including optimal wavelet selection methods) and empirical mode decomposition processing algorithms is also included. The example electrical origin fault studied here is an unpredictable current instability arising with the PWM-controller of a BrushLess DC motor. Experimental trials positively detect 99.9 % of the 1160 resultant high-bandwidth torque transients using acoustic measurements from a USB microphone and a smartphone. While the use of acoustic techniques for detecting emerging electrical origin faults remains largely unexplored, the techniques demonstrated here can be readily adopted for the prevention of catastrophic failure of drive and power electronic components

Numerical simulations of photon acceleration occurring during the modulation of a long laser pulse in plasma

This chapter looks at numerical simulations of photon acceleration occurring during the modulation of a long laser pulse in plasm