Modeling Adaptation with Klaim

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural adaptation, and the aspect- and context-oriented programming paradigms. We illustrate our approach through a simple example concerning a data repository equipped with an automated cache mechanism

A formal approach to autonomic systems programming: the SCEL Language

The autonomic computing paradigm has been proposed to cope with size, complexity and dynamism of contemporary software-intensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems, and with their need to adapt to the changes of the working environment and to the evolving requirements. We propose a set of programming abstractions that permit to represent behaviors, knowledge and aggregations according to specific policies, and to support programming context-awareness, self-awareness and adaptation. Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show expressiveness and effectiveness of SCEL’s design, we present a Java implementation of the proposed abstractions and show how it can be exploited for programming a robotics scenario that is used as a running example for describing features and potentials of our approac

Shock Breakout in Core-Collapse Supernovae and its Neutrino Signature

(Abridged) We present results from dynamical models of core-collapse supernovae in one spatial dimension, employing a newly-developed Boltzmann neutrino radiation transport algorithm, coupled to Lagrangean hydrodynamics and a consistent high-density nuclear equation of state. We focus on shock breakout and its neutrino signature and follow the dynamical evolution of the cores of 11 M_sun, 15 M_sun, and 20 M_sun progenitors through collapse and the first 250 milliseconds after bounce. We examine the effects on the emergent neutrino spectra, light curves, and mix of species of artificial opacity changes, the number of energy groups, the weak magnetism/recoil corrections, nucleon-nucleon bremsstrahlung, neutrino-electron scattering, and the compressibility of nuclear matter. Furthermore, we present the first high-resolution look at the angular distribution of the neutrino radiation field both in the semi-transparent regime and at large radii and explore the accuracy with which our tangent-ray method tracks the free propagation of a pulse of radiation in a near vacuum. Finally, we fold the emergent neutrino spectra with the efficiencies and detection processes for a selection of modern underground neutrino observatories and argue that the prompt electron-neutrino breakout burst from the next galactic supernova is in principle observable and usefully diagnostic of fundamental collapse/supernova behavior. Though we are not in this study focusing on the supernova mechanism per se, our simulations support the theoretical conclusion (already reached by others) that spherical (1D) supernovae do not explode when good physics and transport methods are employed.Comment: 16 emulateapj pages, plus 24 postscript figures, accepted to The Astrophysical Journal; text revised; neutrino oscillation section expanded; Fig. 22 correcte

Exact Solutions for Matter-Enhanced Neutrino Oscillations

The analogy between supersymmetric quantum mechanics and matter-enhanced neutrino oscillations is exploited to obtain exact solutions for a class of electron density profiles. This integrability condition is analogous to the shape-invariance in supersymmetric quantum mechanics. This method seems to be the most direct way to obtain the exact survival probabilities for a number of density profiles of interest, such as linear and exponential density profiles. The resulting neutrino amplitudes can also be utilized as comparison amplitudes for the uniform semiclassical treatment of neutrino propagation in arbitrary electron density profiles.Comment: Submitted to Physical Review D. Latex file, 8 pages. This paper is also available at http://nucth.physics.wisc.edu/preprints

Neutrino propagation in a random magnetic field

The active-sterile neutrino conversion probability is calculated for neutrino propagating in a medium in the presence of random magnetic field fluctuations. Necessary condition for the probability to be positive definite is obtained. Using this necessary condition we put constraint on the neutrino magnetic moment from active-sterile electron neutrino conversion in the early universe hot plasma and in supernova.Comment: 11 page

Cantor type functions in non-integer bases

Cantor's ternary function is generalized to arbitrary base-change functions in non-integer bases. Some of them share the curious properties of Cantor's function, while others behave quite differently

Relativistic diffusion of elementary particles with spin

We obtain a generalization of the relativistic diffusion of Schay and Dudley for particles with spin. The diffusion equation is a classical version of an equation for the Wigner function of an elementary particle. The elementary particle is described by a unitary irreducible representation of the Poincare group realized in the Hilbert space of wave functions in the momentum space. The arbitrariness of the Wigner rotation appears as a gauge freedom of the diffusion equation. The spin is described as a connection of a fiber bundle over the momentum hyperbolic space (the mass-shell). Motion in an electromagnetic field, transport equations and equilibrium states are discussed.Comment: 21 pages,minor changes,the version published in Journ.Phys.