地下矿山井巷工程计算机辅助设计系统研制 数字化矿山建设的论文