Veranstaltungen

Vorlesung Evolutionäre Algorithmen und nichtklassische Optimierung (SS 2003)

Die Vorlesung gibt einen Überblick über folgende nichtklassische Optimierungsverfahren:

Evolutionäre Algorithmen
- Evolutionsstrategien
- Genetische Algorithmen
- Genetic Programming
Monte Carlo Algorithmen
- Simulated Annealing
- Threshold Accepting
- Sintflut Algorithmus
Tabusuche

Wichtige theoretische Resultate zu diesen Verfahren werden diskutiert. Ein Schwerpunkt der Vorlesung ist deren Anwendung in der Praxis. Die einfachen Operatoren dieser Verfahren zum Erzeugen neuer Lösungen (Mutation, Move, Rekombination) durch simple Bit-Manipulation (Inversion eines Bits, Inversion einer Teilsequenz) habenzwar den Vorteil, dass diese universell anwendbar sind, können jedoch Problemwissen nicht ausnützen. Deshalb werden in der Vorlesung anhand praxisnaher Beispiele wesentlich effizientere problemspezifische Operatoren diskutiert.
Termin: donnerstags 14-tägig, 15.45 - 19.00 Uhr im SR 301

Vorlesung Klassische Optimierung und ihre Anwendung (WS 2003/2004)

Die Vorlesung gibt einen Überblick über folgende klassische Optimierungsverfahren:

Lineare Optimierung
- Simplex Algorithmus
- Innere-Punkt-Methode
- Ganzzahlige Optimierung
- Sensitivitätsanalyse
- Modellbildung (gute und schlechte Modelle)
- Dekompositionstechniken
Schedulingverfahren
- Constraint Propagation
- Jobshop Scheduling
- FlowShop Scheduling
- Online Scheduling
- Dekompositionstechniken
Sequenzoptimierung

Diese Verfahren werden an Beispielen aus der Produktionsplanung erläutert: Lineare Optimierung für die mittelfristige Planung (taktische Planung), Schedulingverfahren zur Feinplanung (operationale Planung) und Sequenzoptimierung als spezielle Verfahren zur Optimierung der Bearbeitungsreihenfolge auf einer Ressource (z.B. Fließband). Ein wichtiger Aspekt ist hierbei die Modellbildung. Insbesondere werden gute und schlechte Modellierungen diskutiert. Darüberhinaus werden wichtige theoretische Grundlagen zu diesen Verfahren erläutert.
Termin: donnerstags 14-tägig, 15.45 - 19.00 Uhr im SR 131

Vorlesung Einführung in die Musiktheorie für Informatiker (WS 2003/2004)

Die kombinierte Veranstaltung Einführung in die Musiktheorie für Informatiker/Ausgewählte Kapitel der Musikinformatik, bestehend aus Vorlesung und Seminar, findet jeweils im Wintersemester statt. Sie richtet sich an Studierende der Informatik im Hauptdiplom, die an der Einarbeitung bzw. Vertiefung in ein spannendes Anwendungsgebiet der Informatik interessiert sind.
Die Vorlesung führt in die Begriffs- und Gedankenwelt der klassischen Musiktheorie ein. Systematisch und von Grund auf werden die zur Analyse klassischer Musik benötigten Beschreibungsmittel (z.B. aus der Harmonielehre) vorgestellt und entwickelt. In Fällen, in denen zur Informatik ähnliche Beschreibungsmethoden und -modelle existieren, werden auch Querbezüge aufgezeigt.

