14,074 research outputs found
Modular session types for objects
Session types allow communication protocols to be specified
type-theoretically so that protocol implementations can be verified by static
type checking. We extend previous work on session types for distributed
object-oriented languages in three ways. (1) We attach a session type to a
class definition, to specify the possible sequences of method calls. (2) We
allow a session type (protocol) implementation to be modularized, i.e.
partitioned into separately-callable methods. (3) We treat session-typed
communication channels as objects, integrating their session types with the
session types of classes. The result is an elegant unification of communication
channels and their session types, distributed object-oriented programming, and
a form of typestate supporting non-uniform objects, i.e. objects that
dynamically change the set of available methods. We define syntax, operational
se-mantics, a sound type system, and a sound and complete type checking
algorithm for a small distributed class-based object-oriented language with
structural subtyping. Static typing guarantees that both sequences of messages
on channels, and sequences of method calls on objects, conform to
type-theoretic specifications, thus ensuring type-safety. The language includes
expected features of session types, such as delegation, and expected features
of object-oriented programming, such as encapsulation of local state.Comment: Logical Methods in Computer Science (LMCS), International Federation
for Computational Logic, 201
A variational principle for fluid sloshing with vorticity, dynamically coupled to vessel motion
A variational principle is derived for two-dimensional incompressible
rotational fluid flow with a free surface in a moving vessel when both the
vessel and fluid motion are to be determined. The fluid is represented by a
stream function and the vessel motion is represented by a path in the planar
Euclidean group. Novelties in the formulation include how the pressure boundary
condition is treated, the introduction of a stream function into the
Euler-Poincar\'e variations, the derivation of free surface variations, and how
the equations for the vessel path in the Euclidean group, coupled to the fluid
motion, are generated automatically.Comment: 19 pages, 3 figure
On the filamentary environment of galaxies
The correlation between the large-scale distribution of galaxies and their
spectroscopic properties at z=1.5 is investigated using the Horizon MareNostrum
cosmological run.
We have extracted a large sample of 10^5 galaxies from this large
hydrodynamical simulation featuring standard galaxy formation physics. Spectral
synthesis is applied to these single stellar populations to generate spectra
and colours for all galaxies. We use the skeleton as a tracer of the cosmic web
and study how our galaxy catalogue depends on the distance to the skeleton. We
show that galaxies closer to the skeleton tend to be redder, but that the
effect is mostly due to the proximity of large haloes at the nodes of the
skeleton, rather than the filaments themselves.
This effects translate into a bimodality in the colour distribution of our
sample. The origin of this bimodality is investigated and seems to follow from
the ram pressure stripping of satellite galaxies within the more massive
clusters of the simulation.
The virtual catalogues (spectroscopical properties of the MareNostrum
galaxies at various redshifts) are available online at
http://www.iap.fr/users/pichon/MareNostrum/cataloguesComment: 18 pages, 27 figures, accepted for publication in MNRA
Criterion for purely elastic Taylor-Couette instability in the flows of shear-banding fluids
In the past twenty years, shear-banding flows have been probed by various
techniques, such as rheometry, velocimetry and flow birefringence. In micellar
solutions, many of the data collected exhibit unexplained spatio-temporal
fluctuations. Recently, it has been suggested that those fluctuations originate
from a purely elastic instability of the flow. In cylindrical Couette geometry,
the instability is reminiscent of the Taylor-like instability observed in
viscoelastic polymer solutions. In this letter, we describe how the criterion
for purely elastic Taylor-Couette instability should be adapted to
shear-banding flows. We derive three categories of shear-banding flows with
curved streamlines, depending on their stability.Comment: 6 pages, 3 figure
Potential "ways of thinking" about the shear-banding phenomenon
Shear-banding is a curious but ubiquitous phenomenon occurring in soft
matter. The phenomenological similarities between the shear-banding transition
and phase transitions has pushed some researchers to adopt a 'thermodynamical'
approach, in opposition to the more classical 'mechanical' approach to fluid
flows. In this heuristic review, we describe why the apparent dichotomy between
those approaches has slowly faded away over the years. To support our
discussion, we give an overview of different interpretations of a single
equation, the diffusive Johnson-Segalman (dJS) equation, in the context of
shear-banding. We restrict ourselves to dJS, but we show that the equation can
be written in various equivalent forms usually associated with opposite
approaches. We first review briefly the origin of the dJS model and its initial
rheological interpretation in the context of shear-banding. Then we describe
the analogy between dJS and reaction-diffusion equations. In the case of
anisotropic diffusion, we show how the dJS governing equations for steady shear
flow are analogous to the equations of the dynamics of a particle in a quartic
potential. Going beyond the existing literature, we then draw on the Lagrangian
formalism to describe how the boundary conditions can have a key impact on the
banding state. Finally, we reinterpret the dJS equation again and we show that
a rigorous effective free energy can be constructed, in the spirit of early
thermodynamic interpretations or in terms of more recent approaches exploiting
the language of irreversible thermodynamics.Comment: 14 pages, 6 figures, tutorial revie
Coexistence of anomalous field effect and mesoscopic conductance fluctuations in granular aluminium
We perform electrical field effect measurements at 4 K on insulating granular
aluminium thin films. When the samples size is reduced below 100 micrometers,
reproducible and stable conductance fluctuations are seen as a function of the
gate voltage. Our results suggest that these fluctuations reflect the
incomplete self-averaging of largely distributed microscopic resistances. We
also study the anomalous field effect (conductance dip) already known to exit
in large samples and its slow conductance relaxation in the presence of the
conductance fluctuations. Within our measurements accuracy, the two phenomena
appear to be independent of each other, like two additive contributions to the
conductance. We discuss the possible physical meaning of this independence and
in particular whether or not this observation is in favor of an electron glass
interpretation of slow conductance anomaly relaxations.Comment: 16 pages, 26 figure
Towards the Equation of State of Classical SU(2) Lattice Gauge Theory
We determine numerically the full complex Lyapunov spectrum of SU(2)
Yang-Mills fields on a 3-dimensional lattice from the classical chaotic
dynamics. The equation of state, S(E), is determined from the Kolmogorov-Sinai
entropy extrapolated to the large size limit.Comment: 12 pages, 8 PS figures, LaTe
- …