理正渗流分析软件中的分析方法包括公式法和有限元方法