Search
Now showing items 41-50 of 100
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
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung
(2018-09-10)
Die Anzahl an Rechenknoten in Hochleistungsrechnern wächst stetig. In solchen Systemen nimmt die Bedeutung von Fehlertoleranz zu, da die Wahrscheinlichkeit eines permanenten Knotenausfalls ebenfalls stetig wächst.
Fehlertoleranz gegenüber permanenten Knotenausfällen wird typischerweise durch Checkpointing auf Systemebene realisiert. Findet das Checkpointing jedoch auf Anwendungsebene statt, können Laufzeitvorteile erzielt werden. Diese Implementierungen sind allerdings zeitintensiv und fehleranfällig. Anwendungen, ...
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
On the requirements and advantages of cooperative collision avoidance systems for vulnerable road users
(2021-10)
Jedes Jahr sterben etwa 350.000 ungeschützte Verkehrsteilnehmer (engl. vulnerable road users (VRUs)), wie Fußgänger und Fahrradfahrer, durch Kollisionen mit Fahrzeugen. Ein Ansatz zur Verringerung dieser Zahl von Todesopfern ist der Einsatz von Kollisionsvermeidungssystemen für VRUs in Fahrzeugen. Diese fahrzeugbasierten VRU-Kollisionsvermeidungssysteme verwenden in den Fahrzeugen installierte Sensoren. Fahrzeugbasierte Kollisionsvermeidungssysteme sind bereits hilfreich, um Kollisionen zu vermeiden, funktionieren ...
Dissertation
Fine-scale grassland monitoring using unmanned aerial vehicle borne remote sensing
(2020-04)
RS is widely employed as a non-destructive methodology to monitor grasslands. Usage of UAV as the RS platform benefits to provide high spatial (fine-grain) and temporal resolution, unclouded data over small grassland extent. Therefore, this thesis evaluated the applications of UAV-borne RS for fine-scale grassland monitoring along with practical farm condition. Grass biomass estimation, predicting forage quality of grass and mapping invasive lupine in grasslands are considered as applications of UAVborne RS.
Dissertation
Modellbildung in der algebraischen Kryptoanalyse
(2015-04-22)
In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle ...
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
Movement Recognition and Direction Detection of Pedestrians
(2021)
In this dissertation we developed a method that uses smartphone sensors to recognise the pedestrian movement (using the accelerometer) and direction (using the compass) accurately. The proposed approach works independent of the GPS and also improved the recognition time of pedestrians movement and direction in comparison to using the GPS.Currently, smartphones are the most common devices people carry with them along with the tablets and smartwatches. Most smartphones are equipped with different types of sensors, ...
Dissertation
Development of an ArcGIS extension to model urban climate factors
(2015-03-20)
The possibility to develop automatically running models which can capture some of the most important factors driving the urban climate would be very useful for many planning aspects. With the help of these modulated climate data, the creation of the typically used “Urban Climate Maps” (UCM) will be accelerated and facilitated. This work describes the development of a special ArcGIS software extension, along with two support databases to achieve this functionality. At the present time, lacking comparability between ...