6.1.3 到达定值分析