2,883 research outputs found
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
Can giant radio halos probe the merging rate of galaxy clusters?
Radio and X-ray observations of galaxy clusters probe a direct link between
cluster mergers and giant radio halos (RH), suggesting that these sources can
be used as probes of the cluster merging rate with cosmic time. In this paper
we carry out an explorative study that combines the observed fractions of
merging clusters (fm) and RH (fRH) with the merging rate predicted by
cosmological simulations and attempt to infer constraints on merger properties
of clusters that appear disturbed in X-rays and of clusters with RH. We use
morphological parameters to identify merging systems and analyze the currently
largest sample of clusters with radio and X-ray data (M500>6d14 Msun, and
0.2<z<0.33, from the Planck SZ cluster catalogue). We found that in this sample
fm~62-67% while fRH~44-51%. The comparison of the theoretical f_m with the
observed one allows to constrain the combination (xi_m,tau_m), where xi_m and
tau_m are the minimum merger mass ratio and the timescale of merger-induced
disturbance. Assuming tau_m~ 2-3 Gyr, as constrained by simulations, we find
that the observed f_m matches the theoretical one for xi_m~0.1-0.18. This is
consistent with optical and near-IR observations of clusters in the sample
(xi_m~0.14-0.16). The fact that RH are found only in a fraction of merging
clusters may suggest that merger events generating RH are characterized by
larger mass ratio; this seems supported by optical/near-IR observations of RH
clusters in the sample (xi_min~0.2-0.25). Alternatively, RH may be generated in
all mergers but their lifetime is shorter than \tau_m (by ~ fRH/fm). This is an
explorative study, however it suggests that follow up studies using the
forthcoming radio surveys and adequate numerical simulations have the potential
to derive quantitative constraints on the link between cluster merging rate and
RH at different cosmic epochs and for different cluster masses.Comment: 10 pages, 3 figures, accepted for publication in A&
An unlikely radio halo in the low X-ray luminosity galaxy cluster RXC J1514.9-1523
We report the discovery of a giant radio halo in the galaxy cluster RXC
J1514.9-1523 at z=0.22 with a relatively low X-ray luminosity, erg s. This faint, diffuse
radio source is detected with the Giant Metrewave Radio Telescope at 327 MHz.
The source is barely detected at 1.4 GHz in a NVSS pointing that we have
reanalyzed. The integrated radio spectrum of the halo is quite steep, with a
slope \alpha = 1.6 between 327 MHz and 1.4 GHz. While giant radio halos are
common in more X-ray luminous cluster mergers, there is a less than 10%
probability to detect a halo in systems with L_X \ltsim 8 \times 10^{44} erg
s. The detection of a new giant halo in this borderline luminosity
regime can be particularly useful for discriminating between the competing
theories for the origin of ultrarelativistic electrons in clusters.
Furthermore, if our steep radio spectral index is confirmed by future deeper
radio observations, this cluster would provide another example of the recently
discovered population of ultra-steep spectrum radio halos, predicted by the
model in which the cluster cosmic ray electrons are produced by turbulent
reacceleration.Comment: 4 pages, 2 figures - Accepted for publication on A&A Research Note
A giant radio halo in the massive and merging cluster Abell 1351
We report on the detection of diffuse radio emission in the X-ray luminous
and massive galaxy cluster A1351 (z=0.322) using archival Very Large Array data
at 1.4 GHz. Given its central location, morphology, and Mpc-scale extent, we
classify the diffuse source as a giant radio halo. X-ray and weak lensing
studies show A1351 to be a system undergoing a major merger. The halo is
associated with the most massive substructure. The presence of this source is
explained assuming that merger-driven turbulence may re-accelerate high-energy
particles in the intracluster medium and generate diffuse radio emission on the
cluster scale. The position of A1351 in the logP - logL plane
is consistent with that of all other radio-halo clusters known to date,
supporting a causal connection between the unrelaxed dynamical state of massive
() clusters and the presence of giant radio halos.Comment: 4 pages, 3 figures, proof corrections include
The cluster relic source in A521
We present high sensitivity radio observations of the merging cluster A521,
at a mean redsfhit z=0.247. The observations were carried out with the GMRT at
610 MHz and cover a region of 1 square degree, with a sensitivity limit
of = 35 Jy b. The most relevant result of these
observations is the presence of a radio relic at the cluster periphery, at the
edge of a region where group infalling into the main cluster is taking place.
Thanks to the wealth of information available in the literature in the optical
and X-ray bands, a multi--band study of the relic and its surroundings was
performed. Our analysis is suggestive of a connection between this source and
the complex ongoing merger in the A521 region. The relic might be ``revived'
fossil radio plasma through adiabatic compression of the magnetic field or
shock re--acceleration due to the merger events. We also briefly discussed the
possibility that this source is the result of induced ram pressure stripping of
radio lobes associated with the nearby cluster radio galaxy J0454--1016a.
Allowing for the large uncertainties due to the small statistics, the number of
radio emitting early--type galaxies found in A521 is consistent with the
expectations from the standard radio luminosity function for local (z0.09)
cluster ellipticals.Comment: 30 pages 8 figures, 5 tables, accepted by New Astronom
GMRT Radio Halo Survey in galaxy clusters at z = 0.2 -- 0.4. II.The eBCS clusters and analysis of the complete sample
We present the results of the GMRT cluster radio halo survey. The main
purposes of our observational project are to measure which fraction of massive
galaxy clusters in the redshift range z=0.2--0.4 hosts a radio halo, and to
constrain the expectations of the particle re--acceleration model for the
origin of the non--thermal radio emission. We selected a complete sample of 50
clusters in the X-ray band from the REFLEX (27) and the eBCS (23) catalogues.
In this paper we present Giant Metrewave Radio Telescope (GMRT) observations at
610 MHz for all clusters still lacking high sensitivity radio information, i.e.
16 eBCS and 7 REFLEX clusters, thus completing the radio information for the
whole sample. The typical sensitivity in our images is in the range 1Jy b. We found a radio halo in A697, a diffuse
peripheral source of unclear nature in A781, a core--halo source in Z7160, a
candidate radio halo in A1682 and ``suspect'' central emission in Z2661.
Including the literature information, a total of 10 clusters in the sample host
a radio halo. A very important result of our work is that 25 out of the 34
clusters observed with the GMRT do not host extended central emission at the
sensitivity level of our observations, and for 20 of them firm upper limits to
the radio power of a giant radio halo were derived. The GMRT Radio Halo Survey
shows that radio halos are not common, and our findings on the fraction of
giant radio halos in massive clusters are consistent with the statistical
expectations based on the re--acceleration model. Our results favour primary to
secondary electron models.Comment: A&A in press, 17 pages, 12 figures, 4 tables Version with high
quality figures available on web at
http://www.ira.inaf.it/~tventuri/pap/Venturi_web.pd
On the occurrence of Radio Halos in galaxy clusters - Insight from a mass-selected sample
Giant radio halos (RH) are diffuse Mpc-scale synchrotron sources detected in
a fraction of massive and merging galaxy clusters. An unbiased study of the
statistical properties of RHs is crucial to constrain their origin and
evolution. We aim at investigating the occurrence of RHs and its dependence on
the cluster mass in a SZ-selected sample of galaxy clusters, which is as close
as possible to be a mass-selected sample. Moreover, we analyse the connection
between RHs and merging clusters. We select from the Planck SZ catalogue
(Planck Collaboration XXIX 2014) clusters with
at z=0.08-0.33 and we search for the presence of RHs using the NVSS for z<0.2
and the GMRT RH survey (GRHS, Venturi et al. 2007, 2008) and its extension
(EGRHS, Kale et al. 2013, 2015) for 0.2<z<0.33. We use archival Chandra X-ray
data to derive information on the clusters dynamical status. We confirm that RH
clusters are merging systems while the majority of clusters without RH are
relaxed, thus supporting the idea that mergers play a fundamental role in the
generation of RHs. We find evidence for an increase of the fraction of clusters
with RHs with the cluster mass and this is in line with expectations derived on
the basis of the turbulence re-acceleration scenario. Finally, we discuss the
effect of the incompleteness of our sample on this result.Comment: 11 pages, 7 figures, accepted for publication in A&
Gamma ray emission and stochastic particle acceleration in galaxy clusters
FERMI (formely GLAST) will shortly provide crucial information on
relativistic particles in galaxy clusters. We discuss non-thermal emission in
the context of general calculations in which relativistic particles (protons
and secondary electrons due to proton-proton collisions) interact with MHD
turbulence generated in the cluster volume during cluster mergers. Diffuse
cluster-scale radio emission (Radio Halos) and hard X-rays are produced during
massive mergers while gamma ray emission, at some level, is expected to be
common in galaxy clusters.Comment: 4 pages, 2 Figure, proc. of the 4th Heidelberg International
Symposium on High Energy Gamma-ray Astronom
Shock acceleration as origin of the radio relic in A521?
We present new high sensitivity observations of the radio relic in A521
carried out with the Giant Metrewave Radio Telescope at 327 MHz and with the
Very Large Array at 4.9 and 8.5 GHz. We imaged the relic at these frequencies
and carried out a detailed spectral analysis, based on the integrated radio
spectrum between 235 MHz and 4.9 GHz, and on the spectral index image in the
frequency range 327-610 MHz. To this aim we used the new GMRT observations and
other proprietary as well as archival data. We also searched for a possible
shock front co-located with the relic on a short archival Chandra X-ray
observation of the cluster. The integrated spectrum of the relic is consistent
with a single power law; the spectral index image shows a clear trend of
steepening going from the outer portion of the relic toward the cluster centre.
We discuss the origin of the source in the light of the theoretical models for
the formation of cluster radio relics. Our results on the spectral properties
of the relic are consistent with acceleration of relativistic electrons by a
shock in the intracluster medium. This scenario is further supported by our
finding of an X-ray surface brightness edge coincident with the outer border of
the radio relic. This edge is likely a shock front.Comment: 13 pages, 12 figures, accepted for publication in A&
The Extended GMRT Radio Halo Survey I: New upper limits on radio halos and mini-halos
A fraction of galaxy clusters host diffuse radio sources called radio halos,
radio relics and mini-halos. We present the sample and first results from the
Extended GMRT Radio Halo Survey (EGRHS)- an extension of the GMRT Radio Halo
Survey (GRHS, Venturi et al. 2007, 2008). It is a systematic radio survey of
galaxy clusters selected from the REFLEX and eBCS X-ray catalogs . Analysis of
GMRT data at 610/ 235/ 325 MHz on 12 galaxy clusters are presented. We report
the detection of a newly discovered mini-halo in the cluster RXJ1532.9+3021 at
610 MHz. A small scale relic (~200 kpc) is suspected in the cluster Z348. We do
not detect cluster-scale diffuse emission in 11 clusters. Robust upper limits
on the detection of radio halo of size of 1 Mpc are determined. We also present
upper limits on the detections of mini-halos in a sub-sample of cool-core
clusters. The upper limits for radio halos and mini-halos are plotted in the
radio power- X-ray luminosity plane and the correlations are discussed. Diffuse
extended emission, not related to the target clusters, but detected as
by-products in the sensitive images of two of the cluster fields (A689 and
RXJ0439.0+0715) are reported. Based on the information about the presence of
radio halos (or upper limits), available on 48 clusters out of the total sample
of 67 clusters (EGRHS+GRHS), we find that ~23% of the clusters host radio
halos. The radio halo fraction rises to ~31%, when only the clusters with X-ray
luminosities >8x10^44 erg/s are considered. Mini-halos are found in ~50 % of
cool-core clusters. A qualitative examination of the X-ray images of the
clusters with no diffuse radio emission indicates that a majority of these
clusters do not show extreme dynamical disturbances and supports the idea that
mergers play an important role in the generation of radio halos/relics.Comment: 21 pages, 18 figures, 3 tables, accepted for publication in A&
- …