Arbeitsgemeinschaften (AGs)
-
Praktikum
-
Seminare
Seminar Ausgewählte Kapitel der Musikinformatik (WS 2003/2004) Die kombinierte Veranstaltung Einführung in die Musiktheorie für Informatiker/Ausgewählte Kapitel der Musikinformatik, bestehend aus Vorlesung und Seminar, findet jeweils im Wintersemester statt. Das Seminar richtet sich an Studierende der Informatik im Hauptdiplom und beinhaltet Anwendungsbeispiele der Informatik auf Musik. Dabei werden sowohl neuronale Netze als auch regelbasierte Systeme eingesetzt. Darüberhinaus werden auch Anwendungen vorgestellt, die aus Forschungsarbeiten des Instituts hervorgegangen sind. Die Anmeldung zum Seminar erfolgt per e-mail bei Joachim Langnickel (joachim.langnickel@informatik.uni-karlsruhe.de). Weitere Informationen finden sich auf der Homepage der Gruppe Informationsstrukturen in der Musik.
Vorlesungen
Vorlesung Evolutionäre Algorithmen und nichtklassische Optimierung (SS 2003) Die Vorlesung gibt einen Überblick über folgende nichtklassische Optimierungsverfahren: Evolutionäre Algorithmen Evolutionsstrategien Genetische Algorithmen Genetic Programming Monte Carlo Algorithmen Simulated Annealing Threshold Accepting Sintflut Algorithmus Tabusuche Wichtige theoretische Resultate zu diesen Verfahren werden diskutiert. Ein Schwerpunkt der Vorlesung ist deren Anwendung in der Praxis. Die einfachen Operatoren dieser Verfahren zum Erzeugen neuer Lösungen (Mutation, Move, Rekombination) durch simple Bit-Manipulation (Inversion eines Bits, Inversion einer Teilsequenz) habenzwar den Vorteil, dass diese universell anwendbar sind, können jedoch Problemwissen nicht ausnützen. Deshalb werden in der Vorlesung anhand praxisnaher Beispiele wesentlich effizientere problemspezifische Operatoren diskutiert. Termin: donnerstags 14-tägig, 15.45 - 19.00 Uhr im SR 301 Vorlesung Klassische Optimierung und ihre Anwendung (WS 2003/2004) Die Vorlesung gibt einen Überblick über folgende klassische Optimierungsverfahren: Lineare Optimierung Simplex Algorithmus Innere-Punkt-Methode Ganzzahlige Optimierung Sensitivitätsanalyse Modellbildung (gute und schlechte Modelle) Dekompositionstechniken Schedulingverfahren Constraint Propagation Jobshop Scheduling FlowShop Scheduling Online Scheduling Dekompositionstechniken Sequenzoptimierung Diese Verfahren werden an Beispielen aus der Produktionsplanung erläutert: Lineare Optimierung für die mittelfristige Planung (taktische Planung), Schedulingverfahren zur Feinplanung (operationale Planung) und Sequenzoptimierung als spezielle Verfahren zur Optimierung der Bearbeitungsreihenfolge auf einer Ressource (z.B. Fließband). Ein wichtiger Aspekt ist hierbei die Modellbildung. Insbesondere werden gute und schlechte Modellierungen diskutiert. Darüberhinaus werden wichtige theoretische Grundlagen zu diesen Verfahren erläutert. Termin: donnerstags 14-tägig, 15.45 - 19.00 Uhr im SR 131 Vorlesung Einführung in die Musiktheorie für Informatiker (WS 2003/2004) Die kombinierte Veranstaltung Einführung in die Musiktheorie für Informatiker/Ausgewählte Kapitel der Musikinformatik, bestehend aus Vorlesung und Seminar, findet jeweils im Wintersemester statt. Sie richtet sich an Studierende der Informatik im Hauptdiplom, die an der Einarbeitung bzw. Vertiefung in ein spannendes Anwendungsgebiet der Informatik interessiert sind. Die Vorlesung führt in die Begriffs- und Gedankenwelt der klassischen Musiktheorie ein. Systematisch und von Grund auf werden die zur Analyse klassischer Musik benötigten Beschreibungsmittel (z.B. aus der Harmonielehre) vorgestellt und entwickelt. In Fällen, in denen zur Informatik ähnliche Beschreibungsmethoden und -modelle existieren, werden auch Querbezüge aufgezeigt.
Vorträge
-