FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery

The goal of the FOREVER project is to develop a service for Fault/intrusiOn REmoVal through Evolution & Recovery. In order to achieve this goal, our work addresses three main tasks: the definition of the FOREVER service architecture; the analysis of how diversity techniques can improve resilience; and the evaluation of the FOREVER service. The FOREVER service is an important contribution to intrustion-tolerant replication middleware and significantly enhances the resilience

Characteristics of phonon transmission across epitaxial interfaces: a lattice dynamic study

Phonon transmission across epitaxial interfaces is studied within the lattice dynamic approach. The transmission shows weak dependence on frequency for the lattice wave with a fixed angle of incidence. The dependence on azimuth angle is found to be related to the symmetry of the boundary interface. The transmission varies smoothly with the change of the incident angle. A critical angle of incidence exists when the phonon is incident from the side with large group velocities to the side with low ones. No significant mode conversion is observed among different acoustic wave branches at the interface, except when the incident angle is near the critical value. Our theoretical result of the Kapitza conductance $G_{K}$ across the Si-Ge (100) interface at temperature $T=200$K is 4.6\times10^{8} {\rm WK}^{-1}{\rmm}^{-2}. A scaling law $G_K \propto T^{2.87}$ at low temperature is also reported. Based on the features of transmission obtained within lattice dynamic approach, we propose a simplified formula for thermal conductanceacross the epitaxial interface. A reasonable consistency is found between the calculated values and the experimentally measured ones.Comment: 8 figure

Particles driven to diffraction

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/62723/1/413117a0.pd

Stability and instability in parametric resonance and quantum Zeno effect

A quantum mechanical version of a classical inverted pendulum is analyzed. The stabilization of the classical motion is reflected in the bounded evolution of the quantum mechanical operators in the Heisenberg picture. Interesting links with the quantum Zeno effect are discussed.Comment: 6 pages, 3 figure

Time independent description of rapidly oscillating potentials

The classical and quantum dynamics in a high frequency field are found to be described by an effective time independent Hamiltonian. It is calculated in a systematic expansion in the inverse of the frequency ($\omega$) to order $\omega^{-4}$. The work is an extension of the classical result for the Kapitza pendulum, which was calculated in the past to order $\omega^{-2}$. The analysis makes use of an implementation of the method of separation of time scales and of a quantum gauge transformation in the framework of Floquet theory. The effective time independent Hamiltonian enables one to explore the dynamics in presence of rapidly oscillating fields, in the framework of theories that were developed for systems with time independent Hamiltonians. The results are relevant, in particular, for exploration of the dynamics of cold atoms.Comment: 4 pages, 1 figure. Revised versio

Tensorial mobilities for accurate solution of transport problems in models with diffuse interfaces

The general problem of two-phase transport in phase-field models is analyzed: the flux of a conserved quantity is driven by the gradient of a potential through a medium that consists of domains of two distinct phases which are separated by diffuse interfaces. It is shown that the finite thickness of the interfaces induces two effects that are not present in the analogous sharp-interface problem: a surface excess current and a potential jump at the interfaces. It is shown that both effects can be eliminated simultaneously only if the coefficient of proportionality between flux and potential gradient (mobility) is allowed to become a tensor in the interfaces. This opens the possibility for precise and efficient simulations of transport problems with finite interface thickness.Comment: 14 pages, 4 figure

Direct measurement of lateral transport in membranes by using time-resolved spatial photometry.

