发明名称 不完全信道信息的蜂窝网络下D2D通信系统资源的分配方法
摘要 一种不完全信道信息的蜂窝网络下D2D通信系统资源的分配方法,属于无线通信技术领域。在蜂窝网络下的D2D通信系统中,D2D用户可重用蜂窝用户的资源块实现不通过基站的直接通信。该资源分配方法在干扰信道状态信息不完全可知的情况下,将D2D用户和蜂窝用户的功率分配与资源块分配进行联合优化,保证蜂窝用户QoS(服务质量)要求的同时,最大化D2D子系统的和速率,使系统实现最优性与稳健性的折衷。相比较于信道状态信息完全可知的情况,该方法在保障整个系统的稳定性上有着显著优势。
申请公布号 CN105592408A 申请公布日期 2016.05.18
申请号 CN201610124757.0 申请日期 2016.03.04
申请人 山东大学 发明人 马丕明;李孟琪;马艳波
分类号 H04W4/00(2009.01)I;H04W72/04(2009.01)I;H04W72/08(2009.01)I 主分类号 H04W4/00(2009.01)I
代理机构 济南金迪知识产权代理有限公司 37219 代理人 许德山
主权项 一种不完全信道信息的蜂窝网络下D2D通信系统资源的分配方法,由在蜂窝网络下的D2D通信系统来实现:该系统包括蜂窝系统和D2D系统两部分,蜂窝系统包括基站BS和C个蜂窝用户;D2D系统包括L对D2D用户,第l对D2D用户含有一个D2D发射端TXl和D2D接收端RXl,其中l∈{1,2,...,L},设在蜂窝网络下的D2D通信系统共有C个资源块,每个蜂窝用户占有一个对应的资源块,设符号y<sub>l,c</sub>∈{0,1}表示资源块重用因子,即当第l个D2D用户对重用第c个资源块时,y<sub>l,c</sub>=1;否则y<sub>l,c</sub>=0;由于每个资源块最多被一对D2D用户重用,所以<img file="FDA0000935027630000011.GIF" wi="223" he="111" />其中c∈Λ表示第c个蜂窝用户及其占用的资源块,集合Λ={1,2,...,C},为了方便,对第c个资源块,我们用Ω<sub>c</sub>表示重用该资源块的D2D用户对的集合,即Ω<sub>c</sub>={l|y<sub>l,c</sub>=1},c∈Λ,设h<sub>c</sub>,h<sub>l,c</sub>分别表示基站到第c个蜂窝用户、第l个D2D用户对重用第c个资源块的传输信道功率增益;g<sub>c,l</sub>和g<sub>l,c</sub>分别表示在第c个资源块上基站到D2D接收端RXl、D2D发射端TXl到第c个蜂窝用户的干扰信道功率增益,该方法的具体步骤如下:1)信息传输速率及蜂窝用户的QoS要求由香农理论,第l个D2D用户对的信息传输速率表示为:<maths num="0001"><math><![CDATA[<mrow><msub><mi>r</mi><mi>l</mi></msub><mo>=</mo><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>P</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>+</mo><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><msub><mi>P</mi><mi>c</mi></msub></mrow></mfrac><mo>)</mo></mrow><mo>,</mo><mi>l</mi><mo>&Element;</mo><mi>&Psi;</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000012.GIF" wi="1213" he="167" /></maths>其中,P<sub>l,c</sub>为第l个D2D用户对重用第c个资源块时的发射功率;P<sub>c</sub>为基站到第c个蜂窝用户的发射功率;σ<sup>2</sup>为信道噪声,在蜂窝网络下的D2D通信系统中,蜂窝用户具有更高的优先级,其服务质量必须被保障,为保证正常的蜂窝通信,设定常量R<sub>c</sub>,使蜂窝通信的信息传输速率不低于该值,即:<maths num="0002"><math><![CDATA[<mrow><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>P</mi><mi>c</mi></msub><msub><mi>h</mi><mi>c</mi></msub></mrow><mrow><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>+</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>P</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow></mfrac><mo>)</mo></mrow><mo>&GreaterEqual;</mo><msub><mi>R</mi><mi>c</mi></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000013.GIF" wi="1110" he="287" /></maths>对式(2)进行化简,得到:<maths num="0003"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>P</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo></mrow>]]></math><img file="FDA0000935027630000014.GIF" wi="630" he="135" /></maths>其中<maths num="0004"><math><![CDATA[<mrow><msub><mi>&alpha;</mi><mi>c</mi></msub><mo>=</mo><msup><mn>2</mn><msub><mi>R</mi><mi>c</mi></msub></msup><mo>-</mo><mn>1</mn><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000015.GIF" wi="535" he="77" /></maths>因此,化简后的式(3)可以等效表示蜂窝用户的QoS要求;2)已知信道状态信息时的优化问题以最大化D2D系统和速率为目标函数,以资源块分配规则、蜂窝用户的QoS要求为约束条件,构造如下优化问题:<maths num="0005"><math><![CDATA[<mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><mo>{</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>}</mo></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>P</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>+</mo><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><msub><mi>P</mi><mi>c</mi></msub></mrow></mfrac><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000021.GIF" wi="797" he="173" /></maths><maths num="0006"><math><![CDATA[<mrow><mtable><mtr><mtd><mrow><mi>s</mi><mo>.</mo><mi>t</mi><mo>.</mo></mrow></mtd><mtd><mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mn>1</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow></mtd></mtr></mtable><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000022.GIF" wi="1173" he="135" /></maths><maths num="0007"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>P</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000023.GIF" wi="614" he="135" /></maths>式(4)中的s.t.符号及其后面的式子表示为约束式,s.t.表示为约束符号,符号max表示求最大值符号,max符号下的集合{y<sub>l,c</sub>,P<sub>l,c</sub>,P<sub>c</sub>}为优化变量集合,(4)式表示在约束式中对资源块分配规则、蜂窝用户的QoS要求进行限制的条件下,求解目标函数即符号max后的部分的最大值,该最大化问题为非凸问题;3)转化为凸优化问题引入变量S<sub>l,c</sub>=y<sub>l,c</sub>P<sub>l,c</sub>,将y<sub>l,c</sub>∈{0,1}的条件松弛为y<sub>l,c</sub>∈[0,1],用变量S<sub>l,c</sub>替换式(4)中的变量P<sub>l,c</sub>,且引入I<sub>P</sub>≥σ<sup>2</sup>+g<sub>c,l</sub>P<sub>c</sub>,c∈Λ,l∈Ω<sub>c</sub>,则得到凸优化问题:<maths num="0008"><math><![CDATA[<mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><mo>{</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>}</mo></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>I</mi><mi>P</mi></msub></mrow></mfrac><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000024.GIF" wi="726" he="167" /></maths><maths num="0009"><math><![CDATA[<mrow><mtable><mtr><mtd><mrow><mi>s</mi><mo>.</mo><mi>t</mi><mo>.</mo></mrow></mtd><mtd><mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mn>1</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow></mtd></mtr></mtable><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>5</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000025.GIF" wi="1164" he="140" /></maths><maths num="0010"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000026.GIF" wi="556" he="135" /></maths>σ<sup>2</sup>+g<sub>c,l</sub>P<sub>c</sub>≤I<sub>P</sub>,c∈Λ,l∈Ω<sub>c</sub>可以看出,式(5)中的优化变量变为y<sub>l,c</sub>,S<sub>l,c</sub>,P<sub>c</sub>,该最大化问题是在信道状态信息完全可知情况下的优化问题,也称为理想优化问题;4)干扰信道状态信息不完全可知时的鲁棒性优化问题实际情况中,基站到D2D接收端以及D2D发送端到蜂窝用户之间的干扰信道增益并不容易得到确定值,为了处理信道增益的不确定性,我们应用最坏情况鲁棒性优化方法,假设干扰信道增益是不确定值,但该值限定在一个有界范围即不确定集内,将D2D发送端到第c个蜂窝用户间的干扰信道增益表示为矢量g<sub>c</sub>=[g<sub>1,c</sub>,g<sub>2,c</sub>,…,g<sub>L,c</sub>],c∈Λ,然后限定在不确定集<img file="FDA0000935027630000027.GIF" wi="70" he="70" />中,即<img file="FDA0000935027630000028.GIF" wi="326" he="71" />并将g<sub>c</sub>表示为估计值<img file="FDA0000935027630000029.GIF" wi="50" he="78" />与有界误差值<img file="FDA00009350276300000210.GIF" wi="46" he="85" />之和,即<img file="FDA00009350276300000211.GIF" wi="262" he="85" />同样的,将基站到重用第c个资源块的D2D接收端RXl的干扰信道增益g<sub>c,l</sub>限定在不确定集<img file="FDA0000935027630000031.GIF" wi="79" he="77" />中,即<img file="FDA0000935027630000032.GIF" wi="487" he="79" />并且将g<sub>c,l</sub>表示为估计值<img file="FDA0000935027630000033.GIF" wi="77" he="85" />与有界误差值<img file="FDA0000935027630000034.GIF" wi="87" he="90" />之和,即<maths num="0011"><math><![CDATA[<mrow><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>=</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>+</mo><msub><mover><mi>g</mi><mo>^</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>i</mi></mrow></msub><mo>;</mo></mrow>]]></math><img file="FDA0000935027630000035.GIF" wi="356" he="87" /></maths>在理想优化问题(5)的基础上,将干扰信道增益限定在不确定集内,则得到如下鲁棒性优化问题:<maths num="0012"><math><![CDATA[<mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><mo>{</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>}</mo></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>I</mi><mi>p</mi></msub></mrow></mfrac><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000036.GIF" wi="709" he="150" /></maths><maths num="0013"><math><![CDATA[<mfenced open = "" close = ""><mtable><mtr><mtd><mrow><mi>s</mi><mo>.</mo><mi>t</mi><mo>.</mo></mrow></mtd><mtd><mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mn>1</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow></mtd></mtr></mtable></mfenced>]]></math><img file="FDA0000935027630000037.GIF" wi="478" he="134" /></maths><maths num="0014"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>6</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000038.GIF" wi="998" he="141" /></maths>σ<sup>2</sup>+g<sub>c,l</sub>P<sub>c</sub>≤I<sub>p</sub>,c∈Λ,l∈Ω<sub>c</sub><maths num="0015"><math><![CDATA[<mrow><msub><mi>g</mi><mi>c</mi></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mi>c</mi></msub></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000039.GIF" wi="301" he="74" /></maths><maths num="0016"><math><![CDATA[<mrow><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo><mi>l</mi><mo>&Element;</mo><msub><mi>&Omega;</mi><mi>c</mi></msub></mrow>]]></math><img file="FDA00009350276300000310.GIF" wi="470" he="85" /></maths>5)鲁棒性优化问题的范数表示式(6)中的鲁棒性优化问题的求解会受到不确定集的影响,所以我们将不确定集表示为普通范数的形式:<maths num="0017"><math><![CDATA[<mrow><msub><mi>R</mi><msub><mi>g</mi><mi>c</mi></msub></msub><mo>=</mo><mo>{</mo><msub><mi>g</mi><mi>c</mi></msub><mo>|</mo><mo>|</mo><mo>|</mo><msub><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub></msub><msup><mrow><mo>(</mo><msub><mi>g</mi><mi>c</mi></msub><mo>-</mo><msub><mi>g</mi><mi>c</mi></msub><mo>)</mo></mrow><mi>T</mi></msup><mo>|</mo><mo>|</mo><mo>&le;</mo><msub><mi>&psi;</mi><mn>1</mn></msub><mo>}</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA00009350276300000311.GIF" wi="1062" he="74" /></maths><maths num="0018"><math><![CDATA[<mrow><msub><mi>R</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><mo>=</mo><mo>{</mo><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>|</mo><mo>|</mo><mo>|</mo><msub><mi>M</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><mrow><mo>(</mo><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>)</mo></mrow><mo>|</mo><mo>|</mo><mo>&le;</mo><msub><mi>&psi;</mi><mi>2</mi></msub><mo>}</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mi>8</mi><mo>)</mo></mrow></mrow>]]></math><img file="FDA00009350276300000312.GIF" wi="1150" he="85" /></maths>其中,‖‖表示普通范数运算,T表示转置运算,ψ<sub>1</sub>、ψ<sub>2</sub>分别表示不确定集<img file="FDA00009350276300000313.GIF" wi="69" he="70" />和<img file="FDA00009350276300000314.GIF" wi="79" he="75" />的上界;<img file="FDA00009350276300000315.GIF" wi="100" he="77" />是<img file="FDA00009350276300000316.GIF" wi="85" he="89" />的权值,<img file="FDA00009350276300000317.GIF" wi="90" he="70" />是L×L维的可逆权值矩阵,由于g<sub>c</sub>中的每个元素都服从独立同分布,所以矩阵<img file="FDA00009350276300000318.GIF" wi="86" he="77" />实际上是对角阵;由此,式(6)中的后四个约束条件可以等效为:<maths num="0019"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><msub><mi>g</mi><mi>c</mi></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mrow><mo>(</mo><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>)</mo></mrow><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA00009350276300000319.GIF" wi="1300" he="143" /></maths><maths num="0020"><math><![CDATA[<mrow><msub><mi>P</mi><mi>c</mi></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>+</mo><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub></mrow></munder><msub><mi>P</mi><mi>c</mi></msub><mrow><mo>(</mo><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>)</mo></mrow><mo>&le;</mo><msub><mi>I</mi><mi>p</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo><mi>l</mi><mo>&Element;</mo><msub><mi>&Omega;</mi><mi>c</mi></msub><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>8</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA00009350276300000320.GIF" wi="1204" he="108" /></maths>令<maths num="0021"><math><![CDATA[<mrow><msub><mi>v</mi><mi>c</mi></msub><mo>=</mo><mfrac><mrow><msub><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub></msub><msup><mrow><mo>(</mo><msub><mi>g</mi><mi>c</mi></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mi>c</mi></msub><mo>)</mo></mrow><mi>T</mi></msup></mrow><msub><mi>&psi;</mi><mn>1</mn></msub></mfrac><mo>,</mo></mrow>]]></math><img file="FDA00009350276300000321.GIF" wi="407" he="158" /></maths>则不确定集<maths num="0022"><math><![CDATA[<mrow><msub><mi>R</mi><msub><mi>g</mi><mi>c</mi></msub></msub><mo>=</mo><mo>{</mo><msub><mi>v</mi><mi>c</mi></msub><mo>|</mo><mo>|</mo><mo>|</mo><msub><mi>v</mi><mi>c</mi></msub><mo>|</mo><mo>|</mo><mo>&le;</mo><mn>1</mn><mo>}</mo><mo>,</mo></mrow>]]></math><img file="FDA00009350276300000322.GIF" wi="406" he="79" /></maths>可以得到:<maths num="0023"><math><![CDATA[<mrow><mtable><mtr><mtd><mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><msub><mi>g</mi><mi>c</mi></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mrow><mo>(</mo><msub><mi>g</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>)</mo></mrow><mo>=</mo><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><msub><mi>g</mi><mi>c</mi></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></munder><msub><mi>S</mi><mi>c</mi></msub><msup><mrow><mo>(</mo><msub><mi>g</mi><mi>c</mi></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mi>c</mi></msub><mo>)</mo></mrow><mi>T</mi></msup><mo>=</mo><msub><mi>&psi;</mi><mn>1</mn></msub><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><mo>|</mo><mo>|</mo><msub><mi>v</mi><mi>c</mi></msub><mo>|</mo><mo>|</mo><mo>&le;</mo><mn>1</mn></mrow></munder><msub><mi>S</mi><mi>c</mi></msub><msubsup><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msub><mi>v</mi><mi>c</mi></msub></mrow></mtd></mtr><mtr><mtd><mrow><mo>=</mo><msub><mi>&psi;</mi><mn>1</mn></msub><mo>|</mo><mo>|</mo><msubsup><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msubsup><mi>S</mi><mi>c</mi><mi>T</mi></msubsup><mo>|</mo><msup><mo>|</mo><mo>*</mo></msup></mrow></mtd></mtr></mtable><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>9</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000041.GIF" wi="1274" he="230" /></maths>其中,‖‖<sup>*</sup>表示对偶范数运算,矢量S<sub>c</sub>=[S<sub>1,c</sub>,S<sub>2,c</sub>,…,S<sub>L,c</sub>],(·)<sup>‑1</sup>表示对括号内求逆运算,类似的可以得到:<maths num="0024"><math><![CDATA[<mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>&Element;</mo><msub><mi>R</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub></mrow></munder><msub><mi>P</mi><mi>c</mi></msub><mrow><mo>(</mo><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>-</mo><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>)</mo></mrow><mo>=</mo><msub><mi>&psi;</mi><mn>2</mn></msub><mo>|</mo><mo>|</mo><msubsup><mi>M</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msub><mi>P</mi><mi>c</mi></msub><mo>|</mo><msup><mo>|</mo><mo>*</mo></msup><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>10</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000042.GIF" wi="1142" he="106" /></maths>至此,将鲁棒性优化问题用范数的形式表示:<maths num="0025"><math><![CDATA[<mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><mo>{</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>}</mo></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>I</mi><mi>p</mi></msub></mrow></mfrac><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000043.GIF" wi="694" he="150" /></maths><maths num="0026"><math><![CDATA[<mrow><mtable><mtr><mtd><mrow><mi>s</mi><mo>.</mo><mi>t</mi><mo>.</mo></mrow></mtd><mtd><mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mn>1</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow></mtd></mtr></mtable><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>11</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000044.GIF" wi="1285" he="136" /></maths><maths num="0027"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>1</mn></msub><mo>|</mo><mo>|</mo><msubsup><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msubsup><mi>S</mi><mi>c</mi><mi>T</mi></msubsup><mo>|</mo><msup><mo>|</mo><mo>*</mo></msup><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000045.GIF" wi="889" he="143" /></maths><maths num="0028"><math><![CDATA[<mrow><msub><mi>P</mi><mi>c</mi></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>2</mn></msub><mo>|</mo><mo>|</mo><msubsup><mi>M</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msub><mi>P</mi><mi>c</mi></msub><mo>|</mo><msup><mo>|</mo><mo>*</mo></msup><mo>&le;</mo><msub><mi>I</mi><mi>p</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo><mi>l</mi><mo>&Element;</mo><msub><mi>&Omega;</mi><mi>e</mi></msub></mrow>]]></math><img file="FDA0000935027630000046.GIF" wi="894" he="90" /></maths>6)求解鲁棒性优化问题若任意矢量y的不确定集的线性范数表示为<img file="FDA0000935027630000047.GIF" wi="469" he="117" />其中阶数α≥2,abs{y}表示y的绝对值,则对偶范数阶数为β,<img file="FDA0000935027630000048.GIF" wi="286" he="126" />所以<maths num="0029"><math><![CDATA[<mrow><mo>|</mo><mo>|</mo><msubsup><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msubsup><mi>S</mi><mi>c</mi><mi>T</mi></msubsup><mo>|</mo><msup><mo>|</mo><mo>*</mo></msup><mo>=</mo><msup><mrow><mo>(</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msup><mrow><mo>(</mo><mrow><msubsup><mi>M</mi><msub><mi>g</mi><mi>c</mi></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><mrow><mo>(</mo><mrow><mi>l</mi><mo>,</mo><mo>:</mo></mrow><mo>)</mo></mrow><mo>&CenterDot;</mo><msubsup><mi>S</mi><mi>c</mi><mi>T</mi></msubsup></mrow><mo>)</mo></mrow><mi>&beta;</mi></msup><mo>)</mo></mrow><mfrac><mi>1</mi><mi>&beta;</mi></mfrac></msup><mo>,</mo><mo>|</mo><mo>|</mo><msubsup><mi>M</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msub><mi>P</mi><mi>c</mi></msub><mo>|</mo><msup><mo>|</mo><mo>*</mo></msup><mo>=</mo><msubsup><mi>M</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mrow><mo>-</mo><mn>1</mn></mrow></msubsup><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo></mrow>]]></math><img file="FDA0000935027630000049.GIF" wi="1180" he="172" /></maths>其中<img file="FDA00009350276300000410.GIF" wi="176" he="86" />表示矩阵<img file="FDA00009350276300000411.GIF" wi="87" he="71" />的逆矩阵的第l行所有元素,一种常用的方法是将不确定集表示为椭圆,即α=2,β=2,为使该问题更便于处理,由于矢量的二阶范数不大于一阶范数,则令β=1,得到近似的优化问题:<maths num="0030"><math><![CDATA[<mrow><munder><mrow><mi>m</mi><mi>a</mi><mi>x</mi></mrow><mrow><mo>{</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>}</mo></mrow></munder><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>I</mi><mi>p</mi></msub></mrow></mfrac><mo>)</mo></mrow></mrow>]]></math><img file="FDA00009350276300000412.GIF" wi="694" he="150" /></maths><maths num="0031"><math><![CDATA[<mrow><mtable><mtr><mtd><mrow><mi>s</mi><mo>.</mo><mi>t</mi><mo>.</mo></mrow></mtd><mtd><mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mn>1</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow></mtd></mtr></mtable><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>12</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA00009350276300000413.GIF" wi="1285" he="140" /></maths><maths num="0032"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>1</mn></msub><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>m</mi><mrow><msub><mi>ll</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></msub><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA00009350276300000414.GIF" wi="883" he="135" /></maths><maths num="0033"><math><![CDATA[<mrow><msub><mi>P</mi><mi>c</mi></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>2</mn></msub><msub><mi>m</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><msub><mi>P</mi><mi>c</mi></msub><mo>&le;</mo><msub><mi>I</mi><mi>p</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo><mi>l</mi><mo>&Element;</mo><msub><mi>&Omega;</mi><mi>c</mi></msub></mrow>]]></math><img file="FDA00009350276300000415.GIF" wi="798" he="82" /></maths>其中,<img file="FDA00009350276300000416.GIF" wi="375" he="85" />为矩阵<img file="FDA00009350276300000417.GIF" wi="86" he="71" />的逆矩阵的第l行第l列元素,这些元素均为正值,经验证,优化问题(14)式为凸问题,存在唯一的最优解,利用拉格朗日对偶理论,可以建立起优化问题即原问题与一个最小化问题即对偶问题之间的关联关系,我们研究的原问题具有强对偶性,因此可以通过求解对偶问题而得到原问题的最优值,原问题的拉格朗日函数为:<maths num="0034"><math><![CDATA[<mrow><mtable><mtr><mtd><mrow><mi>L</mi><mrow><mo>(</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>&theta;</mi><mo>)</mo></mrow><mo>=</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>log</mi><mn>2</mn></msub><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>h</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow><mrow><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mi>I</mi><mi>p</mi></msub></mrow></mfrac><mo>)</mo></mrow><mo>-</mo><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>&phi;</mi><mi>c</mi></msub><mrow><mo>(</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>-</mo><mn>1</mn><mo>)</mo></mrow></mrow></mtd></mtr><mtr><mtd><mrow><mo>-</mo><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>&rho;</mi><mi>c</mi></msub><mo>(</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>1</mn></msub><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>m</mi><mrow><msub><mi>ll</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></msub><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>-</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup></mrow></mtd></mtr><mtr><mtd><mrow><mo>-</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><munderover><mo>&Sigma;</mo><mrow><mi>c</mi><mo>=</mo><mn>1</mn></mrow><mi>C</mi></munderover><msub><mi>&gamma;</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mrow><mo>(</mo><msub><mi>P</mi><mi>c</mi></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>2</mn></msub><msub><mi>m</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><msub><mi>P</mi><mi>c</mi></msub><mo>-</mo><msub><mi>I</mi><mi>p</mi></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>)</mo></mrow></mrow></mtd></mtr></mtable><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>13</mn><mo>)</mo></mrow></mrow>]]></math><img file="FDA0000935027630000051.GIF" wi="1450" he="471" /></maths>对偶函数为:D(Θ)=maxL(S<sub>l,c</sub>,y<sub>l,c</sub>,P<sub>c</sub>,Θ)   (14)其中<img file="FDA0000935027630000052.GIF" wi="344" he="71" />c∈Λ,l∈{1,2,...,L}是对偶因子集合,其中符号:=表示定义,φ<sub>c</sub>,ρ<sub>c</sub>,γ<sub>c,l</sub>分别表示公式(14)三个约束式中的三个限制条件对应的对偶因子,对偶函数对应的对偶问题如下:min D(Θ)                   (17)s.t.Θ≥0即在对偶因子集合Θ≥0的约束条件下,通过优化Θ求解目标函数即对偶函数D(Θ)的最小值,min表示求最小值符号,已知原问题具有强对偶性,所以通过对偶问题(17)式求得的最小值即为原问题的最优值,求解对偶问题最关键之处在于求解最优的对偶因子集合Θ<sup>*</sup>,求解Θ<sup>*</sup>及资源分配的过程具体如下:A)由于<img file="FDA0000935027630000053.GIF" wi="1095" he="151" />式中<img file="FDA0000935027630000054.GIF" wi="58" he="78" />表示第l个D2D用户对重用第c个资源块时的最优发射功率,令函数<img file="FDA0000935027630000055.GIF" wi="714" he="110" />则最优资源块重用因子表示为<img file="FDA0000935027630000056.GIF" wi="526" he="183" />其中<img file="FDA0000935027630000057.GIF" wi="239" he="93" />表示使函数H<sub>l,c</sub>取最大值时的l值,l的取值范围为[1,L],c∈Λ;B)由KKT(Karush‑Kuhn‑Tucker)条件,求解KKT条件中的等式:<maths num="0035"><math><![CDATA[<mrow><mfrac><mrow><mo>&part;</mo><mi>L</mi><mrow><mo>(</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>&Theta;</mi><mo>)</mo></mrow></mrow><mrow><mo>&part;</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub></mrow></mfrac><mo>=</mo><mn>0</mn></mrow>]]></math><img file="FDA0000935027630000061.GIF" wi="452" he="151" /></maths><maths num="0036"><math><![CDATA[<mrow><mfrac><mrow><mo>&part;</mo><mi>L</mi><mrow><mo>(</mo><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>,</mo><msub><mi>P</mi><mi>c</mi></msub><mo>,</mo><mi>&Theta;</mi><mo>)</mo></mrow></mrow><mrow><mo>&part;</mo><msub><mi>P</mi><mi>c</mi></msub></mrow></mfrac><mo>=</mo><mn>0</mn></mrow>]]></math><img file="FDA0000935027630000062.GIF" wi="451" he="142" /></maths><maths num="0037"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mn>1</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000063.GIF" wi="333" he="127" /></maths><maths num="0038"><math><![CDATA[<mrow><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>1</mn></msub><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>m</mi><mrow><msub><mi>ll</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></msub><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>&le;</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000064.GIF" wi="882" he="142" /></maths><maths num="0039"><math><![CDATA[<mrow><msub><mi>P</mi><mi>c</mi></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>2</mn></msub><msub><mi>m</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><msub><mi>P</mi><mi>c</mi></msub><mo>&le;</mo><msub><mi>I</mi><mi>p</mi></msub><mo>-</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo><mi>l</mi><mo>&Element;</mo><msub><mi>&Omega;</mi><mi>c</mi></msub></mrow>]]></math><img file="FDA0000935027630000065.GIF" wi="798" he="86" /></maths><maths num="0040"><math><![CDATA[<mrow><msub><mi>&phi;</mi><mi>c</mi></msub><mrow><mo>(</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>y</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000066.GIF" wi="485" he="143" /></maths><maths num="0041"><math><![CDATA[<mrow><msub><mi>&rho;</mi><mi>c</mi></msub><mrow><mo>(</mo><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>1</mn></msub><munderover><mo>&Sigma;</mo><mrow><mi>l</mi><mo>=</mo><mn>1</mn></mrow><mi>L</mi></munderover><msub><mi>m</mi><mrow><msub><mi>ll</mi><msub><mi>g</mi><mi>c</mi></msub></msub></mrow></msub><msub><mi>S</mi><mrow><mi>l</mi><mo>,</mo><mi>c</mi></mrow></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>-</mo><mfrac><msub><mi>h</mi><mi>c</mi></msub><msub><mi>&alpha;</mi><mi>c</mi></msub></mfrac><msub><mi>P</mi><mi>c</mi></msub><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi></mrow>]]></math><img file="FDA0000935027630000067.GIF" wi="1036" he="138" /></maths><maths num="0042"><math><![CDATA[<mrow><msub><mi>&gamma;</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mrow><mo>(</mo><msub><mi>P</mi><mi>c</mi></msub><msub><mover><mi>g</mi><mo>&OverBar;</mo></mover><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub><mo>+</mo><msub><mi>&psi;</mi><mn>2</mn></msub><msub><mi>m</mi><msub><mi>g</mi><mrow><mi>c</mi><mo>,</mo><mi>l</mi></mrow></msub></msub><msub><mi>P</mi><mi>c</mi></msub><mo>+</mo><msup><mi>&sigma;</mi><mn>2</mn></msup><mo>-</mo><msub><mi>I</mi><mi>p</mi></msub><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>,</mo><mi>c</mi><mo>&Element;</mo><mi>&Lambda;</mi><mo>,</mo><mi>l</mi><mo>&Element;</mo><msub><mi>&Omega;</mi><mi>c</mi></msub></mrow>]]></math><img file="FDA0000935027630000068.GIF" wi="989" he="95" /></maths>Θ≥0即可解出第l个D2D用户对重用第c个资源块时的最优发射功率<img file="FDA0000935027630000069.GIF" wi="94" he="94" />公式(14)三个约束式中的后两个限制条件对应的对偶因子ρ<sub>c</sub>,γ<sub>c,l</sub>的最优解及第c个蜂窝用户的最优发射功率<img file="FDA00009350276300000610.GIF" wi="85" he="87" />得到第l个D2D用户对重用第c个资源块时的最优发射功率<img file="FDA00009350276300000611.GIF" wi="68" he="79" />后由步骤A)可得到资源块的分配策略,即最优资源块重用因子<img file="FDA00009350276300000612.GIF" wi="70" he="79" />的取值。
地址 250199 山东省济南市历城区山大南路27号