线性方程约束下修正方法的可行性分析（演绎推理，六）

    本文内容接续博客《线性方程约束下修正方法的可行性分析（演绎推理，五）》

    情况2：若$\sum _{j=1}^{N-R}{\tilde{a}}_{k,j}{x}_{gen,R+j}<b_{RREF,k}-{\underline{x}}_k\le {\tilde{b}}_{cor,k}$，设
$$\begin{array}{c}\begin{array}{rl}{\lambda }_{L,i_1}& =\left(b_{RREF,i_1}-{\overline{x}}_{i_1}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i_1,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i_1,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i_1,j}{x}_{gen,R+j}\right)\\ {\mu }_{L,i_2}& =\left(b_{RREF,i_2}-{\underline{x}}_{i_2}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i_2,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i_2,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i_2,j}{x}_{gen,R+j}\right)\end{array}\end{array}\text{\hspace{1em}(35)}$$

    情况2.1：当$\sum _{j=1,{\tilde{a}}_{i_1,j}>0}^{N-R}{\tilde{a}}_{i_1,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i_1,j}<0}^{N-R}{\tilde{a}}_{i_1,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)$与$\sum _{j=1,{\tilde{a}}_{i_1,j}>0}^{N-R}{\tilde{a}}_{i_2,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i_1,j}<0}^{N-R}{\tilde{a}}_{i_2,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)$同号时，则：

    情况2.1.1：恒可行（Consistently Feasible）：
$$\begin{array}{c}\begin{array}{r}\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}\ge \sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right)x_{gen,R+j}\end{array}\end{array}\text{\hspace{1em}(35)}$$

    情况2.1.2：恒不可行（Consistently Infeasible）：
$$\begin{array}{c}\begin{array}{r}\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}+\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}<\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{L,i_2}{\tilde{a}}_{i_1,j}\right)x_{gen,R+j}\end{array}\end{array}\text{\hspace{1em}(36)}$$

    情况2.1.3：不恒可行（Not Consistently Feasible or Infeasible）：
$$\begin{array}{c}\begin{array}{r}\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}<\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right)x_{gen,R+j}\le \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}+\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{array}\end{array}\text{\hspace{1em}(37)}$$

    情况2.2：当$\sum _{j=1,{\tilde{a}}_{i_1,j}>0}^{N-R}{\tilde{a}}_{i_1,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i_1,j}<0}^{N-R}{\tilde{a}}_{i_1,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)$与$\sum _{j=1,{\tilde{a}}_{i_1,j}>0}^{N-R}{\tilde{a}}_{i_2,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i_1,j}<0}^{N-R}{\tilde{a}}_{i_2,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)$异号时，则：

    情况2.2.1：恒可行（Consistently Feasible）：
$$\begin{array}{c}\begin{array}{r}\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}+\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}\le \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}+\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}+\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{array}\end{array}\text{\hspace{1em}(38)}$$

    情况2.2.2：恒不可行（Consistently Infeasible）：
$$\begin{array}{c}\begin{array}{r}\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}+\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}>\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}+\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}+\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{array}\end{array}\text{\hspace{1em}(39)}$$

    情况2.2.3：不恒可行（Not Consistently Feasible or Infeasible）：
$$\begin{array}{c}\begin{array}{r}\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}\le \sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right){\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}\left({\lambda }_{L,i_1}{\tilde{a}}_{i_2,j}-{\mu }_{G,i_2}{\tilde{a}}_{i_1,j}\right)x_{gen,R+j}<\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}+\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{array}\end{array}\text{\hspace{1em}(40)}$$

研究目标

    (1) 探究满足一般线性约束的生成随机数的修正方法；
    (2) 探究满足某些非线性约束的生成随机数修正方法；
    (3) 探究随机向量为离散向量和连续-离散混合向量时的生成随机数修正方法；
    (4) 将生成随机数修正方法应用到基于启发式算法的优化问题求解中，使得启发式算法能够始终在优化问题的可行域中搜寻问题的解，从而加快启发式优化算法的收敛速度。