Halbach, Mathias (2008)
Algorithmen und Hardwarearchitekturen zur optimierten Aufzählung von Automaten und deren Einsatz bei der Simulation künstlicher Kreaturen.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Kurzbeschreibung (Abstract)
Eine minimalistische Robotersteuerung zur vollständigen und autarken Überquerung eines Gebietes bildet die Basisidee. Prinzipiell wäre es möglich, auch andere Aufgaben mit dieser, auf einem Zustandsautomaten basierenden Steuerung zu erfüllen, sie ist nicht einmal an einen Roboter gebunden. So können die steuernden Automaten auch für unterschiedlichste Bereiche selbst in der Theoretischen Informatik Verwendung finden. Die sich stellende Frage ist, wie ein minimalistischer Automat aussieht. Dazu werden alle möglichen Kombinationen aufgezählt. Da dabei aber zahlreiche Duplikate entstehen, die sich in ihrer Auswirkung nicht unterscheiden, gilt es, nur die relevanten Automaten aufzuzählen. Hierzu wurde ein neuartiges, allgemein anwendbares Schema entwickelt. Dazu müssen die Automaten mehrere, effizient auswertbare Kriterien erfüllen – andernfalls lassen sich aufgrund dessen eine Reihe von Automaten ungeprüft überspringen. Dies führt zu einer erheblichen Reduzierung der notwendigen Überprüfungen. Statt real mit Robotern die Steuerung durch die gewonnenen Automaten auszutesten, ist es einfacher, ein Simulationssystem zu schaffen, basierend auf dem Prinzip des zellularen Automaten. Neben einer rein softwarebasierten Lösung gibt es auch verschiedene, hardwarebasierte Spezialarchitekturen unter Verwendung eines FPGA-Bausteins, um so zur Lösungsfindung beizutragen. Nach einem Vergleich der unterschiedlichen Konzepte erfolgt schließlich die Präsentation einiger Ergebnisse von erfolgreichen Automaten.
Typ des Eintrags: | Dissertation | ||||
---|---|---|---|---|---|
Erschienen: | 2008 | ||||
Autor(en): | Halbach, Mathias | ||||
Art des Eintrags: | Erstveröffentlichung | ||||
Titel: | Algorithmen und Hardwarearchitekturen zur optimierten Aufzählung von Automaten und deren Einsatz bei der Simulation künstlicher Kreaturen | ||||
Sprache: | Deutsch | ||||
Referenten: | Hoffmann, Prof. Dr.- Rolf ; Fey, Prof. Dr.- Dietmar | ||||
Publikationsjahr: | 15 November 2008 | ||||
Ort: | Darmstadt | ||||
Verlag: | Technische Universität | ||||
Datum der mündlichen Prüfung: | 14 Mai 2008 | ||||
URL / URN: | urn:nbn:de:tuda-tuprints-11810 | ||||
Kurzbeschreibung (Abstract): | Eine minimalistische Robotersteuerung zur vollständigen und autarken Überquerung eines Gebietes bildet die Basisidee. Prinzipiell wäre es möglich, auch andere Aufgaben mit dieser, auf einem Zustandsautomaten basierenden Steuerung zu erfüllen, sie ist nicht einmal an einen Roboter gebunden. So können die steuernden Automaten auch für unterschiedlichste Bereiche selbst in der Theoretischen Informatik Verwendung finden. Die sich stellende Frage ist, wie ein minimalistischer Automat aussieht. Dazu werden alle möglichen Kombinationen aufgezählt. Da dabei aber zahlreiche Duplikate entstehen, die sich in ihrer Auswirkung nicht unterscheiden, gilt es, nur die relevanten Automaten aufzuzählen. Hierzu wurde ein neuartiges, allgemein anwendbares Schema entwickelt. Dazu müssen die Automaten mehrere, effizient auswertbare Kriterien erfüllen – andernfalls lassen sich aufgrund dessen eine Reihe von Automaten ungeprüft überspringen. Dies führt zu einer erheblichen Reduzierung der notwendigen Überprüfungen. Statt real mit Robotern die Steuerung durch die gewonnenen Automaten auszutesten, ist es einfacher, ein Simulationssystem zu schaffen, basierend auf dem Prinzip des zellularen Automaten. Neben einer rein softwarebasierten Lösung gibt es auch verschiedene, hardwarebasierte Spezialarchitekturen unter Verwendung eines FPGA-Bausteins, um so zur Lösungsfindung beizutragen. Nach einem Vergleich der unterschiedlichen Konzepte erfolgt schließlich die Präsentation einiger Ergebnisse von erfolgreichen Automaten. |
||||
Alternatives oder übersetztes Abstract: |
|
||||
Freie Schlagworte: | Automaten, Aufzählen, Enumeration, normieren, reduzieren, vereinfachen, Präfix, Isomorphie, Permutation, Klassifizierung, Semantik, Mealy, Pipeline, Simulation, Hardwarearchitekturen, Zellularautomat, Hardware, Bus, FPGA, Künstliches Leben, künstliche Intelligenz, formale Sprachen | ||||
Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik 500 Naturwissenschaften und Mathematik > 510 Mathematik |
||||
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Rechnerarchitektur |
||||
Hinterlegungsdatum: | 10 Dez 2008 11:43 | ||||
Letzte Änderung: | 26 Aug 2018 21:25 | ||||
PPN: | |||||
Referenten: | Hoffmann, Prof. Dr.- Rolf ; Fey, Prof. Dr.- Dietmar | ||||
Datum der mündlichen Prüfung / Verteidigung / mdl. Prüfung: | 14 Mai 2008 | ||||
Export: | |||||
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |