| Aufgabenstellung | Das HARMONIC-Forschungsprojekt untersucht unter anderem die Optimierung der Zuweisung von Flügen zu Ankunftszeiten auf dem 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 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. |
|---|