我国煤矿沿空掘巷研究进展