Suche
Anzeige der Dokumente 1201-1210 von 1442
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 ...
Dissertation
Interferometrische Sensoren mit Modulation der optischen Weglänge für die Fertigungsmesstechnik
(2016-03-09)
Ziel dieser Dissertation ist es, eine Klasse interferometrischer Messgeräte zu charakterisieren und weiter zu entwickeln. Die Modulation der optischen Weglänge (OPLM) im Referenzarm eines interferometrischen Messsystems ist ein anpassungsfähiger Ansatz. Sie ist zur Messung von Oberflächenprofilen mit einer Auflösung bis in den sub-nm-Bereich bei einem Messbereich von bis zu 100 Mikrometer geeignet. Wird ein statisches Messobjekt gemessen, tritt durch die Modulation im Referenzarm am Detektor ein periodisches ...
Dissertation
Shifting cultivation and forest resources in Nagaland, N.-E. India
(2010-06-17)
Die vorliegende Studie befasst sich mit der Ressourcennachhaltigkeit der traditionellen, auf Wanderfeldbau beruhenden Subsistenzwirtschaft in zwei Dörfern (Hongphoy und Minyakshu) in Nagaland im Nordosten Indiens. Hierbei werden die Cerealien Produktion, der Feuerholz Konsum und auch die Folgen der intensivierten Bewirtschaftung (Forstdegradation und Bodenverarmung) im Hinblick auf das Bevölkerungswachstum diskutiert. Während das traditionelle System des Wanderfeldbaus (Jhum) seit Jahrzehnten die Bedürfnisse der ...
Dissertation
Das Projekt des lateinamerikanischen Denkens. Zum Verhältnis von Mythos und Rationalität
(2006-06-13)
Das Thema dieser Arbeit ist die philosophischgeschichliche Darlegung des Selbstfindungsprozesses des lateinamerikanischen Denkens. Es wird die enge Verknüpfung dieses Denkens mit der Kultur aufgezeigt, in der es entstand und die sich in deren Mythen und Traditionen widerspiegelt.
Durch diese kulturgeschichtlichen Betrachtungen soll der Leser zum Verständnis der lateinamerikanischen Autoren und zu deren zentralen Themen hingeführt werden.
Die Erfahrung hat die lateinamerikanischen Denker gelehrt, dass sie die ...
Dissertation
Theoretical study of magnetism, structure and chemical order in transition-metal alloy clusters
(2012-02-27)
Research on transition-metal nanoalloy clusters composed of a few atoms is fascinating by their unusual properties due to the interplay among the structure, chemical order and magnetism. Such nanoalloy clusters, can be used to construct nanometer devices for technological applications by manipulating their remarkable magnetic, chemical and optical properties. Determining the nanoscopic features exhibited by the magnetic alloy clusters signifies the need for a systematic global and local exploration of their ...
Dissertation
Interannual and interdecadal oscillations in hydrological variables: Sources and modeling of the persistence in the Elbe River Basin
(2006-07-04)
Wenn man die Existenz von physikalischen Mechanismen ignoriert, die für die Struktur hydrologischer Zeitreihen verantwortlich sind, kann das zu falschen Schlussfolgerungen bzgl. des Vorhandenseins möglicher Gedächtnis (memory) -Effekte, d.h. von Persistenz, führen. Die hier vorgelegte Doktorarbeit spürt der niedrigfrequenten klimatischen Variabilität innerhalb den hydrologischen Zyklus nach und bietet auf dieser "Reise" neue Einsichten in die Transformation der charakteristischen Eigenschaften von Zeitreihen mit ...
Dissertation
CD-Systems of Restarting Automata
(2008-09-10)
Die vorliegende Arbeit behandelt Restartautomaten und Erweiterungen von Restartautomaten.
Restartautomaten sind ein Werkzeug zum Erkennen formaler Sprachen. Sie sind motiviert durch
die linguistische Methode der Analyse durch Reduktion und wurden 1995 von Jancar, Mráz, Plátek und Vogel eingeführt.
Restartautomaten bestehen aus einer endlichen Kontrolle, einem Lese/Schreibfenster fester Größe und einem flexiblen Band. Anfänglich enthält dieses sowohl die Eingabe als auch Bandbegrenzungssymbole.
Die Berechnung eines ...
Dissertation
Some New Classes of Orthogonal Polynomials and Special Functions
(2006-11-01)
In dieser Dissertation präsentieren wir zunächst eine Verallgemeinerung der üblichen Sturm-Liouville-Probleme mit symmetrischen Lösungen und erklären eine umfassendere Klasse. Dann führen wir einige neue Klassen orthogonaler Polynome und spezieller Funktionen ein, welche sich aus dieser symmetrischen Verallgemeinerung ableiten lassen. Als eine spezielle Konsequenz dieser Verallgemeinerung führen wir ein Polynomsystem mit vier freien Parametern ein und zeigen, dass in diesem System fast alle klassischen symmetrischen ...