1,297 research outputs found

    Containerless processing in the European microgravity programme

    Get PDF
    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

    Get PDF
    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

    Full text link
    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

    Get PDF
    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

    Full text link
    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

    Full text link
    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.

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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
    corecore