Search
Now showing items 1-10 of 17
Dissertation
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL.
A first characterization is given by converting the denotational semantics ...
Dissertation
Multilayer Thin-film Structures with Distributed Cavity for Optical Filter and Laser Applications
(2018-12)
This work is aimed at the development of a fabrication process for realization of a chirped filter based laser device (called as coreSEL). Conventional vertical cavity surface emitting lasers (VCSELs) are based on Fabry-Pérot arrangement where the electric field of the resonant mode is mainly located in the cavity region (center) and often causes undesired effects such as mode-jumps. However, coreSEL is based on chirped optical filter which offers a resonant mode with wider spatial distribution of the electric field ...
Dissertation
Entwicklung und Herstellung eines Labor-Demonstrators für Mikrospiegel-Arrays zur Tageslichtlenkung
(2018-05)
Die Entwicklung und Herstellung eines Labor-Demonstrators für Mikrospiegel-Arrays zur Tageslichtlenkung wird beschrieben. Der Labor-Demonstrator besteht aus einem aktiven Fenster und einem Miniaturraum, wodurch die Funktionsweise der Mikrospiegel-Arrays in dem aktiven Fenster optimal dargestellt werden kann. Das aktive Fenster besteht aus einer Isolierverglasung mit einer Größe von 50 cm x 50 cm, in deren Scheibenzwischenraum vier unabhängig voneinander steuerbare Mikrospiegel-Arrays integriert sind, die eine Fläche ...
Dissertation
Planning of Autonomous and Mobile Robots in Dynamic Environments
(2018-11)
The capabilities of autonomous robots are increasing which is a reason for research progress
in the last years. An increasing number of robotic scenarios are becoming more viable in
various domains for example, mowing, harvesting, warehouse robots. But autonomous
mobile robots need more than the ability to navigate through their world, and manipulate
objects. Even in teams of robots, a structured plan for each team member is necessary.
Planning becomes a more important task. Furthermore, the environment can ...
Dissertation
Daten-Erfassungssysteme und deren Anwendung in der Elektrotechnik
(2018-03-06)
Die vorliegende Arbeit vergleicht unterschiedliche Arten der Blindleistungsbereitstellung durch dezentrale, erneuerbare Energiesysteme.
Dissertation
Eine dedizierte Prozessor-Architektur zur effizienten Berechnung leitfähigkeitsbasierter neuronaler Netze
(2018-01-25)
Das menschliche Fassungsvermögen kommt selbst bei einfachen Systemen an seine Grenzen, sobald diese Rückkopplungen bzw. nichtlineare Abhängigkeiten aufweisen. Bei biologischen Prozessen wird dieser Umstand dadurch verstärkt, dass zahlreiche Subsysteme zusammenwirken. Simulationen bieten gewisse Vorteile gegenüber experimentellen Ansätzen, da sich ein komplexer Zusammenhang vereinfachen und gezielt untersuchen lässt. Bezogen auf Nervenzellen kann das leitfähigkeitsbasierte Huber-Braun-Modell mit tonischen, burstenden ...
Dissertation
Dynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten
(2018-03-22)
Das erfolgreiche Agieren von Multiagentensystemen (MAS) setzt eine umfangreiche und hochwertige Wissensbasis voraus. Die Wissensbasis umfasst die von einem Agenten benötigten Informationen, welche durch die Verarbeitung von Sensorinformationen erzeugt werden. Die Anpassung der Informationsverarbeitung an die Einsatzdomäne ermöglicht es, die Qualität der Wissensbasis zu gewährleisten und so die Leistung des MAS zu steigern. Aktuelle Middleware-Systeme unterstützen die Integration von gängigen Methoden und Verfahren ...
Dissertation
Model Calculations for Characterisation and Implementation of Vertical Thin-Layer Structures with Distributed Cavity Mode for Filter and Laser Applications
(2018-04-11)
This work focusses on the approach of optical thin-layer filters with distributed cavity mode. Fabry-Pérot filters own a single cavity layer in the centre of the stack. In contrast, with chirped filter approach the cavity thickness is distributed over several layers. Model calculation results are applied to characterise the properties of the spectrum and the electric field of chirped filters. The aim of distributing the cavity within the filter stack is to distribute the electric field in the resonance case (transmission ...
Dissertation
Techno-ökonomische Gesamtbewertung heterogener Maßnahmen zur Verlängerung der Tagesreichweite von batterieelektrischen Fahrzeugen
(2018-04-11)
Batterieelektrische Fahrzeuge (BEV) sind eine wichtige Option zur Senkung von Treibhausgasemissionen und lokaler Emissionen, deren weiteren Verbreitung allerdings ökonomische und technische Barrieren entgegenstehen. Technische Barrieren sind vor allem eine zu geringe elektrische Fahrzeugreichweite sowie eine als nicht ausreichend empfundene Ladeinfrastrukturverfügbarkeit. Diese technischen Barrieren sind als komplementär anzusehen, da sie beide direkt die Tagesfahrleistungen eines Nutzers beeinflussen, die maximal ...
Dissertation
Ordered Restarting Automata
(epubli, 2018-07-10)
In der folgenden Arbeit geht es um geordnete Restartautomaten. Restartautomaten sind ein theoretisches Modell, das in der Linguistik bei der Analyse durch Reduktion Verwendung findet. Die geordneten Restartautomaten wurden im Zusammenhang von zweidimensionalen Bildsprachen eingeführt und bilden das zugrundeliegende eindimensionale Modell.
Von diesem eindimensionalen Modell betrachten wir verschiedene Varianten und untersuchen und vergleichen hauptsächlich Sprachklassen und Beschreibungskomplexität. Eine Gemeinsamkeit ...