This work describes a design of an agent model for robotic soccer based on the DEVS formalism. There is also presented a design of own DEVS simulator (based on classic DEVS simulator) for parallel realtime simulations. Functionality of the simulator and the model is shown on an example of a soccer client for RoboCup Soccer Server. Based on this client, there is also presented a design of a library for easier creation of soccer clients for RoboCup.

In dieser Arbeit werden Zufallsfeld-Ising-Modelle mit einem eingefrorenen dichotomen symmetrischen Zufallsfeld für den eindimensionalen Fall und das Bethe-Gitter untersucht. Dabei wird die kanonische Zustandssumme zu der eines einzelnen Spins in einem effektiven Feld umformuliert. Im ersten Teil der Arbeit werden das mulktifraktale Spektrum dieses effektiven Feldes untersucht, Übergänge im Spektrum erklärt und Ungleichungen zwischen lokalen und globalen Dimensionsbegriffen bewiesen, die eine weitgehend vollständige Charakterisierung des multifraktalen Spektrums durch eine Reihe von Schranken erlauben. Ein weiterer Teil der Arbeit beschäftigt sich mit einer ähnlichen Charakterisierung des Maßes der lokalen Magnetisierung, das aus dem Maß des effektiven Feldes durch Faltung hervorgeht. In diesem Zusammenhang wird die Faltung von Multifraktalen in einem allgemeineren Rahmen behandelt und Zusammenhänge zwischen den multifraktalen Eigenschaften der Faltung und denen der gefalteten Maße bewiesen. Im dritten Teil der Dissertation wird der Phasenübergang von Ferro- zu Paramagnetismus im Modell auf dem Bethe Gitter untersucht. Neben verbesserten exakten Schranken für die Eindeutigkeit des paramagnetischen Zustands werden im wesentlichen drei Kriterien für die tatsächliche Lage des Übergangs angegeben und numerisch ausgewertet. Die multifraktalen Eigenschaften des effektiven Felds im Modell auf dem Bethe-Gitter schließlich erweisen sich als trivial, da die interessanten Dimensionen nicht existieren. / In this work random field Ising models with quenched dichotomous symmetric random field are considered for the one-dimensional case and on the Bethe lattice. To this end the canonical partition function is reformulated to the partition function of one spin in an effective field. In the first part of the work the multifractal spectrum of this effective field is investigated, transitions in the spectrum are explained and inequalities between local and global generalized fractal dimensions are proven which allow to characterize the multifractal spectrum bei various bounds. A further part of the work is dedicated to the characterization of the measure of the local magnetization which is obtained by convolution of the measure of the effective field with itself. In this context the convolution of multifractals is investigated in a more general setup and relations between the multifractal properties of the convolution and the multifractal properties of the convoluted measures are proven. The phase transition from ferro- to paramagnetismus for the model on the Bethe lattice is investigated in the third part of the thesis. Apart from improved exact bounds for the uniqueness of the paramagnetic state essentially three criteria for the transition are developped and numerically evaluated to determine the transition line. The multifractal properties of the effective field for the model on the Bethe lattice finally turn out to be trivial because the interesting dimensions do not exist.

Infrared divergences arising in theories with massless gauge bosons have been shown to cancel in scattering amplitudes when using dressed states constructed from the Faddeev- Kulish approach to the asymptotic states. It has been established that these states are closely related to asymptotic symmetries of the theory, that is, non-vanishing gauge trans- formations at the asymptotic boundary. In this thesis, we review both of these aspects for QED and non-Abelian gauge theories. We also investigate the expectation value of the non-Abelian field strength tensor using dressed states. We then present a novel con- struction of the dressing operator for non-Abelian gauge theories using Wilson lines. We demonstrate, to order O(g2), that each term of the dressing operator is reproduced in the presented Wilson line approach, along with additional terms that warrant a more thorough understanding. This work extends previous results that pertained to QED and gravity.

