6.4 可达性分析