4,729 research outputs found
Hilbert-Post completeness for the state and the exception effects
In this paper, we present a novel framework for studying the syntactic
completeness of computational effects and we apply it to the exception effect.
When applied to the states effect, our framework can be seen as a
generalization of Pretnar's work on this subject. We first introduce a relative
notion of Hilbert-Post completeness, well-suited to the composition of effects.
Then we prove that the exception effect is relatively Hilbert-Post complete, as
well as the "core" language which may be used for implementing it; these proofs
have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant
Institute, NYU). Sixth International Conference on Mathematical Aspects of
Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC
A library of near-infrared integral field spectra of young M-L dwarfs
We present a library of near-infrared (1.1-2.45 microns) medium-resolution
(R~1500-2000) integral field spectra of 15 young M6-L0 dwarfs, composed of
companions with known ages and of isolated objects. We use it to (re)derive the
NIR spectral types, luminosities and physical parameters of the targets, and to
test (BT-SETTL, DRIFT-PHOENIX) atmospheric models. We derive infrared spectral
types L0+-1, L0+-1, M9.5+-0.5, M9.5+-0.5, M9.25+-0.25, M8+0.5-0.75, and
M8.5+-0.5 for AB Pic b, Cha J110913-773444, USco CTIO 108B, GSC 08047-00232 B,
DH Tau B, CT Cha b, and HR7329B, respectively. BT-SETTL and DRIFT-PHOENIX
models yield close Teff and log g estimates for each sources. The models seem
to evidence a 600-300+600 K drop of the effective temperature at the M-L
transition. Assuming the former temperatures are correct, we derive new mass
estimates which confirm that DH Tau B, USco CTIO 108B, AB Pic b, KPNO Tau 4,
OTS 44, and Cha1109 lay inside or at the boundary of the planetary mass range.
We combine the empirical luminosities of the M9.5-L0 sources to the Teff to
derive semi-empirical radii estimates that do not match "hot-start"
evolutionary models predictions at 1-3 Myr. We use complementary data to
demonstrate that atmospheric models are able to reproduce the combined optical
and infrared spectral energy distribution, together with the near-infrared
spectra of these sources simultaneously. But the models still fail to represent
the dominant features in the optical. This issue casts doubts on the ability of
these models to predict correct effective temperatures from near-infrared
spectra alone. We advocate the use of photometric and spectroscopic data
covering a broad range of wavelengths to study the properties of very low mass
young companions to be detected with the planet imagers (Subaru/SCExAO,
LBT/LMIRCam, Gemini/GPI, VLT/SPHERE).Comment: 27 pages, 14 tables, 19 figures, accepted for publication in
Astronomy & Astrophysic
Type II and IV radio bursts in the active period October-November 2003
In this report we present the Type II and IV radio bursts observed and
analyzed by the radio spectrograph ARTEMIS IV1, in the 650-20MHz frequency
range, during the active period October-November 2003. These bursts exhibit
very rich fine structures such fibers, pulsations and zebra patterns which is
associated with certain characteristics of the associated solar flares and
CMEs.Comment: Recent Advances in Astronomy and Astrophysics: 7th International
Conference of the Hellenic Astronomical Society. AIP Conference Proceedings,
Volume 848, pp. 199-206 (2006
Near-infrared spatially resolved spectroscopy of (136108) Haumea's multiple system
The transneptunian region of the solar system is populated by a wide variety
of icy bodies showing great diversity. The dwarf planet (136108) Haumea is
among the largest TNOs and displays a highly elongated shape and hosts two
moons, covered with crystalline water ice like Hamuea. Haumea is also the
largest member of the sole TNO family known to date. A catastrophic collision
is likely responsible for its unique characteristics. We report here on the
analysis of a new set of observations of Haumea obtained with SINFONI at the
ESO VLT. Combined with previous data, and using light-curve measurements in the
optical and far infrared, we carry out a rotationally resolved spectroscopic
study of the surface of Haumea. We describe the physical characteristics of the
crystalline water ice present on the surface of Haumea for both regions, in and
out of the Dark Red Spot (DRS), and analyze the differences obtained for each
individual spectrum. The presence of crystalline water ice is confirmed over
more than half of the surface of Haumea. Our measurements of the average
spectral slope confirm the redder characteristic of the spot region. Detailed
analysis of the crystalline water-ice absorption bands do not show significant
differences between the DRS and the remaining part of the surface. We also
present the results of applying Hapke modeling to our data set. The best
spectral fit is obtained with a mixture of crystalline water ice (grain sizes
smaller than 60 micron) with a few percent of amorphous carbon. Improvements to
the fit are obtained by adding ~10% of amorphous water ice. Additionally, we
used the IFU-reconstructed images to measure the relative astrometric position
of the largest satellite Hi`iaka and determine its orbital elements. An orbital
solution was computed with our genetic-based algorithm GENOID and our results
are in full agreement with recent results.Comment: Accepted for publication in A&
Ten Years of the Solar Radiospectrograph ARTEMIS-IV
The Solar Radiospectrograph of the University of Athens (ARTEMIS-IV) is in
operation at the Thermopylae Satellite Communication Station since 1996. The
observations extend from the base of the Solar Corona (650 MHz) to about 2
Solar Radii (20 MHz) with time resolution 1/10-1/100 sec. The instruments
recordings, being in the form of dynamic spectra, measure radio flux as a
function of height in the corona; our observations are combined with spatial
data from the Nancay Radioheliograph whenever the need for 3D positional
information arises. The ARTEMIS-IV contribution in the study of solar radio
bursts is two fold- Firstly, in investigating new spectral characteristics
since its high sampling rate facilitates the study of fine structures in radio
events. On the other hand it is used in studying the association of solar
bursts with interplanetary phenomena because of its extended frequency range
which is, furthermore, complementary to the range of the WIND/WAVES receivers
and the observations may be readily combined. This reports serves as a brief
account of this operation. Joint observations with STEREO/WAVES and LOFAR low
frequency receivers are envisaged in the future
Type II Shocks Characteristics: Comparison with associated CMEs and Flares
A number of metric (100-650 MHz) typeII bursts was recorded by the ARTEMIS-IV
radiospectrograph in the 1998-2000 period; the sample includes both CME driven
shocks and shocks originating from flare blasts. We study their characteristics
in comparison with characteristics of associated CMEs and flares.Comment: Recent Advances in Astronomy and Astrophysics: 7th International
Conference of the Hellenic Astronomical Society. AIP Conference Proceedings,
Volume 848, pp. 238-242 (2006
PREDICTION OF PROCESS-INDUCED DEFORMATIONS USING DEEP LEARNING INTERFACED FINITE ELEMENT (FE) CONSTITUTIVE MODELS
The aim of the study is to improve the predictive capacity of a Finite Element tool in relation to a rheological thermo-chemo-viscoelastic constitutive model. This enhancement specifically focuses on accurately capturing the Process Induced Deformations (PID) resulting from the polymerization of thermoset composite matrix. These deformations are due to the internal residual stress that arises from the material's inherent anisotropic properties, specifically the coefficients of thermal expansion and chemical shrinkage. The focus of the study is to accurately model the cure polymerization behaviour, which is known to have a significant impact on manufacturing defects. To account for the effect of process variables, such as maximum curing temperatures and temperature rates, a non-parametric neural network model is implemented instead of a parametric diffusion cure-kinetics model. Such model is trained using Differential Scanning Calorimetry characterization tests and is interfaced with the classical visco-elastic constitutive model to predict the evolution of thermoset resin states, which is evaluated using two cure state variables: degree of cure and glass transition temperature. This improved prediction of state transitions results in precise evaluations of internal residual stresses, leading to accurate PID predictions. Anisotropic properties of carbon/epoxy woven composite at different states of cure are used for the numerical analyses. Finally, the enhanced methodology is applied to a case study of a Z-shaped thermoset part, and the predicted PID closely associates with the experimental measures
- …