482 research outputs found
Probabilistic Algorithmic Knowledge
The framework of algorithmic knowledge assumes that agents use deterministic
knowledge algorithms to compute the facts they explicitly know. We extend the
framework to allow for randomized knowledge algorithms. We then characterize
the information provided by a randomized knowledge algorithm when its answers
have some probability of being incorrect. We formalize this information in
terms of evidence; a randomized knowledge algorithm returning ``Yes'' to a
query about a fact \phi provides evidence for \phi being true. Finally, we
discuss the extent to which this evidence can be used as a basis for decisions.Comment: 26 pages. A preliminary version appeared in Proc. 9th Conference on
Theoretical Aspects of Rationality and Knowledge (TARK'03
Towards a runtime verification framework for the Ada Programming Language
Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. The goal is to complement static analysis approaches, in particular when static verification leads to the explosion of states. Non-functional properties, such as the ones present in real-time systems are an ideal target for this kind of verification methodology, as are usually out of the range of the power and expressiveness of classic static analyses. In this paper, we present a framework that allows real-time programs written in Ada to be augmented with runtime verification capabilities. Our framework provides the infrastructures which is needed to instrument the code with runtime monitors. These monitors are responsible for observing the system and reaching verdicts about whether its behavior is compliant with its non-functional properties. We also sketch a contract language to extend the one currently provided by Ada, with the long term goal of having an elegant way in which runtime monitors can be automatically synthesized and instrumented into the target systems. The usefulness of the proposed approach is demonstrated by showing its use for an application scenario.This work was partially supported by Portuguese National Funds through FCT (Portuguese Founda- tion for Science and Technology) and by ERDF (European Regional Develop- ment Fund) through COMPETE (Operational Programme ’Thematic Factors of Competitiveness’), within projects FCOMP-01-0124-FEDER-037281 (CISTER), FCOMP-01-0124-FEDER-015006 (VIPCORE) and FCOMP-01-0124-FEDER- 020486 (AVIACC); and by FCT and EU ARTEMIS JU, within project ARTEMIS/0003/2012, JU grant nr. 333053 (CONCERTO)
Neon seeding effects on two high-performance baseline plasmas on the Joint European Torus
We present the JETTO-QuaLiKiz-SANCO fully predictive modelling of two JET-ILW
high-performance baseline plasmas, a Ne seeded shot and an equivalent unseeded one. The
motivation of the work lies in the experimental observation of a slightly higher confinement and
performance of the Ne seeded shot with respect to the unseeded one, despite sharing the same
main plasma parameters and heating powers. Moreover, the neon seeded shot shows a lower
pedestal electron density and a higher core ion temperature with respect to the unseeded one.
Integrated modelling is performed in order to understand if the cause of the improved
confinement has to be ascribed to the improved pedestal parameters with neon seeding or if an
impurity-induced turbulence stabilization is at play. The QuaLiKiz transport model is used for
predicting the electron density, electron and ion temperatures and rotation in the core up to the
pedestal top, while the pedestal is empirically modelled to reproduce the experimental kinetic
profiles. The thermal diffusivities of the two shots, computed by QuaLiKiz, are compared, as
well as the turbulence spectra, suggesting that the reduced transport found in the neon seeded
shot is due in part to the stabilization of ion temperature gradient and electron temperature
gradient modes. Further modelling is performed in order to disentangle the neon seeding effects,
which are a direct effect on the turbulence stabilization and an indirect effect on the pedestal
parameters. The results suggest that the improved performance with neon is due to a
combination of turbulence stabilization and improved pedestal parameters
AGILE detection of a strong gamma-ray flare from the blazar 3C 454.3
We report the first blazar detection by the AGILE satellite. AGILE detected
3C 454.3 during a period of strongly enhanced optical emission in July 2007.
AGILE observed the source with a dedicated repointing during the period 2007
July 24-30 with its two co-aligned imagers, the Gamma-Ray Imaging Detector and
the hard X-ray imager Super-AGILE sensitive in the 30 MeV-50 GeV and 18-60 keV,
respectively. Over the entire period, AGILE detected gamma-ray emission from 3C
454.3 at a significance level of 13.8- with an average flux (E100
MeV) of photons cm s. The gamma-ray
flux appears to be variable towards the end of the observation. No emission was
detected by Super-AGILE in the energy range 20-60 keV, with a 3- upper
limit of photons cm s. The gamma-ray flux
level of 3C 454.3 detected by AGILE is the highest ever detected for this
quasar and among the most intense gamma-ray fluxes ever detected from Flat
Spectrum Radio Quasars.Comment: Accepted by Astrophysical Journal Letters; 14 pages, 3 EPS Figures, 1
Tabl
A new activity phase of the blazar 3C 454.3. Multifrequency observations by the WEBT and XMM-Newton in 2007-2008
We present and analyse the WEBT multifrequency observations of 3C 454.3 in
the 2007-2008 observing season, including XMM-Newton observations and near-IR
spectroscopic monitoring, and compare the recent emission behaviour with the
past one. In the optical band we observed a multi-peak outburst in July-August
2007, and other faster events in November 2007 - February 2008. During these
outburst phases, several episodes of intranight variability were detected. A mm
outburst was observed starting from mid 2007, whose rising phase was
contemporaneous to the optical brightening. A slower flux increase also
affected the higher radio frequencies, the flux enhancement disappearing below
8 GHz. The analysis of the optical-radio correlation and time delays, as well
as the behaviour of the mm light curve, confirm our previous predictions,
suggesting that changes in the jet orientation likely occurred in the last few
years. The historical multiwavelength behaviour indicates that a significant
variation in the viewing angle may have happened around year 2000. Colour
analysis reveals a complex spectral behaviour, which is due to the interplay of
different emission components. All the near-IR spectra show a prominent Halpha
emission line, whose flux appears nearly constant. The analysis of the
XMM-Newton data indicates a correlation between the UV excess and the
soft-X-ray excess, which may represent the head and the tail of the big blue
bump, respectively. The X-ray flux correlates with the optical flux, suggesting
that in the inverse-Compton process either the seed photons are synchrotron
photons at IR-optical frequencies or the relativistic electrons are those that
produce the optical synchrotron emission. The X-ray radiation would thus be
produced in the jet region from where the IR-optical emission comes.Comment: 10 pages, 12 figures (7 included in the text, 5 in GIF format),
accepted for publication in A&
Detection of Gamma-ray Emission from the Eta-Carinae Region
We present the results of extensive observations by the gamma-ray AGILE
satellite of the Galactic region hosting the Carina nebula and the remarkable
colliding wind binary Eta Carinae (Eta Car) during the period 2007 July to 2009
January. We detect a gamma-ray source (1AGL J1043-5931) consistent with the
position of Eta Car. If 1AGL J1043-5931 is associated with the Eta Car system
our data provide the long sought first detection above 100 MeV of a colliding
wind binary. The average gamma-ray flux above 100 MeV and integrated over the
pre-periastron period 2007 July to 2008 October is F = (37 +/- 5) x 10-8 ph
cm-2 s-1 corresponding to an average gamma-ray luminosity of L = 3.4 x 10^34
erg s-1 for a distance of 2.3 kpc. We also report a 2-day gamma-ray flaring
episode of 1AGL J1043-5931 on 2008 Oct. 11-13 possibly related to a transient
acceleration and radiation episode of the strongly variable shock in the
system.Comment: 5 pages, 4 figure, accepted for publication in ApJ Letter
WEBT multiwavelength monitoring and XMM-Newton observations of BL Lacertae in 2007-2008. Unveiling different emission components
In 2007-2008 we carried out a new multiwavelength campaign of the Whole Earth
Blazar Telescope (WEBT) on BL Lacertae, involving three pointings by the
XMM-Newton satellite, to study its emission properties. The source was
monitored in the optical-to-radio bands by 37 telescopes. The brightness level
was relatively low. Some episodes of very fast variability were detected in the
optical bands. The X-ray spectra are well fitted by a power law with photon
index of about 2 and photoelectric absorption exceeding the Galactic value.
However, when taking into account the presence of a molecular cloud on the line
of sight, the data are best fitted by a double power law, implying a concave
X-ray spectrum. The spectral energy distributions (SEDs) built with
simultaneous radio-to-X-ray data at the epochs of the XMM-Newton observations
suggest that the peak of the synchrotron emission lies in the near-IR band, and
show a prominent UV excess, besides a slight soft-X-ray excess. A comparison
with the SEDs corresponding to previous observations with X-ray satellites
shows that the X-ray spectrum is extremely variable. We ascribe the UV excess
to thermal emission from the accretion disc, and the other broad-band spectral
features to the presence of two synchrotron components, with their related SSC
emission. We fit the thermal emission with a black body law and the non-thermal
components by means of a helical jet model. The fit indicates a disc
temperature greater than 20000 K and a luminosity greater than 6 x 10^44 erg/s.Comment: 11 pages, 7 figures, accepted for publication in A&
The brightest gamma-ray flaring blazar in the sky: AGILE and multi-wavelength observations of 3C 454.3 during November 2010
Since 2005, the blazar 3C 454.3 has shown remarkable flaring activity at all
frequencies, and during the last four years it has exhibited more than one
gamma-ray flare per year, becoming the most active gamma-ray blazar in the sky.
We present for the first time the multi-wavelength AGILE, SWIFT, INTEGRAL, and
GASP-WEBT data collected in order to explain the extraordinary gamma-ray flare
of 3C 454.3 which occurred in November 2010. On 2010 November 20 (MJD 55520),
3C 454.3 reached a peak flux (E>100 MeV) of F_gamma(p) = (6.8+-1.0)E-5 ph/cm2/s
on a time scale of about 12 hours, more than a factor of 6 higher than the flux
of the brightest steady gamma-ray source, the Vela pulsar, and more than a
factor of 3 brighter than its previous super-flare on 2009 December 2-3. The
multi-wavelength data make a thorough study of the present event possible: the
comparison with the previous outbursts indicates a close similarity to the one
that occurred in 2009. By comparing the broadband emission before, during, and
after the gamma-ray flare, we find that the radio, optical and X-ray emission
varies within a factor 2-3, whereas the gamma-ray flux by a factor of 10. This
remarkable behavior is modeled by an external Compton component driven by a
substantial local enhancement of soft seed photons.Comment: Accepted for publication in ApJ Letters. 18 Pages, 4 Figures, 1 Tabl
- …