• 2023
  • 2020
  • 2019
  • ältere

Erscheinungsjahr 2023

Point Cloud Processing for Environmental Analysis in Autonomous Driving using Deep Learning / Simon, Martin

Ilmenau : Universitätsverlag Ilmenau, 2023. - xiv, 120 Seiten.

ISBN 978-3-86360-272-7
DOI 10.22032/dbt.55809
URN urn:nbn:de:gbv:ilm1-2023000032
Preis (Druckausgabe): 24,00 €

Zugl.: Dissertation, Technische Universität Ilmenau, 2023

Inhalt

Autonomous self-driving cars need a very precise perception system of their environment, working for every conceivable scenario. Therefore, different kinds of sensor types, such as lidar scanners, are in use. This thesis contributes highly efficient algorithms for 3D object recognition to the scientific community. It provides a Deep Neural Network with specific layers and a novel loss to safely localize and estimate the orientation of objects from point clouds originating from lidar sensors. First, a single-shot 3D object detector is developed that outputs dense predictions in only one forward pass. Next, this detector is refined by fusing complementary semantic features from cameras and joint probabilistic tracking to stabilize predictions and filter outliers. The last part presents an evaluation of data from automotive-grade lidar scanners. A Generative Adversarial Network is also being developed as an alternative for target-specific artificial data generation.

Zugriff auf den Volltext über die dbt:
https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2023000032

Druckfassung im Buchhandel lieferbar und z.B. über den folgenden Webshop direkt bestellbar!

Analyse und Entwicklung einer Softwarearchitektur für die intelligente, optische Inspektion / Richter, Johannes

Ilmenau : Universitätsverlag Ilmenau, 2023. - xii, 205 Seiten.

ISBN 978-3-86360-268-0
DOI 10.22032/dbt.55214
URN urn:nbn:de:gbv:ilm1-2022000473
Preis (Druckausgabe): 20,00 €

Zugl.: Dissertation, Technische Universität Ilmenau, 2022

Inhalt

Durch die automatisierte Bildaufnahme und das Ausführen vordefinierter Bildverarbeitungsschritte haben Systeme der automatischen optischen Inspektion (AOI) die manuelle Inspektion in der Elektronikfertigung weitestgehend verdrängt. In den letzten Jahren wurden zahlreiche Ansätze untersucht, welche einzelne Aspekte der optischen Qualitätssicherung durch die Anwendung von Methoden der künstlichen Intelligenz (KI) deutlich verbessern. Darauf aufbauend stellt diese Arbeit ein Modell mit fünf Phasen vor, welches die Entwicklungsschritte auf dem Weg zur vollautonomen Inspektion abbildet. Um die Umsetzung dieses Modells zu tragen, zeigt diese Arbeit ein neues Architekturmuster auf, welches Lösungen auf Basis von künstlicher Intelligenz trainieren und ausführen kann. Die hohe Flexibilität der neuen Architektur ermöglicht die Auslieferungen auf einer Menge heterogener Systeme und damit viele Anwendungen von künstlicher Intelligenz über das Feld der optischen Inspektion hinaus.

Zugriff auf den Volltext über die dbt:
https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2022000473

Druckfassung im Buchhandel lieferbar und z.B. über den folgenden Webshop direkt bestellbar!

Verification of Automata with Storage Mechanisms / Köcher, Chris

Ilmenau : Universitätsverlag Ilmenau, 2023. - xii, 248 Seiten.

ISBN 978-3-86360-265-9
DOI 10.22032/dbt.53804
URN urn:nbn:de:gbv:ilm1-2022000388
Preis (Druckausgabe): 18,00 €

Zugl.: Dissertation, Technische Universität Ilmenau, 2022

Inhalt

An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stack or queue can reach some given state. In this thesis we focus this reachability problem of automata having one or more lossy or reliable stacks or queues as their memory. Unfortunately, the reachability problem is undecidable or of high complexity in most of these cases. We circumvent this by several approximation methods. So we extend the exploration algorithm by Boigelot and Godefroid under-approximating the reachability problem of queue automata. We also study some automata having multiple stacks with a restricted behavior. These “asynchronous pushdown systems” have an efficiently decidable reachability problem. To show our results we first have to gain knowledge of several algebraic properties of the so-called transformation monoid of the studied storage mechanisms.

Zugriff auf den Volltext über die dbt:
https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2022000388

Druckfassung im Buchhandel lieferbar und z.B. über den folgenden Webshop direkt bestellbar!

Erscheinungsjahr 2020

Personenwiedererkennung mittels maschineller Lernverfahren für öffentliche Einsatzumgebungen / Eisenbach, Markus

Ilmenau : Universitätsverlag Ilmenau, 2020. - XX, 523 Seiten.

