HAMMER水锤分析软件及其数值模拟结果的验证