Suche
Anzeige der Dokumente 31-40 von 147
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 ...
Preprint
Heapsort for Equal Keys
(2014-09)
Das effiziente Entfernen von Duplikaten in Datenbeständen ist eine algorithmische Herausforderung in theoretischer und praktischer Hinsicht. Tabellen mit Duplikaten entstehen in Datenbanken nach einer Projektion, beim Verfolgen von Seiten im Web, bei Messreihen und in der Stochastik. Ein häufige Methode, diese sog. Multisets in echte Mengen zu wandeln, ist die Sortierung mit folgender Entfernung aller gleichen Sätze bis auf einen. Idealerweise kann dies bereits bei der Sortierung in situ erfolgen, so dass vorne die ...
Aufsatz
Effect of Auger recombination and leakage on the droop in InGaN/GaN quantum well LEDs
(Optical Society of America, 2014)
We investigate the effect of the epitaxial structure and the acceptor doping profile on the efficiency droop in InGaN/GaN LEDs by the physics based simulation of experimental internal quantum efficiency (IQE) characteristics. The device geometry is an integral part of our simulation approach. We demonstrate that even for single quantum well LEDs the droop depends critically on the acceptor doping profile. The Auger recombination was found to increase stronger than with the third power of the carrier density and has ...
Dissertation
Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems
(2019-11)
Field Programmable Gate Array (FPGA) has been involved in various applications in the last couple of decades, such as aerospace, biomedical instrumentation, safety-critical systems, and spacecraft, due to their remarkable features. These features include parallelism, reconfiguration, self-healing capabilities, availability, low cost and low design turn-around time. FPGA devices are sensitive to Single Event Effects (SEE), which can be caused by various sources, such as α-particles, cosmic rays, atmospheric neutrons, ...
Buch
Strom – fit für die Zukunft?
(Görich & Weiershäuser, 2019-04-02)
Das 2008 in gedruckter Form und als pdf veröffentlichte Buch liegt hier in neuester Überarbeitung vom 02.04.2019 vor.
Es stellt mögliche Komponenten eines "integrierten Balancing-Management" vor, das die Sekundärregelung unter Einbeziehung aller Flexibilitätsoptionen, insbesondere der gesamten Verbrauchsseite, ressourcenoptimiert realisieren könnte. Mehrere denkbare Instrumente für das verteilte Handling von (drohenden) Überlastungs- und Notfallsituationen (auch langdauernde extreme Dunkelflauten) werden beschrieben.
Dissertation
Das NetworkParser-Framework
(2019-03-10)
Meine Dissertation, die im Fachbereich Elektrotechnik/Informatik in Kassel eingereicht wurde, hat das Ziel ein Tool zur Verfügung zu stellen, um den Entwickler bei der Entwicklung eines Programms in jedem Entwicklungsschritt zu unterstützen. Der komplette Ablauf von Story Driven Modeling wird dabei unterstützt. Das Tool soll so intuitiv bedienbar sein, dass Programmieranfänger damit arbeiten können und die Techniken erlernen können. Es ist gelungen ein kompaktes Tool für den kompletten SDM-Prozess zu schaffen, welches ...
Technischer Report
Automatische Dienstvermittlung in dienstorientierten Architekturen in Aktion (ADDOaction)
(2010-04-27)
In diesem Bericht werden die Ergebnisse und Fortschritte des Forschungsprojekts ADDOaction vorgestellt.
Durch die Entwicklung in den letzten Jahrzehnten wurde das Internet zu einer wichtigen Infrastruktur für Geschäftsprozesse. Beliebige Anwendungen können als Dienste angeboten und übers Internet den Kunden online zur Verfügung gestellt werden. Eine flexible Dienstarchitektur ist dabei durch einen gewissen Grad an Dynamik gekennzeichnet, wo Dienste angepasst, ausgetauscht oder entfernt werden können und eventuell ...
Dissertation
Mikromechanisch durchstimmbare, dielektrische Fabry-Pérot-Filter im nahen Infrarot-Bereich: Konzept, Herstellung und Charakterisierung
(2013-12-13)
Das Ziel der vorliegenden Arbeit war die Herstellung und Charakterisierung mikromechanisch durchstimmbarer, dielektrischer Fabry-Pérot-Filter im nahen Infrarot-Bereich bei einer Zentralwellenlänge von λc = 950 nm.
Diese Bauelemente wurden auf Basis kostengünstiger Technologien realisiert, dank deren Entwicklung extreme Miniaturisierung und gleichzeitig hohe spektrale Anforderungen möglich sind. Der Vorteil solcher Filter liegt darin, dass sie direkt in einen Photodetektor integriert werden können und mit ganz wenigen ...
Dissertation
Hochsensible Intrakavitäts-Absorptionsspektroskopie von Spurengasen unter Ausnutzung der Modenkonkurrenz eines Halbleiterlasers
(2015-02-12)
Eine Halbleiterdiode mit externer Kavität wird um eine Messzelle speziell für Gase erweitert. Diese erlaubt Absorptionsmessungen einer exakt definierten Menge von Gas unter kontrollierten Temperatur- und Druckbedingungen. Es werden konzentrationsabhängige Absorptionsmessungen mit Propofol durchgeführt. Als Ergebnis werden effektive Pfadlänge, Bestimmungs- und Nachweisgrenze berechnet und der Beweis erbracht, dass beide im System anschwingenden Moden in Konkurrenz zueinander stehen. Weiterhin wurde eine ausgeprägte ...
Dissertation
Spektrometrische Bestimmung der NO2-Konzentration im Abgas von Lastkraftwagen mit Dieselmotor unter Verwendung eines elektrostatisch durchstimmbaren Fabry-Pérot-Filters zur Reduzierung des Kraftstoffverbrauches und der Schadstoffemissionen
(2010-08-09)
Die Reduktion von Schadstoff-Emissionen und des Kraftstoffverbrauches sind für die Einhaltung von immer strenger werdenden Abgasgrenzwerten zum Schutz der menschlichen Gesundheit und der Vegetation von großer gesellschaftlicher Bedeutung. Ob Deutschland die innerstädtischen Immissionsgrenzwerte der Europäischen Union (EU) für Stickstoffdioxid (NO2) ab 2010 einhalten wird, ist fraglich. Vor allem Lastkraftwagen mit Dieselmotor emittieren einen Großteil dieses Schadstoffes, sodass man mit einer Senkung der NO2-Emissionen ...