智能煤矿综合管控平台设计及关键技术研究