71 research outputs found
Consistent Treatment of Relativistic Effects in Electrodisintegration of the Deuteron
The influence of relativistic contributions to deuteron electrodisintegration
is systematically studied in various kinematic regions of energy and momentum
transfer. As theoretical framework the equation-of-motion and the unitarily
equivalent S-matrix approaches are used. In a (p/M)-expansion, all leading
order relativistic -exchange contributions consistent with the Bonn OBEPQ
model are included. In addition, static heavy meson exchange currents including
boost terms, -currents, and -isobar contributions
are considered. Sizeable effects from the various relativistic two-body
contributions, mainly from -exchange, have been found in inclusive form
factors and exclusive structure functions for a variety of kinematic regions.Comment: 41 pages revtex including 15 postscript figure
Dust detection by the wave instrument on STEREO: nanoparticles picked up by the solar wind?
The STEREO/WAVES instrument has detected a very large number of intense
voltage pulses. We suggest that these events are produced by impact ionisation
of nanoparticles striking the spacecraft at a velocity of the order of
magnitude of the solar wind speed. Nanoparticles, which are half-way between
micron-sized dust and atomic ions, have such a large charge-to-mass ratio that
the electric field induced by the solar wind magnetic field accelerates them
very efficiently. Since the voltage produced by dust impacts increases very
fast with speed, such nanoparticles produce signals as high as do much larger
grains of smaller speeds. The flux of 10-nm radius grains inferred in this way
is compatible with the interplanetary dust flux model. The present results may
represent the first detection of fast nanoparticles in interplanetary space
near Earth orbit.Comment: In press in Solar Physics, 13 pages, 5 figure
On the complexity of resource-bounded logics
We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking problems.
We show that the model-checking problem for the logic RB+-ATL is 2EXPTIME-complete by using recent results on alternating VASS.
In addition, we establish that the model-checking problem for RBTL is decidable and has the same complexity as for RBTL* (the extension of RBTL with arbitrary path formulae), namely EXPSPACE-complete, proving a new decidability result as a by-product of the approach. Finally, we establish that the model-checking problem for RB+-ATL* is decidable by a reduction to parity games, and show how to synthesise values for resource parameters
Das toxische Inhalationstrauma beim Brandverletzten im Vergleich zur militärmedizinsichen Wirkung von Kampfgas
Consequence evaluation of in-vessel fuel coolant interactions in the European pressurized water reactor
- …