681 research outputs found
Afterglow calculation in the electromagnetic model for gamma-ray bursts
Original article can be found at: http://www.aanda.org/--Copyright The European Southern Observatory (ESO) DOI : 10.1051/0004-6361:20065322We compute the afterglow of gamma-ray bursts produced by purely electromagnetic outflows to see if it shows characteristic signatures differing from those obtained with the standard internal/external shock model. Methods. Using a simple approach for the injection of electromagnetic energy to the forward shock we obtain the afterglow evolution both during the period of activity of the central source and after. Our method equally applies to a variable source. Results. Afterglow light curves in the visible and X-ray bands are computed both for a uniform medium and a stellar wind environment. They are brighter at early times than afterglows obtained with the internal/external shock model but relying only on these differences to discriminate between models is not sufficient.Peer reviewe
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
The tree automaton completion is an algorithm used for proving safety
properties of systems that can be modeled by a term rewriting system. This
representation and verification technique works well for proving properties of
infinite systems like cryptographic protocols or more recently on Java Bytecode
programs. This algorithm computes a tree automaton which represents a (regular)
over approximation of the set of reachable terms by rewriting initial terms.
This approach is limited by the lack of information about rewriting relation
between terms. Actually, terms in relation by rewriting are in the same
equivalence class: there are recognized by the same state in the tree
automaton.
Our objective is to produce an automaton embedding an abstraction of the
rewriting relation sufficient to prove temporal properties of the term
rewriting system.
We propose to extend the algorithm to produce an automaton having more
equivalence classes to distinguish a term or a subterm from its successors
w.r.t. rewriting. While ground transitions are used to recognize equivalence
classes of terms, epsilon-transitions represent the rewriting relation between
terms. From the completed automaton, it is possible to automatically build a
Kripke structure abstracting the rewriting sequence. States of the Kripke
structure are states of the tree automaton and the transition relation is given
by the set of epsilon-transitions. States of the Kripke structure are labelled
by the set of terms recognized using ground transitions. On this Kripke
structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing
properties. Such properties can then be checked using standard model checking
algorithms. The only difference between LTL and R-LTL is that predicates are
replaced by regular sets of acceptable terms
Geology of the Peterborough and Concord Quadrangles, New Hampshire
Guidebook for field trips in southwestern New Hampshire, southeastern Vermont, and north-central Massachusetts: New England Intercollegiate Geological Conference, 80th annual meeting, October 14, 15 and 16, 1988, Keene, New Hampshire: Trip C-
The role of Surface Plasmon modes in the Casimir Effect
In this paper we study the role of surface plasmon modes in the Casimir
effect. First we write the Casimir energy as a sum over the modes of a real
cavity. We may identify two sorts of modes, two evanescent surface plasmon
modes and propagative modes. As one of the surface plasmon modes becomes
propagative for some choice of parameters we adopt an adiabatic mode definition
where we follow this mode into the propagative sector and count it together
with the surface plasmon contribution, calling this contribution "plasmonic".
The remaining modes are propagative cavity modes, which we call "photonic". The
Casimir energy contains two main contributions, one coming from the plasmonic,
the other from the photonic modes. Surprisingly we find that the plasmonic
contribution to the Casimir energy becomes repulsive for intermediate and large
mirror separations. Alternatively, we discuss the common surface plasmon
defintion, which includes only evanescent waves, where this effect is not
found. We show that, in contrast to an intuitive expectation, for both
definitions the Casimir energy is the sum of two very large contributions which
nearly cancel each other. The contribution of surface plasmons to the Casimir
energy plays a fundamental role not only at short but also at large distances.Comment: 10 pages, 3 figures. TQMFA200
- …