掘进工作面（）空顶作业。