建立数字城市、数字矿区和地理信息系统

阐述城市数字化，矿区数字化，地理信息系统以及它们之间的关系，讨论了建设数字矿区重要子集之一-数字矿山的必要性及其战略意义。