本文内容接续博客《线性方程约束下修正方法的可行性分析（演绎推理，四）》
多线性方程约束下修正方法的可行性分析
修正结果与多线性方程约束问题可行性定理之间的联系
情况1：若
∑
j
=
1
N
−
R
a
~
k
,
j
x
g
e
n
,
R
+
j
>
b
R
R
E
F
,
k
−
x
‾
k
≥
b
~
c
o
r
,
k
\displaystyle \sum_{j = 1}^{N - R} \tilde{a}_{k, j} x_{gen, R + j} > b_{RREF, k} - \underline{x}_k ≥ \tilde{b}_{cor, k}
j=1∑N−Ra~k,jxgen,R+j>bRREF,k−xk≥b~cor,k，设
λ
G
,
i
1
=
(
b
R
R
E
F
,
i
1
−
x
‾
i
1
)
−
(
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
a
~
i
1
,
j
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
a
~
i
1
,
j
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
a
~
i
1
,
j
x
g
e
n
,
R
+
j
)
μ
G
,
i
2
=
(
b
R
R
E
F
,
i
2
−
x
‾
i
2
)
−
(
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
a
~
i
2
,
j
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
a
~
i
2
,
j
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
a
~
i
2
,
j
x
g
e
n
,
R
+
j
)
\begin{equation}\tag{28} \begin{split} \lambda_{G, i_1} &= \left( b_{RREF, i_1} - \overline{x}_{i_1} \right) - \left( \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \tilde{a}_{i_1, j} \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \tilde{a}_{i_1, j} \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \tilde{a}_{i_1, j} x_{gen, R + j} \right) \\ \mu_{G, i_2} &= \left( b_{RREF, i_2} - \underline{x}_{i_2} \right) - \left( \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \tilde{a}_{i_2, j} \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \tilde{a}_{i_2, j} \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \tilde{a}_{i_2, j} x_{gen, R + j} \right) \end{split} \end{equation}
λG,i1μG,i2=(bRREF,i1−xi1)−
j=1,a~k,j>0∑N−Ra~i1,jxR+j+j=1,a~k,j<0∑N−Ra~i1,jxR+j+j=1,a~k,j=0∑N−Ra~i1,jxgen,R+j
=(bRREF,i2−xi2)−
j=1,a~k,j>0∑N−Ra~i2,jxR+j+j=1,a~k,j<0∑N−Ra~i2,jxR+j+j=1,a~k,j=0∑N−Ra~i2,jxgen,R+j
(28)
情况1.1：当 ∑ j = 1 , a ~ k , j > 0 N − R a ~ i 1 , j ( x g e n , R + j − x ‾ R + j ) + ∑ j = 1 , a ~ k , j < 0 N − R a ~ i 1 , j ( x g e n , R + j − x ‾ R + j ) \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \tilde{a}_{i_1, j} \left( x_{gen, R + j} - \underline{x}_{R + j} \right) + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \tilde{a}_{i_1, j} \left( x_{gen, R + j} - \overline{x}_{R + j} \right) j=1,a~k,j>0∑N−Ra~i1,j(xgen,R+j−xR+j)+j=1,a~k,j<0∑N−Ra~i1,j(xgen,R+j−xR+j)与 ∑ j = 1 , a ~ k , j > 0 N − R a ~ i 2 , j ( x g e n , R + j − x ‾ R + j ) + ∑ j = 1 , a ~ k , j < 0 N − R a ~ i 2 , j ( x g e n , R + j − x ‾ R + j ) \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \tilde{a}_{i_2, j} \left( x_{gen, R + j} - \underline{x}_{R + j} \right) + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \tilde{a}_{i_2, j} \left( x_{gen, R + j} - \overline{x}_{R + j} \right) j=1,a~k,j>0∑N−Ra~i2,j(xgen,R+j−xR+j)+j=1,a~k,j<0∑N−Ra~i2,j(xgen,R+j−xR+j)同号时，则：
情况1.1.1：恒可行（Consistently Feasible）：
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
≤
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
g
e
n
,
R
+
j
\begin{equation}\tag{29} \begin{split} \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} ≤ \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) x_{gen, R + j} \end{split} \end{equation}
j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j≤j=1,a~k,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j=0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xgen,R+j(29)
情况1.1.2：恒不可行（Consistently Infeasible）：
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
>
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
g
e
n
,
R
+
j
\begin{equation}\tag{30} \begin{split} \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} > \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) x_{gen, R + j} \end{split} \end{equation}
j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j>j=1,a~k,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j=0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xgen,R+j(30)
情况1.1.3：不恒可行（Not Consistently Feasible or Infeasible）：
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
≤
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
g
e
n
,
R
+
j
<
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
\begin{equation}\tag{31} \begin{split} \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} ≤ \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) x_{gen, R + j} < \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} \end{split} \end{equation}
j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j≤j=1,a~k,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j=0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xgen,R+j<j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j(31)
情况1.2：当 ∑ j = 1 , a ~ k , j > 0 N − R a ~ i 1 , j ( x g e n , R + j − x ‾ R + j ) + ∑ j = 1 , a ~ k , j < 0 N − R a ~ i 1 , j ( x g e n , R + j − x ‾ R + j ) \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \tilde{a}_{i_1, j} \left( x_{gen, R + j} - \underline{x}_{R + j} \right) + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \tilde{a}_{i_1, j} \left( x_{gen, R + j} - \overline{x}_{R + j} \right) j=1,a~k,j>0∑N−Ra~i1,j(xgen,R+j−xR+j)+j=1,a~k,j<0∑N−Ra~i1,j(xgen,R+j−xR+j)与 ∑ j = 1 , a ~ k , j > 0 N − R a ~ i 2 , j ( x g e n , R + j − x ‾ R + j ) + ∑ j = 1 , a ~ k , j < 0 N − R a ~ i 2 , j ( x g e n , R + j − x ‾ R + j ) \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \tilde{a}_{i_2, j} \left( x_{gen, R + j} - \underline{x}_{R + j} \right) + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \tilde{a}_{i_2, j} \left( x_{gen, R + j} - \overline{x}_{R + j} \right) j=1,a~k,j>0∑N−Ra~i2,j(xgen,R+j−xR+j)+j=1,a~k,j<0∑N−Ra~i2,j(xgen,R+j−xR+j)异号时，
情况1.2.1：恒可行（Consistently Feasible）：
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
≥
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
g
e
n
,
R
+
j
\begin{equation}\tag{32} \begin{split} \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} ≥ \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) x_{gen, R + j} \end{split} \end{equation}
j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j≥j=1,a~k,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j=0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xgen,R+j(32)
情况1.2.2：恒不可行（Consistently Infeasible）：
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
<
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
g
e
n
,
R
+
j
\begin{equation}\tag{33} \begin{split} \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} < \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) x_{gen, R + j} \end{split} \end{equation}
j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j<j=1,a~k,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j=0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xgen,R+j(33)
情况1.2.3：不恒可行（Not Consistently Feasible or Infeasible）：
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
<
∑
j
=
1
,
a
~
k
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
a
~
k
,
j
=
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
g
e
n
,
R
+
j
≤
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
>
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
+
∑
j
=
1
,
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
<
0
N
−
R
(
λ
G
,
i
1
a
~
i
2
,
j
−
μ
G
,
i
2
a
~
i
1
,
j
)
x
‾
R
+
j
\begin{equation}\tag{34} \begin{split} \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} < \displaystyle \sum_{j = 1, \tilde{a}_{k, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \tilde{a}_{k, j} = 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) x_{gen, R + j} ≤ \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} > 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \overline{x}_{R + j} + \displaystyle \sum_{j = 1, \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} < 0}^{N - R} \left( \lambda_{G, i_1} \tilde{a}_{i_2, j} - \mu_{G, i_2} \tilde{a}_{i_1, j} \right) \underline{x}_{R + j} \end{split} \end{equation}
j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j<j=1,a~k,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,a~k,j=0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xgen,R+j≤j=1,λG,i1a~i2,j−μG,i2a~i1,j>0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j+j=1,λG,i1a~i2,j−μG,i2a~i1,j<0∑N−R(λG,i1a~i2,j−μG,i2a~i1,j)xR+j(34)
剩余内容参见博客《线性方程约束下修正方法的可行性分析（演绎推理，六）》
265
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
