3GPP喷泉码介绍

喷泉码标准

——3GPP ＭBＭS Raptor是喷泉码的一种,即编码器能根据需要由源符号块将可能多的生成的编码符号,而解码器是能够从任何略多于源符号数的编码符号中将源符号解码出来。Ｒaptoｒ码前向纠错码可用于MBＭS的文件传输和ＭBMS流媒体应用上。

1.定义和符合

1．1定义

源块（Sourcｅｂｌocｋ）：是一个包含K个源符号的数据块．

源符号（Sourｃe symboｌ）:用于编码的最小数据单元,任意一个源块中的源符号大小都是相同的。

编码符号（Eｎcoding ｓｙｍbｏｌ）：编码符号包含在数据包中．编码符号分为源符号和Ｒｅｐａiｒ符号，由某个源块中的源符号产生的Reｐaｉr符号的大小和该源块中的源符号一样。

Repaｉr ｓｙmboｌ: 由源符号产生,而非源符号

编码符号组(Ｅncoｄing symbol gｒoｕp）: 由一组编码符号构成，这些编码符号一起被发送，并有相同的编码符号标识EncodingＳｙmboｌID

编码符号标识（Enｃｏding Syｍbol ＩD)：用于表示一个编码符号组中的编码符号和源符号的对应关系

编码包（Enｃoding pａcket)：携带编码符号的数据包

子块（Sub－block）:一个源块可以分为数个子块。对一个包含K个源符号的源块来说,它的每一个子块由Ｋ个字符号构成，而每个源符号每个子块中的相应的子符号组成。

子符号(Sｕb-sｙmbｏl）:一个符号的一部分，每个源符号每个子块中的相应的子符号组成。

源包(Ｓouｒce packｅt）: 携带源符号的数据包

Repａir packet: 携带Repair符号的数据包

1.２符号

ｉ,ｊ,ｘ,h，a，b, d, v, m 代表正整数。

ceｉl(ｘ) ﻩ表示大于或者等于x的最小正整数，即向上取整

choose（i，j)ﻩ表示在ｊ个物品中不重复的取出i个物品的组合数

floor(x) 表示小于或者等于x的最大正整数,即向下取整

Ｃﻩ表示中间符号数组, C[０］，Ｃ[1], C[2],…，C［L-1］

C’表示源符号数组，Ｃ’［0], C’［１], Ｃ’［2],…, C’［K-1] Xﻩﻩ表示非负整数

Ｖ0, V１ﻩ表示两数组,数组中元素皆为4字节的整数，V0［0], Ｖ0[1],…，V０[255] 和V1［０］,V1[１]，…, V1[2５5]

Raｎd[X, i, m] 表示伪随机数发生器

Ｄｅg[v］ﻩﻩ表示度发生器

LTＥnc[K, C ,（ｄ, a, b）] 表示LT的编码符号发生器

Ｔｒip[Ｋ，X] 表示一个三元发生函

2.数据文件

２.1构造源块

为了将Ｒaｐtｏr编码应用在文件传输上,一个文件可以分为Z个数据块，这Ｚ个源块能够由Rapｔor编码器独立编码。每一个源块有唯一的源块号（SＢＮ)来区分，第一个源块的ＳBＮ为０，第二个源块的SBＮ为1，依此类推。每个源块由K个源符号组成，每个源符号的大小为Ｔ个字节，而每个源符号又由唯一的编码符号标识(ESI)来区分，第一个源符号的EＳI为0，第二个源符号的ESＩ为１，等等。

每个源块可以划分为Ｎ个子块，而每个子块又由Ｋ个子符号构成，每个子符号的大小为T’字节。

注意到，对一个文件来说,其中的每个源块包含的源符号数即K值没有必要相同;对一个源块来说，其中的每个子块的子符号大小T’也可不同。但是,一个文件中的每个源块的源符号大小T必须相同，同时，一个源块中的每个子块包含的子符号数K也必须相同。

下图表示一个源块,其中每一个小框代表一个子符号大小为T’字节，每一行表示一个子块，而每一列表示一个源符号。可以看出该源块由N个子块构成,该源块一个包含了Ｋ个源符号。在本例中,每个子块的子符号大小都是T’字节(实际上可以不相同）,这样每个源符号的大小Ｔ=Ｎ* T’。

2．2源块和子块的分割

源块和子块的分割需要知道如下参数：

- Ｆﻩ文件的大小，单位为字节

- A 符号标准参数, 单位为字节

-ﻩTﻩ源符号大小,必须为A的倍数,单位为字节

-Zﻩ源块数目

- Nﻩ每个源块中的子块数目

这些参数的设置必须满足ceil(cｅｉl（F/Ｔ)/Z)≤ K MAX.

函数Pａrtｉtion[]：该函数的输入为一对整数(I，J) ,输出为四个整数(I L, I S, J L, JＳ) ，其中I L =ceil(I／J),ＩS＝fｌoor(I/J),J L= I–I S·Ｊ，J S = J - J L.

于是

K t = cｅｉl(F/Ｔ)

(K L, K S, ＺL, Z S) = Parｔｉtｉon[Kｔ, Z ]

ﻩ(T L, TＳ, N L, N S) ＝Paｒtiｔion[Ｔ/A，N ］

这样，该文件就可以被分割为Z = Z L+ Z S个连续的源块, 前面的ＺL个源块,每个长度为K L·T字节后面的ＺＳ个源块,每个长度为K S·T字节. 如果K t·T >Ｆ，那么最后一个源符号需要填充K t·T – F字节的零比特。.

同时,每个源块可以被分为N ＝N L＋N S个连续的子块,前面的ＮＬ个子块每个包含Ｋ个连续的大小为ＴL·A字节的子符号，后面的ＮS个子块每个包含Ｋ个连续的大小为ＴＳ·A字节的子符号。

２.3参数推导算法

首先需要知道如下参数:

-ﻩＦ文件大小，单位为字节

－Wﻩ子块的目标大小，单位为字节

-ﻩP最大包负载大小，单位为字节

－ﻩAﻩ符号标准参数, 单位为字节

- KＭAＸ每个源块的源符号数目的最大值

－ﻩＫMIN每个源块的源符号数目的最小目标值

－G MAX每个包的符号数目的最大目标值

于是

G = min{ceil(P ·ＫMIN/F)，P/Ａ, G MＡX}ﻩﻩ - 每个源块的源符号数目的估计值

Ｔ= ｆlｏor（P/(A·G))·A

Ｋt =ceiｌ(F／Ｔ)ﻩﻩﻩﻩﻩﻩﻩ- 文件的总符号数目

ﻩZ = ceil(K t／KＭＡX)

Ｎ=miｎ{ceｉｌ(ceil( K t/Z)·T/Ｗ），T/A｝

上面所求的G和N的值实际上分别是它们的下界，实际操作上应略大于上述参考值。同时,上面的算法并不能保证T能够整除Ｐ,所以上面的P实际上也是个参考值。但是,如果选择的G值恰好能整除P/Ａ，,那么Ｔ则是P的约数，此时这个Ｐ值能够直接使用。

我们给出W, A，K MIN和G MＡX参考值如下

ﻩW= ２56 KBﻩﻩＡ= 4 ﻩK MIN＝1０2４ﻩﻩG MAX＝10