Application of 0-1 Integer Programming Based on Velocity Adjustment in the Collision Prevention

Velocity adjustment is an important way of collision prevention for multi-aircrafts in air traffic control (ATC). Derived the conditions should be met in order to achieve the intelligent conflict-free trajectory control based on the horizontal safety separation. A nonlinear programming model based on aircrafts' velocity adjustment is modeled. The model takes the summation of velocity adjustment of all the aircrafts as optimization goal. Based on the non-linear programming model, 0-1 integer programming model by introduced variable, solves the requirement that the number of aircrafts whose status was changed is as minimum as possible in actual operation. Instance simulation proved that the algorithm proposed can meet the requirement of security and timeliness in the ATC's work of conflict deployment.