Actions and Events in Concurrent Systems Design

In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a system. Our work builds from the ideas set forth by the categorical approach to the construction of software based systems from components advocated by Goguen and Burstall, in the context of institutions, and by Fiadeiro and Maibaum, in the context of temporal logic. In this context, we formalize a notion of a component as an element of an indexed category and we elicit a notion of a morphism between components as morphisms of this category. Moreover, we elaborate on how this formalization captures, in a convenient manner, the underlying structure of a component and the basic interaction mechanisms for putting components together. Further, we advance some ideas on how certain matters related to the openness and the compositionality of a component/system may be described in terms of classes of morphisms, thus potentially supporting a compositional rely/guarantee reasoning.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Structure and Turbulence in Simulated Galaxy Clusters and the Implications for the Formation of Radio Halos

We track the histories of massive clusters of galaxies formed within a cosmological hydrodynamic simulation. Specifically, we track the time evolution of the energy in random bulk motions of the intracluster medium and X-ray measures of cluster structure and their relationship to cluster mergers. We aim to assess the viability of the turbulent re-acceleration model for the generation of giant radio halos by comparing the level of turbulent kinetic energy in simulated clusters with the observed properties of radio halo clusters, giving particular attention to the association of radio halos to clusters with disturbedX-ray structures. The evolution of X-ray cluster structure and turbulence kinetic energy, k, in simulations can then inform us about the expected lifetime of radio halos and the fraction of clusters as a function of redshift expected to host them. We find strong statistical correlation of disturbed structure measures and the presence of enhancements in k. Specifically, quantitatively "disturbed", radio halo-like X-ray morphology in our sample indicates a 92% chance of the cluster in question having k elevated to more than twice its minimum value over the cluster's life. The typical lifetime of episodes of elevated turbulence is on the order of 1 Gyr, though these periods can last 5 Gyrs or more. This variation reflects the wide range of cluster histories; while some clusters undergo complex and repeated mergers spending a majority of their time in elevated k states, other clusters are relaxed over nearly their entire history. We do not find a bimodal relationship between cluster X-ray luminosity and the total energy in turbulence that might account directly for a bimodal L_X-P_{1.4 GHz} relation. However, our result may be consistent with the observed bimodality, as here we are not including a full treatment of cosmic rays sources and magnetic fields.Comment: 15 pages, 12 figures, MNRAS Submitte

Occurrence of radio minihalos in a mass-limited sample of galaxy clusters

We investigate the occurrence of radio minihalos --- diffuse radio sources of unknown origin observed in the cores of some galaxy clusters --- in a statistical sample of 58 clusters drawn from the Planck Sunyaev-Zel'dovich cluster catalog using a mass cut ($M_{500}>6\times 10^{14} M_{\odot}$). We supplement our statistical sample with a similarly-sized non-statistical sample mostly consisting of clusters in the ACCEPT X-ray catalog with suitable X-ray and radio data, which includes lower-mass clusters. Where necessary (for 9 clusters), we reanalyzed the Very Large Array archival radio data to determine if a mihinalo is present. Our total sample includes all 28 currently known and recently discovered radio minihalos, including 6 candidates. We classify clusters as cool-core or non-cool core according to the value of the specific entropy floor in the cluster center, rederived or newly derived from the Chandra X-ray density and temperature profiles where necessary (for 27 clusters). Contrary to the common wisdom that minihalos are rare, we find that almost all cool cores - at least 12 out of 15 (80%) - in our complete sample of massive clusters exhibit minihalos. The supplementary sample shows that the occurrence of minihalos may be lower in lower-mass cool-core clusters. No minihalos are found in non-cool-cores or "warm cores". These findings will help test theories of the origin of minihalos and provide information on the physical processes and energetics of the cluster cores.Comment: 34 pages, accepted for publication in ApJ. Added a section "Definition of a minihalo" and an appendix "Radio size and average surface brigthtness of minihalos and halos

Deep 1.4 GHZ Follow Up of the Steep Spectrum Radio Halo in Abell 521

In a recent paper we reported on the discovery of a radio halo with very steep spectrum in the merging galaxy cluster Abell 521 through observations with the Giant Metrewave Radio Telescope (GMRT). We showed that the steep spectrum of the halo is inconsistent with a secondary origin of the relativistic electrons and supports a turbulent acceleration scenario. At that time, due to the steep spectrum, the available observations at 1.4 GHz (archival NRAO - Very Large Array - VLA CnB-configuration data) were not adequate to accurately determine the flux density associated with the radio halo. In this paper we report the detection at 1.4 GHz of the radio halo in Abell 521 using deep VLA observations in the D-configuration. We use these new data to confirm the steep-spectrum of the object. We consider Abell 521 the prototype of a population of very-steep spectrum halos. This population is predicted assuming that turbulence plays an important role in the acceleration of relativistic particles in galaxy clusters, and we expect it will be unveiled by future surveys at low frequencies with the LOFAR and LWA radio telescopes.Comment: 11 pages, 3 figures (figure 1 available in gif format only). Requires aastex.cls - Accepted by Ap.

Testing the radio halo-cluster merger scenario. The case of RXCJ2003.5-2323

