缓解十字路口堵车问题的数学模型设计