列车调度问题的数学模型