1,297 research outputs found
Containerless processing in the European microgravity programme
Reasonable acoustic levitation for undercooled melts in space was obtained, but some residual instabilities in times of high thermal transients need to be eliminated. Electrostatic levitation was developed with the acoustic levitator with similar applications in mind. The system tested used a tetrahedral electrode configuration with unchanged samples. ESA's involvement in electromagnetic levitation is concentrated on accommodation studies for the European Containerless Processing Lab for the Space Station Freedom. The gas film technique is based on the processing of samples confined by porous walls. Air flow through the walls create air cushions which inhibit wall contact. This technique is particularly promising for glasses
Quantum and random walks as universal generators of probability distributions
Quantum walks and random walks bear similarities and divergences. One of the
most remarkable disparities affects the probability of finding the particle at
a given location: typically, almost a flat function in the first case and a
bell-shaped one in the second case. Here I show how one can impose any desired
stochastic behavior (compatible with the continuity equation for the
probability function) on both systems by the appropriate choice of time- and
site-dependent coins. This implies, in particular, that one can devise quantum
walks that show diffusive spreading without loosing coherence, as well as
random walks that exhibit the characteristic fast propagation of a quantum
particle driven by a Hadamard coin.Comment: 8 pages, 2 figures; revised and enlarged versio
Two-Player Reachability-Price Games on Single-Clock Timed Automata
We study two player reachability-price games on single-clock timed automata.
The problem is as follows: given a state of the automaton, determine whether
the first player can guarantee reaching one of the designated goal locations.
If a goal location can be reached then we also want to compute the optimum
price of doing so. Our contribution is twofold. First, we develop a theory of
cost functions, which provide a comprehensive methodology for the analysis of
this problem. This theory allows us to establish our second contribution, an
EXPTIME algorithm for computing the optimum reachability price, which improves
the existing 3EXPTIME upper bound.Comment: In Proceedings QAPL 2011, arXiv:1107.074
Diffractive optics in adverse environments
An investigation at the Army Research Laboratory is in progress to characterize DOE performance in mil-spec environments. One of the most significant environmental influences is temperature. An analysis of a diffractive lens is presented in which optical performance is described as a function of temperature. In particular, we review the thermal dependence of focal length and diffraction efficiency. It is shown that the change in these parameters is independent of lens shape and relates only to material properties. Thermalized hybrid refractive/diffractive designs are discussed
LTL Parameter Synthesis of Parametric Timed Automata
The parameter synthesis problem for parametric timed automata is undecidable
in general even for very simple reachability properties. In this paper we
introduce restrictions on parameter valuations under which the parameter
synthesis problem is decidable for LTL properties. The investigated bounded
integer parameter synthesis problem could be solved using an explicit
enumeration of all possible parameter valuations. We propose an alternative
symbolic zone-based method for this problem which results in a faster
computation. Our technique extends the ideas of the automata-based approach to
LTL model checking of timed automata. To justify the usefulness of our
approach, we provide experimental evaluation and compare our method with
explicit enumeration technique.Comment: 23 pages, extended versio
A Simulator for LLVM Bitcode
In this paper, we introduce an interactive simulator for programs in the form
of LLVM bitcode. The main features of the simulator include precise control
over thread scheduling, automatic checkpoints and reverse stepping, support for
source-level information about functions and variables in C and C++ programs
and structured heap visualisation. Additionally, the simulator is compatible
with DiVM (DIVINE VM) hypercalls, which makes it possible to load, simulate and
analyse counterexamples from an existing model checker
The role of human ventral visual cortex in motion perception.
Visual motion perception is fundamental to many aspects of visual perception. Visual motion perception has long been associated with the dorsal (parietal) pathway and the involvement of the ventral 'form' (temporal) visual pathway has not been considered critical for normal motion perception. Here, we evaluated this view by examining whether circumscribed damage to ventral visual cortex impaired motion perception. The perception of motion in basic, non-form tasks (motion coherence and motion detection) and complex structure-from-motion, for a wide range of motion speeds, all centrally displayed, was assessed in five patients with a circumscribed lesion to either the right or left ventral visual pathway. Patients with a right, but not with a left, ventral visual lesion displayed widespread impairments in central motion perception even for non-form motion, for both slow and for fast speeds, and this held true independent of the integrity of areas MT/V5, V3A or parietal regions. In contrast with the traditional view in which only the dorsal visual stream is critical for motion perception, these novel findings implicate a more distributed circuit in which the integrity of the right ventral visual pathway is also necessary even for the perception of non-form motion
Expedition 308 synthesis: overpressure, consolidation, and slope stability on the continental slope of the Gulf of Mexico
Integrated Ocean Drilling Program Expedition 308 quantified the
coupling between sedimentation, consolidation, overpressure,
fluid flow, and slope instability in continental margin settings.
We summarize and synthesize peer-reviewed hydrogeologic studies
published since the end of Expedition 308 that focus on Expedition
308 sites drilled in Ursa Basin: Sites U1322, U1323, and
U1324. There is a rich stratigraphic complexity in the Ursa Basin,
deepwater Gulf of Mexico. The sandstone-prone Blue Unit is a
permeable aquifer overlain by mudstone-prone leveed-channel
deposition. Multiple mass transport deposits, each densified relative
to surrounding material, are present. Eight coeval surfaces
mapped across the drilling transect span ~70 ka to present. Sedimentation
rates were >10 mm/y at Site U1324. In situ penetrometer
measurements document severe overpressures that begin at or
near the seafloor and extend to the base of the drilled holes. Uniaxial
consolidation experiments quantified the compression behavior
of the sediments and provided an approach to predict
pressure from porosity. Laboratory analysis of permeability and
compressibility document that the coefficient of consolidation
(hydraulic diffusivity) of Ursa Basin mudstones is 10–8 m2/s over
the effective stresses encountered during drilling at Ursa Basin
(0.1 to 5 MPa). This low and constant value for the coefficient of
consolidation is responsible for the presence of high overpressure
very near the seafloor. Although permeability is very high, the
sediments are also highly compressible. Forward modeling of Ursa
Basin sediments shows that overpressure near the seafloor is reasonable
given the rock properties and sedimentation rates that are
observed. Modeling also illustrates that flow is driven laterally
along an underlying aquifer, the Blue Unit. Soon after Blue Unit
deposition, lateral flow induced submarine landslides. Later in
the evolution of this system, overpressure may have preconditioned
the slope to failure by earthquakes of magnitude 5.0
Attending to the parts of a single object: Part-based selection limitations
La temática engloba a todos aquellos con patologías susceptibles de ser compensada por una prótesis. Las mismas, para uso competitivo, son importadas y de costo prohibitivo sobre todo en vistas de la iniciación en su uso. Es una tecnología capaz de desarrollarse en el país logrando mayor índice de inclusión a temprana edad e igualdad de condiciones para nuestros atletas paralímpicos. El objetivo es generar el conocimiento que nos permita obtener una prótesis capaz de resistir las solicitaciones de una competencia y desarrollar los parámetros para una rápida adaptación a cada situación particular de los futuros usuarios. Se busca establecer los procedimientos para fabricar una nueva prótesis transtibial de tipo Flex-Foot en materiales compuestos que presente tamaño y proporción apropiada, sea liviana, tenga propiedades dinámicas y elásticas adecuadas, soporte la carga y fatiga provista por el corredor.Universidad Nacional de La Plat
- …