
- •Contents
- •Preface
- •1 Spread spectrum signals and systems
- •1.1 Basic definition
- •1.2 Historical sketch
- •2 Classical reception problems and signal design
- •2.1 Gaussian channel, general reception problem and optimal decision rules
- •2.2 Binary data transmission (deterministic signals)
- •2.3 M-ary data transmission: deterministic signals
- •2.4 Complex envelope of a bandpass signal
- •2.5 M-ary data transmission: noncoherent signals
- •2.6 Trade-off between orthogonal-coding gain and bandwidth
- •2.7 Examples of orthogonal signal sets
- •2.7.1 Time-shift coding
- •2.7.2 Frequency-shift coding
- •2.7.3 Spread spectrum orthogonal coding
- •2.8 Signal parameter estimation
- •2.8.1 Problem statement and estimation rule
- •2.8.2 Estimation accuracy
- •2.9 Amplitude estimation
- •2.10 Phase estimation
- •2.11 Autocorrelation function and matched filter response
- •2.12 Estimation of the bandpass signal time delay
- •2.12.1 Estimation algorithm
- •2.12.2 Estimation accuracy
- •2.13 Estimation of carrier frequency
- •2.14 Simultaneous estimation of time delay and frequency
- •2.15 Signal resolution
- •2.16 Summary
- •Problems
- •Matlab-based problems
- •3 Merits of spread spectrum
- •3.1 Jamming immunity
- •3.1.1 Narrowband jammer
- •3.1.2 Barrage jammer
- •3.2 Low probability of detection
- •3.3 Signal structure secrecy
- •3.4 Electromagnetic compatibility
- •3.5 Propagation effects in wireless systems
- •3.5.1 Free-space propagation
- •3.5.2 Shadowing
- •3.5.3 Multipath fading
- •3.5.4 Performance analysis
- •3.6 Diversity
- •3.6.1 Combining modes
- •3.6.2 Arranging diversity branches
- •3.7 Multipath diversity and RAKE receiver
- •Problems
- •Matlab-based problems
- •4 Multiuser environment: code division multiple access
- •4.1 Multiuser systems and the multiple access problem
- •4.2 Frequency division multiple access
- •4.3 Time division multiple access
- •4.4 Synchronous code division multiple access
- •4.5 Asynchronous CDMA
- •4.6 Asynchronous CDMA in the cellular networks
- •4.6.1 The resource reuse problem and cellular systems
- •4.6.2 Number of users per cell in asynchronous CDMA
- •Problems
- •Matlab-based problems
- •5 Discrete spread spectrum signals
- •5.1 Spread spectrum modulation
- •5.2 General model and categorization of discrete signals
- •5.3 Correlation functions of APSK signals
- •5.4 Calculating correlation functions of code sequences
- •5.5 Correlation functions of FSK signals
- •5.6 Processing gain of discrete signals
- •Problems
- •Matlab-based problems
- •6 Spread spectrum signals for time measurement, synchronization and time-resolution
- •6.1 Demands on ACF: revisited
- •6.2 Signals with continuous frequency modulation
- •6.3 Criterion of good aperiodic ACF of APSK signals
- •6.4 Optimization of aperiodic PSK signals
- •6.5 Perfect periodic ACF: minimax binary sequences
- •6.6 Initial knowledge on finite fields and linear sequences
- •6.6.1 Definition of a finite field
- •6.6.2 Linear sequences over finite fields
- •6.6.3 m-sequences
- •6.7 Periodic ACF of m-sequences
- •6.8 More about finite fields
- •6.9 Legendre sequences
- •6.10 Binary codes with good aperiodic ACF: revisited
- •6.11 Sequences with perfect periodic ACF
- •6.11.1 Binary non-antipodal sequences
- •6.11.2 Polyphase codes
- •6.11.3 Ternary sequences
- •6.12 Suppression of sidelobes along the delay axis
- •6.12.1 Sidelobe suppression filter
- •6.12.2 SNR loss calculation
- •6.13 FSK signals with optimal aperiodic ACF
- •Problems
- •Matlab-based problems
- •7 Spread spectrum signature ensembles for CDMA applications
- •7.1 Data transmission via spread spectrum
- •7.1.1 Direct sequence spreading: BPSK data modulation and binary signatures
- •7.1.2 DS spreading: general case
- •7.1.3 Frequency hopping spreading
- •7.2 Designing signature ensembles for synchronous DS CDMA
- •7.2.1 Problem formulation
- •7.2.2 Optimizing signature sets in minimum distance
- •7.2.3 Welch-bound sequences
- •7.3 Approaches to designing signature ensembles for asynchronous DS CDMA
- •7.4 Time-offset signatures for asynchronous CDMA
- •7.5 Examples of minimax signature ensembles
- •7.5.1 Frequency-offset binary m-sequences
- •7.5.2 Gold sets
- •7.5.3 Kasami sets and their extensions
- •7.5.4 Kamaletdinov ensembles
- •Problems
- •Matlab-based problems
- •8 DS spread spectrum signal acquisition and tracking
- •8.1 Acquisition and tracking procedures
- •8.2 Serial search
- •8.2.1 Algorithm model
- •8.2.2 Probability of correct acquisition and average number of steps
- •8.2.3 Minimizing average acquisition time
- •8.3 Acquisition acceleration techniques
- •8.3.1 Problem statement
- •8.3.2 Sequential cell examining
- •8.3.3 Serial-parallel search
- •8.3.4 Rapid acquisition sequences
- •8.4 Code tracking
- •8.4.1 Delay estimation by tracking
- •8.4.2 Early–late DLL discriminators
- •8.4.3 DLL noise performance
- •Problems
- •Matlab-based problems
- •9 Channel coding in spread spectrum systems
- •9.1 Preliminary notes and terminology
- •9.2 Error-detecting block codes
- •9.2.1 Binary block codes and detection capability
- •9.2.2 Linear codes and their polynomial representation
- •9.2.3 Syndrome calculation and error detection
- •9.2.4 Choice of generator polynomials for CRC
- •9.3 Convolutional codes
- •9.3.1 Convolutional encoder
- •9.3.2 Trellis diagram, free distance and asymptotic coding gain
- •9.3.3 The Viterbi decoding algorithm
- •9.3.4 Applications
- •9.4 Turbo codes
- •9.4.1 Turbo encoders
- •9.4.2 Iterative decoding
- •9.4.3 Performance
- •9.4.4 Applications
- •9.5 Channel interleaving
- •Problems
- •Matlab-based problems
- •10 Some advancements in spread spectrum systems development
- •10.1 Multiuser reception and suppressing MAI
- •10.1.1 Optimal (ML) multiuser rule for synchronous CDMA
- •10.1.2 Decorrelating algorithm
- •10.1.3 Minimum mean-square error detection
- •10.1.4 Blind MMSE detector
- •10.1.5 Interference cancellation
- •10.1.6 Asynchronous multiuser detectors
- •10.2 Multicarrier modulation and OFDM
- •10.2.1 Multicarrier DS CDMA
- •10.2.2 Conventional MC transmission and OFDM
- •10.2.3 Multicarrier CDMA
- •10.2.4 Applications
- •10.3 Transmit diversity and space–time coding in CDMA systems
- •10.3.1 Transmit diversity and the space–time coding problem
- •10.3.2 Efficiency of transmit diversity
- •10.3.3 Time-switched space–time code
- •10.3.4 Alamouti space–time code
- •10.3.5 Transmit diversity in spread spectrum applications
- •Problems
- •Matlab-based problems
- •11 Examples of operational wireless spread spectrum systems
- •11.1 Preliminary remarks
- •11.2 Global positioning system
- •11.2.1 General system principles and architecture
- •11.2.2 GPS ranging signals
- •11.2.3 Signal processing
- •11.2.4 Accuracy
- •11.2.5 GLONASS and GNSS
- •11.2.6 Applications
- •11.3 Air interfaces cdmaOne (IS-95) and cdma2000
- •11.3.1 Introductory remarks
- •11.3.2 Spreading codes of IS-95
- •11.3.3 Forward link channels of IS-95
- •11.3.3.1 Pilot channel
- •11.3.3.2 Synchronization channel
- •11.3.3.3 Paging channels
- •11.3.3.4 Traffic channels
- •11.3.3.5 Forward link modulation
- •11.3.3.6 MS processing of forward link signal
- •11.3.4 Reverse link of IS-95
- •11.3.4.1 Reverse link traffic channel
- •11.3.4.2 Access channel
- •11.3.4.3 Reverse link modulation
- •11.3.5 Evolution of air interface cdmaOne to cdma2000
- •11.4 Air interface UMTS
- •11.4.1 Preliminaries
- •11.4.2 Types of UMTS channels
- •11.4.3 Dedicated physical uplink channels
- •11.4.4 Common physical uplink channels
- •11.4.5 Uplink channelization codes
- •11.4.6 Uplink scrambling
- •11.4.7 Mapping downlink transport channels to physical channels
- •11.4.8 Downlink physical channels format
- •11.4.9 Downlink channelization codes
- •11.4.10 Downlink scrambling codes
- •11.4.11 Synchronization channel
- •11.4.11.1 General structure
- •11.4.11.2 Primary synchronization code
- •11.4.11.3 Secondary synchronization code
- •References
- •Index