ISBN 978-3-86360-226-0
DOI 10.22032/dbt.45621
URN urn:nbn:de:gbv:ilm1-2019000698
Preis (Druckausgabe): 74,00 €

Zugl.: Dissertation, Technische Universität Ilmenau, 2020

Inhalt

Die erscheinungsbasierte Personenwiedererkennung in öffentlichen Einsatzumgebungen ist eines der schwierigsten, noch ungelösten Probleme der Bildverarbeitung. Viele Teilprobleme können nur gelöst werden, wenn Methoden des maschinellen Lernens mit Methoden der Bildverarbeitung kombiniert werden. In dieser Arbeit werden maschinelle Lernverfahren eingesetzt, um alle Abarbeitungsschritte einer erscheinungsbasierten Personenwiedererkennung zu verbessern, sodass eine Wiedererkennung auf menschlichem Niveau ermöglicht wird. Das entwickelte Verfahren wird anhand zweier Einsatzszenarien – Videoüberwachung und Robotik – evaluiert. Bei der Videoüberwachung ermöglicht die Wiedererkennung von Personen ein kameraübergreifendes Tracking um den Aufenthaltsort einer gesuchten Person in kurzer Zeit zu ermitteln. Durch einen mobilen Serviceroboter kann der aktuelle Nutzer anhand einer erscheinungsbasierten Wiedererkennung identifiziert werden. Dies hilft dem Roboter beim Lotsen und Verfolgen des Nutzers.

Zugriff auf den Volltext über die dbt:
https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2019000698

Druckfassung im Buchhandel lieferbar und z.B. über den folgenden Webshop direkt bestellbar!

Fahrzeugführung für die automatisierte Unterwasser-Inspektion / Marco Jacobi

Ilmenau : Universitätsverlag Ilmenau, 2020. - XXVI, 259 Seiten

ISBN 978-3-86360-211-6
URN urn:nbn:de:gbv:ilm1-2019000465
Preis (Druckausgabe): 28,70 €

Zugl.: Dissertation, Technische Universität Ilmenau, 2019

Inhalt

In dem Buch werden neue Konzepte für die autonome und hoch automatisierte Inspektion von Unterwasserstrukturen mittels unbemannter Fahrzeuge sowie deren Implementation und deren Einsatz unter realen Bedingungen vorgestellt. Regelmäßige Inspektionen von produktiven Anlagen sind grundlegende Maßnahmen für einen reibungslosen, störungsfreien produktiven Betrieb dieser Anlagen. Kostendruck und neue Offshore-Konstruktionen, wie Windparks, sowie das Vordringen in größere Wassertiefen erfordern einen hohen Grad an Automation und Überwachung. Zwei Inspektionsszenarien werden detailliert behandelt: die Inspektion von Hafenanlagen sowie die Pipeline- und Seekabelinspektion. Dabei werden aktuelle Ansätze sowie die neu entwickelten Verfahren vorgestellt und diskutiert. Eine neue Möglichkeit zur Integration von Inspektionsaufgaben in bestehende Fahrzeugführungs- und Missionsplanungssysteme sowie deren begleitende Prozesse wird entwickelt und umgesetzt. Alle entwickelten Verfahren wurden erprobt.

Demnächst Zugriff auf den Volltext über die dbt:
https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2019000465

Druckfassung im Buchhandel lieferbar und z.B. über den folgenden Webshop direkt bestellbar!

Erscheinungsjahr 2019

Optimierung des dynamischen Verhaltens von linearen Hybridschrittmotoren unter besonderer Betrachtung von Schwingungen und Geräuschen / Heiko Weiß

Ilmenau : Universitätsverlag Ilmenau, 2019. - XXII, 171 Seiten

ISBN 978-3-86360-205-5
URN urn:nbn:de:gbv:ilm1-2018000738
Preis (Druckausgabe): 35,00 €

Zugl.: Dissertation, Technische Universität Ilmenau, 2018

Inhalt

Diese Arbeit befasst sich mit der Entwicklung von Methoden zur Reduzierung von Schwingungen und Geräuschen von linearen Hybridschrittmotoren (LHSM). Die Ursachen der Schwingungen und Geräusche sind Kraftschwankungen, die elektromagnetisch durch das Antriebsprinzip bedingt sind.
Zunächst werden Methoden für einen herkömmlichen LHSM entwickelt und ausgewertet. Gegenstand der weiteren Untersuchungen ist ein Motor mit variabler magnetischer Erregung, dessen Systemverhalten durch ein physikalisches Modell nachgebildet wird. Dieses Modell dient dann dazu, eine Ansteuerfunktion hinsichtlich eines antriebseffizienten und geräuschreduzierenden Betriebs zu optimieren.
Die Ansteuerfunktion wird im positionsgeregelten Betrieb angewendet und zeigt dabei eine Reduzierung der Schwingungen um ein Vielfaches, was zu einer Halbierung der wahrgenommenen Lautstärke führt. Zur weiteren Verbesserung der Betriebseigenschaften werden verschiedene Reglerstrategien entworfen, getestet und diskutiert.

