数字化建矿山平台相关论文