4,246 research outputs found
Internal Stress in a Model Elasto-Plastic Fluid
Plastic materials can carry memory of past mechanical treatment in the form
of internal stress. We introduce a natural definition of the vorticity of
internal stress in a simple two-dimensional model of elasto-plastic fluids,
which generates the internal stress. We demonstrate how the internal stress is
induced under external loading, and how the presence of the internal stress
modifies the plastic behavior.Comment: 4 pages, 3 figure
Elastic Convection in Vibrated Viscoplastic Fluids
We observe a new type of behavior in a shear thinning yield stress fluid:
freestanding convection rolls driven by vertical oscillation. The convection
occurs without the constraint of container boundaries yet the diameter of the
rolls is spontaneously selected for a wide range of parameters. The transition
to the convecting state occurs without hysteresis when the amplitude of the
plate acceleration exceeds a critical value. We find that a non-dimensional
stress, the stress due to the inertia of the fluid normalized by the yield
stress, governs the onset of the convective motion.Comment: 4 pages, 6 figure
Design Optimization for Solar Array of Multiple Collector Types
Methodology is presented for optimizing solar arrays used for heating fluids from ambient to elevated temperatures. The optimal array consists of the appropriate combination of available collector types which delivers the most energy per dollar invested in the array. An example optimization is presented and verified using computer simulation of numerous combinations of collector types
Recommended from our members
Parenting practices and mothers behavioural and demographic factors influencing their 2 year old child's physical activity.
yesTo identify maternal factors that influence physical activity behaviour in 2 year old children
Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom
We consider the problem of verifying deadlock freedom for symmetric cache
coherence protocols. In particular, we focus on a specific form of deadlock
which is useful for the cache coherence protocol domain and consistent with the
internal definition of deadlock in the Murphi model checker: we refer to this
deadlock as a system- wide deadlock (s-deadlock). In s-deadlock, the entire
system gets blocked and is unable to make any transition. Cache coherence
protocols consist of N symmetric cache agents, where N is an unbounded
parameter; thus the verification of s-deadlock freedom is naturally a
parameterized verification problem. Parametrized verification techniques work
by using sound abstractions to reduce the unbounded model to a bounded model.
Efficient abstractions which work well for industrial scale protocols typically
bound the model by replacing the state of most of the agents by an abstract
environment, while keeping just one or two agents as is. However, leveraging
such efficient abstractions becomes a challenge for s-deadlock: a violation of
s-deadlock is a state in which the transitions of all of the unbounded number
of agents cannot occur and so a simple abstraction like the one above will not
preserve this violation. In this work we address this challenge by presenting a
technique which leverages high-level information about the protocols, in the
form of message sequence dia- grams referred to as flows, for constructing
invariants that are collectively stronger than s-deadlock. Efficient
abstractions can be constructed to verify these invariants. We successfully
verify the German and Flash protocols using our technique
Metric fluctuations and decoherence
Recently a model of metric fluctuations has been proposed which yields an
effective Schr\"odinger equation for a quantum particle with a modified
inertial mass, leading to a violation of the weak equivalence principle. The
renormalization of the inertial mass tensor results from a local space average
over the fluctuations of the metric over a fixed background metric. Here, we
demonstrate that the metric fluctuations of this model lead to a further
physical effect, namely to an effective decoherence of the quantum particle. We
derive a quantum master equation for the particle's density matrix, discuss in
detail its dissipation and decoherence properties, and estimate the
corresponding decoherence time scales. By contrast to other models discussed in
the literature, in the present approach the metric fluctuations give rise to a
decay of the coherences in the energy representation, i. e., to a localization
in energy space.Comment: 7 page
Ultrafast Optical-Pump Terahertz-Probe Spectroscopy of the Carrier Relaxation and Recombination Dynamics in Epitaxial Graphene
The ultrafast relaxation and recombination dynamics of photogenerated
electrons and holes in epitaxial graphene are studied using optical-pump
Terahertz-probe spectroscopy. The conductivity in graphene at Terahertz
frequencies depends on the carrier concentration as well as the carrier
distribution in energy. Time-resolved studies of the conductivity can therefore
be used to probe the dynamics associated with carrier intraband relaxation and
interband recombination. We report the electron-hole recombination times in
epitaxial graphene for the first time. Our results show that carrier cooling
occurs on sub-picosecond time scales and that interband recombination times are
carrier density dependent.Comment: 4 pages, 5 figure
Weak convergence of Vervaat and Vervaat Error processes of long-range dependent sequences
Following Cs\"{o}rg\H{o}, Szyszkowicz and Wang (Ann. Statist. {\bf 34},
(2006), 1013--1044) we consider a long range dependent linear sequence. We
prove weak convergence of the uniform Vervaat and the uniform Vervaat error
processes, extending their results to distributions with unbounded support and
removing normality assumption
Transport of Cytoplasmically Synthesized Proteins into the Mitochondria in a Cell Free System from Neurospora crassa
Synthesis and transport of mitochondrial proteins were followed in a cell-free homogenate of Neurospora crassa in which mitochondrial translation was inhibited. Proteins synthesized on cytoplasmic ribosomes are transferred into the mitochondrial fraction. The relative amounts of proteins which are transferred in vitro are comparable to those transferred in whole cells.
Cycloheximide and puromycin inhibit the synthesis of mitochondrial proteins but not their transfer into mitochondria.
The transfer of immunoprecipitable mitochondrial proteins was demonstrated for matrix proteins, carboxyatractyloside-binding protein and cytochrome c.
Import of proteins into mitochondria exhibits a degree of specificity. The transport mechanism differentiates between newly synthesized proteins and preexistent mitochondrial proteins, at least in the case of matrix proteins.
In the cell-free homogenate membrane-bound ribosomes are more active in the synthesis of mitochondrial proteins than are free ribosomes. The finished translation products appear to be released from the membrane-bound ribosomes into the cytosol rather than into the membrane vesicles.
The results suggest that the transport of cytoplasmically synthesized mitochondrial proteins is essentially independent of cytoplasmic translation; that cytoplasmically synthesized mitochondrial proteins exist in an extramitochondrial pool prior to import; that the site of this pool is the cytosol for at least some of the mitochondrial proteins; and that the precursors in the extramitochondrial pool differ in structure or conformation from the functional proteins in the mitochondria
- …