13,749 research outputs found
Maude: specification and programming in rewriting logic
Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude
Training-induced criticality in martensites
We propose an explanation for the self-organization towards criticality
observed in martensites during the cyclic process known as `training'. The
scale-free behavior originates from the interplay between the reversible phase
transformation and the concurrent activity of lattice defects. The basis of the
model is a continuous dynamical system on a rugged energy landscape, which in
the quasi-static limit reduces to a sandpile automaton. We reproduce all the
principal observations in thermally driven martensites, including power-law
statistics, hysteresis shakedown, asymmetric signal shapes, and correlated
disorder.Comment: 5 pages, 4 figure
Casimir Force for Absorbing Media in an Open Quantum System Framework: Scalar Model
In this article we compute the Casimir force between two finite-width mirrors
at finite temperature, working in a simplified model in 1+1 dimensions. The
mirrors, considered as dissipative media, are modeled by a continuous set of
harmonic oscillators which in turn are coupled to an external environment at
thermal equilibrium. The calculation of the Casimir force is performed in the
framework of the theory of quantum open systems. It is shown that the Casimir
interaction has two different contributions: the usual radiation pressure from
vacuum, which is obtained for ideal mirrors without dissipation or losses, and
a Langevin force associated with the noise induced by the interaction between
dielectric atoms in the slabs and the thermal bath. Both contributions to the
Casimir force are needed in order to reproduce the analogous of Lifshitz
formula in 1+1 dimensions. We also discuss the relation between the
electromagnetic properties of the mirrors and the spectral density of the
environmentComment: Minor changes, version to appear in Phys. Rev.
Linearized stability analysis of thin-shell wormholes with a cosmological constant
Spherically symmetric thin-shell wormholes in the presence of a cosmological
constant are constructed applying the cut-and-paste technique implemented by
Visser. Using the Darmois-Israel formalism the surface stresses, which are
concentrated at the wormhole throat, are determined. This construction allows
one to apply a dynamical analysis to the throat, considering linearized radial
perturbations around static solutions. For a large positive cosmological
constant, i.e., for the Schwarzschild-de Sitter solution, the region of
stability is significantly increased, relatively to the null cosmological
constant case, analyzed by Poisson and Visser. With a negative cosmological
constant, i.e., the Schwarzschild-anti de Sitter solution, the region of
stability is decreased. In particular, considering static solutions with a
generic cosmological constant, the weak and dominant energy conditions are
violated, while for the null and strong energy conditions are
satisfied. The surface pressure of the static solution is strictly positive for
the Schwarzschild and Schwarzschild-anti de Sitter spacetimes, but takes
negative values, assuming a surface tension in the Schwarzschild-de Sitter
solution, for high values of the cosmological constant and the wormhole throat
radius.Comment: 16 pages, 10 figures, LaTeX2e, IOP style files. Accepted for
publication in Classical and Quantum Gravit
Algorithm of dynamic programming for optimization of the global matching between two contours defined by ordered points
This paper presents a new assignment algorithm with order restriction. Our optimization algorithm was developed using dynamic programming. It was implemented and tested to determine the best global matching that preserves the order of the points that define two contours to be matched. In the experimental tests done, we used the affinity matrix obtained via the method proposed by Shapiro, based on geometric modeling and modal matching. \newline The proposed algorithm revealed an optimum performance, when compared with classic assignment algorithms: Hungarian Method, Simplex for Flow Problems and LAPm. Indeed, the quality of the matching improved when compared with these three algorithms, due to the disappearance of crossed matching, which is allowed by the conventional assignment algorithms. Moreover, the computational cost of this algorithm is much lower than the ones of other three, leading to enhanced execution times
- …