书目详细信息 : 全断面隧道掘进机再制造技术及应用