226 research outputs found
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
We present a new algorithm for determining the satisfiability of conjunctions
of non-linear polynomial constraints over the reals, which can be used as a
theory solver for satisfiability modulo theory (SMT) solving for non-linear
real arithmetic. The algorithm is a variant of Cylindrical Algebraic
Decomposition (CAD) adapted for satisfiability, where solution candidates
(sample points) are constructed incrementally, either until a satisfying sample
is found or sufficient samples have been sampled to conclude unsatisfiability.
The choice of samples is guided by the input constraints and previous
conflicts.
The key idea behind our new approach is to start with a partial sample;
demonstrate that it cannot be extended to a full sample; and from the reasons
for that rule out a larger space around the partial sample, which build up
incrementally into a cylindrical algebraic covering of the space. There are
similarities with the incremental variant of CAD, the NLSAT method of Jovanovic
and de Moura, and the NuCAD algorithm of Brown; but we present worked examples
and experimental results on a preliminary implementation to demonstrate the
differences to these, and the benefits of the new approach
Symbolic Reachability Analysis of B through ProB and LTSmin
We present a symbolic reachability analysis approach for B that can provide a
significant speedup over traditional explicit state model checking. The
symbolic analysis is implemented by linking ProB to LTSmin, a high-performance
language independent model checker. The link is achieved via LTSmin's PINS
interface, allowing ProB to benefit from LTSmin's analysis algorithms, while
only writing a few hundred lines of glue-code, along with a bridge between ProB
and C using ZeroMQ. ProB supports model checking of several formal
specification languages such as B, Event-B, Z and TLA. Our experiments are
based on a wide variety of B-Method and Event-B models to demonstrate the
efficiency of the new link. Among the tested categories are state space
generation and deadlock detection; but action detection and invariant checking
are also feasible in principle. In many cases we observe speedups of several
orders of magnitude. We also compare the results with other approaches for
improving model checking, such as partial order reduction or symmetry
reduction. We thus provide a new scalable, symbolic analysis algorithm for the
B-Method and Event-B, along with a platform to integrate other model checking
improvements via LTSmin in the future
Spatially resolved mid-infrared observations of the triple system T Tauri
To enhance our knowledge of the characteristics and distribution of the
circumstellar dust associated with the individual components of the young
hierarchical triple system T Tau, observations in the N-band with MIDI at the
VLTI were performed. Our study is based on both the interferometric and the
spectrophotometric measurements and is supplemented by new visual and infrared
photometry. Also, the phases were investigated to determine the dominating
mid-infrared source in the close southern binary. The data were fit with the
help of a sophisticated physical disc model. This model utilises the radiative
transfer code MC3D that is based on the Monte-Carlo method. Extended
mid-infrared emission is found around all three components of the system.
Simultaneous fits to the photometric and interferometric data confirm the
picture of an almost face-on circumstellar disc around T Tau N. Towards this
star, the silicate band is seen in emission. This emission feature is used to
model the dust content of the circumstellar disc. Clear signs of dust
processing are found. Towards T Tau S, the silicate band is seen in absorption.
This absorption is strongly pronounced towards the infrared companion T Tau Sa
as can be seen from the first individual N-band spectra for the two southern
components. Our fits support the previous suggestion that an almost edge-on
disc is present around T Tau Sa. This disc is thus misaligned with respect to
the circumstellar disc around T Tau N. The interferometric data indicate that
the disc around T Tau Sa is oriented in the north-south direction, which
favours this source as launching site for the east-western jet. We further
determine from the interferometric data the relative positions of the
components of the southern binary.Comment: 24 pages, 19 figures, accepted for publication in A&
Science with an ngVLA: Resolving the Radio Complexity of EXor and FUor-type Systems with the ngVLA
Episodic accretion may be a common occurrence in the evolution of young
pre-main sequence stars and has important implications for our understanding of
star and planet formation. Many fundamental aspects of what drives the
accretion physics, however, are still unknown. The ngVLA will be a key tool in
understanding the nature of these events. The high spatial resolution, broad
spectral coverage, and unprecedented sensitivity will allow for the detailed
analysis of outburst systems. The proposed frequency range of the ngVLA allows
for observations of the gas, dust, and non-thermal emission from the star and
disk.Comment: 8 pages, 1 figure, To be published in the ASP Monograph Series,
"Science with a Next-Generation VLA", ed. E. J. Murphy (ASP, San Francisco,
CA
Enhanced X-ray variability from V1647 Ori, the young star in outburst illuminating McNeil's Nebula
We report a ~38 ks X-ray observation of McNeil's Nebula obtained with XMM on
2004 April 4. V1647 Ori, the young star in outburst illuminating McNeil's
Nebula, is detected with XMM and appears variable in X-rays. We investigate the
hardness ratio variability and time variations of the event energy distribution
with quantile analysis, and show that the large increase of the count rate from
V1647 Ori observed during the second half of the observation is not associated
with any large plasma temperature variations as for typical X-ray flares from
young low-mass stars. X-ray spectral fitting shows that the bulk (~75%) of the
intrinsic X-ray emission in the 0.5-8 keV energy band comes from a soft plasma
component (0.9 keV) reminiscent of the X-ray spectrum of the classical T Tauri
star TW Hya, for which X-ray emission is believed to be generated by an
accretion shock onto the photosphere of a low-mass star. The hard plasma
component (4.2 keV) contributes ~25% of the total X-ray emission, and can be
understood only in the framework of plasma heating sustained by magnetic
reconnection events. We find a hydrogen column density of NH=4.1E22 cm-2, which
points out a significant excess of hydrogen column density compared to the
value derived from optical/IR observations, consistent with the picture of the
rise of a wind/jet unveiled from ground optical spectroscopy. The X-ray flux
observed with XMM ranges from roughly the flux observed by Chandra on 2004
March 22 (~10 times greater than the pre-outburst X-ray flux) to a value two
times greater than that caught by Chandra on 2004 March 7 (~200 times greater
than the pre-outburst X-ray flux). We have investigated the possibility that
V1647 Ori displays a periodic variation in X-ray brightness as suggested by the
combined Chandra+XMM data set (abridged).Comment: 11 pages and 8 Figures. Accepted for publication by Astronomy &
Astrophysic
Infrared study of transitional disks in Ophiuchus with Herschel
Context. Observations of nearby star-forming regions with the Herschel Space Observatory complement our view of the protoplantary disks in Ophiuchus with information about the outer disks. Aims. The main goal of this project is to provide new far-infrared fluxes for the known disks in the core region of Ophiuchus and to identify potential transitional disks using data from Herschel. Methods. We obtained PACS and SPIRE photometry of previously spectroscopically confirmed young stellar objects (YSO) in the region and analysed their spectral energy distributions. Results. From an initial sample of 261 objects with spectral types in Ophiuchus, we detect 49 disks in at least one Herschel band. We provide new far-infrared fluxes for these objects. One of them is clearly a new transitional disk candidate. Conclusions. The data from Herschel Space Observatory provides fluxes that complement previous infrared data and that we use to identify a new transitional disk candidate
Transient dust in warm debris disks - Detection of Fe-rich olivine grains
(Abridged) Debris disks trace remnant reservoirs of leftover planetesimals in
planetary systems. A handful of "warm" debris disks have been discovered in the
last years, where emission in excess starts in the mid-infrared. An interesting
subset within these warm debris disks are those where emission features are
detected in mid-IR spectra, which points towards the presence of warm
micron-sized dust grains. Given the ages of the host stars, the presence of
these grains is puzzling, and questions their origin and survival in time. This
study focuses on determining the mineralogy of the dust around 7 debris disks
with evidence for warm dust, based on Spitzer/IRS spectroscopic data, in order
to provide new insights into the origin of the dust grains. We present a new
radiative transfer code dedicated to SED modeling of optically thin disks. We
make use of this code on the SEDs of seven warm debris disks, in combination
with recent laboratory experiments on dust optical properties. We find that
most, if not all, debris disks in our sample are experiencing a transient
phase, suggesting a production of small dust grains on relatively short
timescales. From a mineralogical point of view, we find that enstatite grains
have small abundances compared to crystalline olivine grains. The main result
of our study is that we find evidences for Fe-rich crystalline olivine grains
(Fe / [Mg + Fe] ~ 0.2) for several debris disks. This finding contrasts with
studies of gas-rich protoplanetary disks. The presence of Fe-rich olivine
grains, and the overall differences between the mineralogy of dust in Class II
disks compared to debris disks suggest that the transient crystalline dust is
of a new generation. We discuss possible crystallization routes to explain our
results, and comment on the mechanisms that may be responsible for the
production of small dust grains
The Disappearing Act of KH 15D: Photometric Results from 1995 to 2004
We present results from the most recent (2002-2004) observing campaigns of
the eclipsing system KH 15D, in addition to re-reduced data obtained at Van
Vleck Observatory (VVO) between 1995 and 2000. Phasing nine years of
photometric data shows substantial evolution in the width and depth of the
eclipses. The most recent data indicate that the eclipses are now approximately
24 days in length, or half the orbital period. These results are interpreted
and discussed in the context of the recent models for this system put forward
by Winn et al. and Chiang & Murray-Clay. A periodogram of the entire data set
yields a highly significant peak at 48.37 +/- 0.01 days, which is in accord
with the spectroscopic period of 48.38 +/- 0.01 days determined by Johnson et
al. Another significant peak, at 9.6 days, was found in the periodogram of the
out-of-eclipse data at two different epochs. We interpret this as the rotation
period of the visible star and argue that it may be tidally locked in
pseudosynchronism with its orbital motion. If so, application of Hut's theory
implies that the eccentricity of the orbit is e = 0.65 +/- 0.01. Analysis of
the UVES/VLT spectra obtained by Hamilton et al. shows that the v sin(i) of the
visible star in this system is 6.9 +/- 0.3 km/sec. Using this value of v sin(i)
and the measured rotation period of the star, we calculate the lower limit on
the radius to be R = (1.3 +/- 0.1), R_Sun, which concurs with the value
obtained by Hamilton et al. from its luminosity and effective temperature. Here
we assume that i = 90 degrees since it is likely that the spin and orbital
angular momenta vectors are nearly aligned.Comment: 55 pages, 18 figures, 1 color figure, to appear the September issue
of the Astronomical Journa
Incidence and survival of remnant disks around main-sequence stars
We present photometric ISO 60 and 170um measurements, complemented by some
IRAS data at 60um, of a sample of 84 nearby main-sequence stars of spectral
class A, F, G and K in order to determine the incidence of dust disks around
such main-sequence stars. Of the stars younger than 400 Myr one in two has a
disk; for the older stars this is true for only one in ten. We conclude that
most stars arrive on the main sequence surrounded by a disk; this disk then
decays in about 400 Myr. Because (i) the dust particles disappear and must be
replenished on a much shorter time scale and (ii) the collision of
planetesimals is a good source of new dust, we suggest that the rapid decay of
the disks is caused by the destruction and escape of planetesimals. We suggest
that the dissipation of the disk is related to the heavy bombardment phase in
our Solar System. Whether all stars arrive on the main sequence surrounded by a
disk cannot be established: some very young stars do not have a disk. And not
all stars destroy their disk in a similar way: some stars as old as the Sun
still have significant disks.Comment: 16 pages, 9 figures, Astron & Astrophys. in pres
- …