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

Surface plasmon modes and the Casimir energy

We show the influence of surface plasmons on the Casimir effect between two plane parallel metallic mirrors at arbitrary distances. Using the plasma model to describe the optical response of the metal, we express the Casimir energy as a sum of contributions associated with evanescent surface plasmon modes and propagative cavity modes. In contrast to naive expectations, the plasmonic modes contribution is essential at all distances in order to ensure the correct result for the Casimir energy. One of the two plasmonic modes gives rise to a repulsive contribution, balancing out the attractive contributions from propagating cavity modes, while both contributions taken separately are much larger than the actual value of the Casimir energy. This also suggests possibilities to tailor the sign of the Casimir force via surface plasmons.Comment: 4 pages, 3 figures, revtex

Practical application of synthetic head models in real ballistic cases.

In shooting crimes, ballistics tests are often recommended in order to reproduce the wound characteristics of the involved persons. For this purpose, several "simulants" can be used. However, despite the efforts in the research of "surrogates" in the field of forensic ballistic, the development of synthetic models needs still to be improved through a validation process based on specific real caseworks. This study has been triggered by the findings observed during the autopsy performed on two victims killed in the same shooting incident, with similar wounding characteristics; namely two retained head shots with ricochet against the interior wall of the skull; both projectiles have been recovered during the autopsies after migration in the brain parenchyma. The thickness of the different tissues and structures along the bullets trajectories as well as the incident angles between the bullets paths and the skull walls have been measured and reproduced during the assemblage of the synthetic head models. Two different types of models ("open shape" and "spherical") have been assembled using leather, polyurethane and gelatine to simulate respectively skin, bone and soft tissues. Six shots have been performed in total. The results of the models have been compared to the findings of post-mortem computed tomography (PMCT) and the autopsy findings.Out of the six shots, two perforated the models and four were retained. When the projectile was retained, the use of both models allowed reproducing the wounds characteristics observed on both victims in terms of penetration and ricochet behaviour. However, the projectiles recovered from the models showed less deformation than the bullets collected during the autopsies. The "open shape" model allowed a better controlling on the shooting parameters than the "spherical" model. Finally, the difference in bullet deformation could be caused by the choice of the bone simulant, which might under-represent either the strength or the density of the human bone. In our opinion, it would be worth to develop a new, more representative material for ballistic which simulates the human bone

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