描述了智能交通的各种数学模型,上海世博会交通限行问题的数学模型