Discrete spread spectrum signals |
139 |
|
|
In multiuser CDMA systems families of discrete signals are necessary with special cross-correlation properties (see Section 4.5 and Chapter 7). Repeating accurately the derivation above but this time for two different (kth and lth) APSK signals having identical chips and lengths results in the following equation for their cross-correlation function (CCF):
1
X
klð Þ ¼ |
klðmÞ cð mDÞ |
ð5:7Þ |
||||
m¼ 1 |
|
|
|
|
||
where: |
|
|
|
|
|
|
|
|
1 |
N 1 |
|
||
klðmÞ ¼ |
|
|
X |
ð5:8Þ |
||
kakkkalk |
i |
¼ |
0 ak;ial;i m |
|||
|
|
|
|
|
|
|
is the CCF of the code sequences |
fak, 0, ak, 1, . . . , ak, N 1g, fal, 0, al, 1, . . ., al, N 1g of |
the two signals, which shows the resemblance of the first to an m-shifted replica of the second. Certainly, CCF (5.7) is again the APSK signal whose code sequence is just the CCF of the two original codes (code CCF). Designing families with the necessary crosscorrelation properties means searching for the families of sequences having appropriate CCF. Equations (5.7) and (5.8) are most general, since the ACF of the kth signal iskk( ) and the same is true for the code sequences.
In what follows we will widely use the results obtained, sometimes omitting front factors in (5.6) and (5.8), i.e. operating with non-normalized correlation functions of code sequences:
N 1 |
N 1 |
|
X |
X |
ð5:9Þ |
RðmÞ ¼ aiai m; RklðmÞ ¼ |
ak;ial;i m |
|
i¼0 |
i¼0 |
|
5.4 Calculating correlation functions of code sequences
Consider the code sequence fa0, a1, . . . , aN 1g. If it is used to generate a pulse signal, in the general model (5.2) ai ¼ 0 for negative i and i N, so that according to (5.6) aperiodic or pulse ACF is calculated as:
|
|
8 a |
2 |
i m aiai m; m 0 |
|
||||
a |
m |
|
1 |
N 1 |
|
|
5:10 |
||
|
|
> |
|
|
|
|
|
|
|
ð |
Þ ¼ |
> |
1 |
N 1 |
þ |
m |
|
||
> |
|
ð Þ |
|||||||
|
|
> |
|
|
|
|
|
aiai m; m < 0 |
|
|
|
< a 2 |
¼ |
|
|
||||
|
|
> k k |
X |
|
|
||||
|
|
> |
|
|
|
|
|
|
|
>
>
:
i¼0
The second row here is somewhat redundant since any ACF features evenness, and in particular, a( m) ¼ a(m). As is seen, ignoring the normalizing factor, aperiodic ACF is an inner product of the vector a ¼ (a0, a1, . . . , aN 1) and its m-position non-cyclically shifted version. The latter is a shifted to the right (m 0) or to the left (m < 0) and only

