Steigungen höherer Ordnung zur verifizierten globalen Optimierung

In dieser Arbeit wird die automatische Berechnung von Steigungstupeln zweiter und höherer Ordnung behandelt. Die entwickelten Techniken werden in einem Algorithmus zur verifizierten globalen Optimierung verwendet. Anhand von Testbeispielen auf einem Rechner wird der neue Algorithmus mit einem Algorithmus aus der Literatur verglichen

Forum - Ausgabe 2011/2012

Informiert über die Forschungsaktivitäten an der Hochschule Konstanz im Jahr 2011/2012

Methodik zur Integration von Vorwissen in die Modellbildung

This book describes how prior knowledge about dynamical systems and functions can be integrated in mathematical modelling. The first part comprises the transformation of the known properties into a mathematical model and the second part explains four approaches for solving the resulting constrained optimization problems. Numerous examples, tables and compilations complete the book

Methodik zur Integration von Vorwissen in die Modellbildung

Das Buch zeigt, wie Vorwissen über Eigenschaften dynamischer Systeme und über Funktionen in die mathematische Modellbildung integriert werden kann. Hierzu wird im ersten Teil der Arbeit das verbale Vorwissen mathematisch formuliert. Der zweite Teil beschreibt vier Zugängen, um die entstehenden restringierten Probleme zu lösen. Zahlreiche Beispiele, Tabellen und Zusammenstellungen vervollständigen das Buch