Suche
Anzeige der Dokumente 1711-1720 von 1944
Dissertation
Buffered Simulation for Büchi Automata
(2019)
Wir stellen eine neue Familie von Simulationsrelationen zwischen zwei nicht deterministischen Büchi Automaten (NBA), genannt gepufferte Simulation vor. Wir erweitern das Spiel-Framework der üblichen fairen Simulation, so dass Duplicator ihren Spielzug überspringen und die Buchstaben, die Spoiler gelesenen hat, vorübergehend in einem Puffer speichern kann. Duplicator kann diese Buchstaben in ihrer Struktur dann später ausführen. Duplicator hat damit eine Vorschau in die Bewegungen von Spoiler und somit mehr Chancen, ...
Dissertation
Relatedness in Evidence Networks
(2014-10-10)
Einhergehend mit der Entwicklung und zunehmenden Verfügbarkeit des Internets hat sich die Art der Informationsbereitstellung und der Informationsbeschaffung deutlich geändert. Die einstmalige Trennung zwischen Publizist und Konsument wird durch kollaborative Anwendungen des sogenannten Web 2.0 aufgehoben, wo jeder Teilnehmer gleichsam Informationen bereitstellen und konsumieren kann. Zudem können Einträge anderer Teilnehmer erweitert, kommentiert oder diskutiert werden. Mit dem Social Web treten schließlich die ...
Dissertation
The Fatigue and Corrosion Fatigue Behavior of Austenitic Stainless Steel AISI 304 after Deep Rolling at Various Temperatures
(2019-09)
The austenitic stainless steel AISI 304 was deep rolled at 20 °C (RTDR), -195 °C (CTDR), and 550 °C (HTDR). The deep rolling pressures used for each deep rolling temperature were 1.0, 1.7, and 2.4 bar. From microstructural investigation, the largest compressive residual stress field was found in RTDR, and the highest amount of martensitic content and plastic deformation were found in CTDR. The strain aging effect was only found in HTDR.
In the rotating bending fatigue tests, the strain aging effect after HTDR is ...
Aufsatz
Aphyllophoroid fungi in insular woodlands of eastern Ukraine
(2017-12-22)
Background
Fungi play crucial roles in ecosystems and are among the species-richest organism groups on Earth. However, knowledge on their occurrence lags behind the data for animals and plants. Recent analyses of fungal occurrence data from Western, Central and Northern Europe provided important insights into response of fungi to global warming. The consequences of the global changes for biodiversity on a larger geographical scale are not yet understood. Landscapes of Eastern Europe and particularly of eastern ...
Dissertation
Bridging Perspectives
(2016-09-29)
People’s ability to change their social and economic circumstances may be constrained by various forms of social, cultural and political domination. Thus to consider a social actor’s particular lifeworld in which the research is embedded assists in the understanding of how and why different trajectories of change occur or are hindered and how those changes fundamentally affect livelihood opportunities and constraints. In seeking to fulfill this condition this thesis adopted an actor-oriented approach to the study of ...
Dissertation
3D Simultaneous Inversion for Seismic Structure and Local Hypocenters in Germany under Consideration of Seismic Anisotropy in the Upper Mantel
(2010-10-20)
The main task of this work has been to investigate the effects of anisotropy onto the propagation of seismic waves along the Upper Mantle below Germany and adjacent areas.
Refraction- and reflexion seismic experiments proved the existence of Upper Mantle anisotropy and its influence onto the propagation of Pn-waves.
By the 3D tomographic investigations that have been done here for the crust and the upper mantle, considering the influence of anisotropy, a gap for the investigations in Europe has been closed.
These ...
Dissertation
Hybrid Branching-Time Logics
(2019)
We introduce and study an extension of the well-known and well-studied branching-time logics CTL, CTL+, FCTL+, CTL* and the modal μ-calculus with the so called "hybrid framework". This framework borrows ideas from first-order logic to enable more precise "structural" reasoning which is known to be impossible in the original logics. In particular, the extension with this framework enables these logics to uniquely name, reference and test for certain states, similarly to the concepts of variables and constants in ...
Dissertation
Konzeption, Implementierung und Anwendung eines automatisierten aerothermodynamischen Vorentwurfsprozesses für Axialturbinen
(2016-07-06)
In dieser Arbeit wird ein Prozess für den frühen aerothermodynamischen Entwurf von Axialturbinen konzipiert und durch Kopplung einzelner Computerprogramme im DLR Göttingen realisiert. Speziell für die Erstauslegung von Geometrien und die Vorhersage von globalen Leistungsdaten beliebiger Axialturbinen wurde ein neues Programm erzeugt. Dessen effiziente Anwendung wird mit einer zu diesem Zweck konzipierten grafischen Entwurfsumgebung ausgeführt. Kennzeichnend für den Vorentwurfsprozess in dieser Arbeit ist die Anwendung ...
Dissertation
Magnetic interactions between transition metal impurities and clusters mediated by low-dimensional metallic hosts: A first principles theoretical investigation
(2015-03-31)
The magnetic properties and interactions between transition metal (TM) impurities and clusters in low-dimensional metallic hosts are studied using a first principles theoretical method. In the first part of this work, the effect of magnetic order in 3d-5d systems is addressed from the perspective of its influence on the enhancement of the magnetic anisotropy energy (MAE). In the second part, the possibility of using external electric fields (EFs) to control the magnetic properties and interactions between nanoparticles ...
Aufsatz
Expression of NK cluster genes in the onychophoran Euperipatoides rowelli: implications for the evolution of NK family genes in nephrozoans
(2018-07-18)
Background:
Understanding the evolution and development of morphological traits of the last common bilaterian ancestor is a major goal of the evo-devo discipline. The reconstruction of this “urbilaterian” is mainly based on comparative studies of common molecular patterning mechanisms in recent model organisms. The NK homeobox genes are key players in many of these molecular pathways, including processes regulating mesoderm, heart and neural development. Shared features seen in the expression patterns of NK genes ...