GIS应用于数字城市的理论与实践