6.3 模型静态分析