利用3DMINE等软件建立三维数字矿山模型和应用