12.3 求解器和分析类型