5.8 验证算例