6,221 research outputs found
Ion-liquid based super-capacitors with inner gate diode-like separators
We demonstrate that the capacitance of ionic-liquid filled supercapacitors is
substantially increased by placing a diode-like structure on the separator
membrane. We call the structured separator: gate, and demonstrate that the
order of a p-n layout with respect to the auxiliary electrode affects the
overall cell's capacitance. The smallest ESR and the largest capacitance values
are noted when the p-side is facing the auxiliary electrode.Comment: 11 pages, 8 figure
Robustness against Power is PSPACE-complete
Power is a RISC architecture developed by IBM, Freescale, and several other
companies and implemented in a series of POWER processors. The architecture
features a relaxed memory model providing very weak guarantees with respect to
the ordering and atomicity of memory accesses.
Due to these weaknesses, some programs that are correct under sequential
consistency (SC) show undesirable effects when run under Power. We call these
programs not robust against the Power memory model. Formally, a program is
robust if every computation under Power has the same data and control
dependencies as some SC computation.
Our contribution is a decision procedure for robustness of concurrent
programs against the Power memory model. It is based on three ideas. First, we
reformulate robustness in terms of the acyclicity of a happens-before relation.
Second, we prove that among the computations with cyclic happens-before
relation there is one in a certain normal form. Finally, we reduce the
existence of such a normal-form computation to a language emptiness problem.
Altogether, this yields a PSPACE algorithm for checking robustness against
Power. We complement it by a matching lower bound to show PSPACE-completeness
Swelling of particle-encapsulating random manifolds
We study the statistical mechanics of a closed random manifold of fixed area
and fluctuating volume, encapsulating a fixed number of noninteracting
particles. Scaling analysis yields a unified description of such swollen
manifolds, according to which the mean volume gradually increases with particle
number, following a single scaling law. This is markedly different from the
swelling under fixed pressure difference, where certain models exhibit
criticality. We thereby indicate when the swelling due to encapsulated
particles is thermodynamically inequivalent to that caused by fixed pressure.
The general predictions are supported by Monte Carlo simulations of two
particle-encapsulating model systems -- a two-dimensional self-avoiding ring
and a three-dimensional self-avoiding fluid vesicle. In the former the
particle-induced swelling is thermodynamically equivalent to the
pressure-induced one whereas in the latter it is not.Comment: 8 pages, 6 figure
A wide-spectrum language for verification of programs on weak memory models
Modern processors deploy a variety of weak memory models, which for
efficiency reasons may (appear to) execute instructions in an order different
to that specified by the program text. The consequences of instruction
reordering can be complex and subtle, and can impact on ensuring correctness.
Previous work on the semantics of weak memory models has focussed on the
behaviour of assembler-level programs. In this paper we utilise that work to
extract some general principles underlying instruction reordering, and apply
those principles to a wide-spectrum language encompassing abstract data types
as well as low-level assembler code. The goal is to support reasoning about
implementations of data structures for modern processors with respect to an
abstract specification.
Specifically, we define an operational semantics, from which we derive some
properties of program refinement, and encode the semantics in the rewriting
engine Maude as a model-checking tool. The tool is used to validate the
semantics against the behaviour of a set of litmus tests (small assembler
programs) run on hardware, and also to model check implementations of data
structures from the literature against their abstract specifications
Excitonic Funneling in Extended Dendrimers with Non-Linear and Random Potentials
The mean first passage time (MFPT) for photoexcitations diffusion in a
funneling potential of artificial tree-like light-harvesting antennae
(phenylacetylene dendrimers with generation-dependent segment lengths) is
computed. Effects of the non-linearity of the realistic funneling potential and
slow random solvent fluctuations considerably slow down the center-bound
diffusion beyond a temperature-dependent optimal size. Diffusion on a
disordered Cayley tree with a linear potential is investigated analytically. At
low temperatures we predict a phase in which the MFPT is dominated by a few
paths.Comment: 4 pages, 4 figures, To be published in Phys. Rev. Let
Disorder and Funneling Effects on Exciton Migration in Tree-Like Dendrimers
The center-bound excitonic diffusion on dendrimers subjected to several types
of non-homogeneous funneling potentials, is considered. We first study the
mean-first passage time (MFPT) for diffusion in a linear potential with
different types of correlated and uncorrelated random perturbations. Increasing
the funneling force, there is a transition from a phase in which the MFPT grows
exponentially with the number of generations , to one in which it does so
linearly. Overall the disorder slows down the diffusion, but the effect is much
more pronounced in the exponential compared to the linear phase. When the
disorder gives rise to uncorrelated random forces there is, in addition, a
transition as the temperature is lowered. This is a transition from a
high- regime in which all paths contribute to the MFPT to a low- regime
in which only a few of them do. We further explore the funneling within a
realistic non-linear potential for extended dendrimers in which the dependence
of the lowest excitonic energy level on the segment length was derived using
the Time-Dependent Hatree-Fock approximation. Under this potential the MFPT
grows initially linearly with but crosses-over, beyond a molecular-specific
and -dependent optimal size, to an exponential increase. Finally we consider
geometrical disorder in the form of a small concentration of long connections
as in the {\it small world} model. Beyond a critical concentration of
connections the MFPT decreases significantly and it changes to a power-law or
to a logarithmic scaling with , depending on the strength of the funneling
force.Comment: 13 pages, 9 figure
- …