发明名称 基于多因素复杂控制问题的特征值非精确优化方法
摘要 本发明涉及一种基于多因素复杂控制问题的特征值非精确优化方法,所述方法用优化方法解决控制领域问题,定义函数f和c的近似割平面模型,在引入第l个改进函数的割平面模型后,进行特征值非精确优化方法设计和计算。本发明在建立数学模型和数值准确性之间寻找平衡,广泛的应用于机器人设计、反Chebyshev逼近、最优时间控制、中心设计、滤波器设计中的信号处理、竞争决策中。
申请公布号 CN105701332A 申请公布日期 2016.06.22
申请号 CN201510943476.3 申请日期 2015.12.17
申请人 庞丽萍 发明人 庞丽萍;吕剑;王金鹤
分类号 G06F19/00(2011.01)I 主分类号 G06F19/00(2011.01)I
代理机构 代理人
主权项 基于多因素复杂控制问题的特征值非精确优化方法,其特征是:所述方法用优化方法解决控制领域问题,定义函数f和c的近似割平面模型:<maths num="0001"><math><![CDATA[<mrow><msub><mover><mi>f</mi><mo>^</mo></mover><mi>l</mi></msub><mrow><mo>(</mo><mi>y</mi><mo>)</mo></mrow><mo>=</mo><msub><mi>f</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>+</mo><munder><mi>max</mi><mrow><mi>i</mi><mo>&Element;</mo><msubsup><mi>L</mi><mi>l</mi><mi>f</mi></msubsup></mrow></munder><mo>{</mo><mo>-</mo><msubsup><mover><mi>e</mi><mo>^</mo></mover><msub><mi>f</mi><mi>i</mi></msub><mi>k</mi></msubsup><mo>+</mo><mo>&lt;</mo><msub><mi>g</mi><msub><mi>f</mi><msup><mi>y</mi><mi>i</mi></msup></msub></msub><mo>+</mo><msub><mi>&rho;</mi><mi>l</mi></msub><msubsup><mi>&Delta;</mi><mi>i</mi><mi>k</mi></msubsup><mo>,</mo><mi>y</mi><mo>-</mo><msup><mi>x</mi><mi>k</mi></msup><mo>></mo><mo>}</mo><mo>,</mo></mrow>]]></math><img file="FSA0000124742510000011.GIF" wi="921" he="119" /></maths><maths num="0002"><math><![CDATA[<mrow><msub><mover><mi>c</mi><mo>^</mo></mover><mi>l</mi></msub><mrow><mo>(</mo><mi>y</mi><mo>)</mo></mrow><mo>=</mo><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>+</mo><munder><mi>max</mi><mrow><mi>i</mi><mo>&Element;</mo><msubsup><mi>L</mi><mi>l</mi><mi>c</mi></msubsup></mrow></munder><mo>{</mo><mo>-</mo><msubsup><mover><mi>e</mi><mo>^</mo></mover><msub><mi>c</mi><mi>i</mi></msub><mi>k</mi></msubsup><mo>+</mo><mo>&lt;</mo><msub><mi>g</mi><msub><mi>c</mi><msup><mi>y</mi><mi>i</mi></msup></msub></msub><mo>+</mo><msub><mi>&rho;</mi><mi>l</mi></msub><msubsup><mi>&Delta;</mi><mi>i</mi><mi>k</mi></msubsup><mo>,</mo><mi>y</mi><mo>-</mo><msup><mi>x</mi><mi>k</mi></msup><mo>></mo><mo>}</mo><mo>.</mo></mrow>]]></math><img file="FSA0000124742510000012.GIF" wi="938" he="125" /></maths>其中<maths num="0003"><math><![CDATA[<mrow><msubsup><mi>e</mi><msub><mi>f</mi><mi>i</mi></msub><mi>k</mi></msubsup><mo>=</mo><msub><mi>f</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>-</mo><msub><mi>f</mi><msup><mi>y</mi><mi>i</mi></msup></msub><mo>-</mo><mo>&lt;</mo><msub><mi>g</mi><msub><mi>f</mi><msup><mi>y</mi><mi>i</mi></msup></msub></msub><mo>,</mo><msup><mi>x</mi><mi>k</mi></msup><mo>-</mo><msup><mi>y</mi><mi>i</mi></msup><mo>></mo><mo>,</mo></mrow>]]></math><img file="FSA0000124742510000013.GIF" wi="571" he="112" /></maths><maths num="0004"><math><![CDATA[<mrow><msubsup><mi>e</mi><msub><mi>c</mi><mi>i</mi></msub><mi>k</mi></msubsup><mo>=</mo><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>-</mo><msub><mi>c</mi><msup><mi>y</mi><mi>i</mi></msup></msub><mo>-</mo><mo>&lt;</mo><msub><mi>g</mi><msub><mi>c</mi><msup><mi>y</mi><mi>i</mi></msup></msub></msub><mo>,</mo><msup><mi>x</mi><mi>k</mi></msup><mo>-</mo><msup><mi>y</mi><mi>i</mi></msup><mo>></mo><mo>.</mo></mrow>]]></math><img file="FSA0000124742510000014.GIF" wi="567" he="112" /></maths>有了以上函数,引入如下的第l个改进函数的割平面模型:<img file="FSA0000124742510000015.GIF" wi="679" he="94" />初始步:选取初始点y<sup>0</sup>,令x<sup>0</sup>=y<sup>0</sup>,用Oracle计算非精确函数值<img file="FSA0000124742510000016.GIF" wi="280" he="68" />以及非精确次梯度<img file="FSA0000124742510000017.GIF" wi="192" he="64" />令下降步指标k=k(l)=0,迭代指标l=0,<img file="FSA0000124742510000018.GIF" wi="586" he="70" />指标集<img file="FSA0000124742510000019.GIF" wi="375" he="80" />Step 1(计算迭代点):为了得到迭代点y<sup>l+1</sup>,计算下面的二次规划:<img file="FSA00001247425100000110.GIF" wi="479" he="102" />由此,计算预测下降量<img file="FSA00001247425100000111.GIF" wi="890" he="104" />并通过Oracle计算<img file="FSA00001247425100000112.GIF" wi="169" he="68" />以及<img file="FSA00001247425100000113.GIF" wi="230" he="82" />Step 2(束更新):计算新的束信息:<maths num="0005"><math><![CDATA[<mrow><msubsup><mi>&Delta;</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>k</mi></msubsup><mo>=</mo><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>-</mo><msup><mi>x</mi><mi>k</mi></msup><mo>,</mo><msubsup><mi>d</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>k</mi></msubsup><mo>=</mo><mfrac><msup><mrow><mo>|</mo><mo>|</mo><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>-</mo><msup><mi>x</mi><mi>k</mi></msup><mo>|</mo><mo>|</mo></mrow><mn>2</mn></msup><mn>2</mn></mfrac><mo>,</mo></mrow>]]></math><img file="FSA0000124742510000021.GIF" wi="662" he="142" /></maths><maths num="0006"><math><![CDATA[<mrow><msubsup><mi>e</mi><msub><mi>f</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>k</mi></msubsup><mo>=</mo><msub><mi>f</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>-</mo><msub><mi>f</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>-</mo><mo>&lt;</mo><msub><mi>g</mi><msub><mi>f</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub></msub><mo>,</mo><msup><mi>x</mi><mi>k</mi></msup><mo>-</mo><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>></mo><mo>,</mo></mrow>]]></math><img file="FSA0000124742510000022.GIF" wi="660" he="110" /></maths><maths num="0007"><math><![CDATA[<mrow><msubsup><mi>e</mi><msub><mi>c</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>k</mi></msubsup><mo>=</mo><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>-</mo><msub><mi>c</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>-</mo><mo>&lt;</mo><msub><mi>g</mi><msub><mi>c</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub></msub><mo>,</mo><msup><mi>x</mi><mi>k</mi></msup><mo>-</mo><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup><mo>></mo><mo>.</mo></mrow>]]></math><img file="FSA0000124742510000023.GIF" wi="656" he="108" /></maths>相应地更新,<maths num="0008"><math><![CDATA[<mrow><msubsup><mover><mi>e</mi><mo>^</mo></mover><msub><mi>f</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>k</mi></msubsup><mo>=</mo><msubsup><mi>e</mi><msub><mi>f</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>k</mi></msubsup><mo>+</mo><msub><mi>&mu;</mi><mi>l</mi></msub><msubsup><mi>d</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>k</mi></msubsup><mo>,</mo><msubsup><mover><mi>e</mi><mo>^</mo></mover><msub><mi>c</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>k</mi></msubsup><mo>=</mo><msubsup><mi>e</mi><msub><mi>c</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mi>k</mi></msubsup><mo>+</mo><msub><mi>&mu;</mi><mi>l</mi></msub><msubsup><mi>d</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>k</mi></msubsup><mo>.</mo></mrow>]]></math><img file="FSA0000124742510000024.GIF" wi="693" he="70" /></maths>最后,选择新的迭代指标集<img file="FSA0000124742510000025.GIF" wi="184" he="67" />Step 3(下降步测试):如果δ<sub>l</sub>≤tol<sub>stop</sub>则迭代停止,否则试探如下的下降步测试:<maths num="0009"><math><![CDATA[<mfenced open='{' close=''><mtable><mtr><mtd><msub><mi>f</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>&le;</mo><msub><mi>f</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>-</mo><mi>m</mi><msub><mi>&delta;</mi><mi>l</mi></msub><mo>,</mo><msub><mi>c</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>&le;</mo><mn>0</mn><mo>,</mo></mtd><mtd><mi>if</mi><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>&le;</mo><mn>0</mn><mo>,</mo></mtd></mtr><mtr><mtd><msub><mi>c</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>&le;</mo><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>-</mo><mi>m</mi><msub><mi>&delta;</mi><mi>l</mi></msub><mo>,</mo></mtd><mtd><mi>if</mi><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>></mo><mn>0</mn><mo>.</mo></mtd></mtr></mtable></mfenced>]]></math><img file="FSA0000124742510000026.GIF" wi="748" he="169" /></maths>如果y<sup>l+1</sup>满足上面的式子,则y<sup>l+1</sup>是下降步,则令x<sup>k+1</sup>=y<sup>l+1</sup>,k(l+1)=k+1,k=k+1,以及<img file="FSA0000124742510000027.GIF" wi="418" he="81" />否则令x<sup>k+1</sup>=x<sup>k</sup>,k(l+1)=k,Step 4(更新凸化参数):<maths num="0010"><math><![CDATA[<mrow><msub><mi>&rho;</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>=</mo><mfenced open='{' close=''><mtable><mtr><mtd><msub><mi>&rho;</mi><mi>l</mi></msub><mo>,</mo></mtd><mtd><mi>if</mi><msubsup><mi>&rho;</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>min</mi></msubsup><mo>&le;</mo><msub><mi>&rho;</mi><mi>l</mi></msub><mo>,</mo></mtd></mtr><mtr><mtd><msub><mi>N</mi><mn>0</mn></msub><msubsup><mi>&rho;</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>min</mi></msubsup><mo>,</mo></mtd><mtd><mi>if</mi><msubsup><mi>&rho;</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>min</mi></msubsup><mo>></mo><msub><mi>&rho;</mi><mi>l</mi></msub><mo>,</mo></mtd></mtr></mtable></mfenced></mrow>]]></math><img file="FSA0000124742510000028.GIF" wi="631" he="170" /></maths>其中<maths num="0011"><math><![CDATA[<mrow><msubsup><mi>&rho;</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>min</mi></msubsup><mo>=</mo><munder><mi>max</mi><mrow><msubsup><mi>d</mi><mi>i</mi><mi>k</mi></msubsup><mo>&NotEqual;</mo><mn>0</mn></mrow></munder><mo>{</mo><munder><mi>max</mi><mrow><mi>i</mi><mo>&Element;</mo><msubsup><mi>L</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>f</mi></msubsup></mrow></munder><mo>-</mo><mfrac><msubsup><mi>e</mi><msub><mi>f</mi><mi>i</mi></msub><mi>k</mi></msubsup><msubsup><mi>d</mi><mi>i</mi><mi>k</mi></msubsup></mfrac><mo>,</mo><munder><mi>max</mi><mrow><mi>i</mi><mo>&Element;</mo><msubsup><mi>L</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow><mi>c</mi></msubsup></mrow></munder><mo>-</mo><mfrac><msubsup><mi>e</mi><msub><mi>c</mi><mi>i</mi></msub><mi>k</mi></msubsup><msubsup><mi>d</mi><mi>i</mi><mi>k</mi></msubsup></mfrac><mo>}</mo><mo>.</mo></mrow>]]></math><img file="FSA0000124742510000029.GIF" wi="683" he="158" /></maths>更新迭代指标,令l=l+1,Step 5(更新迫近参数):如果满足如下不等式同时满足,<maths num="0012"><math><![CDATA[<mfenced open='{' close=''><mtable><mtr><mtd><msub><mi>f</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>></mo><msub><mi>f</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>+</mo><msub><mi>M</mi><mn>0</mn></msub></mtd></mtr><mtr><mtd><msub><mi>c</mi><msup><mi>y</mi><mrow><mi>l</mi><mo>+</mo><mn>1</mn></mrow></msup></msub><mo>></mo><msub><mi>c</mi><msup><mi>x</mi><mi>k</mi></msup></msub><mo>+</mo><msub><mi>M</mi><mn>0</mn></msub><mo>,</mo></mtd></mtr></mtable></mfenced>]]></math><img file="FSA00001247425100000210.GIF" wi="325" he="168" /></maths>则此迭代点被认为是不可接受的,需要快速的增加迫近参数μ<sub>l+1</sub>μ<sub>l+1</sub>=N<sub>1</sub>μ<sub>l</sub>.其中,参数m∈(0,1),M<sub>0</sub>>0,N<sub>0</sub>>1,N<sub>1</sub>>1,初始迫近参数μ<sub>0</sub>,初始凸化参数ρ<sub>0</sub>,迭代终止参数tol<sub>stop</sub>=10<sup>‑6</sup>;重新设置参数以及束信息:ρ<sub>0</sub>=ρ<sub>l+1</sub>,μ<sub>0</sub>=μ<sub>l+1</sub>,x<sup>0</sup>=x<sup>k</sup>,k=l=0,<maths num="0013"><math><![CDATA[<mrow><msubsup><mi>e</mi><msub><mi>f</mi><mn>0</mn></msub><mn>0</mn></msubsup><mo>=</mo><mn>0</mn><mo>,</mo><msubsup><mi>e</mi><msub><mi>c</mi><mn>0</mn></msub><mn>0</mn></msubsup><mo>=</mo><mn>0</mn><mo>,</mo><msubsup><mi>d</mi><mn>0</mn><mn>0</mn></msubsup><mo>=</mo><mn>0</mn><mo>,</mo><msubsup><mi>&Delta;</mi><mn>0</mn><mn>0</mn></msubsup><mo>=</mo><mn>0</mn><mo>.</mo></mrow>]]></math><img file="FSA0000124742510000031.GIF" wi="567" he="68" /></maths>否则,令μ<sub>l+1</sub>=μ<sub>l</sub>,转入Step 1。
地址 116024 辽宁省大连市大连理工大学数学科学院创新大厦A1016