Suche
Anzeige der Dokumente 1-10 von 124
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 ...
Konferenzveröffentlichung
Controlled magnetic devices in power electronic applications
(IEEE, 2017)
Almost all power electronic converters require magnetic devices and some properties of the converters can be controlled with magnetics. New magnetic materials enable implementation of magnetic control of converters also in high switching frequency applications. The presented paper gives an overview about controllability of magnetic devices in theory and practice, simulation approaches and examples. The focus is on electrically controllable magnetic devices. This means that an additional control winding is wound on ...
Konferenzveröffentlichung
Design of Photovoltaic Microinverter for Off-Grid and Grid-Parallel Applications
(VDE Verlag, 2014)
The design and construction of a 500VA microinverter for photovoltaic applications is presented. The developed microinverter is capable of operating as a standalone AC voltage source for small loads or, alternatively, as a grid-parallel system. Possible applications are therefore small off-grid installations as well as installations where space constraints do not allow enough modules to be combined to use string inverters. The design of the microinverter is based on a two stage concept. Two alternative topologies for ...
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
Eine SPARQL-Schnittstelle für OData-Services
(2014-11-25)
Enterprise-Resource-Planning-Systeme (ERP-Systeme) bilden für die meisten mittleren und großen Unternehmen einen essentiellen Bestandteil ihrer IT-Landschaft zur Verwaltung von Geschäftsdaten und Geschäftsprozessen. Geschäftsdaten werden in ERP-Systemen in Form von Geschäftsobjekten abgebildet. Ein Geschäftsobjekt kann mehrere Attribute enthalten und über Assoziationen zu anderen Geschäftsobjekten einen Geschäftsobjektgraphen aufspannen. Existierende Schnittstellen ermöglichen die Abfrage von Geschäftsobjekten, ...
Dissertation
Daten-Erfassungssysteme und deren Anwendung in der Elektrotechnik
(2018-03-06)
Die vorliegende Arbeit vergleicht unterschiedliche Arten der Blindleistungsbereitstellung durch dezentrale, erneuerbare Energiesysteme.
Teil eines Buches
Unterstützung des Netzwiederaufbaus durch Ausregelung der dezentralen Erzeugung im Verteilnetz
(Conexio GmbH, 2018-01-31)
Um kritische Netzsituationen zu verkürzen, sind von Netzbetreibern schnelle Bewertungen, Entscheidungen und Handlungen erforderlich. Mit der zunehmend installierten dezentralen Erzeugungsleistung im Verteilnetz steigt zusätzlich der notwendige Abstimmungs- und Kommunikationsbedarf zwischen Übertragungs- und Verteilnetzbetreiber. Die Ergänzung der bisherigen Betriebsführung um automatisierte Prozesse stellt eine Option zur Bewältigung dieses Aufwands sowie zur zeitsparenden Durchführung des Aufbaus und der Stabilisierung ...