型分析