140 |
Spread Spectrum and CDMA |
|
|
the overlapping components of a and its shifted replica enter the sum in (5.10), all the rest are regarded as being forced to zero. For example, to calculate a(1) we first write, one above the other, the initial sequence and its copy conjugated and shifted to the right by one position, then compute all of their component-wise products and sum all the products:
a0 a1 |
a2 |
a3 |
. . . |
aN 1 |
|
|
1 |
|
N 1 |
|
|
|
|
|
|
k |
|
k |
|
X |
|
a0 |
a1 |
a2 |
. . . |
aN 2 |
að1Þ ¼ |
|
a |
|
2 |
aiai 1 |
|
|
|
|
|
|
|
|
|
|
i¼1 |
Let us assume now that the signal is periodic, i.e. aiþN ¼ ai, i ¼ . . . , 1, 0, 1, . . .. Then (5.6) defines the periodic ACF p(m), the sum in which always contains N summands, since a 1 ¼ aN 1, a 2 ¼ aN 2, etc:
|
1 |
|
N 1 |
|
|
pðmÞ ¼ |
k |
k |
|
X |
ð5:11Þ |
a |
|
2 |
aiai m |
||
|
|
|
|
i¼0 |
|
In this case the inner product is computed for the original code sequence and its cyclically shifted copy, where under m 0 m left ‘empty’ positions are filled with symbols pushed out rightward. For instance, a scheme of calculating p(1) looks like this:
a0 a1 |
a2 |
a3 |
. . . |
aN 1 |
|
|
1 |
|
N 1 |
|
|
|
|
|
|
k |
|
k |
|
X |
|
aN 1 a0 |
a1 |
a2 |
. . . |
aN 2 |
pð1Þ ¼ |
|
a |
|
2 |
aiai 1 |
|
|
|
|
|
|
|
|
|
|
i¼0 |
Since p(m) is calculated under the assumption of periodicity of a code sequence, it is periodic itself with period N, i.e. p(m) ¼ p(m þ N), m ¼ . . . , 1, 0, 1, . . ., which stems directly from (5.11) and, in its turn, reformulates the evenness property as:
pð mÞ ¼ pðN mÞ ¼ pðm NÞ |
ð5:12Þ |
This equation shows that p(m) is entirely characterized by its values at only shifts
m¼ 1; 2; . . . ; N2 ;
where b c symbolizes rounding towards zero. Another important property of the periodic ACF follows from (5.11) after splitting its sum into two:
|
k |
1 |
|
N 1 |
|
k |
1 |
|
m 1 |
||
|
|
k |
|
X |
|
|
k |
|
X |
||
pðmÞ ¼ |
|
a |
|
2 |
i¼m |
aiai m þ |
|
a |
|
2 |
aiai m; m 0 |
|
|
|
|
|
|
|
|
|
|
i¼0 |
|
The first term here is aperiodic ACF a(m) |
(see (5.10)), while the second equals |
a(m N), which is again verified immediately from (5.10) by calculating a(m N) according to its second row. This produces the equality associating the periodic and aperiodic ACF:
pðmÞ ¼ aðmÞ þ aðm NÞ; m ¼ 0; 1; . . . ; N |
ð5:13Þ |

