公交车调度问题的数学模型