reformulate_state_var_independent_eq_cons
(函数来自 pyomo.contrib.pyros.util)
- pyomo.contrib.pyros.util.reformulate_state_var_independent_eq_cons(model_data)[source]
重新表述与状态变量无关的第二阶段等式约束。
与状态变量无关的第二阶段等式约束,可以重写为关于不确定参数的多项式,通过多项式系数的匹配被重新表述为第一阶段等式。因此,这种重新表述技术被称为系数匹配。在某些情况下,系数的匹配可能会导致鲁棒不可行性的证明。
所有其他与状态变量无关的第二阶段等式约束都被重新构造为成对的第二阶段不等式约束,因为它们否则会在分离子问题中过度约束不确定参数。
- Parameters:
model_data (model data object) – 主模型数据对象。
- Returns:
robust_infeasible – 如果模型被发现是鲁棒不可行的,则为True,否则为False。
- Return type: