隧道开挖揭露的岩溶形态主要有溶管、溶槽、溶洞和暗河等,施工中需要对这些岩溶形态进行定量描述,以便根据不同形态的岩溶及其特性提出相应的开挖和支护措施。对于空溶洞,多采用一般测绘手段即可;但对于充填溶洞边界和暗河底部堆积物或深度的探测,是目前岩溶隧道施工过程中的一个棘手问题。作者采用HSP声波反射法对几个大型充填溶洞或暗河的探测实例表明,采用该方法探测充填型溶洞边界是可行的,值得在其它类似工程中参考应用。