Suche
Anzeige der Dokumente 11-20 von 21
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
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
Training in virtuellen Feuerwehreinsätzen
(2022)
Im Zuge des digitalen Wandels und verdeutlicht durch die Corona‑Pandemie, ist allgemein ein steigender Bedarf an E‑Learning Lösungen für Aus‑ und Fortbildungszwecke zu beobachten. So ist auch die Feuerwehr in Deutschland daran interessiert, Präsenzzeiten an Ausbildungszentren effizienter zu gestalten und Freiwilligen Feuerwehren alternative Fortbildungsmöglichkeiten für mangelnde Ressourcen zur Verfügung zu stellen. Serious Games bieten die Möglichkeit Sachverhalte interaktiv sowie mittels Virtuelle Realität (VR) ...
Dissertation
Symbolic Representation of Dynamic Knowledge for Robotic Teams
(2020-11)
Das Forschungsziel dieser Arbeit ist es, die konzeptionellen Grundlagen für ein Team autonomer Roboter zu entwickeln, welches in der Lage ist, Wissen über seine Umwelt symbolisch darzustellen, über sein symbolisches Wissen zu kommunizieren und mit dem Wissen zu schlussfolgern, während sich die Umgebung dynamisch ändert. Dieses Forschungsziel wird durch mehrere Anwendungsbereiche motiviert, wobei die Domäne der Haushaltsroboter das Forschungsziel am besten motiviert. Wir haben die Anwendungsdomänen und das Forschungsziel ...
Dissertation
Analyzing Given Names
(2020)
Computer science has evolved so much that it influences almost every part of human live. A particularly personal part of human live is the selection of a given name for a newborn baby. The name discovery service Nameling is our way to help expectant parents with this decision. It is a web service that helps parents to find a given name for their newborn baby. We want to further improve the user experience of Nameling by personalizing its name results for the current user. We deem this important, because the selection ...
Dissertation
Load Balancing, Fault Tolerance, and Resource Elasticity for Asynchronous Many-Task Systems
(2021-12-21)
High-Performance Computing (HPC) ermöglicht die Lösung komplexer Probleme aus verschiedenen wissenschaftlichen Bereichen, einschließlich gesellschaftlicher Probleme wie z.B. COVID-19. In letzter Zeit gibt es neben traditionellen Simulationen immer mehr irreguläre Anwendungen, welche die Vorhersagbarkeit der Berechnungen einschränken. Die Anwendungen werden auf HPC-Maschinen ausgeführt, die aus immer mehr Hardwarekomponenten bestehen und von mehreren Benutzern gleichzeitig verwendet werden. Um eine effiziente und ...
Dissertation
Einfache Methoden und Techniken zur Entwicklung von Serious Games
(2021-12)
Im Rahmen dieser Arbeit wurde ein einfacher Workflow entwickelt, mit dem eine reale Umgebung aufgenommen werden kann mit dem Ziel diese mit virtuellen Objekten und Tangibles anzureichern. Dazu werden zunächst Aufnahmeverfahren gesucht, mit denen sich ein begrenzter realer Ort auf eine Weise analysieren lässt, dass dieser später realistisch, also deutlich wiedererkennbar, darstellen lässt. Dieses Modell der Realität wird nun mit virtuellen, also nicht tatsächlich existenten Objekten angereichert. Diese Objekte sind ...
Dissertation
A Self-Organising Multi-Agent Knowledge Base
(2021-12)
Digitale Städte sind zunehmend auf IT- und Kommunikationsinfrastruktur angewiesen. Sie können als große verteilte Systeme betrachtet werden, die aus heterogenen und autonomen Teilnehmern bestehen. Besonders in Notfall- und Krisensituationen muss kritisches Wissen, beispielsweise über verletzte Personen oder beschädigte Infrastruktur, zuverlässig auch unter eingeschränkter Kommunikation erreichbar sein. In einer solchen Umgebung würde eine zentrale Verwaltung des kritischen Wissens einen Engpass verursachen. Daher ...
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
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 ...