714 research outputs found
A general relativistic model for the light propagation in the gravitational field of the Solar System: the dynamical case
Modern astrometry is based on angular measurements at the micro-arcsecond
level. At this accuracy a fully general relativistic treatment of the data
reduction is required. This paper concludes a series of articles dedicated to
the problem of relativistic light propagation, presenting the final
microarcsecond version of a relativistic astrometric model which enable us to
trace back the light path to its emitting source throughout the non-stationary
gravity field of the moving bodies in the Solar System. The previous model is
used as test-bed for numerical comparisons to the present one. Here we also
test different versions of the computer code implementing the model at
different levels of complexity to start exploring the best trade-off between
numerical efficiency and the micro-arcsecond accuracy needed to be reached.Comment: 40 pages, 5 figures. Accepted for publication on The Astrophysical
Journal. Manuscript prepared with AASLaTeX macros v.5.
Recommended from our members
Comparative study of design: application to Engineering Design
A recent exploratory study examines design processes across domains and compares them. This is achieved through a series of interdisciplinary, participative workshops. A systematic framework is used to collect data from expert witnesses who are practising designers across domains from engineering through architecture to product design and fashion, including film production, pharmaceutical drugs, food, packaging, graphics and multimedia and software. Similarities and differences across domains are described which indicate the types of comparative analysis we have been able to do from our data. The paper goes further and speculates on possible lessons for selected areas of engineering design which can be drawn from comparison with processes in other domains. As such this comparative design study offers the potential for improving engineering design processes. More generally it is a first step in creating a discipline of comparative design which aims to provide a new rich picture of design processes
The GSC-II-based survey of ancient cool white dwarfs I. The sample of spectroscopically confirmed WDs
The GSC-II white dwarf survey was designed to identify faint and high proper
motion objects, which we used to define a new and independent sample of cool
white dwarfs. With this survey we aim to derive new constraints on the halo
white dwarf space density. Also, these data can provide information on the age
of thick disk and halo through the analysis of the luminosity function. On the
basis of astrometric and photometric parameters, we selected candidates with mu
> 0.28 as/yr and R_F > 16 in an area of 1150 square degrees. Then, we separated
white dwarfs from late type dwarfs and subdwarfs by means of the reduced proper
motion diagram. Finally, spectroscopic follow-up observations were carried out
to confirm the white dwarf nature of the selected candidates. We found 41 white
dwarfs of which 24 are new discoveries. Here we present the full sample and for
each object provide positions, absolute proper motions, photometry, and
spectroscopy.Comment: 14 pages, 7 figures, submitted to A&
Predicate Transformers and Linear Logic, yet another denotational model
International audienceIn the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this structure to make predicate transformers into a de notational model of full linear logic: all the logical constructions have a natural interpretation in terms of predicate transformers (i.e. in terms of specifications). We then interpret proofs of a formula by a safety property for the corresponding specification
On Linear Information Systems
Scott's information systems provide a categorically equivalent, intensional
description of Scott domains and continuous functions. Following a well
established pattern in denotational semantics, we define a linear version of
information systems, providing a model of intuitionistic linear logic (a
new-Seely category), with a "set-theoretic" interpretation of exponentials that
recovers Scott continuous functions via the co-Kleisli construction. From a
domain theoretic point of view, linear information systems are equivalent to
prime algebraic Scott domains, which in turn generalize prime algebraic
lattices, already known to provide a model of classical linear logic
Recommended from our members
Sixteen years of bathymetry and waves at San Diego beaches.
Sustained, quantitative observations of nearshore waves and sand levels are essential for testing beach evolution models, but comprehensive datasets are relatively rare. We document beach profiles and concurrent waves monitored at three southern California beaches during 2001-2016. The beaches include offshore reefs, lagoon mouths, hard substrates, and cobble and sandy (medium-grained) sediments. The data span two energetic El Niño winters and four beach nourishments. Quarterly surveys of 165 total cross-shore transects (all sites) at 100 m alongshore spacing were made from the backbeach to 8 m depth. Monthly surveys of the subaerial beach were obtained at alongshore-oriented transects. The resulting dataset consists of (1) raw sand elevation data, (2) gridded elevations, (3) interpolated elevation maps with error estimates, (4) beach widths, subaerial and total sand volumes, (5) locations of hard substrate and beach nourishments, (6) water levels from a NOAA tide gauge (7) wave conditions from a buoy-driven regional wave model, and (8) time periods and reaches with alongshore uniform bathymetry, suitable for testing 1-dimensional beach profile change models
On linear information systems
International audienc
- …