Rozvrhování zdrojů na letišti jako časově omezený rozvrhovací problém

Abstract

V této práci jsou identifikovány požadavky na bezpečný pozemní letištní provoz, který se skládá z přidělování ranvejí, taxi operací a přidělování bran. Je ukázáno, jak je možné tento problém modelovat jako problém splňování omezujících podmínek a vyřešit jej pomocí technik rozvrhování. Součástí práce je aplikace, která tyto techniky ilustruje a umožňuje následnou vizualizaci výsledků. Pro účely této aplikace byl vytvořen obecný řešič podmínek, který je snadno rozšiřitelný a využitelný i na jiný druh problémů. Další výhodou tohoto řešiče je, že umožňuje snadnou změnu prohledávací strategie.

This thesis identifies constraints for safe ground airport operations. These operations consist of runway assignment, taxi operations planning and gate scheduling. The aim of this thesis is to show how this problem can be formulated as constraint satisfaction problem and then solved as a scheduling problem. Based on this model, an application that ilustrates these concepts is designed and implemented. This application enables a visualisation of results. An extendable constraint solver was implemented for the purpose of this application. This solver can be used to solve problems from other domains as well and also enables easy change of search strategy.