Zugriff auf den Volltext über die dbt:
https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2018000738

Druckfassung im Buchhandel lieferbar und z.B. über den folgenden Webshop direkt bestellbar!

Gedruckt nicht mehr lieferbar!

Aissa, Tarek:
Systemidentifikation und Reglersynthese für örtlich verteilte Prozesse durch adaptive Takagi-Sugeno Fuzzy Systeme am Beispiel des Raumklimaverhaltens

Ilmenau : Universitätsverlag Ilmenau, 2017. - 244 Seiten.
ISBN 978-3-86360-158-4
URN urn:nbn:de:gbv:ilm1-2017000082

Döbel, Christian:
Ein Smart Home Management-System basierend auf adaptive Lernalgorithmen des Verhaltenserwerbs (ENKOS)

Ilmenau : Universitätsverlag Ilmenau, 2016. - XIII, 242 Seiten.
ISBN 978-3-86360-142-3
URN urn:nbn:de:gbv:ilm1-2015000646

Reinhardt, Dominik:
Virtualisierung eingebetteter Echtzeitsysteme im Mehrkernbetrieb zur Partitionierung sicherheitsrelevanter Fahrzeugsoftware

Ilmenau : Universitätsverlag Ilmenau, 2016. - xiv, 194 Seiten.
ISBN 978-3-86360-135-5
URN urn:nbn:de:gbv:ilm1-2016000182

Huschenbett, Martin:
The Model-Theoretic Complexity of Automatic Linear Orders

Ilmenau : Universitätsverlag Ilmenau, 2016. - xiii, 228 Seiten.
ISBN 978-3-86360-127-0
URN urn:nbn:de:gbv:ilm1-2015000505

Steege, Frank-Florian:
Einsatz adaptiver Lernverfahren zur Regelung industrieller Verbrennungsprozesse

Ilmenau : Universitätsverlag Ilmenau, 2015. - xvi, 355 Seiten.
ISBN 978-3-86360-114-0
URN urn:nbn:de:gbv:ilm1-2015000055

Busch, Christian:
Ein Beitrag zum modellbasierten Regelungsentwurf elektropneumatischer Applikationen

Ilmenau : Universitätsverlag Ilmenau, 2014. - XVI, 228 Seiten.
ISBN 978-3-86360-098-3
URN urn:nbn:de:gbv:ilm1-2014000090

Liers, Florian:
Forwarding on gates : a flexible and scalable inter-network layer supporting in-network functions

Ilmenau : Universitätsverlag Ilmenau, 2014. - XII, 258 Seiten.
ISBN 978-3-86360-094-5
URN urn:nbn:de:gbv:ilm1-2013000657

Bauer, Gerd:
EasyKit : eine Entwicklungsmethodik für das Rapid Engineering miniaturisierter mechatronischer Systeme

Ilmenau : Universitätsverlag Ilmenau, 2014. - 178 Seiten.
ISBN 978-3-86360-091-4
URN urn:nbn:de:gbv:ilm1-2013000509

Pölck, Anja:
Small TCBs of policy-controlled operating systems

Ilmenau : Universitätsverlag Ilmenau, 2014. - xiii, 249 Seiten.
ISBN 978-3-86360-090-7
URN urn:nbn:de:gbv:ilm1-2013000632

Bönicke, Holger:
Flexible und plattformunabhängige Entwicklung mikrocontrollerbasierter mechatronischer Systeme für Nutzer ohne Vorwissen

Ilmenau : Universitätsverlag Ilmenau, 2013. - XXIV, 205 Seiten.
ISBN 978-3-86360-069-3
URN urn:nbn:de:gbv:ilm1-2013000388

Maus, Horst-Moritz:
Towards understanding human locomotion

Ilmenau : Universitätsverlag Ilmenau, 2013. - 159 Seiten.
ISBN 978-3-86360-054-9
URN urn:nbn:de:gbv:ilm1-2012000364

Einecke, Nils:
Stereoscopic depth estimation for online vision systems

Ilmenau : Universitätsverlag Ilmenau, 2012. - xiii, 161 Seiten.
ISBN 978-3-86360-044-0
URN urn:nbn:de:gbv:ilm1-2012000243

Schaffernicht, Erik:
Lernbeiträge im Rahmen einer kognitiven Architektur für die intelligente Prozessführung

Ilmenau : Universitätsverlag Ilmenau, 2012. - VIII, 296 Seiten.
ISBN 978-3-86360-043-3
URN urn:nbn:de:gbv:ilm1-2012000276

Hilgers, Peter:
Verteilte Zustandsschätzung nichtlinearer Systeme