Spatially resolving light detectors allow, with proper calibration, quantitative analysis of the variations in two-dimensional intensity distributions over time. An ultrasensitive microfluorometer was assembled by using as a detector a microchannel plate-intensified video camera. The camera was interfaced with a software-based digital video analysis system to digitize, average, and process images and to directly control the timing of the experiments to minimize exposure of the specimen to light. The detector system has been characterized to allow its use as a photometer. A major application has been to perform fluorescence recovery after photobleaching measurements by using the camera in place of a photomultiplier tube (video-FRAP) with the goal of detecting possible anisotropic diffusion or convective flow. Analysis of the data on macromolecular diffusion in homogenous aqueous glycol solutions yielded diffusion constants in agreement with previous measurements. Results on lipid probe diffusion in dimyristoylphosphatidylcholine multibilayers indicated that at temperatures above the gel-to-liquid crystalline phase transition diffusion is isotropic, and analysis of video-FRAP data yielded diffusion coefficients consistent with those measured previously by using spot photobleaching. However, lipid probes in these multibilayers held just below the main phase transition temperature exhibited markedly anisotropic diffusive fluxes when the bleaching beam was positioned proximate to domain boundaries in the P beta' phase. Lipid probes and lectin receptor complexes diffused isotropically in fibroblast surface membranes with little evidence for diffusion channeled parallel to stress fibers. A second application was to trace the time evolution of cell surface reactions such as patching. The feasibility of following, on the optical scale, the growth of individual receptor clusters induced by the ligand wheat germ agglutinin was demonstrated

Phononics: Manipulating heat flow with electronic analogs and beyond

The form of energy termed heat that typically derives from lattice vibrations, i.e. the phonons, is usually considered as waste energy and, moreover, deleterious to information processing. However, with this colloquium, we attempt to rebut this common view: By use of tailored models we demonstrate that phonons can be manipulated like electrons and photons can, thus enabling controlled heat transport. Moreover, we explain that phonons can be put to beneficial use to carry and process information. In a first part we present ways to control heat transport and how to process information for physical systems which are driven by a temperature bias. Particularly, we put forward the toolkit of familiar electronic analogs for exercising phononics; i.e. phononic devices which act as thermal diodes, thermal transistors, thermal logic gates and thermal memories, etc.. These concepts are then put to work to transport, control and rectify heat in physical realistic nanosystems by devising practical designs of hybrid nanostructures that permit the operation of functional phononic devices and, as well, report first experimental realizations. Next, we discuss yet richer possibilities to manipulate heat flow by use of time varying thermal bath temperatures or various other external fields. These give rise to a plenty of intriguing phononic nonequilibrium phenomena as for example the directed shuttling of heat, a geometrical phase induced heat pumping, or the phonon Hall effect, that all may find its way into operation with electronic analogs.Comment: 24 pages, 16 figures, modified title and revised, accepted for publication in Rev. Mod. Phy

Squeezing superfluid from a stone: Coupling superfluidity and elasticity in a supersolid

In this work we start from the assumption that normal solid to supersolid (NS-SS) phase transition is continuous, and develop a phenomenological Landau theory of the transition in which superfluidity is coupled to the elasticity of the crystalline $^4$He lattice. We find that the elasticity does not affect the universal properties of the superfluid transition, so that in an unstressed crystal the well-known $\lambda$-anomaly in the heat capacity of the superfluid transition should also appear at the NS-SS transition. We also find that the onset of supersolidity leads to anomalies in the elastic constants near the transition; conversely, inhomogeneous strains in the lattice can induce local variations of the superfluid transition temperature, leading to a broadened transition.Comment: 4 page

Particle Motion in Rapidly Oscillating Potentials: The Role of the Potential's Initial Phase

Rapidly oscillating potentials with a vanishing time average have been used for a long time to trap charged particles in source-free regions. It has been argued that the motion of a particle in such a potential can be approximately described by a time independent effective potential, which does not depend upon the initial phase of the oscillating potential. However, here we show that the motion of a particle and its trapping condition significantly depend upon this initial phase for arbitrarily high frequencies of the potential's oscillation. We explain this novel phenomenon by showing that the motion of a particle is determined by the effective potential stated in the literature only if its initial conditions are transformed according to a transformation which we show to significantly depend on the potential's initial phase for arbitrarily high frequencies. We confirm our theoretical findings by numerical simulations. Further, we demonstrate that the found phenomenon offers new ways to manipulate the dynamics of particles which are trapped by rapidly oscillating potentials. Finally, we propose a simple experiment to verify the theoretical findings of this work.Comment: 9 pages, 8 figures, published in PR