13.2 求解器和分析类型