本發(fā)明涉及優(yōu)化問題，具體涉及針對非凸的優(yōu)化問題的凸化方法。
背景技術(shù)：
：01二次規(guī)劃問題(BQP)是常見的優(yōu)化問題之一，應(yīng)用于很多領(lǐng)域，如通信、供水系統(tǒng)優(yōu)化等。通常將來自這些實(shí)際應(yīng)用、工程等的數(shù)據(jù)進(jìn)行轉(zhuǎn)換，以建立對優(yōu)化問題進(jìn)行描述的模型。BQP問題是一個NP難問題，并且有非凸的特點(diǎn)。換言之，在多項(xiàng)式時間內(nèi)不可能對BQP問題進(jìn)行求解，除非P＝NP。對于非凸問題的全局優(yōu)化，很多方法都是需要給出最優(yōu)解的下界，而且計算代價要較小。求解下界的標(biāo)準(zhǔn)方法都是基于凸化，即將問題重構(gòu)成一個凸問題。凸化的主要思想是將BQP問題的目標(biāo)函數(shù)重構(gòu)為一個二次凸函數(shù)，使得這兩個函數(shù)在x∈R的空間中有相同的目標(biāo)值。于是，BQP問題就可以等價于在R空間上，最小化這個重構(gòu)的目標(biāo)函數(shù)。全局優(yōu)化BQP問題的一個典型方法是分支定界策略，而凸化的目的在于為分支定界法提供更好的連續(xù)松弛邊界。技術(shù)實(shí)現(xiàn)要素：根據(jù)本公開實(shí)施例，提供了一種數(shù)據(jù)處理設(shè)備、方法和系統(tǒng)，能夠改進(jìn)連續(xù)松弛邊界。根據(jù)示例實(shí)施例，提供了一種數(shù)據(jù)處理設(shè)備，包括建模單元，利用來自應(yīng)用的數(shù)據(jù)建立模型，所述模型包括對應(yīng)用相關(guān)的優(yōu)化問題進(jìn)行描述的目標(biāo)函數(shù)以及約束；松弛單元，對所述目標(biāo)函數(shù)進(jìn)行松弛以將約束吸收到所述目標(biāo)函數(shù)中，得到松弛函數(shù)；凸化單元，基于松弛函數(shù)進(jìn)行凸化，得到重構(gòu)的目標(biāo)函數(shù)；以及求解單元，對重構(gòu)的目標(biāo)函數(shù)進(jìn)行求解；其中凸化單元通過最大化松弛函數(shù)的均值，來進(jìn)行凸化。根據(jù)另一示例實(shí)施例，提供了一種數(shù)據(jù)處理方法，包括以下步驟：利用來自應(yīng)用的數(shù)據(jù)建立模型，所述模型包括對應(yīng)用相關(guān)的優(yōu)化問題進(jìn)行描述的目標(biāo)函數(shù)以及約束；對所述目標(biāo)函數(shù)進(jìn)行松弛以將約束吸收到所述目標(biāo)函數(shù)中，得到松弛函數(shù)；基于松弛函數(shù)進(jìn)行凸化，得到重構(gòu)的目標(biāo)函數(shù)；以及對重構(gòu)的目標(biāo)函數(shù)進(jìn)行求解；其中，通過最大化松弛函數(shù)的均值來進(jìn)行凸化。根據(jù)再一示例實(shí)施例，提供了一種數(shù)據(jù)處理系統(tǒng)，包括：輸入設(shè)備，輸入來自應(yīng)用的數(shù)據(jù)；處理器，利用輸入的數(shù)據(jù)建立模型，所述模型包括對應(yīng)用相關(guān)的優(yōu)化問題進(jìn)行描述的目標(biāo)函數(shù)以及約束，對所述目標(biāo)函數(shù)進(jìn)行松弛以將約束吸收到所述目標(biāo)函數(shù)中，得到松弛函數(shù)，基于松弛函數(shù)進(jìn)行凸化，得到重構(gòu)的目標(biāo)函數(shù)，以及對重構(gòu)的目標(biāo)函數(shù)進(jìn)行求解；輸出設(shè)備，輸出處理器產(chǎn)生的數(shù)據(jù)；其中，處理器通過最大化松弛函數(shù)的均值，來進(jìn)行凸化。當(dāng)一些變量被約束到固定值的分支過程時，根據(jù)本公開的示例實(shí)施例對于提供更嚴(yán)格的連續(xù)松弛邊界有更大的潛力。附圖說明通過下面結(jié)合附圖說明本發(fā)明的優(yōu)選實(shí)施例，將使本發(fā)明的上述及其它目的、特征和優(yōu)點(diǎn)更加清楚，其中：圖1示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理設(shè)備的示意框圖；圖2示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理設(shè)備中的凸化單元的示意框圖；圖3示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理方法的示意流程圖；圖4示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理系統(tǒng)的示意框圖；圖5示出了優(yōu)化問題的現(xiàn)有求解方法的示意流程圖；以及圖6示出了BQP問題在通訊領(lǐng)域中應(yīng)用的示意圖。具體實(shí)施方式以下參照附圖，對本公開的示例實(shí)施例進(jìn)行詳細(xì)描述，本公開不限于下述示例實(shí)施例。為了清楚描述本發(fā)明的基本思想，附圖中僅示出了與本公開的技術(shù)方案密切相關(guān)的部件、功能或步驟，并且以下描述中省略了對已知技術(shù)、功能、部件或步驟的具體描述。本公開的示例實(shí)施例具體描述了針對帶約束的01二次規(guī)劃問題的求解方法，但本公開的基本構(gòu)思不限于此，而是可以應(yīng)用于多種其他優(yōu)化問題的求解。圖5示出了優(yōu)化問題的現(xiàn)有求解方法500的示意流程圖。如圖5所示，在步驟S502獲得BQP問題及其約束，構(gòu)造目標(biāo)函數(shù)，例如可以表達(dá)為F(x)，在步驟S504通過拉格朗日乘子對目標(biāo)函數(shù)F(x)進(jìn)行拉格朗日松弛，以將其中造成問題難以求解的約束吸收到目標(biāo)函數(shù)中，使問題更加容易求解，例如，基于拉格朗日函數(shù)L(x，λ)進(jìn)行松弛。在步驟S506，定義拉格朗日對偶問題，在步驟S508，通過內(nèi)點(diǎn)法求解對偶問題，獲得最優(yōu)解λ*，這是為了發(fā)現(xiàn)凸化的目標(biāo)函數(shù)在0≤x≤1連續(xù)松弛區(qū)間最嚴(yán)格的下邊界。在步驟S510，使用所獲得的最優(yōu)解λ*，將BQP問題的目標(biāo)函數(shù)進(jìn)行重構(gòu)，得到重構(gòu)的目標(biāo)函數(shù)，例如表達(dá)為f(x)＝L(x，λ*)。最后，在步驟S512，使用分支定界法對重構(gòu)的包含有凸化的目標(biāo)函數(shù)的問題進(jìn)行求解。下面給出上述求解方法的一個示例。BQP問題在通訊領(lǐng)域中有著重要的應(yīng)用?？紤]如下包括n個發(fā)射天線和m個接收天線的MIMO系統(tǒng)：設(shè)s∈{0，1}n是待發(fā)射信號，出于傳輸效率等原因，發(fā)射端發(fā)送信號Hs到接收端，其中H是接收端已知的m*n維的信道矩陣。然而由于信道噪聲的影響，接收端實(shí)際接收信號為r＝Hs+g，其中g(shù)是均值為0的m維高斯噪聲。接下來，接收端通過求解以下的01最小二乘(BLS)問題，將得到的最優(yōu)解x作為原始信號s的近似：min||Hx-r||22]]>s.t.x∈{0，1}n其中||·||2表示向量的2-范數(shù)，而BLS問題便是一類特殊的BQP問題：minxτHτHx-2rτHx+rτrs.t.x∈{0，1}n下面以具體數(shù)值來進(jìn)一步說明。以一個簡單的10維問題為例，BQP問題可以描述為如下函數(shù)F(x)：min12xTQx+cTx]]>s.t.x∈{0，1}10其中，Q=81700-7-18-2470017-58-210-361800-200-21-560315-212910000-3521-45280-125-7-36321-8103-6223-181815-45050-33-409-240-21283-3350015070290-6-40941370-21-1201541-32000025239037066]]>c＝(43，16，-13，77，-21，-64，27，25，-34，61)T對于任意x∈{0，1}10以及λ∈R10，存在其中n＝10，λ代表了拉格朗日乘子。因此，BQP問題等價于在{0，1}10求最小的F(x)+Σi=1nλi(xi2-xi).]]>得到拉格朗日方程表示如下：L(x,λ)=F(x)+Σi=1nλi(xi2-xi)=12xT[Q+2diag(λ)]x+(c-λ)Tx]]>可以選擇合適的λ，使得L(x，λ)對于x變量來說是一個凸函數(shù)。隨后，BQP問題可以松弛成如下的連續(xù)松弛問題：P(λ)＝minL(x，λ)s.t.0≤x≤1P(λ)的最優(yōu)解就是BQP問題的下邊界?？梢远x拉格朗日對偶問題為：maxP(λ)(1)s.t.Q+2diag(λ)≥0該對偶問題可以通過半定規(guī)劃方法進(jìn)行求解，。接著通過內(nèi)點(diǎn)法對上述(1)進(jìn)行求解，可以得到λ的最優(yōu)解：λ*＝(41.1，88.9，76.7，68.8，132.3，-1.7，4.3，86.4，64.2，91.2)T用L(x，λ*)將目標(biāo)函數(shù)進(jìn)行重構(gòu)。隨后可以通過分支定界法對重構(gòu)目標(biāo)函數(shù)進(jìn)行求解，并且使用下邊界對各個分支進(jìn)行估計。在第一步中，獲得下邊界為-227.73。此時，左分支中x6＝0，下邊界為-218.60；右分支x6＝1，下邊界為-227.68。由于右邊的子節(jié)點(diǎn)出現(xiàn)了更小的下邊界，因此在此節(jié)點(diǎn)進(jìn)一步的分支中將x7＝0，x7＝1作為子節(jié)點(diǎn)，他們分別獲得-226.64和-215.26的下邊界值。隨后，在將這個左節(jié)點(diǎn)(含有x6＝1以及x7＝0約束)繼續(xù)進(jìn)行分支，令x4＝0及x4＝1。重復(fù)上述分支過程，直至第八次迭代后，可以獲得BQP問題的最優(yōu)解：x*＝(0，1，1，0，1，1，0，0，1，0)T此時的目標(biāo)函數(shù)值為-224.5，問題求解完畢。對于分支定界策略求解優(yōu)化問題，下邊界的估計是非常重要的。上述現(xiàn)有的求解方法，特別是其中采用的凸化方法，不能對每一個子集都提供較好的邊界。如果對每個分支都重新計算邊界，那么相比求解凸二次規(guī)劃問題，會造成產(chǎn)生更高的計算成本，特別是對于那些有大量分支的問題。需要一種新的方法來改進(jìn)連續(xù)松弛邊界。上述現(xiàn)有方法是在x∈[0，1]n空間最大化拉格朗日函數(shù)的最小值，這只是對于最壞的情況進(jìn)行了考慮，導(dǎo)致無法為每一個子集提供較好的邊界。根據(jù)本公開的基本構(gòu)思，在x∈[0，1]n空間中，利用最大化拉格朗日函數(shù)的均值來進(jìn)行凸化重構(gòu)。相比于現(xiàn)有方法，本公開的示例實(shí)施例的可以對所有的x∈[0，1]n提供更好的邊界值。圖1示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理設(shè)備的示意框圖。如圖1所示，數(shù)據(jù)處理設(shè)備10包括建模單元102、松弛單元104、凸化單元106和求解單元108。建模單元102利用來自應(yīng)用的數(shù)據(jù)建立模型，所述模型包括對應(yīng)用相關(guān)的優(yōu)化問題進(jìn)行描述的目標(biāo)函數(shù)以及約束。本文中以帶約束的01二次規(guī)劃問題作為優(yōu)化問題的典型示例。例如在投資組合問題中，有一系列備選投資項(xiàng)目可供選擇，每個項(xiàng)目的選擇與否可以用01變量表示，數(shù)據(jù)描述了每個項(xiàng)目的預(yù)期收益及投資成本，約束是選擇適當(dāng)?shù)捻?xiàng)目進(jìn)行投資使得總投資成本受到限制、最小收益得到保障等，目標(biāo)是投資項(xiàng)目的預(yù)期風(fēng)險最小。松弛單元104對目標(biāo)函數(shù)進(jìn)行松弛以將約束吸收到目標(biāo)函數(shù)中，得到松弛函數(shù)。例如，松弛單元104可以利用拉格朗日方程進(jìn)行松弛。凸化單元106可以基于松弛函數(shù)進(jìn)行凸化，得到重構(gòu)的目標(biāo)函數(shù)。求解單元108對重構(gòu)的目標(biāo)函數(shù)進(jìn)行求解，例如，通過分支定界法對重構(gòu)目標(biāo)函數(shù)進(jìn)行求解。根據(jù)示例實(shí)施例，凸化單元106通過最大化松弛函數(shù)的均值，來進(jìn)行凸化。圖2示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理設(shè)備中的凸化單元106的示意框圖。如圖2所示，凸化單元106包括積分器202、第一重構(gòu)器204、計算器206和第二重構(gòu)器208。積分器202基于松弛函數(shù)進(jìn)行積分，得到對松弛函數(shù)的均值進(jìn)行描述的積分函數(shù)，例如，在利用拉格朗日方程進(jìn)行松弛的情況下，通過積分來描述拉格朗日函數(shù)在0≤x≤1空間中的均值。第一重構(gòu)器204利用得到的積分函數(shù)定義凸化問題，所述凸化問題包括使該積分函數(shù)最大化。計算器206計算凸化問題的最優(yōu)解，例如通過內(nèi)點(diǎn)法獲得最優(yōu)解，使得在0≤x≤1空間中最大化拉格朗日方程的均值。第二重構(gòu)器208利用計算的最優(yōu)解來重構(gòu)目標(biāo)函數(shù)。下面結(jié)合具體應(yīng)用示例來進(jìn)一步闡釋本公開的示例實(shí)施例。例如，對于工程、生產(chǎn)、交通等領(lǐng)域方面的某些應(yīng)用，可以建模為10維的帶約束的01二次規(guī)劃問題，如下F(x)所示：min12xTQx+cTx]]>s.t.Ax-b≤0x∈{0，1}10以投資組合問題為例，其中x表示10個投資項(xiàng)目的選擇與否，若選擇第i個項(xiàng)目，則xi＝1，否則xi＝0。線性約束可以用來限制所有項(xiàng)目的投資成本不超過現(xiàn)有資金總量。設(shè)ai表示第i個項(xiàng)目的投資成本，t表示所擁有的總資本，則該約束可轉(zhuǎn)化為標(biāo)準(zhǔn)的線性約束形式。此外，約束還可以保證平均收益不低于預(yù)期收益。設(shè)mi表示第i個項(xiàng)目的預(yù)期收益，s是項(xiàng)目投資的預(yù)期總收益，則同樣可以轉(zhuǎn)化為標(biāo)準(zhǔn)的線性約束形式。目標(biāo)函數(shù)中Q代表不同投資項(xiàng)目之間收益的協(xié)方差矩陣，可以反映不同投資項(xiàng)目之 間收益的相關(guān)關(guān)系及投資風(fēng)險，因此該問題可以保證資金、收益等限制下投資風(fēng)險的最小化問題。以具體數(shù)值說明求解過程，例如Q=81700-7-18-2470017-58-210-361800-200-21-560315-212910000-3521-45280-125-7-36321-8103-6223-181815-45050-33-409-240-21283-3350015070290-6-40941370-21-1201541-32000025239037066]]>c＝(43，16，-13，77，-21，-64，27，25，-34，61)TA=10020000000010000100]]>b＝(3，2)T對于任意x∈{0，1}10以及λ，μ∈R10，存在以及其中λ，μ代表了拉格朗日乘子。因此，BQP問題等價于在{0，1}10空間求最小的F(x)+Σi=110λi(xi2-xi)+Σp=12μp(bp-apxp)]]>采用拉格朗日方程進(jìn)行松弛，則拉格朗日方程可以有如下表示：L(x,λ,μ)=F(x)+Σi=110λi(xi2-xi)+Σp=12μp(bp-apxp)]]>可以選擇合適的λ，μ，使得L(x，λ，μ)對于x變量來說是一個凸函數(shù)。通過積分來描述L(x，λ，μ)在0≤x≤1空間中的均值，可以有如下的表示：G(λ，μ)＝∫0≤x≤1L(x，λ，μ)dx可以容易地證明：G(λ,μ)=-16eTλ+12(b-AeT)Tμ+const]]>其中const＝∫0≤x≤1F(x)dx與λ，μ無關(guān)。于是，凸化重構(gòu)問題可以有如下的描述：max-16eTλ+12(b-AeT)Tμs.t.Q+2diag(λ)≥0μ≥0---(2)]]>通過內(nèi)點(diǎn)法對上述凸化問題(2)進(jìn)行求解，可以得到λ，μ的最優(yōu)解λ#，μ#：λ#＝(17.9，67.9，53.7，50.9，58.9，32.5，-2.6，46.0，39.7，-1.4)T，μ#＝(0，0)T上述λ#，μ#，使得在0≤x≤1空間中最大化拉格朗日方程L(x，λ#，μ#)的均值。用L(x，λ#，μ#)將目標(biāo)函數(shù)進(jìn)行重構(gòu)。隨后可以通過分支定界法對重構(gòu)目標(biāo)函數(shù)的問題進(jìn)行求解。在第一步中，獲得下邊界為-236.03。此時，左分支中x6＝0，下邊界為-218.5；右分支x6＝1，下邊界為-224.95。由于右邊的子節(jié)點(diǎn)出現(xiàn)了更小的下邊界，因此在此節(jié)點(diǎn)進(jìn)一步的分支中將x7＝0，x7＝1作為子節(jié)點(diǎn)，他們分別獲得-224.5和-209.04的下邊界。此時，左邊子節(jié)點(diǎn)的解就是原BQP問題的最優(yōu)解，目標(biāo)函數(shù)值為-224.5，問題求解完畢。與前述現(xiàn)有方法的示例進(jìn)行比對，可以看出，傳統(tǒng)方法基于最壞下界最大的思想對原問題進(jìn)行凸化，也就是使得第一步得到的下界最大化，而隨著分支定界過程的進(jìn)行，部分變量的值已經(jīng)確定，此時松弛函數(shù)不見得能夠得到較大的下界。根據(jù)本公開實(shí)施例的方法是基于平均下界最大化的思想，使得松弛后的目標(biāo)函數(shù)在整個區(qū)間的取值盡 可能地大，從而得到的下界也會得到相應(yīng)的整體上的提升?；谶@種思想，根據(jù)本公開實(shí)施例的方法能夠一致地改進(jìn)連續(xù)松弛的下界。以上結(jié)合圖1和2描述了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理設(shè)備。下面參照圖3，圖3示出了根據(jù)本公開示例實(shí)施例的數(shù)據(jù)處理方法的示意流程圖。該數(shù)據(jù)處理方法300可以包括步驟S302，利用來自應(yīng)用的數(shù)據(jù)建立模型，所述模型包括對應(yīng)用相關(guān)的優(yōu)化問題進(jìn)行描述的目標(biāo)函數(shù)以及約束，例如，該優(yōu)化問題可以是帶約束的01二次規(guī)劃問題。在步驟S304，對目標(biāo)函數(shù)進(jìn)行松弛以將約束吸收到所述目標(biāo)函數(shù)中，得到松弛函數(shù)。這里，可以利用拉格朗日函數(shù)作為松弛函數(shù)進(jìn)行松弛。在步驟S306，基于松弛函數(shù)進(jìn)行凸化，得到重構(gòu)的目標(biāo)函數(shù)，這里，通過最大化松弛函數(shù)的均值來進(jìn)行凸化。在一個示例實(shí)施例中，步驟S306可以包括：基于松弛函數(shù)進(jìn)行積分，得到對松弛函數(shù)的均值進(jìn)行描述的積分函數(shù)；利用積分函數(shù)定義凸化問題，所述凸化問題包括使積分函數(shù)最大化；計算凸化問題的最優(yōu)解；以及利用計算的最優(yōu)解來重構(gòu)目標(biāo)函數(shù)。例如，在凸化步驟中，可以利用積分函數(shù)來描述拉格朗日函數(shù)在0≤x≤1空間中的均值，以及通過內(nèi)點(diǎn)法獲得最優(yōu)解，使得在0≤x≤1空間中最大化拉格朗日方程的均值。接著，在步驟308，對重構(gòu)的目標(biāo)函數(shù)進(jìn)行求解，例如使用分支定界法對重構(gòu)的目標(biāo)函數(shù)的進(jìn)行求解。上述數(shù)據(jù)處理設(shè)備和方法可以采用多種形式來實(shí)現(xiàn)，例如利用計算機(jī)、計算機(jī)系統(tǒng)、例如乘法器、加法器、積分器等多種集成電路、例如中央處理單元等處理器、存儲器等實(shí)現(xiàn)。根據(jù)本公開示例實(shí)施例，還提出了一種數(shù)據(jù)處理系統(tǒng)，如圖4所示。該數(shù)據(jù)處理系統(tǒng)40包括輸入設(shè)備402、處理器404和輸出設(shè)備406。作為示例，該數(shù)據(jù)處理系統(tǒng)可以利用計算機(jī)來實(shí)現(xiàn)。例如，輸入設(shè)備402可以包括鍵盤、鼠標(biāo)、觸摸屏等用戶接口設(shè)備，或者可以包括圖像用戶界面，便于進(jìn)行人機(jī)交互。處理器404可以包括中央處理單元(CPU)或者專用的數(shù)據(jù)處理電路等。輸出設(shè)備406可以包括例如顯示器、打印機(jī)、存儲器等。輸入設(shè)備402可以接收或輸入來自應(yīng)用的數(shù)據(jù)。處理器404可以實(shí)現(xiàn)上述數(shù)據(jù)處理設(shè)備的功能，包括：利用輸入的數(shù)據(jù)建立模型，所述模型包括對應(yīng)用相關(guān)的優(yōu)化問題進(jìn)行描述的目標(biāo)函數(shù)以及約束，對所述目標(biāo)函數(shù)進(jìn)行松弛以將約束吸收到所述目標(biāo)函數(shù)中，得到松弛函數(shù)，基于松弛函數(shù)進(jìn)行凸化，得到重構(gòu)的目標(biāo)函數(shù)，以及對重構(gòu)的目標(biāo)函數(shù)進(jìn)行求解。這里，處理器404通過最大化松弛函數(shù)的均值，來進(jìn)行凸化。輸出設(shè)備106可以輸出處理器產(chǎn)生的數(shù)據(jù)，作為優(yōu)化問題的最優(yōu)解，來控制、調(diào)整或優(yōu)化相關(guān)應(yīng)用。以上的詳細(xì)描述通過使用示意圖、流程圖和/或示例，已經(jīng)闡述了根據(jù)本發(fā)明實(shí)施例的核電軟件開發(fā)自動化系統(tǒng)和方法的實(shí)施例。在這種示意圖、流程圖和/或示例包含一個或多個功能和/或操作的情況下，本領(lǐng)域技術(shù)人員應(yīng)理解，這種示意圖、流程圖或示例中的每一功能和/或操作可以通過各種結(jié)構(gòu)、硬件、軟件、固件或?qū)嵸|(zhì)上它們的任意組合來單獨(dú)和/或共同實(shí)現(xiàn)。本領(lǐng)域技術(shù)人員應(yīng)認(rèn)識到，這里所公開的實(shí)施例的一些方面在整體上或部分地可以等同地實(shí)現(xiàn)在集成電路中，實(shí)現(xiàn)為在一臺或多臺計算機(jī)上運(yùn)行的一個或多個計算機(jī)程序(例如，實(shí)現(xiàn)為在一臺或多臺計算機(jī)系統(tǒng)上運(yùn)行的一個或多個程序)，實(shí)現(xiàn)為固件，或者實(shí)質(zhì)上實(shí)現(xiàn)為上述方式的任意組合，并且本領(lǐng)域技術(shù)人員根據(jù)本公開，將具備設(shè)計電路和/或?qū)懭胲浖?或固件代碼的能力。此外，本領(lǐng)域技術(shù)人員將認(rèn)識到，本公開所述主題的機(jī)制能夠作為多種形式的程序產(chǎn)品進(jìn)行分發(fā)，并且無論實(shí)際用來執(zhí)行分發(fā)的信號承載介質(zhì)的具體類型如何，本公開所述主題的示例性實(shí)施例均適用。信號承載介質(zhì)的示例包括但不限于：可記錄型介質(zhì)，如軟盤、硬盤驅(qū)動器、緊致盤(CD)、數(shù)字通用盤(DVD)、數(shù)字磁帶、計算機(jī)存儲器等；以及傳輸型介質(zhì)，如數(shù)字和/或模擬通信介質(zhì)(例如，光纖光纜、波導(dǎo)、有線通信鏈路、無線通信鏈路等)。在以上的描述中，僅以示例的方式，示出了本發(fā)明的優(yōu)選實(shí)施例，但并不意味著本發(fā)明局限于上述步驟和單元結(jié)構(gòu)。在可能的情形下，可以根據(jù)需要對步驟和單元進(jìn)行調(diào)整、取舍和組合。此外，某些步驟 和單元并非實(shí)施本發(fā)明的總體發(fā)明思想所必需的元素。因此，本發(fā)明所必需的技術(shù)特征僅受限于能夠?qū)崿F(xiàn)本發(fā)明的總體發(fā)明思想的最低要求，而不受以上具體實(shí)例的限制。至此已經(jīng)結(jié)合優(yōu)選實(shí)施例對本發(fā)明進(jìn)行了描述。應(yīng)該理解，本領(lǐng)域技術(shù)人員在不脫離本發(fā)明的精神和范圍的情況下，可以進(jìn)行各種其它的改變、替換和添加。因此，本發(fā)明的范圍不局限于上述特定實(shí)施例，而應(yīng)由所附權(quán)利要求所限定。當(dāng)前第1頁1 2 3