A mixed integer programming formulation for the off-line version of the problem has been proposed. 给出了问题的数学描述，并对其静态问题，构造了一个混合整数规划模型。
According to the aircraft taxi law and the conflicts on taxi routes, a mixed integer linear programming formulation was modelled based on the standard taxi routes. 根据飞机在机场地面的运动规律，基于确定的滑行路径，考虑滑行路线冲突，建立了该问题的混合整数规划模型。
