Evaluating the performance of model transformation styles in Maude

Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of formal languages. General rewriting frameworks such as Maude are flexible enough to allow the programmer to adopt and mix various rule styles. The choice between styles can be biased by the programmer’s background. For instance, experts in visual formalisms might prefer graph-rewriting styles, while experts in semantics might prefer structurally inductive rules. This paper evaluates the performance of different rule styles on a significant benchmark taken from the literature on model transformation. Depending on the actual transformation being carried out, our results show that different rule styles can offer drastically different performances. We point out the situations from which each rule style benefits to offer a valuable set of hints for choosing one style over the other

Effect of Beam Dynamics Processes in the Low Energy Ring ThomX

As part of the R\&D for the 50 MeV ThomX Compton source project, we have studied the effect of several beam dynamics processes on the evolution of the beam in the ring. The processes studied include among others Compton scattering, intrabeam scattering, coherent synchrotron radiation. We have performed extensive simulations of a full injection/extraction cycle (400000 turns). We show how each of these processes degrades the flux of photons produced and how a feedback system contributes to recovering most of the flux.Comment: Submitted to IPAC'14, WEPRO00

The Speciality Index as invariant indicator in the BKL Mixmaster Dynamics

The speciality index, which has been mainly used in Numerical Relativity for studying gravitational waves phenomena as an indicator of the special or non-special Petrov type character of a spacetime, is applied here in the context of Mixmaster cosmology, using the Belinski-Khalatnikov-Lifshitz map. Possible applications for the associated chaotic dynamics are discussed

On the Asymptotic Stability of De-Sitter Spacetime: a non-linear perturbative approach

We derive evolution and constraint equations for second order perturbations of flat dust homogeneous and isotropic solutions to the Einstein field equations using all scalar, vector and tensor perturbation modes. We show that the perturbations decay asymptotically in time and that the solutions converge to the De-Sitter solution. By induction, this result is valid for perturbations of arbitrary order. This is in agreement with the cosmic no-hair conjecture of Gibbons and Hawking.Comment: 11 pages, 2 figure

Effect of Compton Scattering on the Electron Beam Dynamics at the ATF Damping Ring

Compton scattering provides one of the most promising scheme to obtain polarized positrons for the next generation of $e^-$ -- $e^+$ colliders. Moreover it is an attractive method to produce monochromatic high energy polarized gammas for nuclear applications and X-rays for compact light sources. In this framework a four-mirror Fabry-P\'erot cavity has been installed at the Accelerator Test Facility (ATF - KEK, Tsukuba, Japan) and is used to produce an intense flux of polarized gamma rays by Compton scattering \cite{ipac-mightylaser}. For electrons at the ATF energy (1.28 GeV) Compton scattering may result in a shorter lifetime due to the limited bucket acceptance. We have implemented the effect of Compton scattering on a 2D tracking code with a Monte-Carlo method. This code has been used to study the longitudinal dynamics of the electron beam at the ATF damping ring, in particular the evolution of the energy spread and the bunch length under Compton scattering. The results obtained are presented and discussed. Possible methods to observe the effect of Compton scattering on the ATF beam are proposed

Second Order Perturbations of Flat Dust FLRW Universes with a Cosmological Constant

We summarize recent results concerning the evolution of second order perturbations in flat dust irrotational FLRW models with $\Lambda\ne 0$. We show that asymptotically these perturbations tend to constants in time, in agreement with the cosmic no-hair conjecture. We solve numerically the second order scalar perturbation equation, and very briefly discuss its all time behaviour and some possible implications for the structure formation.Comment: 6 pages, 1 figure. to be published in "Proceedings of the 5th Alexander Friedmann Seminar on Gravitation and Cosmology", Int. Journ. Mod. Phys. A (2002). Macros: ws-ijmpa.cls, ws-p9-75x6-50.cl