We present a combined radio, X-ray and optical study of the galaxy cluster RXCJ2003.5-2323. The cluster hosts one of the largest, most powerful and distant giant radio halos known to date, suggesting that it may be undergoing a strong merger process. The aim of our multiwavelength study is to investigate the radio-halo cluster merger scenario. We studied the radio properties of the giant radio halo in RXCJ2003.5-2323 by means of new radio data obtained at 1.4 GHz with the Very Large Array, and at 240 MHz with the Giant Metrewave Radio Telescope, in combination with previously published GMRT data at 610 MHz. The dynamical state of the cluster was investigated by means of X-ray Chandra observations and optical ESO--NTT observations. Our study confirms that RXCJ2003.5-2323 is an unrelaxed cluster. The unusual filamentary and clumpy morphology of the radio halo could be due to a combination of the filamentary structure of the magnetic field and turbulence in the inital stage of a cluster merger.Comment: 10 page, 10 figures, accepted for publication on A&

Comparative analysis of the diffuse radio emission in the galaxy clusters A1835, A2029, and Ophiuchus

We recently performed a study of a sample of relaxed, cooling core galaxy clusters with deep Very Large Array observations at 1.4 GHz. We find that in the central regions of A1835, A2029, and Ophiuchus the dominant radio galaxy is surrounded by a diffuse low-brightness radio emission that takes the form of a mini-halo. Here we present the results of the analysis of the extended diffuse radio emission in these mini-halos. In order to investigate the morphological properties of the diffuse radio emission in clusters of galaxies we propose to fit their azimuthally averaged brightness profile with an exponential, obtaining the central brightness and the e-folding radius from which the radio emissivity can be calculated. We investigate the radio properties of the mini-halos in A1835, A2029, and Ophiuchus in comparison with the radio properties of a representative sample of mini-halos and halos already known in the literature. We find that radio halos can have quite different length-scales but their emissivity is remarkably similar from one halo to the other. In contrast, mini-halos span a wide range of radio emissivity. Some of them, like the Perseus mini-halos, are characterized by a radio emissivity which is more than 100 times greater than that of radio halos. On the other hand, the new mini-halos in cooling core clusters analyzed in this work, namely A2029, Ophiuchus, and A1835, have a radio emissivity which is much more typical of halos in merging clusters rather than similar to that of the other mini-halos previously known.Comment: 17 pages, 11 figures, A&A in press. For a version with high quality figures, see http://erg.ca.astro.it/preprints/mini_halo_2

Harnack inequality and regularity for degenerate quasilinear elliptic equations

We prove Harnack inequality and local regularity results for weak solutions of a quasilinear degenerate equation in divergence form under natural growth conditions. The degeneracy is given by a suitable power of a strong $A_\infty$ weight. Regularity results are achieved under minimal assumptions on the coefficients and, as an application, we prove $C^{1,\alpha}$ local estimates for solutions of a degenerate equation in non divergence form

Influence of Arctic sea ice on European summer precipitation

Copyright © 2013 IOP Publishing Ltd. Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence (http://creativecommons.org/licenses/by/3.0/). Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.Open Access journalThe six summers from 2007 to 2012 were all wetter than average over northern Europe. Although none of these individual events are unprecedented in historical records, the sequence of six consecutive wet summers is extraordinary. Composite analysis reveals that observed wet summer months in northern Europe tend to occur when the jet stream is displaced to the south of its climatological position, whereas dry summer months tend to occur when the jet stream is located further north. Highly similar mechanisms are shown to drive simulated precipitation anomalies in an atmospheric model. The model is used to explore the influence of Arctic sea ice on European summer climate, by prescribing different sea ice conditions, but holding other forcings constant. In the simulations, Arctic sea ice loss induces a southward shift of the summer jet stream over Europe and increased northern European precipitation. The simulated precipitation response is relatively small compared to year-to-year variability, but is statistically significant and closely resembles the spatial pattern of precipitation anomalies in recent summers. The results suggest a causal link between observed sea ice anomalies, large-scale atmospheric circulation and increased summer rainfall over northern Europe. Thus, diminished Arctic sea ice may have been a contributing driver of recent wet summers.UK Natural Environment Research Council (NERC

New Detections of Radio Minihalos in Cool Cores of Galaxy Clusters

Cool cores of some galaxy clusters exhibit faint radio minihalos. Their origin is unclear, and their study has been limited by their small number. We undertook a systematic search for minihalos in a large sample of X-ray luminous clusters with high-quality radio data. In this article, we report four new minihalos (A 478, ZwCl 3146,RXJ 1532.9+3021, and A 2204) and five candidates found in the reanalyzed archival Very Large Array observations.The radio luminosities of our minihalos and candidates are in the range of 102325 W Hz1 at 1.4 GHz, which is consistent with these types of radio sources. Their sizes (40160 kpc in radius) are somewhat smaller than those of previously known minihalos. We combine our new detections with previously known minihalos, obtaining a total sample of 21 objects, and briefly compare the cluster radio properties to the average X-ray temperature and the total masses estimated from Planck.We find that nearly all clusters hosting minihalos are hot and massive. Beyond that, there is no clear correlation between the minihalo radio power and cluster temperature or mass (in contrast with the giant radio halos found in cluster mergers, whose radio luminosity correlates with the cluster mass). Chandra X-ray images indicate gas sloshing in the cool cores of most of our clusters, with minihalos contained within the sloshing regions in many of them. This supports the hypothesis that radio-emitting electrons are reaccelerated by sloshing. Advection of relativistic electrons by the sloshing gas may also play a role in the formation of the less extended minihalos

Optical Characterization of Benign and Malignant Breast Lesions by Perturbative Model

The characterization of benign and malignant breast lesions was performed by the use of a perturbative model. Concentrations of blood, lipid, water and collagen were obtained. Differences between lesions and healthy tissue were observed