6,790 research outputs found

    NGC1333/IRAS4: A multiple star formation laboratory

    Get PDF
    We present SCUBA observations of the protomultiple system NGC1333/IRAS4 at 450um and 850um. The 850um map shows significant extended emission which is most probably a remnant of the initial cloud core. At 450um, the component 4A is seen to have an elongated shape suggestive of a disk. Also we confirm that in addition to the 4A and 4B system, there exists another component 4C, which appears to lie out of the plane of the system and of the extended emission. Deconvolution of the beam reveals a binary companion to IRAS4B. Simple considerations of binary dynamics suggest that this triple 4A-4BI-4BII system is unstable and will probably not survive in its current form. Thus IRAS4 provides evidence that systems can evolve from higher to lower multiplicity as they move towards the main sequence. We construct a map of spectral index from the two wavelengths, and comment on the implications of this for dust evolution and temperature differences across the map. There is evidence that in the region of component 4A the dust has evolved, probably by coagulating into larger or more complex grains. Furthermore, there is evidence from the spectral index maps that dust from this object is being entrained in its associated outflow.Comment: 10 pages, 10 figures. To appear in MNRAS. Uses mn.sty. Also available at http://www.astro.phys.ethz.ch/papers/smith/smith_p_m.htm

    Osteopathic Treatments for Soft Tissue, Joint, and Head-Related Pain

    Get PDF
    The article examines how osteopathic manipulations can help in the treatment or management of pain associated with soft tissue, joint, and head-related injury or disease

    Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)

    Full text link
    In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e. systems obtained by an \emph{apriori} unknown number of Timed Automata instantiated from a finite set U1,,UnU_1, \dots, U_n of Timed Automata templates. In this way we aim at giving a tool to universally verify software systems where an unknown number of software components (i.e. processes) interact with continuous time temporal constraints. It is often the case, indeed, that distributed algorithms show an heterogeneous nature, combining dynamic aspects with real-time aspects. In the paper we will also show how to model check a protocol that uses special variables storing identifiers of the participating processes (i.e. PIDs) in Timed Automata with conjunctive guards. This is non-trivial, since solutions to the parameterized verification problem often relies on the processes to be symmetric, i.e. indistinguishable. On the other side, many popular distributed algorithms make use of PIDs and thus cannot directly apply those solutions

    Effects of rarefaction on cavity flow in the slip regime

    Get PDF
    The Navier-Stokes-Fourier equations, with boundary conditions that account for the effects of velocity-slip and temperature-jump, are compared to the direct simulation Monte Carlo method for the case of a lid-driven micro-cavity. Results are presented for Knudsen numbers within the slip-flow regime where the onset of nonequilibrium effects are usually observed. Good agreement is found in predicting the general features of the velocity field and the recirculating flow. However, although the steady-state pressure distributions along the walls of the driven cavity are generally in good agreement with the Monte Carlo data, there is some indication that the results are starting to show noticeable differences, particularly at the separation and reattachment points. The modified Navier-Stokes-Fourier equations consistently overpredict the maximum and minimum pressure values throughout the slip regime. This highlights the need for alternative boundary formulations or modeling techniques that can provide accurate and computationally economic solutions over a wider range of Knudsen numbers

    Micro-scale cavities in the slip - and transition - flow regimes

    Get PDF
    Differences between Navier-Stokes-Fourier (NSF) slip/jump solutions and direct simulation Monte-Carlo (DSMC) computations are highlighted for a micro lid-driven cavity problem. The results indicate a need for better modelling techniques which at the same time retain low computational cost of NSF models. We also highlight the fact thatmany micro-flows that have been considered are simple planar flows and typical classification systems are defined on such flows. We show that for complex flows, such as thedriven cavity, non-equilibrium effects are more appreciable and their onset occurs at lower Knudsen numbers than expected

    Study of localization in the quantum sawtooth map emulated on a quantum information processor

    Full text link
    Quantum computers will be unique tools for understanding complex quantum systems. We report an experimental implementation of a sensitive, quantum coherence-dependent localization phenomenon on a quantum information processor (QIP). The localization effect was studied by emulating the dynamics of the quantum sawtooth map in the perturbative regime on a three-qubit QIP. Our results show that the width of the probability distribution in momentum space remained essentially unchanged with successive iterations of the sawtooth map, a result that is consistent with localization. The height of the peak relative to the baseline of the probability distribution did change, a result that is consistent with our QIP being an ensemble of quantum systems with a distribution of errors over the ensemble. We further show that the previously measured distributions of control errors correctly account for the observed changes in the probability distribution.Comment: 20 pages, 9 figure
    corecore