2,583 research outputs found
The circumstellar disc of FS Tau B – a self-consistent model based on observations in the mid-infrared with NACO
Protoplanetary discs are a byproduct of the star formation process. In the dense mid-plane of these discs, planetesimals and planets are expected to form. The first step in planet formation is the growth of dust particles from submicrometre-sized grains to macroscopic mm-sized aggregates. The grain growth is accompanied by radial drift and vertical segregation of the particles within the disc. To understand this essential evolutionary step, spatially resolved multi-wavelength observations as well as photometric data are necessary which reflect the properties of both disc and dust. We present the first spatially resolved image obtained with NACO at the VLT in the Lp band of the near edge-on protoplanetary disc FS Tau B. Based on this new image, a previously published Hubble image in H band and the spectral energy distribution from optical to millimetre wavelengths, we derive constraints on the spatial dust distribution and the progress of grain growth. For this purpose we perform a disc modelling using the radiative transfer code MC
3
3
D. Radial drift and vertical sedimentation of the dust are not considered. We find a best-fitting model which features a disc extending from 2 au to several hundreds au with a moderately decreasing surface density and Mdisc = 2.8 × 10−2 M⊙. The inclination amounts to i = 80°. Our findings indicate that substantial dust grain growth has taken place and that grains of a size equal to or larger than 1 mm are present in the disc. In conclusion, the parameters describing the vertical density distribution are better constrained than those describing the radial disc structure
Formal Component-Based Semantics
One of the proposed solutions for improving the scalability of semantics of
programming languages is Component-Based Semantics, introduced by Peter D.
Mosses. It is expected that this framework can also be used effectively for
modular meta theoretic reasoning. This paper presents a formalization of
Component-Based Semantics in the theorem prover Coq. It is based on Modular
SOS, a variant of SOS, and makes essential use of dependent types, while
profiting from type classes. This formalization constitutes a contribution
towards modular meta theoretic formalizations in theorem provers. As a small
example, a modular proof of determinism of a mini-language is developed.Comment: In Proceedings SOS 2011, arXiv:1108.279
Recommended from our members
Communicating oceanographic research through film : the role of film in helping scientists develop and meet their broader impacts goals
Funding agencies, specifically the National Science Foundation (NSF), are placing particular emphasis on the societal relevance and broader applications of scientific research, otherwise known as Broader Impacts (BIs). Scientists are required to address the BIs merit review criterion in their research proposals or they will not get funded. However, many scientists perceive the BIs criterion to be confusing and daunting, and developing activities to meet these requirements is often not within their expertise. One way to reach a vast audience and make scientific research more relevant and compelling to the broader public might be through documentary film. This study explores the relationship between film, science communication, and BIs.
To address this relationship, this study includes: 1) an analysis of existing interview data on scientists' perceptions of and experiences with BIs and 2) an in-depth case study of a small sample of scientists, some of whom were filmed conducting research on glacier melting in Greenland. Data were analyzed using thematic content analysis related to how the filmmaking process (1) influenced the scientists' communication of current research and (2) helped the scientists both develop and meet their BIs goals.
Findings from this study indicate that being filmed throughout the research process had minimal impact on the scientists' communication of their work. However, partnering with a filmmaker compelled these scientists to develop clearer and more compelling messages about the societal relevance of their research. This research contributes to the understanding of what might drive scientists to develop BIs goals and engage with filmmakers or education and outreach specialists in order to meet their goals
The circumstellar disk of HH 30. Searching for signs of disk evolution with multi-wavelength modeling
Circumstellar disks are characteristic for star formation and vanish during
the first few Myr of stellar evolution. During this time planets are believed
to form in the dense midplane by growth, sedimentation and aggregation of dust.
Indicators of disk evolution, such as holes and gaps, can be traced in the
spectral energy distribution (SED) and spatially resolved images.
We aim to construct a self-consistent model of HH 30 by fitting all available
continuum observations simultaneously. New data sets not available in previous
studies, such as high-resolution interferometric imaging with the Plateau de
Bure Interferometer (PdBI) at lambda = 1.3 mm and SED measured with IRS on the
Spitzer Space Telescope in the mid-infrared, put strong constraints on
predictions and are likely to provide new insights into the evolutionary state
of this object.
A parameter study based on simulated annealing was performed to find unbiased
best-fit models for independent observations made in the wavelength domain
lambda ~ 1 micron ... 4 mm. The method essentially creates a Markov chain
through parameter space by comparing predictions generated by our
self-consistent continuum radiation transfer code MC3D with observations.
We present models of the edge-on circumstellar disk of HH 30 based on
observations from the near-infrared to mm-wavelengths that suggest the presence
of an inner depletion zone with about 45 AU radius and a steep decline of mm
opacity beyond 140 AU. Our modeling indicates that several modes of dust
evolution such as growth, settling, and radial migration are taking place in
this object.
High-resolution observations of HH 30 at different wavelengths with
next-generation observatories such as ALMA and JWST will enable the modeling of
inhomogeneous dust properties and significantly expand our understanding of
circumstellar disk evolution.Comment: Accepted for publication in Astronomy and Astrophysic
Recommended from our members
TIME-RESOLVED 1-10 keV CRYSTAL SPECTROMETER FOR THE Z MACHINE AT SANDIA NATIONAL LABORATORIES
We have designed, fabricated, calibrated, and fielded a fast, time-resolved 1-10 keV crystal spectrometer to observe the evolution of wire pinch spectra at the Z machine at Sandia National Laboratories. The instrument has two convex cylindrical crystals (PET and KAP). Both crystals Bragg reflect x-rays into an array of ten silicon diodes, providing continuous spectral coverage in twenty channels from 1.0 to 10 keV. The spectral response of the instrument has been calibrated from 1.0 to 6.3 keV at beamline X8A at the National Synchrotron Light Source. The time response of the 1-mm2 silicon detectors was measured with the Pulsed X-ray Source at Bechtel Nevada's Los Alamos Operations, where 2-nanosecond full-width half-maximum (FWHM) waveforms with 700-picosecond rise times typically were observed. The spectrometer has been fielded recently on several experimental runs at the Z Machine. In this paper, we present the time-resolved spectra resulting from the implosions of double-nested tungsten wire arrays onto 5-mm diameter foam cylinders. We also show the results obtained for a double-nested stainless steel wire array with no target cylinder. The spectrometer was located at the end of a 7.1-meter beamline on line-of sight (LOS)21/22, at an angle 12{sup o} above the equatorial plane, and was protected from the debris field by a customized dual-slit fast valve. The soft detector channels below 2.0 keV recorded large signals at pinch time coinciding with signals recorded on vacuum x-ray diodes (XRDs). On experiment Z993, the spectrometer channels recorded a second pulse with a hard x-ray emission spectrum several nanoseconds after pinch time
Recommended from our members
Studies of Bs2∗(5840)0 and Bs1(5830)0 mesons including the observation of the Bs2∗(5840)0→B0KS0 decay in proton-proton collisions at s=8TeV.
Measurements of Bs2∗(5840)0 and Bs1(5830)0 mesons are performed using a data sample of proton-proton collisions corresponding to an integrated luminosity of , collected with the CMS detector at the LHC at a centre-of-mass energy of 8TeV . The analysis studies P-wave Bs0 meson decays into B(∗)+K- and B(∗)0KS0 , where the B+ and B0 mesons are identified using the decays B+→J/ψK+ and B0→J/ψK∗(892)0 . The masses of the P-wave Bs0 meson states are measured and the natural width of the Bs2∗(5840)0 state is determined. The first measurement of the mass difference between the charged and neutral B∗ mesons is also presented. The Bs2∗(5840)0 decay to B0KS0 is observed, together with a measurement of its branching fraction relative to the Bs2∗(5840)0→B+K- decay
- …