地理信息系统可以将城市的空间数据实现数字化，它的简写为