主权项 |
1.一种适用于稀疏和稠密多种VANETs场景的方法,该方法包括四个主要部分:VANETs模型、构建消息转发联盟博弈模型、收益分配、博弈有核的充分条件;其特征在于如下步骤:(1) 建立VANETs模型建立一种VANETs,包括基础设施和智能车辆,这些车辆安装有通信设备、GPS;VANETs中,消息直接或通过转发传到目的地;另外,VANETs中还有一个全局控制处理中心GCPC,节点通过基础设施与GCPC连接;GCPC来决定VANETs消息传输中每个节点的信誉和收益的分配,这种分配依赖于节点提交的票据、meet报告和DLO报告,只要节点接收或转发一次消息,就产生一个meet报告和DLO报告,并保存票据;GCPC给每个节点分发证书;节点不需要一直与GCPC保持连接,节点只需临时保存票据和报告,票据和报告能通过基础设施转发给GCPC;票据是由源节点产生并随消息一起传递的一个很小的加密标识,用key(M)表示;票据用来识别中间节点是为哪个消息参与消息传递行为;DLO报告是节点每次转发消息时,对接收消息的节点的O<sub>i</sub>值报告,方便GCPC计算收益;(2) 构建消息转发联盟博弈模型联盟博弈(N,v),其中N是参与者,是VANETs中消息传递过程中,用到的所有节点的集合,分为两类:只接收消息的节点,称为Rnode;既接收消息,也转发消息的节点,称为RFnode;v是为每个联盟分配联盟收益的函数,联盟S的收益v表示如下:v(S)=q·Rn(S)+c(S)·Dn(S)+w·p(s) (1) 其中,q是节点提交报告记录的单位奖励,Rn(S)是提交的记录总数,c(S)是成功传递消息到目的地的单位奖励,Dn(S)是成功传到目的节点的消息数,w是中奖奖励,p(s)是联盟S中所有参与者的中奖概率;(3) 收益分配首先进行节点分类,根据车辆的位置和运动方向把车辆的邻节点划分为四类,用O<sub>i</sub>表示,分别为O<sub>i</sub>=1,O<sub>i</sub>=2,O<sub>i</sub>=3,O<sub>i</sub>=4;O<sub>i</sub>值越大,表示邻节点i转发消息越利于消息传递到目的节点;然后根据网络中的两类节点分别进行收益分配:①中间节点收益分配<maths num="0001"><![CDATA[<math><mrow><mfenced open="" close=""><mtable><mtr><mtd><msub><mi>U</mi><mi>i</mi></msub><mo>=</mo><msub><mi>c</mi><mn>1</mn></msub><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>j</mi><mo>=</mo><mn>0</mn></mrow><mrow><msub><mi>Nm</mi><mi>r</mi></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></munderover><mrow><mo>(</mo><mn>1</mn><mo>/</mo><msub><mi>n</mi><mi>r</mi></msub><mrow><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo></mrow><mo>)</mo></mrow><mo>+</mo><msub><mi>c</mi><mn>2</mn></msub><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>l</mi><mo>=</mo><mn>0</mn></mrow><mrow><msub><mi>n</mi><mover><mi>ρ</mi><mo>‾</mo></mover></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></munderover><mrow><mo>(</mo><munderover><mi>Σ</mi><mrow><mi>k</mi><mo>=</mo><mn>0</mn></mrow><mi>z</mi></munderover><msub><mi>O</mi><mi>k</mi></msub><mo>-</mo><mi>a</mi><mo>·</mo><mfrac><mrow><mi>e</mi><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>z</mi><mo>+</mo><mn>1</mn></mrow><mrow><msub><mi>n</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>l</mi><mo>)</mo></mrow></mrow></munderover><msub><mi>O</mi><mi>k</mi></msub></mrow><mrow><msub><mi>Nn</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>l</mi><mo>)</mo></mrow><mo>-</mo><mn>0.5</mn><mo>·</mo><mo>|</mo><msub><mi>n</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>l</mi><mo>)</mo></mrow><mo>-</mo><mover><mi>ρ</mi><mo>‾</mo></mover><mo>|</mo><mo>+</mo><mn>1</mn></mrow></mfrac><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mo>+</mo><mi>q</mi><mo>·</mo><mi>Rn</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>+</mo><mi>w</mi><mo>·</mo><mi>p</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>∀</mo><mi>i</mi><mo>≠</mo><mi>src</mi><mo>.</mo></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>2</mn><mo>)</mo></mrow></mrow></math>]]></maths>②源节点收益分配<maths num="0002"><![CDATA[<math><mrow><mfenced open="" close=""><mtable><mtr><mtd><msub><mi>U</mi><mrow><mi>src</mi><mo>.</mo></mrow></msub><mo>=</mo><mi>c</mi><mrow><mo>(</mo><mi>N</mi><mo>)</mo></mrow><mo>·</mo><mi>Dn</mi><mrow><mo>(</mo><mi>N</mi><mo>)</mo></mrow><mo>-</mo><mrow><mo>(</mo><msub><mi>c</mi><mn>1</mn></msub><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>N</mi><mo>-</mo><mo>{</mo><mi>src</mi><mo>.</mo><mo>}</mo></mrow></munderover><munderover><mi>Σ</mi><mrow><mi>j</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>N</mi><msub><mi>m</mi><mi>r</mi></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></munderover><mrow><mo>(</mo><mn>1</mn><mo>/</mo><msub><mi>n</mi><mi>r</mi></msub><mrow><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo></mrow><mo>)</mo></mrow></mrow></mtd></mtr><mtr><mtd><mo>+</mo><msub><mi>c</mi><mn>2</mn></msub><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>N</mi><mo>-</mo><mo>{</mo><mi>src</mi><mo>.</mo><mo>}</mo></mrow></munderover><munderover><mi>Σ</mi><mrow><mi>l</mi><mo>=</mo><mn>0</mn></mrow><mrow><msub><mi>n</mi><mover><mi>ρ</mi><mo>‾</mo></mover></msub><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></munderover><mrow><mo>(</mo><munderover><mi>Σ</mi><mrow><mi>k</mi><mo>=</mo><mn>0</mn></mrow><mi>z</mi></munderover><msub><mi>O</mi><mi>k</mi></msub><mo>-</mo><mi>a</mi><mo>·</mo><mfrac><mrow><mi>e</mi><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>z</mi><mo>+</mo><mn>1</mn></mrow><mrow><msub><mi>n</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>l</mi><mo>)</mo></mrow></mrow></munderover><msub><mi>O</mi><mi>k</mi></msub></mrow><mrow><msub><mi>Nn</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>l</mi><mo>)</mo></mrow><mo>-</mo><mn>0.5</mn><mo>·</mo><mo>|</mo><msub><mi>n</mi><mi>i</mi></msub><mrow><mo>(</mo><mi>l</mi><mo>)</mo></mrow><mo>-</mo><mover><mi>ρ</mi><mo>‾</mo></mover><mo>|</mo><mo>+</mo><mn>1</mn></mrow></mfrac><mo>)</mo><mo>+</mo><mi>w</mi><mo>·</mo><munderover><mi>Σ</mi><mrow><mi>i</mi><mo>=</mo><mn>0</mn></mrow><mrow><mi>N</mi><mo>-</mo><mo>{</mo><mi>src</mi><mo>.</mo><mo>}</mo></mrow></munderover><mi>p</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow></math>]]></maths>其中,src.表示源节点,是接收一个消息副本的奖励,c<sub>2</sub>是转发一个消息副本的奖励,Nm<sub>r</sub>(i)是节点i接收的消息副本数,Rn(i)是节点i提交的报告数,n<sub>r</sub>(i,j)是给节点i发送消息的节点j的邻节点数,p(i)是节点i的中奖概率,O<sub>k</sub>是中间节点i的邻节点k的位置信息,n<sub>i</sub>是节点i从邻节点中挑选出的接收消息的节点数量,Nn<sub>i</sub>(l)是i在第l次消息转发决定时它的邻节点总数,<img file="FDA0000213234453.GIF" wi="253" he="94" />时,z=n<sub>i</sub>(l),a=0;否则<img file="FDA0000213234454.GIF" wi="153" he="97" />,a=1,当<img file="FDA0000213234455.GIF" wi="250" he="109" />时,e=0;否则,e=1,<img file="FDA0000213234456.GIF" wi="69" he="106" />是VANETs疏密划分门槛值,<img file="FDA0000213234457.GIF" wi="175" he="125" />是节点i进行消息转发决策的次数;通过合理的收益分配,激励自私节点合作转发消息;(4) 博弈有核,其充分条件是:<maths num="0003"><![CDATA[<math><mrow><mfenced open="{" close=""><mtable><mtr><mtd><mi>c</mi><mrow><mo>(</mo><mi>S</mi><mo>)</mo></mrow><mo>=</mo><munder><mi>Σ</mi><mrow><mi>i</mi><mo>∈</mo><mi>S</mi></mrow></munder><mi>Nm</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>+</mo><munder><mi>Σ</mi><mrow><mi>i</mi><mo>∈</mo><mi>S</mi></mrow></munder><mrow><mo>(</mo><mn>4</mn><mo>·</mo><mover><mi>ρ</mi><mo>‾</mo></mover><mo>)</mo></mrow><mo>)</mo><mo>/</mo><mrow><mo>(</mo><msub><mi>Nm</mi><mi>r</mi></msub><mo>+</mo><mn>4</mn><msub><mi>n</mi><mover><mi>ρ</mi><mo>‾</mo></mover></msub><mo>·</mo><mover><mi>ρ</mi><mo>‾</mo></mover><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mi>max</mi><mrow><mo>(</mo><msub><mi>c</mi><mn>1</mn></msub><mo>,</mo><msub><mi>c</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><mi>Dn</mi><mrow><mo>(</mo><mi>N</mi><mo>)</mo></mrow><mo>-</mo><mi>w</mi><mo>)</mo></mrow><mo>/</mo><mrow><mo>(</mo><mi>N</mi><msub><mi>m</mi><mi>r</mi></msub><mo>+</mo><mn>4</mn><msub><mi>n</mi><mover><mi>ρ</mi><mo>‾</mo></mover></msub><mo>·</mo><mover><mi>ρ</mi><mo>‾</mo></mover><mo>)</mo></mrow><mo>-</mo><mi>ϵ</mi></mtd></mtr><mtr><mtd><msub><mi>c</mi><mn>2</mn></msub><mo>≥</mo><msub><mi>c</mi><mn>1</mn></msub><mo>≥</mo><mn>0</mn></mtd></mtr></mtable></mfenced><mo>,</mo><mi>if Dn</mi><mrow><mo>(</mo><mi>N</mi><mo>)</mo></mrow><mo>></mo><mn>0</mn><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>5</mn><mo>)</mo></mrow></mrow></math>]]></maths>机制的收益分配在核里,保证联盟博弈能获得一个稳定联盟,表示激励机制有稳定解。 |