打车软件数学模型