Suche
Anzeige der Dokumente 21-30 von 115
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
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, ...
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 ...
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 ...
Dissertation
Optimization of the Mechanical and Optical Properties of Tunable Optical Sensor Arrays (TOSA) for a Nanospectrometer in the Visible and Near Infrared Spectral Range
(2015-01-07)
Tunable Optical Sensor Arrays (TOSA) based on Fabry-Pérot (FP) filters, for high quality spectroscopic applications in the visible and near infrared spectral range are investigated within this work. The optical performance of the FP filters is improved by using ion beam sputtered niobium pentoxide (Nb2O5) and silicon dioxide (SiO2) Distributed Bragg Reflectors (DBRs) as mirrors. Due to their high refractive index contrast, only a few alternating pairs of Nb2O5 and SiO2 films can achieve DBRs with high reflectivity ...
Dissertation
Characterization of Novel Fabry Pérot Filter Arrays for Nanospectrometers in Medical Applications
(2012-12-12)
Optische Spektroskopie ist eine sehr wichtige Messtechnik mit einem hohen Potential für zahlreiche Anwendungen in der Industrie und Wissenschaft. Kostengünstige und miniaturisierte Spektrometer z.B. werden besonders für moderne Sensorsysteme “smart personal environments” benötigt, die vor allem in der Energietechnik, Messtechnik, Sicherheitstechnik (safety and security), IT und Medizintechnik verwendet werden. Unter allen miniaturisierten Spektrometern ist eines der attraktivsten Miniaturisierungsverfahren das Fabry ...
Dissertation
Technological implementation and characterization of optimized high quality multi-stopband Fabry-Pérot filter arrays for nanospectrometers using Substrate Conformal Imprint Lithography
(2018-08-29)
Ein Fabry-Pérot (FP) Filtern basiertes miniaturisiertes statisches Sensor Arrays für hohe Qualität, Sensitivität und selektive Detektion im sichtbaren Bereich wurde in dieser Arbeit untersucht. Das FP-Filter besteht aus zwei parallelen hochreflektiven Spiegeln und einer zwischenliegenden Resonanzkavität. Abhängig von der Dicke oder Höhe der Resonanzkavität transmittiert jeder Filter ein schmales spektrales Band (die sogenannte „Transmissionslinie“). Bragg-Spiegel (Distributed Bragg Reflector-DBR), die mittels ...
Dissertation
Optical Characterization of Organic Gain Materials for UV-emitting Hybrid Complex Coupled VCSELs
(2014-03-26)
In this thesis, optical gain measurement setup based on variable stripe length method is designed, implemented and improved. The setup is characterized using inorganic and organic samples. The optical gain of spiro-quaterphenyl is calculated and compared with measurements from the setup. Films with various thicknesses of spiro-quaterphenyl, methoxy-spiro-quaterphenyl and phenoxy-spiro-quaterphenyl are deposited by a vacuum vapor deposition technique forming asymmetric slab waveguides. The optical properties, laser ...