| Aufgabenstellung | Das HARMONIC-Forschungsprojekt untersucht unter anderem die Optimierung der Zuweisung von Flügen zu Ankunftszeiten auf einem Flughafen im Falle von ATFM-Regulierungen (z.B. aufgrund von schlechten Wetterbedingungen). Normalerweise werden die Flüge den Ankunftszeiten nach dem Prinzip 'first-planned, first-served' zugewiesen, was allerdings nicht effizient ist, da einige Flüge wichtiger sind als andere. Ziel der Bachelorarbeit ist es, die Optimierung der Zuteilung unter Berücksichtigung verschiedener Constraints mittels Answer Set Programming zu untersuchen. |
|---|