Constrained activity sequencing

Abstract

Mnoho rozvrhovacích problémů lze považovat za problémy s hledáním posloupností aktivit splňujících určité podmínky a omezení. Typickým příkladem je rozvrhování letů v leteckém průmyslu, kde úlohou je přiřazení segmentů letů a servisních aktivit k jednotlivým letadlům. Tato diplomová práce se zaměřuje na hledání takovýchto omezených posloupností aktivit. Cílem práce je navrhnout formální model problému, včetně přesné specifikace podmínek a účelové funkce, schopný najít (sub)optimální posloupnosti aktivit. Navrhovaný model je založen na technikách Programování s omezujícími podmínkami.

Many scheduling problems can be seen as activity sequencing problems, where the activity sequence in demand satisfies certain constraints. A typical example is scheduling in the airline industry where the task is to assign to each aircraft a segment of flight and nonflight activities while guaranteeing certain required properties. This diploma thesis deals with such type of constrained activity sequencing. The aim is to propose a formal model of the problem, including specification of all constraints and objectives, capable of finding (near)optimal sequences of activities. The proposed model is based on Constraint programming techniques.