6.7 算例验证