Ilmenau : Universitätsverlag Ilmenau, 2012. - xxviii, 202 Seiten.
ISBN 978-3-86360-031-0
URN urn:nbn:de:gbv:ilm1-2012000053

Spiegler, Andreas:
Dynamics of biologically informed neural mass models of the brain

Ilmenau : Universitätsverlag Ilmenau, 2012. - 193 Seiten.
ISBN 978-3-86360-024-2
URN urn:nbn:de:gbv:ilm1-2011000503

Brcina, Robert:
Zielorientierte Erkennung und Behebung von Qualitätsdefiziten in Software-Systemen am Beispiel der Weiterentwicklungsfähigkeit

Ilmenau : Universitätsverlag Ilmenau, 2012. - xvi, 212 Seiten.
ISBN 978-3-86360-019-8
URN urn:nbn:de:gbv:ilm1-2012100050

Schneider, Matthias:
Entwicklung eines generischen Planungs- und Managementsystems für Verbände heterogener autonomer maritimer Fahrzeuge

Ilmenau : Universitätsverlag Ilmenau, 2012. - XIV, 196 Seiten .
ISBN 978-3-86360-012-9
URN urn:nbn:de:gbv:ilm1-2011000376

Rebhan, Sven:
Task- and knowledge-driven scene representation : a flexible on-demand system architecture for vision

Ilmenau : Universitätsverlag Ilmenau, 2011. - XII, 172 Seiten.
ISBN 978-3-939473-93-0
URN urn:nbn:de:gbv:ilm1-2010000477

Kirstein, Stephan:
Interactive and life-long learning for identification and categorization tasks

Ilmenau : Universitätsverlag Ilmenau, 2010. - XII, 150 Seiten.
ISBN 978-3-939473-80-0
URN urn:nbn:de:gbv:ilm1-2010000131

Hellbach, Sven:
Entwicklung von Methoden zur Unterscheidung und Interpretation von Bewegungsmustern in dynamischen Szenen

Ilmenau : Universitätsverlag Ilmenau, 2010. - XXV, 244 Seiten.
ISBN 978-3-939473-79-4
URN urn:nbn:de:gbv:ilm1-2010000073

Glotzbach, Thomas:
Beitrag zur Steuerung von mobilen Systemen auf Grundlage der Bioorientierten Adaptiven Autonomie, Ein

Ilmenau : Universitätsverlag Ilmenau, 2010. - XXX, 218 Seiten.
ISBN 978-3-939473-68-8
URN urn:nbn:de:gbv:ilm1-2009000324

Schröter, Christof:
Probabilistische Methoden für die Roboter-Navigation am Beispiel eines autonomen Shopping-Assistenten

Ilmenau : Universitätsverlag Ilmenau, 2009. - XIV, 293 Seiten.
ISBN 978-3-939473-58-9
URN urn:nbn:de:gbv:ilm1-2009000258

Saleh, Kutaiba:
Erweiterung eines Gefäßmodells zur Validierung von Gefäßmessalgorithmen in der Retina sowie theoretische und experimentelle Untersuchungen zu Messfehlerquellen der Gefäßanalyse

Ilmenau : Universitätsverlag Ilmenau, 2009. - XI, 113 Seiten.
ISBN 978-3-939473-49-7
URN urn:nbn:de:gbv:ilm1-2009000045

Trzewik, Jürgen:
Experimental analysis of biaxial mechanical tension in cell monolayers and cultured three-dimensional tissues : the CellDrum technology

Ilmenau : Universitätsverlag Ilmenau, 2008. - IX, 126 Seiten.
ISBN 978-3-939473-26-8
URN urn:nbn:de:gbv:ilm1-2007000305

Scharff, Peter (Hrsg.):
Computer science meets automation : 52. IWK ; proceedings ; 10 - 13 September 2007, Technische Universität Ilmenau, Faculty of Computer Science and Automation

Ilmenau : Universitätsverlag Ilmenau, 2007. - 2 Bde.: IX, 513 Seiten, IX, 507 Seiten.
ISBN 978-3-939473-17-6
URL https://www.db-thueringen.de/receive/dbt_mods_00008784

Nützel, Jürgen:
Informatorischen Aspekte virtueller Güter und Waren, Die

Ilmenau : Universitätsverlag Ilmenau, 2006. - XII, 162 Seiten.
ISBN 978-3-939473-04-6
URN urn:nbn:de:gbv:ilm1-2006100011

Niggl, Karl-Heinz; Kahle, Reinhard; Elbl, Birgit; PCC <5, 2006, Ilmenau> :
5th International Workshop on Proof, Computation, Complexity : PCC '06 ; Ilmenau, July 24 - 25, 2006 ; [technical report]

Ilmenau : Universitätsverlag Ilmenau, 2006. - 57 Seiten.
ISBN 978-3-939473-01-5
URN urn:nbn:de:gbv:ilm1-2006100027