Discrete spread spectrum signals |
141 |
|
|
Equation (5.13) plays quite a crucial role in the synthesis of pulse signals with good autocorrelation properties (see Section 6.10).
Example 5.4.1. Table 5.1 illustrates the technique of computing aperiodic and periodic ACF by the example of a binary sequence of length N ¼ 8fþ þ þ þ g. In the table the binary
Table 5.1 Computation of ACF of the sequence of length 8
m |
a0 |
a1 |
a2 |
a3 |
a4 |
a5 |
a6 |
a7 |
Ra(m) |
Rp(m) |
|
|
|
|
|
|
|
|
|
|
|
0 |
+ |
+ |
+ |
– |
– |
+ |
– |
– |
+8 |
+8 |
|
|
|
|
|
|
|
|
|
|
|
1 |
– |
+ |
+ |
+ |
– |
– |
+ |
– |
+1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
2 |
– |
– |
+ |
+ |
+ |
– |
– |
+ |
–2 |
–4 |
|
|
|
|
|
|
|
|
|
|
|
3 |
+ |
– |
– |
+ |
+ |
+ |
– |
– |
+1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
4 |
– |
+ |
– |
– |
+ |
+ |
+ |
– |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
5 |
– |
– |
+ |
– |
– |
+ |
+ |
+ |
–1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
6 |
+ |
– |
– |
+ |
– |
– |
+ |
+ |
–2 |
–4 |
|
|
|
|
|
|
|
|
|
|
|
7 |
+ |
+ |
– |
– |
+ |
– |
– |
+ |
–1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
code symbols þ1 and 1 are designated by just ‘þ’ and ‘ ’, respectively, as is usually done. Non-normalized ACF is presented and the shading marks the symbols that are ignored in the calculation of the aperiodic ACF. The results after normalization are also used in Figure 5.2, where the autocorrelation functions of the APSK signal with a rectangular chip of duration
1.0
0.8
0.6
0.4
0.2
0.0
–0.2
–0.4
0 |
2 |
4 |
6 |
8 |
10 |
12 |
14 |
16 |
|
|
|
|
τ/∆ |
|
|
|
|
Figure 5.2 Autocorrelation functions of the binary signal of length 8

