40 research outputs found

    Universal long-time properties of Lagrangian statistics in the Batchelor regime and their application to the passive scalar problem

    Full text link
    We consider transport of dynamically passive quantities in the Batchelor regime of smooth in space velocity field. For the case of arbitrary temporal correlations of the velocity we formulate the statistics of relevant characteristics of Lagrangian motion. This allows to generalize many results obtained previously for the delta-correlated in time strain, thus answering the question of universality of these results.Comment: 11 pages, revtex; added references, typos correcte

    Dispersion and collapse in stochastic velocity fields on a cylinder

    Get PDF
    The dynamics of fluid particles on cylindrical manifolds is investigated. The velocity field is obtained by generalizing the isotropic Kraichnan ensemble, and is therefore Gaussian and decorrelated in time. The degree of compressibility is such that when the radius of the cylinder tends to infinity the fluid particles separate in an explosive way. Nevertheless, when the radius is finite the transition probability of the two-particle separation converges to an invariant measure. This behavior is due to the large-scale compressibility generated by the compactification of one dimension of the space

    A Framework for Verifying Data-Centric Protocols

    Get PDF
    International audienceData centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, while still admitting efficient distributed execution. We show that they also provide a promising approach to the verification of distributed protocols, thanks to their data centric orientation, which allows us to explicitly handle global structures such as the topology of the network. We consider a framework using an original formalization in the Coq proof assistant of a distributed computation model based on message passing with either synchronous or asynchronous behavior. The declarative rules of the Netlog language for specifying distributed protocols and the virtual machines for evaluating these rules are encoded in Coq as well. We consider as a case study tree protocols, and show how this framework enables us to formally verify them in both the asynchronous and synchronous setting

    Self-Reports and Caregivers’ Proxy Reports of Unmet Needs of Persons With Dementia: Implications for Both Partners’ Health-Related Quality of Life

    Get PDF
    Objective This study examined in a large sample of dementia caregiving dyads the associations between both partners’ reports of unmet needs in persons with dementia (PwDs) and both partners’ health-related quality of life (HRQOL).  Methods This was a cross-sectional self-report survey of 521 community-dwelling dyads in a pragmatic trial in the Netherlands. The Camberwell Needs Assessment was used to measure PwDs’ unmet needs. Both partners’ self-reported their HRQOL using the EuroQol-5. Results Controlling for covariates, PwDs’ self-reported greater unmet needs were significantly associated with PwDs’ and caregivers’ lower self-reported HRQOL (actor effect; b = −0.044, β = −0.226, z = −3.588, p <0.001 and partner effect; b = −0.021, β = −0.131, z = −2.154, p = 0.031). Caregivers’ proxy reports were greater than PwDs’ self-reported unmet needs.  Conclusion Clinicians should use caution in relying on caregiver proxy reports of PwDs’ needs and HQOL alone regarding healthcare decision making

    Effects of initial pH on compositional changes and sensory traits of french dry-cured hams

    No full text
    International audienc

    Alkylated phenanthrene distribution in artificially matured kerogens from Kimmeridge clay and the Brent Formation (North Sea)

    No full text
    Kerogen and extractible organic matter from immature Kimmeridge clay and Brent coal were heated at different temperatures (270-500°C) under conditions to mimic natural maturation. Aromatic fractions have been examined for their phenanthrene compound distribution. Phenanthrene indices based on methylphenanthrenes (MP) and dimethylphenanthrenes (DMP) exhibit very sensible changes in the applied temperature range. However, at high temperatures (about 450°C and more) possible thermal degradation of phenanthrene compounds produces a decrease in the values of the indices. Experimental data obtained in this study are compared and discussed with data obtained on thermal evolution performed on total rocks. Vitrinite reflectance values measured on artificially matured coals are also tentatively correlated with phenanthrene ratios. Theoretical thermodynamic calculations on MP compounds confirm also the relative thermal stability of the individual isomers. \textcopyright 1990
    corecore