Wissenstechnologie vereint die Informatik mit den Kognitions- und Neurowissenschaften, um die nächste Generation von interaktiven und lernenden Systemen zu schaffen.
Dazu werden von der Natur inspirierte , hybride Systeme entwickelt und erforscht , die sich insbesondere am Gehirn und an neuronalen Modellen orientieren .
Grundlegende Eigenschaften solcher Systeme sind ein hoher Grad an Robustheit, eine möglichst natürliche Interaktion mit dem Menschen und Anpassungsfähigkeit, um sich in verschiedensten Situationen angemessen zu verhalten.
www.inf.uni-hamburg.deGiven that many setups in the worlds of nature or cognition function admirably, this area of Knowledge Technology combines informatics with cognitive and brain science.
For future generations of inter-active and adaptive systems to be created, one must research biologically inspired hybrid systems, in particular those models which are orientated on the brain.
It is a basic premise of such systems to construct a high level of resilience, a preferably natural relationship towards humans and an ability to adapt one’s behavior to all manner of situations in an appropriate fashion.
www.inf.uni-hamburg.deDie Habilitation enthält verschiedene Resultate, die die Typsysteme, für die Typsicherheit garantiert werden kann, erweitern.
Im zweiten Hauptthema sind die Transitionssysteme Realzeitsysteme und hybride Systeme .
Es werden heuristische Methoden vorgestellt, um Fehlerpfade in solchen Systemen zu finden, was wichtig ist, um den Entwurfsprozess der Systeme zu unterstützen.
www.informatik.uni-freiburg.deAnother aspect is type safety, where this habilitation contains results extending the type systems for which type safety can be guaranteed.
For the second theme, the transition systems in question are timed and hybrid systems.
Heuristic methods for detecting error paths in such systems are presented, which is important for supporting the design process of the systems.
www.informatik.uni-freiburg.deInsbesondere sind Latenzen und Jitter zu berücksichtigen.
Grundlage hierzu bilden Hybride Systeme und Jump Linear Systems .
Messungen an Echtzeitbetriebssystemen sind zudem durchzuführen.
www.eit.uni-kl.deParticularly, latencies and jitter have to be considered.
Basic models result form hybrid systems and jump linear systems.
Additionally, measurements on real-time operating systems have to be performed.
www.eit.uni-kl.deWould you like to add some words, phrases or translations?
Submit a new entry.