Hybrid Intelligent Techniques for Benchmark Functions and Real-World Optimization ProblemsView this Special Issue
Ant Colony Algorithm and Simulation for Robust Airport Gate Assignment
Airport gate assignment is core task for airport ground operations. Due to the fact that the departure and arrival time of flights may be influenced by many random factors, the airport gate assignment scheme may encounter gate conflict and many other problems. This paper aims at finding a robust solution for airport gate assignment problem. A mixed integer model is proposed to formulate the problem, and colony algorithm is designed to solve this model. Simulation result shows that, in consideration of robustness, the ability of antidisturbance for airport gate assignment scheme has much improved.
With the rapid growth of air transport traffic, airport managers are widely concerned with airport operation efficiency. Airport gate assignment scheme is directly related to airport operation efficiency. Purpose of airport gate assignment is to allocate gate for every arrival and departure aircraft. Not only does airport gate assignment affect efficiency of ground service, but also good assignment scheme can prevent congestion at airport.
Airport gate assignment problem can be seen as a kind of resource assignment problem under certain restraints. Airport gate can be seen as resource and aircraft can be seen as resource consumer. Hard constraints of this problem are that aircraft must be assigned to one gate only once, and the gate cannot be assigned to any other aircraft after it is released. In addition to hard constraints, there are many soft constraints that can be considered during gate scheduling process, such as minimizing passenger walking distance and minimizing departure delay.
Mathematical models of airport gate assignment differ from different objectives. Lim and Wang  established model to minimize number of conflicted gates; the stochastic factor in arrival and departure time of aircraft is considered. They show that this model is NP-hard, and heuristic algorithm is used to solve it. Yan and Tang  established a simulation framework for gate assignment problem, and waiting time of all passengers is considered. Drexl and Nikulin  add the objective of maximizing gate performance scores into model established by Ding, and optimal result is obtained by annealing method. Tang  considers gate shortage and flight delay into objective, and evaluation method was used for optimal solution searching. Cheng et al.  consider efficient use of resources and passengers’ satisfaction as objective and established heuristics algorithm to find optimal solution. Kim and Feron  establish mathematical model to minimize number of gage conflicts that are caused by aircraft departure metering.
Deterministic models for aircraft gate assignment seem to get optimal assignment scheme during planning process, but most of these schemes are not really optimal during airport operation process. There are many disturbances that will affect gate assignment scheme; gate assignment scheme may be infeasible. Scheme planners have to adjust gate assignment scheme to make it proof against small deviations from original scheme .
In this paper, we will focus on the RAGA (robust airport gate assignment) problem. A mixed integer programming model is proposed; objective of this model is to find balance between service index and robust index. It is clearly noted that the RAGA model is NP-hard. The ACO (Ant Colony Optimization) algorithm is used to solve this model according to its complexity. Simulation experiments are used to test robustness of solution for RAGA model. Research result in this paper will provide a reference for airport gate assignment management in practice.
This paper is organized as follows. In Section 2 the RAGA mathematic model is established; in Section 3 ACO algorithm is designed for RAGA model; Section 4 is the simulation experiments result and analysis; Section 5 concludes the paper.
2. Problem Formulation
2.1. Description of the Problem
Airport gate assignment is a core task during airport resource scheduling process; its purpose is to determine a certain position for every arrival aircraft, and airport ground operations are scheduled on the basis of gate assignment scheme. Research of RAGA is to find airport gate schedule scheme, which has certain antidisturbance ability for the uncertain factors during airport operation process.
Due to the limited number of airport gate, airport needs to arrange gate in advance for aircraft that will arrive in a certain period. Thus the airport ground services can be scheduled based on airport gate assignment scheme. Airport gate assignment scheme is formulated based on arrival time, leave time of aircraft in flight schedule, and estimation of ground service duration. But during the actual operation process of airport, aircrafts do not always be punctual in the arrival and departure time in flight schedule; there is always a certain deviation between actual arrival and departure time and the scheduled time. For example: delay of aircraft take off that is caused by bad weather may result in arrival delay and departure delay. The arrival delay and departure delay may result in infeasibility of gate assignment scheme; gate planners have to spend several hours on adjusting gate assignment scheme. The adjustment of gate assignment scheme may bring change to related ground service schedule scheme, thus to reduce the overall operation efficiency of airport. So, the ability of antidisturbance should be considered during airport gate assignment scheme making process, namely, the robustness of airport gate assignment scheme.
Figure 1 is the comparison of two assignment schemes for three gates and six aircrafts. The -axis represents airport gate and the -axis represents time. The lower edge and upper edge of rectangle represent arrival time and departure time of every aircraft. Arrival time and departure time of every aircraft in these two schemes are exactly the same; these two assignment schemes have no difference on the criterion of punctuality. But on the circumstance of arrival delay or departure delay, scheme 2 has higher antidisturbance ability than scheme 1. For example: when the departure delay of aircraft 1 happened, the gate assignment of aircraft 4 must be adjusted in assignment scheme 1. But in assignment scheme 2, buffer time between departure time of aircraft 1 and arrival time of aircraft 5 can absorb certain delay influence; thus assignment scheme 2 is more robust.
Example above shows that adding certain buffer time after departure of every craft can improve robustness of schedule scheme. But too long buffer time may cause new arrival delay or departure delay, and too short buffer time cannot absorb disturbance caused by arrival or departure delay. To find airport gate assignment scheme in consideration of service criterion and robustness criterion is the research aim of this paper.
2.2. Assumption of the Model
In order to establish RAGA model, the following assumptions are made.
Assumption 1. Every gate in airport at most can berth one aircraft at any time.
Assumption 2. Airport gates are divided into two types of large gate and small gate. Aircrafts can be divided into two types of large scale and small scale. Large gate can berth large scale and small scale aircraft and small gate can only berth small scale aircraft.
Assumption 3. Each arrival aircraft must be assigned to a certain gate for berth.
Assumption 4. Arrival time of aircraft, ground operation duration, and passenger boarding duration may be delayed by uncertain factors, which may lead to the delay of aircraft departure.
Assumption 5. Minimum time interval exists between aircraft departure time and berth time in any airport gate.
Assumption 6. Departure time of any aircraft cannot be earlier than departure time in flight schedule.
2.3. Notations Related to the Model
: the set of all the aircrafts, ; : the set of all airport gates, ; : if aircraft is large scale then ; otherwise ; : if is large gate then ; otherwise ; : the arrival time of aircraft in flight schedule; : the berth time of flight aircraft in gate arrange scheme; : the departure time of aircraft in flight schedule; : the departure time of flight aircraft in gate arrange scheme; : the duration of ground operation and passenger boarding; : the minimum time interval between aircraft departure time and berth time in the same gate; : if aircraft is allocated to gate , then ; otherwise ; : if aircraft and are allocated to gate and follows , then ; otherwise ; : if large scale aircraft is allocated to small gate , then ; if small scale aircraft is allocated to large gate , then ; otherwise ; : the buffer time between aircraft departure time and berth time in the same gate.
2.4. Formulation of the Model
The mathematical model for RAGA is now presented, followed by step by step explanation. Objective of the model is to find the optimal gate assignment scheme which can ensure service and has certain ability of antidisturbance. Objective function (1) is to minimize the weighted sum of departure delay, buffer time, and matching degree of aircraft with gate. The weights are , , and , respectively: subject to: Constraint (2) ensures that each aircraft must be and only be arranged to one certain gate. Constraint (3) restricts that each aircraft at a certain gate can at most be followed by one aircraft arranged to that gate. Constraint (4) restricts that each aircraft at a certain gate can at most follow one aircraft arranged to that gate. Constraint (5) is the calculation method for airport departure time. If aircraft berth time adding duration of ground operation and passenger boarding has not exceed departure time in flight schedule, then select the flight schedule departure time as aircraft departure time. Otherwise, select calculation time as aircraft departure time. Constraint (6) is the calculation method for airport berth time. Constraint (7) ensures that there is no large scale aircraft arranged to small gate. Constraint (8) is the range of buffer time.
3. Solving Raga by ACO
ACO is a kind of global algorithm that is put forward by Professor Dorigo in the year of 1992. ACO simulates the process of path formulation during ant search for food and has been widely used in solving many kinds of combinatorial optimization problems .
3.1. The Design of the Algorithm ACO
3.1.1. Node Set
Optimal solution of RAGA is related to aircraft and gate, so node for ACO should represent the message of both aircraft and gate. Nodes in path are represented by matrix : is a matrix of order , where is the number of aircrafts and is the number of gates. Elements in matrix represent nodes in ant searching path. Element in matrix represents that aircraft is allocated to gate . Nodes in matrix are divided into two types. If , then node is called abnormal node; otherwise is called normal node. Abnormal node represents that the node is infeasible because aircraft of large scale is allocated to a small gate.
3.1.2. Tabu Table
Tabu table is established for every ant; Tabu represents nodes that the ant whose code is cannot travel. Before node choice of ant , nodes in matrix whose value equals are added into Tabu. During node choice process, if node is chosen by ant , then nodes in matrix whose row number is are added into Tabu. The design of tabu table ensured that every aircraft can only be assigned to one certain gate.
3.1.3. Path Table
Path table is established for every ant; nodes that traveled by ant will be record in Path sequentially. During initial position selection process for ant , normal nodes in matrix are selected as initial position set. One node is randomly selected in initial position set for ant as the start position, and the node is added into Path accordingly. During path selection process, when node is traveled by ant , then the node is added into Path. When all rows in matrix are traveled by ant , travel path of ant can be acquired by sequential read nodes in Path. Airport gate assignment that represented by Path will be acquired when it is decoded.
3.1.4. Pheromone Design
Pheromone is the information that stays on path when the path is traveled by ant. More pheromones are left when the path is traveled by more ants. During path selection process of every ant, path is selected randomly based on the quantity of its pheromone. The more the quantity pheromone on path, the more the probability the path is selected.
During path selection process, ant at any node has the probability of jumping to any other node normally in matrix . Pheromone matrix represents pheromones for ants during path selection process of step . Matrix is composed of submatrices and the order of submatrix is . Submatrix in matrix is represented by : Elements in matrix represent the probability of jumping to other nodes from node at the jumping step. Before path selection process of ants, matrix should be initialized, and ants will begin their path selection step according to matrix from their initial positions. Ants cannot jump between nodes in the same row of matrix and cannot jump to abnormal nodes either. In the initialization process of matrix , elements in matrix that represent pheromones between nodes in the same row are set to zero, and elements that represent pheromones between normal nodes and abnormal nodes are set to zero too; other elements are set to 1. Initialization process of matrix ensured that ants can select node as the next step choice with the same probability in feasible node set.
When ant jumped to another node from its current position, it will leave pheromones on the way. And elements in pheromone matrix should be updated accordingly. Formula (11) is the calculation method for pheromone matrix element update: where In formula (11) the first item is retained from original pheromone; the second item is the increment of pheromone that is caused by ant travel. Coefficient is the description of pheromone reduction, parameter is aircraft total departure delay in path that is formed by travel of ant , and parameter is a constant.
3.1.5. Node Selection Strategy
During node selection process, every ant decides to which node to jump according to pheromone matrix . Formula (13) is the node selection probability for ant and its current position is node : : weight of pheromone; : weight of heuristic factor; : delay() which is the berth delay in node and is a constant.Formula (13) is the combination of pheromone factor and heuristic factor. The use of heuristic factor provided possibility of jumping from local extreme value. Parameters and are used to adjust the weight of pheromone factor and heuristic factor, respectively.
3.1.6. Termination Condition
Since it is difficult to determine scope of optimal solution, the maximum number of generation is used as the algorithm end condition.
3.2. Algorithm Running Step
In robust airport gate assignment problem, robustness of gate assignment scheme is proportional to the length of buffer time. But with the increment of buffer time, aircraft departure delay will increase too. In the model solving process, we should balance the buffer time. Model solving process includes the following steps.(1)Set value of maximum buffer time , set minimum buffer time as where , set value of unit interval , and set parameter .(2)Set and set as buffer time.(3)Use ACO algorithm for solving RAGA model on condition of given buffer time . ACO algorithm includes the following steps.(i)Initialize parameter values of RAGA model, such as number of aircrafts, number of gates, scheduled arrival time and departure time of aircraft, and other parameters.(ii)Initialization of ACO algorithm: set size of ant colony, initialize value of elements in pheromone matrix, initialize tabu table for every ant, and set the maximum iteration generation of ACO algorithm.(iii)Set initial node for every ant in ant colony, and every ant in ant colony begins its path finding process. After each step forward of any ant, update tabu table for that ant correspondingly. When all of the ants finish their travel, update value of elements in pheromone matrix and select the best solution as output of this generation.(iv)If the iteration generation reaches the maximum generation, then select the best solution in all generations as output of ACO algorithm. Otherwise, go to step (iii).(4)Put model solution in step 3 into result set . If , set and , go to step ; otherwise go to step .(5)Select best solution in result set as aircraft assignment scheme, and select the corresponding as buffer time for RAGA model.
4. Computational Experiments
4.1. Experiment without Buffer Time
Experiment without buffer time is to validate optimal solution search ability of ACO algorithm for RAGA model.
In simulation experiment without buffer time, we simulate a schedule period of one day, which is a period of 1440 minutes. Arrival time of aircraft is generated in the time interval of randomly. Departure time of large aircraft is generated in the time span of and departure time of small aircraft is generated in the time interval of . Assume there are 4 large gates and 2 small gates.
The algorithm of GAA (Greedy Assignment Algorithm) is commonly used in airport actual operation process. The scheduling process of greedy algorithm is based on the aircrafts’ arrival sequence. It will assign aircraft to the gate which can satisfy constraints and cause minimal departure delay currently. CPLEX is a kind of optimization software; it can find optimal solution for linear model and satisfactory solution for nonlinear model. In order to validate optimal solution search ability of ACO, each example is calculated by three methods separately.
Generate 10 examples when the scale of arrival aircraft is 10, 20, and 30, respectively. Calculate these examples by ACO, GAA, and CPLEX, respectively, and calculation results comparison is shown in Table 1.
The symbol of indicates the departure delay under certain assignment scheme and the symbol of indicates the calculation time. Table 1 shows the average, minimum, and maximum result of , for three methods in case of different aircraft scale. From result in Table 1, we can draw the following conclusions.(1)The ACO algorithm has higher ability for optimal solution search. Under the circumstance of , 20, and 30, calculation results of by ACO algorithm are equal to results that are calculated by CPLEX. We can say that on case of aircraft scale less than 30, ACO algorithm can get high quality solutions. The values of calculated by ACO algorithm are obviously less than values that are calculated by GAA algorithm under the same aircraft scale circumstance. We can say that ACO algorithm is better than GAA algorithm. When the aircraft scale continues growing, CPLEX cannot find solution in permitted time; it is unable to compare solution quality continually. But ACO algorithm can get solution for RAGA when the aircraft scale continues growing, and quality of the solution is better than solution that was calculated by GAA algorithm.(2)The ACO algorithm has shorter calculation time. The GAA algorithm has the shortest calculation time; it can get solution in one second. Calculation time of CPLEX increases with scale of aircraft; when aircraft scale reaches 30, it needs at least 35 minutes to find solution for model. Calculation time of ACO algorithm increases with scale of aircraft too, but the longest time is less than 10 minutes. When the scale of aircraft exceeds 50, CPLEX cannot find solution for model in two hours. But ACO algorithm can find solution in less than 15 minutes. Calculation time of ACO algorithm increases with aircraft scale due to the increasing number of nodes in matrix .(3)The value of increases with aircraft scale. With increasing of aircraft scale, the scheduled departure time delay is increasing accordingly. It shows that the airport gates are gradually approaching their maximum capacity.
4.2. Experiment with Buffer Time
Experiment with buffer time is to validate robustness of solution that is calculated by ACO algorithm.
On the simulation circumstance of experiment without buffer time, generate 10 examples for the aircraft scale as 10, 20, and 30, respectively. Every example is calculated on circumstance of and by ACO algorithm, respectively.
Random arrival delay and departure delay are used as disturbance factor to test the robustness of solution calculated by ACO algorithm. The arrival time of aircraft is randomly generated in span to simulate aircraft arrival delay and the departure time of aircraft is randomly generated in span to simulate aircraft departure delay. Aircrafts are assigned to gates according to solution calculated by AOC algorithm. Departure delays are calculated under disturbance circumstance. Simulation results for different aircraft scale are shown in Figures 2, 3, and 4.
The symbol of SD represents scheduled delay, and AD represents actual delay. Figures above show scheduled departure delay and actual departure delay on circumstance of and when , 20, and 30, respectively.
Table 2 is the statistical result for average delay on circumstance of and when , 20, and 30, respectively.
From simulation result and statistical result, we can draw the following conclusions.(1)The actual departure delay is longer than scheduled departure delay. When the reason is that robustness factor has not been considered during model solving process, and schedule scheme cannot absorb departure delay caused by random disturbance. When the reason is that although robustness factor has been considered during model solving process, the flight departure delay cannot be absorbed completely by buffer time.(2)Actual departure delay increases with scale of aircraft. Actual delay of optimal model is the accumulated departure delay of every aircraft. Although actual delay can be partly absorbed by buffer time, the actual delay that cannot be absorbed is increasing with the increase of aircraft scale.(3)Robustness of assignment scheme with buffer time is better than that without buffer time. Compare the difference between scheduled delay and actual delay in case of and ; the difference in case of is smaller than difference in case of . We can say that when buffer time is considered, robustness of assignment scheme has improved. When , most departure delay is absorbed by buffer time; departure delay that cannot be absorbed results in enhancement of actual departure delay on basis of scheduled departure delay. When , the actual departure delay of every aircraft cannot be absorbed, and delay will be enlarged during its propagation process.
In this paper, buffer time is introduced to the establishment process of robust airport gate assignment model, in order to enhance its ability of resisting uncertainty factors during airport actual operation process. The RAGA model established in this paper does not only consider three optimal aims, that are minimizing departure delay, maximizing buffer time, and maximizing matching degree of aircraft with gate. The ACO algorithm is used to solve the gate assignment model. Model solving process based on ACO is designed in detail. Simulation experiments are used to test optimal solution search ability of ACO algorithm and robustness of calculation result. Simulation result shows that the ACO algorithm can approach optimal solution with high precision, and robustness of gate assignment scheme has improved in consideration of buffer time.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work is financially supported by National Nature Science Foundation of China under the Grant 71002077.
S. H. Kim and E. Feron, “Impact of gate assignment on gate-holding departure control strategies,” in Proceeding of the 31st Digital Avionics Systems Conference: Projecting 100 Years of Aerospace History into the Future of Avionics (DASC ’12), pp. 4E3-1–4E3-8, Williamsburg, Va, USA, October 2012.View at: Publisher Site | Google Scholar
S. Lorpunmance and A. Sap, “An ant colony optimization for dynamic job scheduling in grid environment,” International Journal of Computer and Information Science and Engineering, vol. 1, pp. 207–214, 2007.View at: Google Scholar