V.M. Charitopoulos
等人
/
工程
3
(
2017
)
202
基理论被用来解决模型预测控制(
MPC
)方案中出现的多项式方程
组。最近 ,
Charitopoulos
和
Dua[25]
提出了一 种 新的算 法 , 用于
(多)参数混合整数多项式优化(
mp-MIPOPT
)问题的精确解,重
点是混合多项式系统的显式控制。
在目前的工作中,我们提出了两个算法的分析解决方案的
MINLP
对数非线性的情况下。其关键思想是解析求解由一阶
Karush-Kuhn-
Tucker
(
KKT
)条件导出的平方方程组,
min
f
x,y
x
为
oh
S.T. hx , y0g
x,y0
x
n
x
0,
n
y
Gröbner
的基础理论和符号操作原则。第一个算法是为求解确定性
MINLP
问题而设计的,而第二个算法是对单参数
MINLP
问题的扩展
对问题的约束的
RHS
的扰动。与过程合成相关的问题,然后检查,
以下
如所观察到的,
mp-PP
现在在松弛的整数变量
y
中是参数化的。等
式(
12-
KKT系统:
L
提出的算法。
论文的其余部分组织如下:在第
2
节中,建立了本工作的理论框架
;
接下来,给出了求解一类特定的确定性问题的两个算法。
和参数
MINLP
。所提出的算法,然后测试两个案例研究有关的过程
综合问题,
lems
,这些都在第
3
节。在第
4.1
节中,在介绍了研究中的
问题及其使用最先进的求解器的数值最优解之后,我们通过与第
3
节
中提出的解决方案进行比较,验证了所提出接下来,在第
4.2
节中,
我们介绍了主要的计算步骤以及在非确定性情况下应用所提出的算
法最后,第
5
节载有结论性意见。
2.
理论和算法
最近,
Dua[26]
提出了一种用于解决
MIPOPT
问题的
mp
启发算
法 。 该算 法 基于 一 般
MIPOPT
问 题 的一 阶
KKT
条 件 一般 来 说 ,
MIPOPT
问题可以描述为方程:(
2-6
)。
MIPOPT
:
其中
L
x,y,μ,λ
f
x,y
$> λ
T
g
$$> μ
T
h <
,y
是
mp-PP的Lagrange函数,且
ng
表示不等式的数目。
问题
mp-PP
中考虑的应变。注意,
Eqs
。
(12-14
)形成多项式方程的
平方系统,其可以关于优化变量和拉格朗日乘子解析地求解。遵循
Dua[26]
提出的算法,使用符号操作软件解析地求解
KKT
系统,从而
计算满足等式的所有可能的解。
(12–14) as explicit functions of the
显式的解决方案,然后验证通过评估原始和对偶可行性条件以及一些
约束资格,所有可能的组合
的
y
向量。
原则上,所提出的方法有可能被扩展到更一般的类
MINLP
问题的
决定以及参数的情况下,这种潜力进行检查。
2.1.
基于参数规划的
MINLP
如前所述,
Dua[26]
研究了
MIPOPT
问题的情况。然而,由于
min
f
x,y
x
为
oh
S.T. hx,y0
gx,0
x
R
n
x
0,
n
y
上述算法是通过使用
Gröbner
基理论的平方方程组的解析解,该算法
可以扩展到涉及对数函数的
MINLP
问题的类。通过密切关注
Dua [26]
描述的发展,我们设计了对数非线性情况的算法
1
。
注意,在本工作中,步骤
3-
其中
x
是属于有界集合
X
的连续变量的向量
;
y
表示整数变量的向量,其
是
n
个
y
维的
;
h
是等式约束的向量,并且是
n
个
h
维的
;
g
是不等式约束的向
量 , 并 且 是
n
个
g
维 的
;
并 且
f
是 标 量 目 标 函 数 。 整 数 变 量 的 问 题
(
MIPOPT
)是放松的,因为它们是连续的,并被视为参数,限制在
各自的范围内。因此,出现(多)参数多项式问题(
mp-PP
),
[27]
第 二 十 七 话 然 后 在 获 得 最 优 解 后 , 对 线 性 独 立 约 束 条 件
(
LICQ
)进行评估,以确认其最优性。
2.2.
基于参数规划的不确定
MINLP
问题
算法
1
可以促进确定性
MINLP
问题。然而,对于必须考虑不确定
性的情况,该算法
算法
1
求解MINLP问题的算法
第
1
章
R
放宽了
二元
变量
,
即,
y
∈{0,1}
ny
→[0,1]
ny
,
作为连续参数返回到其相应
的
上
界
.
第二步,建立一阶
KKT
方程,即:
等式(12-14)。
步骤3参数化地求解所得到的平方KKT系统,以计算优化变量和拉格朗日乘子作为松弛二元变量的显式函数,即,x(y)、λ(y)和μ(y)。
步骤
4
将二元变量固定为所有可能的组合,评估原始和对偶可行性条件。
步骤5筛选计算出的候选解以确定最优解。这涉及到确保原始可行性和对偶可行性,以及一些约束条件。