本發(fā)明屬于智能制造
技術(shù)領(lǐng)域：
，具有涉及一種基于均衡約束規(guī)劃的智能制造控制器單元優(yōu)化松弛方法。
背景技術(shù)：
：智能制造是具有感知、推理和控制功能的制造業(yè)系列裝備，代表了制造業(yè)的發(fā)展需求。智能制造水平已成為衡量一個國家現(xiàn)代化水平的重要標志。智能制造的發(fā)展促使人們利用基礎(chǔ)學(xué)科的最新成果研究一種新型智能制造系統(tǒng)，其研究對象面向整個制造環(huán)境的集成化和信息化，在制造系統(tǒng)中，制造過程控制單元不可避免地會遇到在系統(tǒng)中存在的混沌現(xiàn)象，由于智能制造系統(tǒng)在運行中與外部存在信息交換，因此這種系統(tǒng)的混沌現(xiàn)象受外部環(huán)境影響，對初始值存在敏感性，這種敏感性能使得系統(tǒng)隨著時間的推移產(chǎn)生完全無法預(yù)測的軌跡，從而使得系統(tǒng)中信息流存在誤差和影響。這種誤差和影響可歸結(jié)為含有垂直互補約束的MPVCC數(shù)學(xué)規(guī)劃問題(簡稱MPVCC數(shù)學(xué)規(guī)劃，或MPVCC)，為此，人們考慮松弛模型解決MPVCC，但這種方法往往假設(shè)KKT點存在，但此種假設(shè)不符合算法中的終止準則，致使應(yīng)用軟件計算時存在問題。技術(shù)實現(xiàn)要素：為了克服現(xiàn)有技術(shù)的不足，提出基于均衡約束規(guī)劃的智能制造控制器單元優(yōu)化松弛方法，所述方法不再假設(shè)存在KKT點，因此本發(fā)明符合算法中的終止準則，解決了應(yīng)用軟件的計算問題，用近似KKT點代替KKT點來解決MPVCC規(guī)劃問題，并在適當(dāng)?shù)募s束規(guī)范下證明理論結(jié)果成立，算法有效。本發(fā)明的技術(shù)方案為：基于均衡約束規(guī)劃問題的智能制造控制器單元優(yōu)化松弛方法，所述松弛方法能求解如下含有垂直互補約束的MPVCC數(shù)學(xué)規(guī)劃的C-穩(wěn)定點：minf(z)g(z)≤0，h(z)＝0，其中z∈Rn是自變量，目標函數(shù)f(z)和約束函數(shù)gi(z)，hi(z)，F(xiàn)ij(z)都是二次連續(xù)可微函數(shù)。MPVCC數(shù)學(xué)規(guī)劃中的垂直互補可以等價為于是，所述松弛方法基于t-MPVCC數(shù)學(xué)規(guī)劃，利用MPVCC-MFCQ約束規(guī)范求解近似KKT點；t-MPVCC數(shù)學(xué)規(guī)劃為：minf(z)s.t.g(z)≤0，h(z)＝0，其中z∈Rn是自變量，目標函數(shù)f(z)和約束函數(shù)gi(z)，hi(z)，F(xiàn)ij(z)都是二次連續(xù)可微函數(shù)，t＞0是松弛變量，當(dāng)t趨于0時，t-MPVCC數(shù)學(xué)規(guī)劃趨于MPVCC數(shù)學(xué)規(guī)劃；所述MPVCC-MFCQ約束規(guī)范為：在z*處，下述表述的梯度向量是正線性無關(guān)的，其中Ig(z*)＝{i|gi(z*)＝0}，IF(z*)＝{(i，j)|Fij(z*)＝0}.所述近似KKT點，或稱ε-穩(wěn)定點，記作z*為：如果存在λ∈Rp，μ∈Rq滿足，其中，ε＞0，KKT點就是近似KKT點中ε＝0的情況。于是有如下結(jié)論：假設(shè)tk趨于0，εk是tk的同階無窮小量，zk是t-MPVCC數(shù)學(xué)規(guī)劃的εk-穩(wěn)定點并且zk趨于z′，如果MPVCC-MFCQ約束規(guī)范在z′處成立，那么z′是t-MPVCC數(shù)學(xué)規(guī)劃的C-穩(wěn)定點，即存在λ*∈Rp，μ*∈Rq，Γ*∈Rm×l滿足Γij*Fij(z′)＝0，i＝1，...，m，j＝1，...，l，其中本發(fā)明的有益效果為：1)本發(fā)明所述方法不再假設(shè)存在KKT點，因此本發(fā)明符合算法中的終止準則，解決了應(yīng)用軟件的計算問題，用近似KKT點代替KKT點來解決MPVCC規(guī)劃問題；2)本發(fā)明在MPVCC-MFCQ約束規(guī)范下，基于t-MPVCC數(shù)學(xué)規(guī)劃，求解近似KKT點，而不求精確的KKT點，近似KKT點的求解在計算過程中速度要快幾個數(shù)量級，節(jié)省了時間；3)所述近似KKT點收斂于MPVCC數(shù)學(xué)規(guī)劃的KKT點，創(chuàng)造性地給出了求解MPVCC數(shù)學(xué)規(guī)劃的理論結(jié)果，算法十分有效有效。4)本發(fā)明所述松弛方法不僅子函數(shù)簡單便于計算，而且為了保證數(shù)值計算的合理性我們在理論部分應(yīng)用了近似KKT點并證明了收斂結(jié)果，在嚴格削弱約束規(guī)范的情況下可以得到所希望的穩(wěn)定點。5)本發(fā)明應(yīng)用此種方法對于轉(zhuǎn)化為t-MPVCC的實際模型進行數(shù)值計算，得到了理想結(jié)果，從而驗證了在已證明的理論結(jié)果下這種松弛方法對于解MPVCC問題是很有效的。具體實施方式：在智能制造
技術(shù)領(lǐng)域：
中，帶有均衡約束的Stackelberggame模型有著很廣泛的應(yīng)用，可將某些問題抽象為一類很常見的MPVCC優(yōu)化模型。但是由于均衡約束的特殊結(jié)構(gòu)，在算法上有很大難度，無法直接計算。例如，考慮從實際問題中抽象出的一個帶有均衡約束的Stackelberggame問題其中y∈SOL(z)是一個均衡約束。這個模型就很難直接求解，所以按照本發(fā)明的方法將其等價的轉(zhuǎn)化為t-MPVCC問題，在應(yīng)用經(jīng)典的松弛模型后變成一般的非線性規(guī)劃，可以用軟件有效求解。例如Min-max-min問題其中z∈Rn是自變量，目標函數(shù)fij(z)和約束函數(shù)gij(z)都是二次連續(xù)可微函數(shù)，不難發(fā)現(xiàn)上述問題不易直接求解，但是將其轉(zhuǎn)化為t-MPVCC問題后就可以用我們所建立的松弛理論去研究，進行數(shù)值計算。在研究t-MPVCC的松弛模型時，證明了松弛問題的近似KKT點在MPVCC-MFCQ條件下可以收斂到MPVCC的C-穩(wěn)定點。上述理論結(jié)果首次在t-MPVCC的松弛方法中應(yīng)用了近似KKT點去構(gòu)建收斂性結(jié)果，使其更符合數(shù)值實驗中的終止準則，使得我們能更好的應(yīng)用已有軟件去計算。本發(fā)明弱化了收斂定理的條件，用更弱的MPVCC-MFCQ代替了之前的MPVCC-LICQ。其中在MPVCC-MFCQ下，也得到了近似KKT點的存在性。應(yīng)用上述松弛模型，可成功的求解轉(zhuǎn)化為MPVCC的帶有均衡約束的Stackelberggame模型和Min-max-min問題。從而也說明了近似KKT點在數(shù)值計算方面的優(yōu)勢。本發(fā)明所述方法的算法為：Step0：參數(shù)的選擇：首先選擇合適的參數(shù)σ∈(0，1)，參數(shù)t0＝0.1，終止準則其中z∈Rn是自變量，gi(z)，hi(z)，F(xiàn)ij(z)都是約束函數(shù)。Step1：選取初始點z0，置k＝0.Step2：當(dāng)tk＞10-8或者maxVio(zk)＞10-6時以zk做為初始變量應(yīng)用fmincon函數(shù)解帶有參數(shù)tk的松弛問題進而得到解zk+1，置tk+1＝σtk.當(dāng)tk+1＜10-8或者maxVio(zk+1)＜10-6時，則停止計算，置zopt＝zkStep3：置k＝k+1，轉(zhuǎn)到第二步.其中fmincon是用于求解非線性多元函數(shù)最小值的matlab函數(shù)庫的一個函數(shù)。其中fmincon是用于求解非線性多元函數(shù)最小值的matlab函數(shù)。本算法應(yīng)用到上述帶有均衡約束的Stackelberggame問題(1)式中，可得到較好的數(shù)值結(jié)果，如下表：表1算法的數(shù)值結(jié)果步數(shù)算法所得最優(yōu)點tf*時間(s)9(1.0000，0.5000，0.0000，-0.5000，0.4000，0.20000)0.51.69180.10969(1.0000，0.5000，0.0000，-0.5000，0.4000，0.20000)0.51.69180.14688(1.0000，0.5000，0.0000，-0.5000，0.4000，0.20000)0.11.69183.7916由簡單計算可見算法所得最優(yōu)點是一個M-穩(wěn)定點，最優(yōu)值f*所得結(jié)果比較小，更人滿意。本發(fā)明所述的松弛方法具有如下的優(yōu)勢：本發(fā)明應(yīng)用在制造系統(tǒng)中，制造過程控制單元不可避免地會遇到在系統(tǒng)中存在的混沌現(xiàn)象，由于智能制造系統(tǒng)在運行中與外部存在信息交換，因此這種系統(tǒng)的混沌現(xiàn)象受外部環(huán)境影響，對初始值存在敏感性，這種敏感性能使得系統(tǒng)隨著時間的推移產(chǎn)生完全無法預(yù)測的軌跡，從而使得系統(tǒng)中信息流存在誤差和影響。這種誤差和影響可歸結(jié)為含有垂直互補約束的MPVCC數(shù)學(xué)規(guī)劃問題(所述松弛方法不僅子函數(shù)簡單便于計算，而且為了保證數(shù)值計算的合理性我們在理論部分應(yīng)用了近似KKT點并證明了收斂結(jié)果，在嚴格削弱約束規(guī)范的情況下可以得到所希望的穩(wěn)定點。本發(fā)明應(yīng)用此種方法對于轉(zhuǎn)化為MPVCC的實際模型進行數(shù)值計算，得到了理想結(jié)果，從而驗證了在已證明的理論結(jié)果下這種松弛方法對于解MPVCC問題是很有效的。當(dāng)前第1頁1 2 3