Suche
Anzeige der Dokumente 21-30 von 90
Dissertation
Implizite Positionierung unter Nutzung des Smartphone-Kompasses
(2019)
Der Ort, an dem ein Nutzer sich in einem Gebäude aufhält, spielt für technische Dienste wie Heimautomatisierung eine zentrale Rolle. In dieser Dissertation wird die Implizite Positionierung vorgestellt, ein neues Verfahren, das den Aufenthaltsort eines Nutzers mittels des Kompasses eines Smartphones erkennt, das der Nutzer bei sich trägt. Das Verfahren findet in den Kompassdaten Muster, die entstehen, wenn Nutzer durch Flure, Treppen, etc. oder um Ecken gehen. Da die Ausrichtungen dieser Orte die Nutzer in ihrer ...
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
Probabilistische Methode zur Generierung repräsentativer Umwelt- und Fahrprofile zur Bewertung des Thermomanagements im Fahrzeug
(2022)
Das heutige Heiz- und Kühlsystem von batteriebetriebenen Fahrzeugen, bekannt auch als Thermomanagement, stellt eine komplexe Einheit aus Innenraum- und Hochvoltspeicherklimatisierung dar. Wesentliche Aspekte, wie z.B. der Kühlprozess im Sommer, der Heizprozess im Winter und die zusätzliche Kühlung der Batterie führen zur Reduzierung des Aktionsradius eines Elektrofahrzeuges. Dieser kann in vereinzelten Fällen bis zur Hälfte der verfügbaren Energiemenge betragen. Der dafür benötigte Strom kommt direkt aus der Batterie ...
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
Entwicklung eines Nanospektrometer-Demonstrators für den sichtbaren Spektralbereich
(2022)
Ein miniaturisiertes optisches Spektrometer auf Basis eines Fabry-Pérot-Filter-Arrays wird für den sichtbaren Spektralbereich als Demonstrator realisiert. Hierfür wird ein FP-Filter-Array mit einem optischen Bandpass-Filter in eine Graustufen-CCD-Kamera integriert und ein Algorithmus zur Signalverarbeitung implementiert. Die Kalibrierung des Spektrometers wird experimentell mit Hilfe einer durchstimmbaren Lichtquelle durchgeführt, die in dieser Arbeit konstruiert und verifiziert wird. Die Bezeichnung des Spektrometers ...