Suche
Anzeige der Dokumente 1-10 von 82
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
Social Network Mining for Analysis of Social Phenomena
(2019)
In den letzten zehn Jahren wurde eine große Menge an Daten über menschliche Interaktionen verfügbar, die entweder aus sozialen Online-Netzwerken stammen oder von tragbaren Geräten erfasst wurden. Die klassischen Sozialwissenschaften bieten keine Instrumente für die Durchführung datengetriebener Forschung mit solchen Daten. Die computerorientierte Sozialwissenschaft (Computational Social Science) versucht, diese Lücke zu schließen, indem sie Methoden für Data-Mining und maschinelles Lernen zur Nutzung der Daten aus ...
Dissertation
Safety Approach of Detecting Abnormal Events (Spinning and Sliding) in Vehicular Systems
(2021)
The primary theme in the vehicles industry is the increase in automating and integrating more robust intelligent electronic systems to enhance the safe functioning, flexibility, and to extend the virtual productive age of the vehicular systems. Further, significant efforts focus on developing monitoring systems for the abnormal driving conditions such as wheel spinning and sliding that can increase the hazardous in the operating environment and speed up the wearing off process. Thus, these events play a primary role ...
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
Formal Verification for ALICA Plans
(2021)
Mit der Entwicklung von Wissenschaft und Technik steigen auch die Fähigkeiten autonomer Roboter. Immer mehr und kompliziertere Roboterszenarien werden in vielen Bereichen realisierbar, wie z. B. Mäh-, Ernte- und Lagerroboter. Daher wird die Planung für sie zu einer immer wichtigeren Aufgabe. Da diese Roboter jedoch täglich komplexer werden, ist die Sicherheitszertifizierung ein unvermeidliches Anliegen bei der Entwicklung von mehr autonomen Robotern. Daher ist die Verifizierung der Pläne vor der Verwendung und dem ...
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
Towards Service Co-evolution in the Internet of Things
(2021-12)
Nowadays, in the world of technology, where the new technologies are devolved and replace the old ones every single day, any software product in order to maintain its competitiveness, must be updated continually. Updating a software product results from an evolution process, including adding new features, replacing outdated features, repairing bugs, closing security gaps, and improving performance, which requires a lot of effort and knowledge. Therefore, the Internet of Things (IoT) services are no exception.
An ...
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
Autonomes Performance-Management in dienstorientierten Architekturen
(2009-12-21)
Die Bedeutung des Dienstgüte-Managements (SLM) im Bereich von Unternehmensanwendungen steigt mit der zunehmenden Kritikalität von IT-gestützten Prozessen für den Erfolg einzelner Unternehmen. Traditionell werden zur Implementierung eines wirksamen SLMs Monitoringprozesse in hierarchischen Managementumgebungen etabliert, die einen Administrator bei der notwendigen Rekonfiguration von Systemen unterstützen. Auf aktuelle, hochdynamische Softwarearchitekturen sind diese hierarchischen Ansätze jedoch nur sehr eingeschränkt ...
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 ...