298 research outputs found
Time and position sensitive single photon detector for scintillator read-out
We have developed a photon counting detector system for combined neutron and
gamma radiography which can determine position, time and intensity of a
secondary photon flash created by a high-energy particle or photon within a
scintillator screen. The system is based on a micro-channel plate
photomultiplier concept utilizing image charge coupling to a position- and
time-sensitive read-out anode placed outside the vacuum tube in air, aided by a
standard photomultiplier and very fast pulse-height analyzing electronics. Due
to the low dead time of all system components it can cope with the high
throughput demands of a proposed combined fast neutron and dual discrete energy
gamma radiography method (FNDDER). We show tests with different types of
delay-line read-out anodes and present a novel pulse-height-to-time converter
circuit with its potential to discriminate gamma energies for the projected
FNDDER devices for an automated cargo container inspection system (ACCIS).Comment: Proceedings of FNDA 201
Ultrafast Momentum Imaging of Pseudospin-Flip Excitations in Graphene
The pseudospin of Dirac electrons in graphene manifests itself in a peculiar
momentum anisotropy for photo-excited electron-hole pairs. These interband
excitations are in fact forbidden along the direction of the light
polarization, and are maximum perpendicular to it. Here, we use time- and
angle-resolved photoemission spectroscopy to investigate the resulting
unconventional hot carrier dynamics, sampling carrier distributions as a
function of energy and in-plane momentum. We first show that the
rapidly-established quasi-thermal electron distribution initially exhibits an
azimuth-dependent temperature, consistent with relaxation through collinear
electron-electron scattering. Azimuthal thermalization is found to occur only
at longer time delays, at a rate that depends on the substrate and the static
doping level. Further, we observe pronounced differences in the electron and
hole dynamics in n-doped samples. By simulating the Coulomb- and
phonon-mediated carrier dynamics we are able to disentangle the influence of
excitation fluence, screening, and doping, and develop a microscopic picture of
the carrier dynamics in photo-excited graphene. Our results clarify new aspects
of hot carrier dynamics that are unique to Dirac materials, with relevance for
photo-control experiments and optoelectronic device applications.Comment: 23 pages, 12 figure
Enhanced electron-phonon coupling in graphene with periodically distorted lattice
Electron-phonon coupling directly determines the stability of cooperative
order in solids, including superconductivity, charge and spin density waves.
Therefore, the ability to enhance or reduce electron-phonon coupling by optical
driving may open up new possibilities to steer materials' functionalities,
potentially at high speeds. Here we explore the response of bilayer graphene to
dynamical modulation of the lattice, achieved by driving optically-active
in-plane bond stretching vibrations with femtosecond mid-infrared pulses. The
driven state is studied by two different ultrafast spectroscopic techniques.
Firstly, TeraHertz time-domain spectroscopy reveals that the Drude scattering
rate decreases upon driving. Secondly, the relaxation rate of hot
quasi-particles, as measured by time- and angle-resolved photoemission
spectroscopy, increases. These two independent observations are quantitatively
consistent with one another and can be explained by a transient three-fold
enhancement of the electron-phonon coupling constant. The findings reported
here provide useful perspective for related experiments, which reported the
enhancement of superconductivity in alkali-doped fullerites when a similar
phonon mode was driven.Comment: 12 pages, 4 figure
Driving magnetic order in a manganite by ultrafast lattice excitation
Optical control of magnetism, of interest for high-speed data processing and
storage, has only been demonstrated with near-infrared excitation to date.
However, in absorbing materials, such high photon energies can lead to
significant dissipation, making switch back times long and miniaturization
challenging. In manganites, magnetism is directly coupled to the lattice, as
evidenced by the response to external and chemical pressure, or to
ferroelectric polarization. Here, femtosecond mid-infrared pulses are used to
excite the lattice in La0.5Sr1.5MnO4 and the dynamics of electronic order are
measured by femtosecond resonant soft x-ray scattering with an x-ray free
electron laser. We observe that magnetic and orbital orders are reduced by
excitation of the lattice. This process, which occurs within few picoseconds,
is interpreted as relaxation of the complex charge-orbital-spin structure
following a displacive exchange quench - a prompt shift in the equilibrium
value of the magnetic and orbital order parameters after the lattice has been
distorted. A microscopic picture of the underlying unidirectional lattice
displacement is proposed, based on nonlinear rectification of the
directly-excited vibrational field, as analyzed in the specific lattice
symmetry of La0.5Sr1.5MnO4. Control of magnetism through ultrafast lattice
excitation has important analogies to the multiferroic effect and may serve as
a new paradigm for high-speed optomagnetism.Comment: 10 pages manuscript, 4 figure
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
In a previous paper, we have shown that clause sets belonging to the HornBernays-Sch\"onfinkel fragment over simple linear real arithmetic (HBS(SLR))can be translated into HBS clause sets over a finite set of first-orderconstants. The translation preserves validity and satisfiability and it isstill applicable if we extend our input with positive universally orexistentially quantified verification conditions (conjectures). We call thistranslation a Datalog hammer. The combination of its implementation inSPASS-SPL with the Datalog reasoner VLog establishes an effective way ofdeciding verification conditions in the Horn fragment. We verify supervisorcode for two examples: a lane change assistant in a car and an electroniccontrol unit of a supercharged combustion engine. In this paper, we improve ourDatalog hammer in several ways: we generalize it to mixed real-integerarithmetic and finite first-order sorts; we extend the class of acceptableinequalities beyond variable bounds and positively grounded inequalities; andwe significantly reduce the size of the hammer output by a soft typingdiscipline. We call the result the sorted Datalog hammer. It not only allows usto handle more complex supervisor code and to model already consideredsupervisor code more concisely, but it also improves our performance on realworld benchmark examples. Finally, we replace the before file-based interfacebetween SPASS-SPL and VLog by a close coupling resulting in a single executablebinary.<br
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
International audienceAbstract In a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clause sets over a finite set of first-order constants. The translation preserves validity and satisfiability and it is still applicable if we extend our input with positive universally or existentially quantified verification conditions (conjectures). We call this translation a Datalog hammer. The combination of its implementation in SPASS-SPL with the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. We verify supervisor code for two examples: a lane change assistant in a car and an electronic control unit of a supercharged combustion engine. In this paper, we improve our Datalog hammer in several ways: we generalize it to mixed real-integer arithmetic and finite first-order sorts; we extend the class of acceptable inequalities beyond variable bounds and positively grounded inequalities; and we significantly reduce the size of the hammer output by a soft typing discipline. We call the result the sorted Datalog hammer. It not only allows us to handle more complex supervisor code and to model already considered supervisor code more concisely, but it also improves our performance on real world benchmark examples. Finally, we replace the before file-based interface between SPASS-SPL and VLog by a close coupling resulting in a single executable binary
An Optical Readout TPC (O-TPC) for Studies in Nuclear Astrophysics With Gamma-Ray Beams at HIgS
We report on the construction, tests, calibrations and commissioning of an
Optical Readout Time Projection Chamber (O-TPC) detector operating with a
CO2(80%) + N2(20%) gas mixture at 100 and 150 Torr. It was designed to measure
the cross sections of several key nuclear reactions involved in stellar
evolution. In particular, a study of the rate of formation of oxygen and carbon
during the process of helium burning will be performed by exposing the chamber
gas to intense nearly mono-energetic gamma-ray beams at the High Intensity
Gamma Source (HIgS) facility. The O-TPC has a sensitive target-drift volume of
30x30x21 cm^3. Ionization electrons drift towards a double parallel grid
avalanche multiplier, yielding charge multiplication and light emission.
Avalanche induced photons from N2 emission are collected, intensified and
recorded with a Charge Coupled Device (CCD) camera, providing two-dimensional
track images. The event's time projection (third coordinate) and the deposited
energy are recorded by photomultipliers and by the TPC charge-signal,
respectively. A dedicated VME-based data acquisition system and associated data
analysis tools were developed to record and analyze these data. The O-TPC has
been tested and calibrated with 3.183 MeV alpha-particles emitted by a 148Gd
source placed within its volume with a measured energy resolution of 3.0%.
Tracks of alpha and 12C particles from the dissociation of 16O and of three
alpha-particles from the dissociation of 12C have been measured during initial
in-beam test experiments performed at the HIgS facility at Duke University. The
full detection system and its performance are described and the results of the
preliminary in-beam test experiments are reported.Comment: Supported by the Richard F. Goodman Yale-Weizmann Exchange Program,
ACWIS, NY, and USDOE grant Numbers: DE-FG02-94ER40870 and DE-FG02-97ER4103
SPASS-SATT: A CDCL(LA) Solver
International audienceSPASS-SATT is a CDCL(LA) solver for linear rational and linear mixed/integer arithmetic. This system description explains its specific features: fast cube tests for integer solvability, bounding transformations for unbounded problems, close interaction between the SAT solver and the theory solver, efficient data structures, and small-clause-normal-form generation. SPASS-SATT is currently one of the strongest systems on the respective SMT-LIB benchmarks
Monte-Carlo Simulations of Radiation-Induced Activation in a Fast-Neutron and Gamma- Based Cargo Inspection System
An air cargo inspection system combining two nuclear reaction based
techniques, namely Fast-Neutron Resonance Radiography and Dual-Discrete-Energy
Gamma Radiography is currently being developed. This system is expected to
allow detection of standard and improvised explosives as well as special
nuclear materials. An important aspect for the applicability of nuclear
techniques in an airport inspection facility is the inventory and lifetimes of
radioactive isotopes produced by the neutron and gamma radiation inside the
cargo, as well as the dose delivered by these isotopes to people in contact
with the cargo during and following the interrogation procedure. Using MCNPX
and CINDER90 we have calculated the activation levels for several typical
inspection scenarios. One example is the activation of various metal samples
embedded in a cotton-filled container. To validate the simulation results, a
benchmark experiment was performed, in which metal samples were activated by
fast-neutrons in a water-filled glass jar. The induced activity was determined
by analyzing the gamma spectra. Based on the calculated radioactive inventory
in the container, the dose levels due to the induced gamma radiation were
calculated at several distances from the container and in relevant time windows
after the irradiation, in order to evaluate the radiation exposure of the cargo
handling staff, air crew and passengers during flight. The possibility of
remanent long-lived radioactive inventory after cargo is delivered to the
client is also of concern and was evaluated.Comment: Proceedings of FNDA 201
Negotiations of minority ethnic rugby league players in the Cathar country of France
This article is based on new empirical, qualitative research with minority ethnic rugby league players in the southwest of France. Drawing on similar research on rugby league in the north and the south of England, the article examines how rugby league, traditionally viewed as a white, working-class male game (Collins, 2006; Denham, 2004; Spracklen, 1995, 2001) has had to re-imagine its symbolic boundaries as they are constituted globally and locally to accommodate the needs of players from minority ethnic backgrounds. In particular, the article examines the sense in which experiences of minority ethnic rugby league players in France compare with those of their counterparts in England (Spracklen, 2001, 2007), how rugby league is used in France to construct identity, and in what sense the norms associated with the imaginary community of rugby league are replicated or challenged by the involvement of minority ethnic rugby league players in France. Questions about what it means to be (provincial, national) French (Kumar, 2006) are posed, questions that relate to the role of sport in the construction of Frenchness, and in particular the role of rugby league (and union). © Copyright ISSA and SAGE Publications
- âŠ