“<span class="highlight">数字化矿山</span>”综合信息管理软件（CoalComprehensiveInformationManagementSoftwareCIMS）包括综合自动化平...