The present thesis aims to further a somewhat unexplored area of Warm Dense Matter (WDM) physics through the use of tools developed within the dielectric formalism. WDM is an exotic form of matter with densities close to the solid state and temperatures of several eV. The accurate description of WDM is important for the understanding of the physics of dense astrophysical objects (gas giants, brown dwarfs, neutron stars) and of the initial phase of inertial confinement fusion. This necessitates an accurate knowledge of the exchange-correlation free energy functional for weakly non-ideal Quantum One-Component plasmas (qOCP). The later has been recently obtained by modern Quantum Monte Carlo (QMC) simulation techniques that alleviate the notorious fermion sign problem. Currently, pure theoretical schemes of the qOCP under WDM conditions significantly lag behind QMC simulations and this will be the main issue addressed in this thesis. In this project, we will investigate a dielectric formalism scheme tailor made for weak correlations that treats quantum mechanical effects on the random phase approximation level and satisfies the compressibility sum rule exactly by construction. More precisely, it is a self-consistent dielectric scheme for the finite temperature qOCP that is based on the Vashishta-Singwi (VS) closure of the classical BBGKY hierarchy. / Denna avhandling fokuserar på ett något outforskat område av Warm Dense Matter (WDM) fysik med hjälp av verktyg utvecklade inom den dielektriska formalismen. WDM är en exotisk form av materia med densiteter nära det solida tillståndet och en temperatur på några eV. En noggrann beskrivning av WDM är viktig för att förstå fysiken bakom kompakta astrofysikaliska objekt (t.ex. gasjättar, bruna dvärgar och neutronstjärnor) och den inledande fasen av tröghetsinnesluten fusion. Detta nödvändiggör en exakt förståelse av utbyte-korrelationsfunktionen för fri energi för svaga Quantum One-Component plasmas (qOCP). Det sistnämnda har nyligen erhållits av moderna Quantum Monte Carlo (QMC) simulationstekniker som underlättar det ökända fermion teckenproblemet. För närvarande, rent teoretiska beräkningar av qOCP med WDM-villkor är betydligt efter QMC simulationer och detta är det största problemet som kommer tas upp i denna avhandling. Vi kommer att undersöka dielektriska formalismberäkningar skräddarsydda för svaga korrelationer som behandlar kvantmekaniska effekter på slumpmässiga fasapproximationsnivåer och dessutom uppfyller komprimerbarhets summeringsregeln exakt efter konstruktion. Närmare bestämt, det är en självständig dielektrisk beräkning för begränsad temperatur-qOCP som är baserade på ”Vashishta-Singwi (VS) closure” av det klassiska BBGKY hierarkin.

Konforme Feldtheorien (CFT) spielen eine Schlüsselrolle in der modernen theoretischen Physik. Mit CFT beschreibt man reale physikalische Systeme bei Kritikalität. Dank der AdS/CFT-Korrespondenz spielt sie auch bei der Untersuchung der Quantengravitation eine zentrale Rolle. Auf der Seite der CFT steht die N=4 supersymmetrische Yang-Mills (SYM) Theorie. Diese Arbeit dreht sich hauptsächlich um die supersymmetrische Wilson-Linie und ihre Interpretation als konformer Defekt in N=4 SYM. Insbesondere konzentrieren wir uns auf Anregungen, die auf dem Defekt lokalisiert sind, sogenannte Einfügungen, deren Korrelatoren durch eine eindimensionale CFT beschrieben werden. Das erste Hauptergebnis dieser Arbeit ist ein effizienter Algorithmus zur Berechnung von Mehrpunkt Korrelationsfunktionen von Skalareinfügungen auf der Wilson-Linie bis zur nächsten Ordnung bei schwacher Kopplung kodieren. Es werden verschiedene Berechnungen solcher Vier-, Fünf- und Sechspunkt-Korrelatoren gezeigt und ihre Eigenschaften diskutiert. Darüber hinaus wird am Beispiel der Vierpunkt-Funktion die Leistungsfähigkeit der Ward-Identitäten veranschaulicht, die für die Ableitung eines Ergebnisses nächster, vorletzter und führender Ordnung entscheidend sind. Dank dieser perturbativen Ergebnisse vermuten wir eine Mehrpunkt-Erweiterung der Ward-Identitäten, die von den Vier-Punkt-Funktionen erfüllt werden. Diese nichtperturbativen Beschränkungen erweisen sich als fundamentale Bestandteile des Bootstraps einer Fünfpunkt-Funktion bei starker Kopplung. Zum Abschluss dieser Arbeit definieren wir eine inhärent eindimensionale Mellin-Amplitude auf der nichtperturbativen Ebene mit geeigneten Subtraktionen und analytischen Fortsetzungen. Die Effizienz des 1d-Mellin-Formalismus zeigt sich auf der perturbativen Ebene. Man findet einen Ausdruck in geschlossener Form für die Mellin-Transformation von Kontaktwechselwirkungen führender Ordnung, den man verwendet, um CFT-Daten zu extrahieren. / Conformal field theory (CFT) plays a key role in modern theoretical physics. Through CFT we describe real physical systems at criticality and fixed points of the renormalization group flow. It is also central in the study of quantum gravity, thanks to the AdS/CFT correspondence. This thesis originates in the context of the N=4 supersymmetric Yang-Mills (SYM) theory, which represents the CFT side of this correspondence. This work mainly revolves around the supersymmetric Wilson line and its interpretation as a conformal defect in N=4 SYM. Particularly, we focus on excitations localized on the defect called insertions, whose correlators are described by a one-dimensional CFT. The first main result of this work is an efficient algorithm for computing multipoint correlation functions of scalar insertions on the Wilson line, consisting of recursion relations encoding the possible interactions up to next-to-leading order at weak coupling. We show various computations of such four-, five- and six-point correlators, and discuss their properties. Moreover, we use the four-point function case to illustrate the power of the Ward identities, which are crucial in deriving a next-to-next-to-leading order result. Thanks to these perturbative results, we find a family of differential operators annihilating our correlation functions, which we conjecture to be a multipoint extension of the Ward identities satisfied by the four-point functions. These non-perturbative constraints are shown to be fundamental ingredients in the bootstrap of a five-point function at strong coupling. To conclude this thesis, we define an inherently one-dimensional Mellin amplitude at the non-perturbative level with appropriate subtractions and analytical continuations. The efficiency of the 1d Mellin formalism is manifest at the perturbative level. We find a closed-form expression for the Mellin transform of leading order contact interactions and use it to extract CFT data.

