5.5.2 四维航迹RTA序列重分配问题描述和建模