比较静态分析名词解释