No description available.

No description available.

Projection is the problem of checking whether the execution of a given sequence of actions will achieve its goal starting from some initial state. In this paper, we study a setting where we combine a two-dimensional Description Logic of context (ConDL) with an action formalism. We choose a well-studied ConDL where both: the possible states of a dynamical system itself (object level) and also different context-dependent views on this system state (context level) are organised in relational structures and can be described using usual DL constructs. To represent how such a system and its views evolve we introduce a suitable action formalism. It allows to describe change on both levels. Furthermore, the observable changes on the object level due to an action execution can also be contextdependent. We show that the formalism is well-behaved in the sense that projection has the same complexity as standard reasoning tasks in case ALCO is the underlying DL.

Recently, a lot of research has combined description logics (DLs) of the DL-Lite family with temporal formalisms. Such logics are proposed to be used for situation recognition and temporalized ontology-based data access. In this report, we consider DL-Lite-LTL, in which axioms formulated in a member of the DL-Lite family are combined using the operators of propositional linear-time temporal logic (LTL). We consider the satisfiability problem of this logic in the presence of so-called rigid symbols whose interpretation does not change over time. In contrast to more expressive temporalized DLs, the computational complexity of this problem is the same as for LTL, even w.r.t. rigid symbols.

The bifunctional formalism presents an alternative how to obtain the functional value from its functional derivative by exploiting homogeneous density scaling. In the bifunctional formalism the density dependence of the functional derivative is suppressed. Consequently, those derivatives have to be treated as formal functional derivatives. For a pointwise correspondence between the true and the formal functional derivative, the bifunctional expression yields the same value as the density functional. Within the bifunctional formalismthe functional value can directly be obtained fromits derivative (while the functional itself remains unknown). Since functional derivatives are up to a constant uniquely defined, this approach allows for a pointwise comparison between approximate potentials and reference potentials. This aspect is especially important in the field of orbital-free density functional theory, where the burden is to approximate the kinetic energy. Since in the bifunctional approach the potential is approximated directly, full control is given over the latter, and consequently over the final electron densities obtained from variational procedure. Besides the bifunctional formalismitself another concept is introduced, dividing the total non-interacting kinetic energy into a known functional part and a remainder, called Pauli kinetic energy. Only the remainder requires further approximations. For practical purposes sufficiently accurate Pauli potentials for application on atoms, molecular and solid-state systems are presented.