Search
Now showing items 21-30 of 83
Dissertation
Buffered Simulation for Büchi Automata
(2019)
Wir stellen eine neue Familie von Simulationsrelationen zwischen zwei nicht deterministischen Büchi Automaten (NBA), genannt gepufferte Simulation vor. Wir erweitern das Spiel-Framework der üblichen fairen Simulation, so dass Duplicator ihren Spielzug überspringen und die Buchstaben, die Spoiler gelesenen hat, vorübergehend in einem Puffer speichern kann. Duplicator kann diese Buchstaben in ihrer Struktur dann später ausführen. Duplicator hat damit eine Vorschau in die Bewegungen von Spoiler und somit mehr Chancen, ...
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
Towards Effective Natural Language Application Development
(2019)
There is a current trend that more and more computer programs analyze written or spoken natural language. For example, DVAs, IE systems, machine translation systems, and many other types of programs process natural language in order to solve specific use cases when interacting with humans via natural language. Amazon, Google, and Mycroft AI are just some of the companies that have produced DVAs capable of interacting with humans via voice. Such NLP applications use techniques from computer science and artificial ...
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
Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis
(2019)
Since the 1970s knowledge based approaches are a crucial part of artificial intelligence (AI) research. In this work we investigate data sets in the form of bipartite graphs, i.e., graphs where a bipartition of the vertex set respecting the edge set can be found, for knowledge. To this end we first relate those bipartite graphs to the structure formal context, as used in formal concept analysis (FCA). This link enables us to employ the whole tool-set of FCA to bipartite graphs and therefore, notably, to bipartite ...
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
Beitrag zur Betrachtung des Einflusses der Anforderungen auf die Hazard-Rate unter besonderer Berücksichtigung des Zusammenhangs zwischen Anforderungsrate, Ausfallrate, Probability of Dangerous Failure on Demand, Probability of Dangerous Failure per Hour und Hazard-Rate
(2015)
Durch die Digitalisierung verstärkt sich der Einsatz von komplexen elektronischen Systemen. Diese Systeme müssen sowohl gesetzlich und normativ geforderte Sicherheitsaspekte erfüllen als auch betriebswirtschaftlich ihre Rendite durch Verfügbarkeit erzielen. Einhergehend mit der Komplexität steigen die Anforderungen an Zuverlässigkeit, Sicherheit und Verfügbarkeit für das Gesamtsystem bestehend aus dem zu überwachenden System und dem Sicherheitssystem.
In dieser Monographie werden Erweiterungen von existierenden ...
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 ...