将城市地理信息和城市其它信息相结合，数字化并存储于计算机网络上所形成的城市虚拟空间称作()。