Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Шумов задачи и учебник / [Valeri_P._Ipatov]_Spread_Spectrum_and_CDMA_Princ(Bookos.org).pdf
Скачиваний:
93
Добавлен:
15.04.2015
Размер:
3.46 Mб
Скачать

Spread spectrum signature ensembles

239

 

 

Example 7.5.1. Construct Gold sequences of length L ¼ 23 1 ¼ 7. An ensemble of that small length is impractical but useful for elucidating the idea. Let us start with the binary f0, 1g m-sequence first met in Example 6.6.1: fui0g ¼ f1, 0, 0, 1, 0, 1, 1g. The decimation index d ¼ 3

meets the limitation of

item

2

above.

Then the

decimation

sequence

is

fvi0g ¼ f1, 1, 1, 0, 1, 0, 0g. Symbol-wise

summation

of fui0g and

fvi0g modulo 2 gives

the

sequence f0, 1, 1, 1, 1, 1, 1g,

which

after mapping

to alphabet

f 1g gives

the first Gold

sequence fa1, i g ¼ fþ g. Shifting fvi0g to the right by one position and adding modulo 2 to fui0g gives the sequence f1, 1, 1, 0, 0, 0, 1g, which after transition to symbols f 1g gives the second Gold sequence f þ þ þ g. Six more Gold sequences are obtained by further shifts of fvi0g, adding modulo 2 to fui0g and changing symbols into f 1g. Along with fui0g and fvi0g transformed into f 1g sequences, we obtain K ¼ 23 þ 1 ¼ 9 sequences altogether. Checking the value of the correlation peak in this simplest case makes little sense, since with L ¼ 7 no non-normalized periodic correlation, but the ACF mainlobe, may exceed 5, predicted by (7.53). Building Gold ensembles of greater lengths and checking their optimality is the subject of Problem 7.40.

Gold ensembles enjoy great popularity in modern CDMA systems. Suffice it to say that they are employed in the space-based global navigation system GPS for multiplexing satellite signals, and in the 3G mobile radio UMTS standard for scrambling CDMA codes, etc.

7.5.3 Kasami sets and their extensions

The idea of constructing Kasami sets is very close to that described above for the Gold

scheme. Let us decimate ahbinary f 1g m-sequence fuig of even memory n ¼ 2h with the

decimation

index d

2

þ 1. Obviously, this d is not co-prime to the period

L ¼ 2

n

1

¼ (2

h

 

¼h

 

 

 

1)(2

þ 1) of the sequence fuig, resulting in a decimation sequence

fvig ¼ fudig of the period being a factor of L. It may be shown that if fuig is initialized

so thath

u0 ¼ 1 the ‘short’ sequence fvig is actually a binary m-sequence of period

L1 ¼ 2

1, whose non-normalized periodic CCF with fuig over the long period L

takes only two values [9,70,73]:

 

¼

 

 

 

 

 

 

 

 

 

ð

m

Þ ¼

2h

 

1

m

¼

0; 1; . . . ; L

 

1

ð

7:54

Þ

 

Rp;uv

 

 

pL þ 1 1;

 

 

 

 

Then L1 Kasami signatures of length L are formed as symbol-wise products of the initial m-sequence fuig with L1 different cyclic replicas of fvig, and one more signature is a ‘long’ sequence itself:

ak;i ¼ uivi k; k ¼ 1; 2; . . . ; L1

aL1þ1;i ¼ ui

ð7:55Þ

p

where i ¼ . . . , 1, 0, 1, . . .. There are K ¼ L1 þ 1 ¼ 2h ¼ L þ 1 such signatures of period L in total. Of course, again, multiplication of f 1g sequences fuig, fvig may be

240

 

 

 

 

 

Spread Spectrum and CDMA

 

 

 

 

 

 

 

 

 

 

 

{u′}

 

 

 

 

 

{aL1 + 1,i}

 

LFSR

 

 

 

Mapping

 

i

 

 

 

 

 

 

 

memory n

{vi′}

 

 

 

onto {±1}

 

{ak,i},1 ≤ k ≤ L1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

LFSR

Delay

+

 

Mapping

 

 

 

 

 

 

 

memory n/2

 

k clocks

 

onto {±1}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

mod2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Figure 7.19 Generating Kasami sequences

realized as modulo 2 addition of their f0, 1g predecessors fu0ig, fv0ig, but, unlike the Gold set, to form the ‘short’ sequence fv0ig the necessary length of LFSR is two times smaller: h ¼ n/2 (see Figure 7.19).

Proof of the minimax property of the Kasami set:

 

¼

 

 

 

 

 

 

 

 

 

ð

 

Þ

2

 

 

pL þ 1 þ 1

 

2

 

 

1

 

; L

 

1

 

7:56

 

 

 

L2

 

 

 

L

 

 

 

max

 

 

 

 

 

 

 

 

 

 

 

