3.1.5 调用求解器验证乘积式线性化方法