In der vorliegenden Abhandlung wird ein System zur autonomen 3D-Umweltmodellierung vorgestellt, welches auf den drei Hauptprozessen Datenaufnahme, Datenintegration und Aktionsplanung beruht. Basis der Modellierung sind dichte Tiefenbilder, generiert durch einen rotierenden Zeile…
In der vorliegenden Abhandlung wird ein System zur autonomen 3D-Umweltmodellierung vorgestellt, welches auf den drei Hauptprozessen Datenaufnahme, Datenintegration und Aktionsplanung beruht. Basis der Modellierung sind dichte Tiefenbilder, generiert durch einen rotierenden Zeile…
Nachdem das Antikendrama im 19. Jahrhundert nur eine untergeordnete Bedeutung besaß, kommt es nach 1890 unter dem Eindruck von Nietzsches ""Geburt der Tragödie"" erneut zu einer intensiven Beschäftigung mit Figurationen der griechischen Antike. Die vorliegende Studie unterzieht …
Nachdem das deutschsprachige Antikendrama im 19. Jahrhundert nur eine untergeordnete Bedeutung besaß, kommt es nach 1890 unter dem Eindruck von Friedrich Nietzsches Geburt der Tragödie erneut zu einer intensive Beschäftigung mit Themen und Figurationen der griechischen Antike. D…
Nach einer grundlegenden Einführung wird der Evolutionäre Algorithmus GLEAM ausführlich vorgestellt. Das breite Anwendungspotential dieses Optimierungs- und Planungsverfahrens wird durch eine Reihe von Anwendungsbeispielen aus den Bereichen Robotik, Scheduling, Bauindustrie und …
Nach einer grundlegenden Einführung wird der Evolutionäre Algorithmus GLEAM ausführlich vorgestellt. Das breite Anwendungspotential dieses Optimierungs- und Planungsverfahrens wird durch eine Reihe von Anwendungsbeispielen aus den Bereichen Robotik, Scheduling, Bauindustrie und …
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductivel…
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductivel…
The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This work provides the means to describe space systems in a w…
