有限元在水下隧道最小安全顶板厚度中的应用