验证算例