Tagging single muons and other long-flying relativistic charged particles by ultra-fast timing in air Cherenkov telescopes

Atmospheric air Cherenkov telescopes are successfully used for ground-based, very high-energy (VHE) gamma ray astronomy. Triggers from the so-called single muon and other long-flying relativistic charged particle events are an unwanted background for the Cherenkov telescope. Because of low rate at TeV energies the muon background is unimportant. It is much more intense for telescopes with high photon sensitivity and low energy threshold. Below a few hundred GeV energy, the so-called muon background becomes so intense, that it can deteriorate the sensitivity of telescopes (the so-called muon-wall problem). From general considerations it can be anticipated that the signature of these particles should be a light pulse with a narrow time structure. In fact, simulations show that the pulses from muons have a very narrow time profile that is well below the time resolutions of nearly all currently operating telescopes. In this report we elaborate on the time profile of Cherenkov light from the so-called single muons and show that a telescope with ultra-fast time response can open a new dimension allowing one to tag and to reject those events.Comment: Accepted by Astroparticle Physic

Vorticity Budget of Weak Thermal Convection in Keplerian disks

By employing the equations of mean-square vorticity (enstrophy) fluctuations in strong shear flows, we demonstrate that unlike energy production of turbulent vorticity in nonrotating shear flows, the turbulent vorticity of weak convection in Keplerian disks cannot gain energy from vortex stretching/tilting by background shear unless the asscoiated Reynolds stresses are negative. This is because the epicyclic motion is an energy sink of the radial component of mean-square turbulent vorticity in Keplerian disks when Reynolds stresses are positive. Consequently, weak convection cannot be self-sustained in Keplerian flows. This agrees with the results implied from the equations of mean-square velocity fluctuations in strong shear flows. Our analysis also sheds light on the explanation of the simulation result in which positive kinetic helicity is produced by the Balbus-Hawley instability in a vertically stratified Keplerian disk. We also comment on the possibility of outward angular momentum transport by strong convection based on azimuthal pressure perturbations and directions of energy cascade.Comment: 8 pages, 1 figure, emulateapj.sty, revised version in response to referee's comments, accepted by Ap

Synthesis of OCL Pre-conditions for Graph Transformation Rules

Proceedings of: Third International Conference on Model Transformation (ICMT 2010): Theory and Practice of Model Transformation. Málaga, Spain, 28 June-02 July, 2010Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use, rules are often complemented with OCL application conditions. The advancement of rule post-conditions into pre-conditions is a well-known problem in GT, but current techniques do not consider OCL. In this paper we provide an approach to advance post-conditions with arbitrary OCL expressions into pre-conditions. This presents benefits for the practical use of GT in MDE, as it allows: (i) to automatically derive pre-conditions from the meta-model integrity constraints, ensuring rule correctness, (ii) to derive pre-conditions from graph constraints with OCL expressions and (iii) to check applicability of rule sequences with OCL conditions.Work funded by the Spanish Ministry of Science and Innovation through projects “Design and construction of a Conceptual Modeling Assistant” (TIN2008-00444/TIN - Grupo Consolidado), “METEORIC” (TIN2008-02081),mobility grants JC2009-00015 and PR2009-0019, and the R&D program of the Community of Madrid (S2009/TIC-1650, project “e-Madrid”).Publicad

Least - change bidirectional model transformation With QVT- R and ATL

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVTR has been clarified and formalized. In this article we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports metamodels enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving. We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.This work is funded by ERDF-European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by national funds through the FCT-Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020532. The first author is also sponsored by FCT grant SFRH/BD/69585/2010. The authors would also like to thank all anonymous reviewers for the valuable comments and suggestions

Observation of the Crab Nebula Gamma-Ray Emission Above 220 Gev by the Cat Cherenkov Imaging Telescope

The CAT imaging telescope, recently built on the site of the former solar plant Themis (French Pyrenees), observed gamma-rays from the Crab nebula from October 1996 to March 1997. This steady source, often considered as the standard candle of very-high-energy gamma-ray astronomy, is used as a test-beam to probe the performances of the new telescope, particularly its energy threshold (220 GeV at 20 degrees zenith angle) and the stability of its response. Due to the fine-grain camera, an accurate analysis of the longitudinal profiles of shower images is performed, yielding the source position in two dimensions for each individual shower.Comment: 5 pages, 3 figures, Tex, contribution to 25th ICRC Durba

An invariant-based method for the analysis of declarative model-to-model transformations

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-87875-9_3Proceedings of 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches for specifying such transformations: Triple Graph Grammars and QVT. Once the specification is expressed in the form of invariants, the transformation developer can use such description to verify properties of the original transformation (e.g. whether it defines a total, surjective or injective function), and to validate the transformation by the automatic generation of valid pairs of source and target models.Work supported by the Spanish Ministry of Education and Science, projects MOSAIC (TSI2005-08225-C07-06), MODUWEB (TIN2006-09678) and TIN2005-06053, and an UOC-IN3 research gran

The CAT Imaging Telescope for Very-High-Energy Gamma-Ray Astronomy

The CAT (Cherenkov Array at Themis) imaging telescope, equipped with a very-high-definition camera (546 fast phototubes with 0.12 degrees spacing surrounded by 54 larger tubes in two guard rings) started operation in Autumn 1996 on the site of the former solar plant Themis (France). Using the atmospheric Cherenkov technique, it detects and identifies very high energy gamma-rays in the range 250 GeV to a few tens of TeV. The instrument, which has detected three sources (Crab nebula, Mrk 421 and Mrk 501), is described in detail.Comment: 24 pages, 15 figures. submitted to Elsevier Preprin

Implementing QVT-R bidirectional model transformations using alloy

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVT-R has been clarified and formalized. In this paper we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports meta-models enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving.Fundação para a Ciência e a Tecnologi

Spectrum and Variability of Mrk501 as observed by the CAT Imaging Telescope

The CAT Imaging Telescope has observed the BL Lac object Markarian 501 between March and August 1997. We report here on the variability over this time including several large flares. We present also preliminary spectra for all these data, for the low emission state, and for the largest flare.Comment: 4 pages, 4 figures, Late

Detection of Vhe Gamma-Rays from MRK 501 with the Cat Imaging Telescope

The CAT imaging telescope on the site on the former solar plant Themis has been observing gamma-rays from Mrk501 above 220 GeV in March and April 1997. This source is shown to be highly variable and the light curve is presented. The detected gamma-ray rate for the most intense flare is in excess of 10 per minute.Comment: 5 pages, 4 figures, Tex, contribution to 25th ICRC Durba