is performed based on (7.54), similarly to that of the Gold set, and is left to the reader as an exercise (Problem 7.28). The comparison of the two binary ensembles shows a significant gain (6 dB) of Kasami sets in the correlation peak versus Gold ensembles

of sequences K.

 

 

 

 

 

 

þ

 

 

 

 

 

 

length in exchange for much smaller ((L

 

2)/pL

 

1

pL times) number

of the same

 

4

 

 

 

 

 

 

 

 

þ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

g

 

f i0g of length L ¼ 15 based on

 

 

¼ 4).

Example 7.5.2. Construct the Kasami set of length L

¼ 24

1 ¼

15 (h ¼ 2, K ¼ pL þ 1

Start by building the binary 0, 1 m-sequence u

 

 

 

 

 

 

 

the primitive

polynomial f (x) ¼ x4 þ x þ 1

and initial

loading

u00 ¼ 1, u10

 

¼ u20

¼ u30 ¼ 0.

 

We

have

fui0g ¼ f1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1g.

Decimation of this

 

sequence with

the

index

d ¼ 2h þ 1 ¼ 5

produces

 

the

m-sequence

 

of

 

period

 

three

fvi0g ¼ f1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1g. Modulo 2 sums of fui0g and three shifted replicas of fvi0g after transferring to the alphabet f 1g are the first three Kasami sequences: fa1, i g ¼ fþ þ þ þ þg, fa2, i g¼ fþ þ þ þ þ þ þ þ þ g and fa3, i g ¼ f þ þ þ þ þ þ þ þ þg. The fourth one is fui0g converted into f 1g symbols: a4, i ¼ f þ þ þ þ þ þ þ g. Direct calculation shows that all their non-normalized CCF as well as the non-normalized ACF sidelobes of the first three take on only values 5 and 3, so that 2max ¼ 1/9 in full agreement with (7.56). A Matlab program for building arbitrary Kasami sets and verifying their correlation properties is the subject of Problem 7.41.

The relatively small number of Kasami sequences makes rather remarkable the method found by Kamaletdinov [74] to extend the Kasami set almost two times without

4 Bounds (7.45) and (7.46) may be slightly improved for binary sets allowing for the non-normalized correlations taking on only integer values. As a result it appears that both Gold sets of odd memory and Kasami sets are strictly (not only asymptotically!) optimal in correlation peak among all binary sets [67,70].

Spread spectrum signature ensembles

241

 

 

sacrificing the correlation peak. Let

n be divisible by

4: n

¼

4r,

r

integer,

so that

L ¼ 2

4r

1 ¼ 16

r

1 ¼ 15, 255, 4095,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. . .. Then in addition to the Kasami set another

binary ensemble of length L and size

p

 

 

 

 

 

 

 

 

sequence ensemble

L þ 1 exists called the bent

 

 

2

 

1/L. In

 

 

 

 

 

property

2

 

¼

(pL

þ

1

þ

1) /L2

 

[9,75] and possessing the same minimax

max

 

 

 

 

 

 

 

 

 

 

 

 

 

 

consists of symbol-wise multi-

very general terms constructing bent sequences again

 

 

 

 

 

 

4r

1 and some

plication of two initial sequences: a ‘long’ m-sequence of period L ¼ 2

 

special sequence based on the so-called bent function. The details of this are tricky enough and will not be discussed here, but the important thing is that any bent sequence has normalized CCF with any of the first L1 Kasami sequences (7.55) not exceeding by its modulus the correlation peak of both the Kasami and bent sequence ensembles.

Therefore,

 

it

 

is

 

possible

 

to

arrange

 

a

composite ensemble including

L1 ¼

2h

 

1

¼

22r

 

1

pL

þ

1

 

1 Kasami and pL

þ

1 bent sequences and possessing

 

 

 

 

¼

2

¼

(L

þ

1)/L

2

 

 

 

the former correlation peak max

 

1/L. The ensemble thus obtained is

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

unique in the sense that among all known binary ensembles with correlation peak

 

 

 

¼

 

1.

max2

 

1/L this one has the greatest number of signatures K

 

2pL þ 1

7.5.4 Kamaletdinov ensembles

More binary minimax ensembles exist [9,67]; however, some of them differ from the described ones only in a fine structure of sequences but not in length L, size K and correlation peak max. Against this background the ensembles discovered by Kamaletdinov [76] are of a particular interest, covering the range of lengths differing from those of Gold and Kasami sets.

In order to make the idea easier to understand, we describe a somewhat narrowed version of Kamaletdinov sets, although with no loss as to the length range or parameters achievable. To outline the first Kamaletdinov scheme let us take prime odd p > 3 of the

form p ¼ 4h þ 3 ¼ 3mod4 and extend the definition of the binary character

(x) given

in Section 6.8 to the zero element of GF(p) putting (0) ¼ 1 (an alternative

(0) ¼ 1

will produce the same final result). Let us treat a position number i of the sequence symbol as an element of GF(p), i.e. being reduced modulo p, and form p þ 1 p-ary sequences dk, i over GF(p) (i.e. with elements from this field) as follows:

dk;i

 

8 i þ iiþk þ i; k ¼ 1; 2; . . . ; p 1

 

7:57

 

¼

> i

þ

 

; k

¼

p

ð

Þ

 

>

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

<

 

 

 

 

 

 

 

 

 

 

> i þ i; k ¼ p þ 1

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

:

 

 

GF(p), is a primitive element

of GF(p)

 

 

where all arithmetic is

that

of

 

and

i ¼ . . . , 1, 0, 1, . . .. One may see that every sequence in (7.57) is formed as a sum of sequences of co-prime periods p and p 1 ( p 1 ¼ 0 ¼ 1), and therefore has the period L ¼ p(p 1). Now perform a mapping of sequences (7.57) onto the binary alphabet f 1g using the extended binary character:

ak;i ¼ ðdk;iÞ; k ¼ 1; 2; . . . ; p þ 1; i ¼ . . . ; 1; 0; 1; . . .

ð7:58Þ

242

Spread Spectrum and CDMA

 

 

The binary set thus generated has parameters:

L

¼

p

p

 

1

Þ

; K

¼

p

þ

1; 2

¼

 

ðp þ 3Þ2

ð

7:59

Þ

L2

 

ð

 

 

 

 

max

 

 

Length L may be made large enough only by a proper choice of p (p 1), in which case

(p þ 3)2/L ¼ (p þ 3)2/(p2 p) 1 and 2max ! 1/L, showing after comparing with (7.45) at least asymptotical optimality of the ensemble in the correlation peak.

Example 7.5.3. Let p ¼ 7. Direct verification confirms that ¼ 3 is a primitive element in GF(7). Then the sequences f i g and f i g are both of period p 1 ¼ 6: f. . . , 1, 3, 2, 6, 4, 5, 1, 3, . . .g

and f. . . , 1, 5, 4, 6, 2, 3, 1, 5, . . .g,

respectively.

Combined modulo 7

with

the sequence

fig ¼ f. . . , 0, 1, 2, 3, 4, 5, 6, 0, 1, . .

.g of period

7, as prescribed by

(7.57),

they produce

K ¼ p þ 1 ¼ 8 7-ary sequences of period L ¼ p(p 1) ¼ 42. For instance, the first of them is

fd1, i g ¼ f221136110025006614665503554462443351332240g.

Replacing

their

7-ary

elements by the extended characters according to the rule

 

(0) ¼ (1) ¼

(2) ¼

(4) ¼ 1,

and (3) ¼ (5) ¼ (6) ¼ 1 converts the sequences into

8 binary ones, e.g.

fa1, i g ¼

fþ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þ þþg. It is rather tiresome to compute their ACF and CCF ‘by hand’, and Problem 7.42 provides Matlab software to support it.

The second Kamaletdinov construction exploits the p-ary (p ¼ 4h þ 3 ¼ 3mod4) linear sequence fcki g obtained by decimation with the index d ¼ p 1 of p 1 shifts fdiþkg, k ¼ 1, 2, . . . , K ¼ p 1 of the p-ary m-sequence fdig having memory n ¼ 2, i.e. length p2 1. Since d divides p2 1 the sequence fcki g ¼ fddiþkg has the period (p2 1)/(p 1) ¼ p þ 1. Now let us build p 1 sequences over GF(p):

dk;i ¼ i þ cik; k ¼ 1; 2; . . . ; p 1; i ¼ . . . ; 1; 0; 1; . . . ;

ð7:60Þ

and map them onto the binary alphabet f 1g according to (7.58). This generates the ensemble with parameters:

L

¼

p

p

þ

1

Þ

; K

¼

p

 

1; 2

 

ðp þ 1Þ2

 

1

 

7:61

 

¼

L2

¼ p2

ð

Þ

 

ð

 

 

 

 

max

 

Again, for the case of long lengths (p 1) the ratio (p þ 1)2/L ¼ (p þ 1)2/(p2 þ p) ! 1 and 2max ! 1/L, demonstrating at least asymptotical optimality of the ensemble.

Example 7.5.4. This time there is no exclusion for p ¼ 3 and the p-ary m-sequence fdi g of memory n ¼ 2 and length p2 1 ¼ 8 may be formed by the primitive polynomial over GF(3) of the second degree f (x) ¼ x2 þ x þ 2, or equivalently, by a recurrent equation di ¼ 2di 1 þ di 2.

The initial loading d0 ¼ 1, d1 ¼ 0 produces the

sequence fdi g ¼ f. . . , 1, 0, 1, 2, 2, 0, 2, 1, 1,

0, . . .g. Its shifts decimated with index d ¼ p 1

¼ 2 transform into two sequences of period

4: f. . . , 1, 1, 2, 2, 1, 1, 2, 2, . . .g and f. . . , 0, 2, 0, 1, 0, 2, 0, 1, . . .g. After symbol-wise addition with