636 research outputs found
An analytical and experimental study of heat transfer in a simulated Martian atmosphere Final report, 1 Nov. 1968 - 15 Oct. 1969
Convective heat transfer in simulated Martian atmospher
Propositional Encoding of Constraints over Tree-Shaped Data
We present a functional programming language for specifying constraints over
tree-shaped data. The language allows for Haskell-like algebraic data types and
pattern matching. Our constraint compiler CO4 translates these programs into
satisfiability problems in propositional logic. We present an application from
the area of automated analysis of (non-)termination of rewrite systems
Implementing Encapsulated Search for a Lazy Functional Logic Language
Abstract. A distinguishing feature of logic and functional logic lan-guages is their ability to perform computations with partial data and to search for solutions of a goal. Having a built-in search strategy is convenient but not always sufficient. For many practical applications the built-in search strategy (usually depth-first search via global back-tracking) is not well suited. Also the non-deterministic instantiation of unbound logic variables conflicts with the monadic I/O concept, which requires a single-threaded use of the world. A solution to these problems is to encapsulate search via a primitive operator try, which returns all possible solutions to a search goal in a list. In the present paper we develop an abstract machine that aims at an efficient implementation of encapsulated search in a lazy functional logic language.
Physical and dynamical characterization of the Euphrosyne asteroid Family
The Euphrosyne asteroid family occupies a unique zone in orbital element
space around 3.15 au and may be an important source of the low-albedo
near-Earth objects. The parent body of this family may have been one of the
planetesimals that delivered water and organic materials onto the growing
terrestrial planets. We aim to characterize the compositional properties as
well as the dynamical properties of the family. We performed a systematic study
to characterize the physical properties of the Euphrosyne family members via
low-resolution spectroscopy using the IRTF telescope. In addition, we performed
smoothed-particle hydrodynamics (SPH) simulations and N-body simulations to
investigate the collisional origin, determine a realistic velocity field, study
the orbital evolution, and constrain the age of the Euphrosyne family. Our
spectroscopy survey shows that the family members exhibit a tight taxonomic
distribution, suggesting a homogeneous composition of the parent body. Our SPH
simulations are consistent with the Euphrosyne family having formed via a
reaccumulation process instead of a cratering event. Finally, our N-body
simulations indicate that the age of the family is 280 Myr +180/-80 Myr, which
is younger than a previous estimate.Comment: 10 pages, 13 figures, accepted to be published in A&
Relations as executable specifications: taming partiality and non-determinism using invariants
Comunicação publicada em "Lecture Notes in Computer Science", vol. 7560 (2012), pag. 146-161The calculus of relations has been widely used in program specification and reasoning. It is very tempting to use such specifications as running prototypes of the desired program, but, even considering finite domains, the inherent partiality and non-determinism of relations makes this impractical and highly inefficient. To tame partiality we prescribe the usage of invariants, represented by coreflexives, to characterize the exact domains and codomains of relational specifications. Such invariants can be used as pre-condition checkers to avoid runtime errors. Moreover, we show how such invariants can be used to narrow the non-deterministic execution of relational specifications, making it viable for a relevant class of problems. In particular, we show how the proposed techniques can be applied to execute specifications of bidirectional transformations, a domain where partiality and non-determinism are paramount.Fundação para a Ciência e a Tecnologi
YORP and Yarkovsky effects in asteroids (1685) Toro, (2100) Ra-Shalom, (3103) Eger, and (161989) Cacus
The rotation states of small asteroids are affected by a net torque arising
from an anisotropic sunlight reflection and thermal radiation from the
asteroids' surfaces. On long timescales, this so-called YORP effect can change
asteroid spin directions and their rotation periods. We analyzed lightcurves of
four selected near-Earth asteroids with the aim of detecting secular changes in
their rotation rates that are caused by YORP. We use the lightcurve inversion
method to model the observed lightcurves and include the change in the rotation
rate as a free parameter of optimization. We
collected more than 70 new lightcurves. For asteroids Toro and Cacus, we used
thermal infrared data from the WISE spacecraft and estimated their size and
thermal inertia. We also used the currently available optical and radar
astrometry of Toro, Ra-Shalom, and Cacus to infer the Yarkovsky effect. We
detected a YORP acceleration of for asteroid Cacus. For
Toro, we have a tentative () detection of YORP from a significant
improvement of the lightcurve fit for a nonzero value of . For asteroid
Eger, we confirmed the previously published YORP detection with more data and
updated the YORP value to . We also updated the shape model of
asteroid Ra-Shalom and put an upper limit for the change of the rotation rate
to . Ra-Shalom has a greater than
Yarkovsky detection with a theoretical value consistent with observations
assuming its size and/or density is slightly larger than the nominally expected
values
The non-convex shape of (234) Barbara, the first Barbarian
Asteroid (234) Barbara is the prototype of a category of asteroids that has
been shown to be extremely rich in refractory inclusions, the oldest material
ever found in the Solar System. It exhibits several peculiar features, most
notably its polarimetric behavior. In recent years other objects sharing the
same property (collectively known as "Barbarians") have been discovered.
Interferometric observations in the mid-infrared with the ESO VLTI suggested
that (234) Barbara might have a bi-lobated shape or even a large companion
satellite. We use a large set of 57 optical lightcurves acquired between 1979
and 2014, together with the timings of two stellar occultations in 2009, to
determine the rotation period, spin-vector coordinates, and 3-D shape of (234)
Barbara, using two different shape reconstruction algorithms. By using the
lightcurves combined to the results obtained from stellar occultations, we are
able to show that the shape of (234) Barbara exhibits large concave areas.
Possible links of the shape to the polarimetric properties and the object
evolution are discussed. We also show that VLTI data can be modeled without the
presence of a satellite.Comment: 10 pages, 6 figure
Phase transitions for suspension flows
This paper is devoted to study thermodynamic formalism for suspension flows
defined over countable alphabets. We are mostly interested in the regularity
properties of the pressure function. We establish conditions for the pressure
function to be real analytic or to exhibit a phase transition. We also
construct an example of a potential for which the pressure has countably many
phase transitions.Comment: Example 5.2 expanded. Typos corrected. Section 6.1 superced the note
"Thermodynamic formalism for the positive geodesic flow on the modular
surface" arXiv:1009.462
Homeomorphic Embedding for Online Termination of Symbolic Methods
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems
(16) Psyche: A mesosiderite-like asteroid?
Asteroid (16) Psyche is the target of the NASA Psyche mission. It is
considered one of the few main-belt bodies that could be an exposed
proto-planetary metallic core and that would thus be related to iron
meteorites. Such an association is however challenged by both its near- and
mid-infrared spectral properties and the reported estimates of its density.
Here, we aim to refine the density of (16) Psyche to set further constraints on
its bulk composition and determine its potential meteoritic analog.
We observed (16) Psyche with ESO VLT/SPHERE/ZIMPOL as part of our large
program (ID 199.C-0074). We used the high angular resolution of these
observations to refine Psyche's three-dimensional (3D) shape model and
subsequently its density when combined with the most recent mass estimates. In
addition, we searched for potential companions around the asteroid. We derived
a bulk density of 3.99\,\,0.26\,gcm for Psyche. While such
density is incompatible at the 3-sigma level with any iron meteorites
(7.8\,gcm), it appears fully consistent with that of
stony-iron meteorites such as mesosiderites (density
4.25\,cm). In addition, we found no satellite in our images
and set an upper limit on the diameter of any non-detected satellite of
1460\,\,200}\,m at 150\,km from Psyche (0.2\%\,\,R, the
Hill radius) and 800\,\,200\,m at 2,000\,km (3\%\,\,).
Considering that the visible and near-infrared spectral properties of
mesosiderites are similar to those of Psyche, there is merit to a
long-published initial hypothesis that Psyche could be a plausible candidate
parent body for mesosiderites.Comment: 16 page
- …