142 |
Spread Spectrum and CDMA |
|
|
Dc ¼ D and the considered code sequence are built. The solid, dashed and dotted-dashed lines present the periodic ACF p ( ) and shifted copies a( ), a( T ) of the aperiodic ACF,
respectively. Certainly, the plots confirm the validity of (5.12) and (5.13).
When the CCF of two sequences of the discriminate between the aperiodic CCF a, kl
same length is calculated we again may (m) and the periodic one p, kl(m) found as:
|
|
|
8 kakkkal k i¼m ak;ial;i m; m 0 |
||||
a;kl |
m |
|
|
1 |
|
N 1 |
|
|
> |
|
|
P |
|
||
|
|
|
> |
|
|
N m 1 |
|
ð |
|
Þ ¼ |
> |
1 |
|
þ |
|
|
|
|
> |
|
|
||
|
|
|
< |
|
|
|
|
|
|
|
> kakkkal k |
i¼0 |
ak;ial;i m; m < 0 |
||
|
|
|
> |
|
|
P |
|
|
|
|
> |
|
|
|
|
|
|
|
> |
|
|
|
|
and: |
|
|
: |
|
|
|
|
|
|
|
|
|
|
1 |
N 1 |
|
|
|
|
|
|
|
X |
p;klðmÞ ¼ kakkkalk i¼0 ak;ial;i m
Equation (5.13) still stands for CCF:
p;klðmÞ ¼ a;klðmÞ þ a;klðm NÞ
ð5:14Þ
ð5:15Þ
ð5:16Þ
but as for the evenness or unity value at m ¼ 0, those, certainly, are no longer inherent features of an arbitrary CCF as they were of any ACF.
5.5 Correlation functions of FSK signals
Let us perform the same work as in the two previous sections but now in application to FSK signals. Following the definition of Section 5.2, a complex envelope of an FSK signal assumes the form:
_ |
1 |
_ |
|
SðtÞ ¼ |
X |
aiS0ðt iDÞ expðj2 FitÞ |
ð5:17Þ |
|
i¼ 1
where in the case of a periodic signal all ai equal one, while for a pulse signal of length N ai ¼ 1, 0 i < N and ai ¼ 0 beyond the range 0 i < N.
Regardless of the periodicity or finiteness of the signal, we again, with the same reasoning as before, may exploit a universal expression of ACF:
|
|
T |
|
ðt Þ dt |
|
|
ð Þ ¼ NE0 Z0 |
S_ðtÞS_ |
|
||||
|
1 |
|
|
|
|
|
¼ NE0 |
i |
0 |
k |
T |
S_0ðt iDÞS_0ðt kD Þ exp½ j2 ðFi FkÞt& dt |
|
aiak expðj2 Fk Þ Z |
||||||
1 |
N 1 |
1 |
|
|
||
|
|
X X |
|
|
||
|
|
¼ |
|
¼ 1 |
0 |
|

