4.3 算例分析及验证