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

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

多线性方程约束下修正方法的可行性分析

多线性方程约束问题可行性定理

    当$\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)$与$\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)$异号时，${\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)$、${\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)$、${\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)$、${\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)$分别满足
$$\begin{array}{c}\begin{array}{rl}{\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(b_{RREF,i}-{\underline{x}}_i\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(b_{RREF,i}-{\overline{x}}_i\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\end{array}\end{array}\text{\hspace{1em}(19)}$$
    (2) 当$\sum _{j=1}^{N-R}{\tilde{a}}_{k,j}{x}_{gen,R+j}<b_{RREF,k}-{\overline{x}}_k$时，
$$\begin{array}{c}\begin{array}{rl}{\underline{\tilde{b}}}_{cor,k}& =\underset{i=1}{\overset{R}{\max }}\left[{\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right),{\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}& =\underset{i=1}{\overset{R}{\min }}\left[{\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right),{\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)\right]\end{array}\end{array}\text{\hspace{1em}(20)}$$
    当$\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)$与$\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)$同号时，${\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)$、${\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)$、${\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)$、${\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)$分别满足
$$\begin{array}{c}\begin{array}{rl}{\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}\times \left[\left(\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}\times \left[\left(\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}\times \left[\left(b_{RREF,i}-{\overline{x}}_i\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)}\times \left[\left(b_{RREF,i}-{\underline{x}}_i\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\end{array}\end{array}\text{\hspace{1em}(21)}$$

    剩余内容参见博客 《线性方程约束下修正方法的可行性分析（演绎推理，四）》