4 算例验证