Discrete spread spectrum signals |
143 |
|
|
where use is made of the fact that all chips with non-zero amplitudes now have equal energies E0, i.e. kak2¼ N and E ¼ NE0.
It is typical of FSK modulation to use a uniform frequency alphabet so that Fi 2 f0, F, 2F, . . .g, where the frequency step F is no smaller than the chip bandwidth. Thus, the spectra of two chips having frequencies Fi and Fk do not overlap and the chips are orthogonal independently of their time mismatch (see Section 4.4), whenever Fi 6¼Fk. Allowing for this fact, we arrive at:
1 |
|
1 |
N 1 |
|
|||
|
|
X X |
|
||||
ð Þ ¼ |
N |
k¼ 1 i¼0 |
aiak expð j2 Fk Þ ðFi FkÞ c½ ði kÞD& |
|
|||
1 |
|
1 |
|
N 1 |
|
||
|
|
X |
|
X |
|
||
¼ |
N |
m0 |
¼ 1 |
i |
aiai m0 expð j2 Fi Þ ðFi Fi m0 Þ cð m0DÞ |
ð5:18Þ |
|
|
|
0 |
|
||||
|
|
|
¼ |
|
|
where c( ) is, as before, chip ACF and:
ð |
|
|
Þ ¼ |
|
0; x 6¼y |
x |
|
y |
|
|
1; x ¼ y |
Unlike APSK signals, ACF (5.18) in the general case cannot be further simplified to a form similar to (5.5). It is common practise to analyse the behaviour of the ACF of FSK signals primarily at the delays, which are multiples of the chip duration: ¼ mD, where m is integer. Assuming that the integer number of periods l of each frequency fits in the chip duration (FD ¼ l) and taking into account that c(0) ¼ 1, c( ) ¼ 0, j j D,
substitution of ¼ mD into (5.18) |
leaves only one non-zero |
addend of the sum |
|
in m corresponding to m0 ¼ m, so that: |
|
||
1 |
N 1 |
|
|
ðmDÞ ¼ |
|
X |
|
N |
i¼0 aiai m ðFi Fi mÞ |
ð5:19Þ |
When the signal is finite and m 0, all summands possessing indexes beyond the range m, m þ 1, . . . , N 1 disappear, and the aperiodic ACF of the FSK signal(mD) ¼ a(m) assumes the form:
1 |
N 1 |
|
|
|
|
X |
|
aðmÞ ¼ |
N |
i¼m ðFi Fi mÞ; m 0; að mÞ ¼ aðmÞ |
ð5:20Þ |
where complex conjugation in the second equation (expressing evenness) is needless, since (mD) is always real-valued.
In the case of signal periodicity no zero products aiai m enter the sum of (5.19) and the periodic ACF of the signal in question (mD) ¼ p(m) looks as follows:
1 |
N 1 |
|
|
|
|
X |
|
pðmÞ ¼ |
N |
i¼0 ðFi Fi mÞ |
ð5:21Þ |

144 |
Spread Spectrum and CDMA |
|
|
The sums in (5.20) and (5.21) just accumulate the number of coincident frequencies in the FSK signal and its replica time-shifted by m chip positions. Therefore, to compute ACF of an FSK signal at the point mD, it is quite enough to count the number of pairs fFi, Fi mg with equal Fi and Fi m, where i runs over the ranges fm, m þ 1, . . . , N 1g (aperiodic ACF, m 0) or f0, 1, . . . , N 1g (periodic ACF). Clearly, equation (5.13), linking together periodic and aperiodic ACF, remains valid for FSK signals.
One widely used way to represent an FSK signal is as an M N array where the horizontal and vertical directions are assigned to time and frequency, respectively, and M is the size of the frequency alphabet (i.e. the number of frequencies used in modulation). In the ith vertical column of this array only a single entry is labelled (e.g. by a point or shading), which corresponds to a frequency of an ith chip. Then to calculate aperiodic ACF at any specific m we just sum the number of labelled pairs along all rows having distance m and normalize the result if necessary. If periodic ACF is of interest, the sums above obtained for m and N m should be summed together.
Example 5.5.1. Figure 5.3 shows the modulation law of an FSK signal of length N ¼ 8 with
7
P
N ¼ 8, M ¼ 5. Its non-normalized aperiodic ACF Ra(m) ¼ (Fi Fi m ) has values 8, 1, 1, 0,
i¼m
Figure 5.3 FSK signal with N ¼ 8, M ¼ 5
1, 0, 0, 0 corresponding to m ¼ 0, 1, . . . , 7, since there is one labelled pair along one line at distance 1, one such pair at distance 2, etc. Directly from (5.13), the values of non-normalized periodic ACF may be found as 8, 1, 1, 0, 2, 0, 1, 1.
Generalization of results (5.19) and (5.20) onto CCF can be done without trouble merely by adjusting the designations:
|
|
8 N i¼m ðFk;i Fl;i mÞ; m 0 |
|
|||||
|
|
|
1 |
N 1 |
|
|
|
|
a;kl |
m |
> |
|
|
P |
|
|
5:22 |
|
|
> |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
ð |
Þ ¼ |
> |
|
|
|
|
|
ð Þ |
|
|
> |
1 |
N m |
1 |
|
||
|
|
< |
þ |
|
|
|||
|
|
> |
|
i |
0 |
ðFk;i Fl;i mÞ; m < 0 |
|
|
|
|
N |
|
|||||
|
|
> |
|
|
¼ |
|
|
|
|
|
> |
|
|
P |
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
: |
N 1 |
|
|
|
||
|
|
1 |
|
|
|
|||
|
|
|
X |
|
|
|
||
p;klðmÞ ¼ |
N |
i¼0 ðFk;i Fl;i mÞ |
ð5:23Þ |