辅助坑道进正洞相关论文