1,087 research outputs found
Canonical Derivations with Negative Application Conditions
Using graph transformations to specify the dynamics of distributed systems and networks, we require a precise understanding of concurrency. Negative application conditions (NACs) are an essential means for controlling the application of rules, extending our ability to model complex systems. A classical notion of concurrency in graph transformation is based on shift equivalence and its representation by canonical derivations, i.e., normal forms of the shift operation anticipating independent steps. These concepts are lifted to graph transformation systems with NACs and it is shown that canonical derivations exist for so-called incremental NACs
Multi-spectral Material Classification in Landscape Scenes Using Commodity Hardware
We investigate the advantages of a stereo, multi-spectral
acquisition system for material classication in ground-level landscape
images. Our novel system allows us to acquire high-resolution, multi-
spectral stereo pairs using commodity photographic equipment. Given
additional spectral information we obtain better classication of vege-
tation classes than the standard RGB case. We test the system in two
modes: splitting the visible spectrum into six bands; and extending the
recorded spectrum to near infra-red. Our six-band design is more prac-
tical than standard multi-spectral techniques and foliage classication
using acquired images compares favourably to simply using a standard
camera
Confinement Phenomenology in the Bethe-Salpeter Equation
We consider the solution of the Bethe-Salpeter equation in Euclidean metric
for a qbar-q vector meson in the circumstance where the dressed quark
propagators have time-like complex conjugate mass poles. This approximates
features encountered in recent QCD modeling via the Dyson-Schwinger equations;
the absence of real mass poles simulates quark confinement. The analytic
continuation in the total momentum necessary to reach the mass shell for a
meson sufficiently heavier than 1 GeV leads to the quark poles being within the
integration domain for two variables in the standard approach. Through Feynman
integral techniques, we show how the analytic continuation can be implemented
in a way suitable for a practical numerical solution. We show that the would-be
qbar-q width to the meson generated from one quark pole is exactly cancelled by
the effect of the conjugate partner pole; the meson mass remains real and there
is no spurious qbar-q production threshold. The ladder kernel we employ is
consistent with one-loop perturbative QCD and has a two-parameter infrared
structure found to be successful in recent studies of the light SU(3) meson
sector.Comment: Submitted for publication; 10.5x2-column pages, REVTEX 4, 3
postscript files making 3 fig
Gluon mass generation in the PT-BFM scheme
In this article we study the general structure and special properties of the
Schwinger-Dyson equation for the gluon propagator constructed with the pinch
technique, together with the question of how to obtain infrared finite
solutions, associated with the generation of an effective gluon mass.
Exploiting the known all-order correspondence between the pinch technique and
the background field method, we demonstrate that, contrary to the standard
formulation, the non-perturbative gluon self-energy is transverse
order-by-order in the dressed loop expansion, and separately for gluonic and
ghost contributions. We next present a comprehensive review of several subtle
issues relevant to the search of infrared finite solutions, paying particular
attention to the role of the seagull graph in enforcing transversality, the
necessity of introducing massless poles in the three-gluon vertex, and the
incorporation of the correct renormalization group properties. In addition, we
present a method for regulating the seagull-type contributions based on
dimensional regularization; its applicability depends crucially on the
asymptotic behavior of the solutions in the deep ultraviolet, and in particular
on the anomalous dimension of the dynamically generated gluon mass. A
linearized version of the truncated Schwinger-Dyson equation is derived, using
a vertex that satisfies the required Ward identity and contains massless poles
belonging to different Lorentz structures. The resulting integral equation is
then solved numerically, the infrared and ultraviolet properties of the
obtained solutions are examined in detail, and the allowed range for the
effective gluon mass is determined. Various open questions and possible
connections with different approaches in the literature are discussed.Comment: 54 pages, 24 figure
Rate Equations for Graphs
In this paper, we combine ideas from two different scientific traditions: 1)
graph transformation systems (GTSs) stemming from the theory of formal
languages and concurrency, and 2) mean field approximations (MFAs), a
collection of approximation techniques ubiquitous in the study of complex
dynamics. Using existing tools from algebraic graph rewriting, as well as new
ones, we build a framework which generates rate equations for stochastic GTSs
and from which one can derive MFAs of any order (no longer limited to the
humanly computable). The procedure for deriving rate equations and their
approximations can be automated. An implementation and example models are
available online at https://rhz.github.io/fragger. We apply our techniques and
tools to derive an expression for the mean velocity of a two-legged walker
protein on DNA.Comment: to be presented at the 18th International Conference on Computational
Methods in Systems Biology (CMSB 2020
Satisfiability of constraint specifications on XML documents
Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules that are shown to define a sound and complete refutation procedure for checking satisfiability of a given specification using tableaux.Peer ReviewedPostprint (author's final draft
- …