隧道洞顶有沟谷通过,且沟底有渗漏时,应采用圬工铺砌,铺砌厚度一般不小于()。
出自:桥隧工