m
p,q
p,q
p,q
_
,
p,q
0, (1)
where () is the gamma function [16, Eq. (8.310.1)], m
p,q
1/2 is the Nakagami-m fading parameter,
p,q
= P
p
|h
p,q
|
2
/
2
is the instantaneous signal to noise ratio (SNR), P
p
{P
s
, P
r
} is the power transmitted
by source or relay with P
s
= P
1
and P
r
= P
2
, h
p,q
is a zero-mean Nakagami-m channel coefcient,
2
is
the variance of the additive white Gaussian noise (AWGN), and
p,q
= P
p
2
p,q
/
2
is the average SNR over
the link between p and q terminals in the cooperative system, where
2
p,q
= E {|h
p,q
|
2
} is channel variance
and E {} represents expectation. If we represent the source by s, the relay by r, and the destination by
d, then (p, q) {(s, d) , (s, r) , (r, d)}. The channel of each link is assumed to be a block fading channel,
which remains constant for at least three consecutive time intervals and all the channel coefcients are
assumed to be independent of each other. It is assumed that all three links are perturbed by different
carrier offsets
p,q
= 2f
p,q
T
s
[17], where f
p,q
is the physical carrier frequency offset (CFO) in Hertz,
f
p,q
[1/ (2T
s
) , 1/ (2T
s
)), and T
s
is the sampling period in seconds. Apparently,
p,q
[, ) and
the maximum value of
p,q
corresponds to the offset of 50% of the carrier. We assume that the carrier
offsets
p,q
are random and uniformly distributed over [, ), however, in general, there is no restriction
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 5
over the probability distribution of the carrier offsets and they could have any probability distribution.
We have assumed that these carrier offsets remain xed for at least three consecutive time intervals. The
presence of carrier offsets makes all three block-fading channels behave as time-varying channels, which
do not remain stationary over two consecutive time intervals. Since the phase term e
p,qn
is multiplied
with the channel coefcient h
p,q
, and the result is time-varying even though
p,q
and h
p,q
stays constant
for the same three consecutive time instants.
B. Double-Differential Modulation [8][11]
Let z [n] denote the symbols belonging to the unit-norm M-PSK constellation A to be transmitted at
the time n. In a DD modulation based system [8][11], the transmitted signal v [n] is obtained from z [n]
as shown in Fig. 2 (a):
p [n] =p [n 1] z [n] ,
v [n] =v [n 1] p [n] , n = 2, 3, . . . , (2)
with v [0] = v [1] = p [1] = 1. As |z [n] | = 1 for the unit-norm M-PSK symbols, it follows from (2) that
|v [n] | = |p [n] | = 1. We consider a at fading SISO channel with carrier offset described by
x[n] =
he
n
v [n] + e [n] , n = 0, 1, . . . , (3)
where x[n] is the received signal, is the transmitted signal power, h is the channel gain, e [n] is complex-
valued AWGN noise, and [, ) is the unknown frequency offset. The receiver makes a decision
variable, d[n] = X[n]X
[n 1]z
} . (4)
The decoding of (4) corresponds to maximum-likelihood decoding (MLD) in [9] under the assumption that
the product of two zero-mean white circularly symmetric Gaussian noise terms in the decision variable
is also zero-mean white circularly symmetric Gaussian.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 6
III. DOUBLE-DIFFERENTIAL MODULATION FOR AAF COOPERATIVE COMMUNICATION SYSTEM
If we use DD modulation in the cooperative communication system, the data received during the rst
phase at the destination is
x
s,d
[n] =
_
P
1
h
s,d
e
s,d
n
v [n] + e
s,d
[n] , n = 0, 1, . . . , (5)
and at the relay is
x
s,r
[n] =
_
P
1
h
s,r
e
s,rn
v [n] + e
s,r
[n] , n = 0, 1, . . . , (6)
where P
1
is the power transmitted by the source, h
s,d
and h
s,r
are the channel gains, and
s,d
and
s,r
are the carrier offsets between source and destination, and source and relay, respectively, and e
s,d
[n] and
e
s,r
[n] are complex-valued circular symmetric AWGN noise on the two links. During the second phase,
the relay amplies the received data of (6) and retransmits such that the received signal by the destination
in the second phase is:
x
r,d
[l] =
_
P
2
h
r,d
e
r,d
l
x
s,r
[l] + e
r,d
[l] , l = 0, 1, . . . , (7)
where l is the time index which is used in the place of n to show the difference in time of rst and
second phases, h
r,d
is the channel gain,
r,d
is the carrier offset between relay and destination, e
r,d
[l] is
the AWGN noise, and
P
2
is the amplication factor which ensures constant average transmission power
during the second phase. It can be seen from (6) that the average power of x
s,r
[l] is P
1
2
s,r
+
2
, where
2
s,r
is variance of h
s,r
, hence,
P
2
is given by
P
2
=
P
2
P
1
2
s,r
+
2
, (8)
where P
2
is the average power transmitted by the relay. It is also assumed that P
1
+P
2
= P, where P is
the total transmitted power.
Next, we propose the following maximal ratio combining (MRC) [18] based scheme for a DDAAF
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 7
receiver
d [k] =
1
(x
s,d
[n] x
s,d
[n 1])(x
s,d
[n 1] x
s,d
[n 2])
+
2
(x
r,d
[l] x
r,d
[l 1])(x
r,d
[l 1] x
r,d
[l 2])
, (9)
where k = n = l, i.e., the data received by the destination during the same time interval with respect to
the beginning of the each phase is combined, and
1
and
2
are given by
1
=
1
_
2P
1
|h
s,d
|
2
+
2
_
2
, (10)
and
2
=
_
P
1
2
s,r
+
2
_
2
, (11)
where
=2P
1
P
2
2
|h
r,d
|
4
|h
s,r
|
2
2
+ 2P
1
P
2
_
P
1
2
s,r
+
2
_
|h
r,d
|
2
|h
s,r
|
2
2
+ P
2
2
|h
r,d
|
4
4
+ 2P
2
_
P
1
2
s,r
+
2
_
|h
r,d
|
2
4
+
_
P
1
2
s,r
+
2
_
2
4
. (12)
The normalization factors can be found as
1
= 1/E
1
and
2
= 1/E
2
, where E
1
and E
2
are the average
noise powers of X
s,d
[n] = x
s,d
[n] x
s,d
[n 1] and X
r,d
[n] = x
r,d
[n] x
r,d
[n 1], respectively. However, as
we intend to use DD modulation, the destination and relay are not expected to have knowledge of the exact
channel coefcients, therefore, we can use emulated maximum ratio combining (EMRC) by replacing the
channel coefcients |h
s,r
|
2
, |h
r,d
|
2
, and |h
s,d
|
2
by their variances
2
s,r
,
2
r,d
, and
2
s,d
, respectively, in (10)
and (11). Then, the data is decoded as
z [n] = arg max
zA
Re {d [k] z
} , (13)
where n = k. It is shown by simulation in Subsection VI-B that the EMRC scheme performs very close
to the MRC scheme from moderate to high SNR. Hence, the approximation of using the variances in the
place of instantaneous channel values is reasonable from moderate to high SNR.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 8
IV. BER PERFORMANCE ANALYSIS
The EMRC obtained by replacing channel gains by their variances in (9) will perform worse than the
ideal MRC scheme given by (9), (10), and (11) [18]. For simplicity we assume that the instantaneous
signal to noise ratio (SNR) of the EMRC scheme is
=
s,d
+
s,r,d
, (14)
where
s,d
and
s,r,d
are the instantaneous SNRs of the direct link between source and destination (s, d),
and cooperative link between source and destination through relay (s, r, d), respectively. This assumption
is justied by the simulation results in Subsection VI-B as the EMRC scheme performs close to the ideal
MRC scheme.
A. Analogy between Double-Differential and Single-Differential Modulation
In single-differential modulation, p[n] is obtained from z[n] as shown in the rst line of (2) with
p[0] = 1. The received data when p[n] was sent over a channel h without carrier offset is
x[n] =
[n 1]z
} . (16)
It can be seen by comparing (4) and (16) that the decoding of double-differentially modulated signal
depends upon X[n] in the similar manner as the decoding of single-differentially modulated signal depends
upon x[n]. Therefore, we can approximate the performance of DDMPSK by the BER expressions of
DMPSK with the SNR of X[n] under the assumption that the product of two zero-mean white circularly
symmetric Gaussian noise terms in X[n] is also zero-mean white circularly symmetric Gaussian. This
connection is shown in more detail in [8], [10], [11]. It can be shown using (3) that
X[n] = e
|h|
2
p[n] +
he
n
v[n]e
[n 1] +
e
n
v
[n 1]e[n] + e[n]e
[n 1]. (17)
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 9
From (17), we can nd the SNR of X[n] as
E
s
E
N
=
2 + (
)
1
, (18)
where E
s
is the signal power, E
N
is the total noise power, and
2 + (
)
1
2
1
4
. (19)
As a cross-check, we have compared the exact and approximate SNRs in Fig. 3, and it is satisfying to
see that the approximate SNR follows closely the exact one for
values
of most practical interest.
B. Average BER of DDAAF system
From (6), (7), and (8), it can be shown that the SNR of the cooperative link between source and
destination through relay (s, r, d) under double-differential modulation is given by
s,r,d
=
P
2
1
P
2
2
|h
s,r
|
4
|h
r,d
|
4
, (20)
where is dened in (12). After some manipulations it can be shown that
s,r,d
=
s,r,d
2 + (
s,r,d
)
1
s,r,d
2
1
4
, (21)
where
s,r,d
=
P
1
P
2
|h
s,r
|
2
|h
r,d
|
2
_
P
1
2
s,r
+ P
2
|h
r,d
|
2
+
2
_
2
. (22)
It can be seen from [19, Eq. (6)], that
s,r,d
is the instantaneous SNR of a dual-hop xed gain relay
transmission scheme. Let
s,d
=
P
1|h
s,d|
2
2
,
s,r
=
P
1
|hs,r|
2
2
,
r,d
=
P
2|h
r,d|
2
2
,
s,d
=
P
1
2
s,d
2
,
s,r
=
P
1
2
s,r
2
, and
r,d
=
P
2
2
r,d
2
. It can be seen from (1), that for Nakagami-m independent fading channels, |h
s,d
|
2
, |h
s,r
|
2
,
and |h
r,d
|
2
are independent gamma random variables [20] with parameters
_
m
s,d
, 1/
2
s,d
_
,
_
m
s,r
, 1/
2
s,r
_
,
and
_
m
r,d
, 1/
2
r,d
_
, respectively.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 10
Theorem 1: The p.d.f. of
s,r,d
can be written as
f
s,r,d
()
=
2
ms,r1
(m
s,r
) (m
r,d
)
_
m
s,r
2
P
1
2
s,r
_
ms,r
_
m
r,d
2
P
2
2
r,d
_
m
r,d
exp
_
m
s,r
P
1
2
s,r
_
k=0
_
_
(1)
k
[m
s,r
]
k
k!
_
P
1
2
s,r
+
2
2
_
k
_
m
s,r
_
P
1
2
s,r
+
2
_
P
2
2
r,d
m
r,d
P
1
2
s,r
2
_
m
r,d
k
2
K
m
r,d
k
_
2
m
s,r
m
r,d
_
P
1
2
s,r
+
2
_
P
1
P
2
2
s,r
2
r,d
__
, (23)
where K
() denotes -th order modied Bessel function of second kind [21, Eq. (9.6.2)], []
k
is Pochham-
mers symbol [21, Eq. (6.1.22)], and the values of m
s,r
and m
r,d
can be non-integer with m
s,r
, m
r,d
1
2
.
Proof: Theorem 1 can be proved with the help of results given in [22, Section III] and Gauss
Hypergeometric series [21, Eq. (15.1.1)].
It can be seen from (18) and (19), that the SNR of the direct link from source to destination under DD
modulation can be expressed as
s,d
s,d
2
1
4
, (24)
where
s,d
is the SNR of the link under single-differential modulation.
From the analogy between double and single-differential modulation in Subsection IV-A, it follows that
the approximate BER expressions of DD modulation can be obtained by replacing the SNR of the single-
differential system by the SNR of the DD system. For a single-differential BPSK using two independent
(but not identically) distributed channels, the BER conditioned on =
s,d
+
s,r,d
, is given by [23,
Eq. (12.1.13)] as
P
b
() =
1
8
(4 + ) exp (). (25)
Substituting the values of ,
s,r,d
, and
s,d
from (14), (21), and (24), respectively, in (25) we can have
the BER for DDAAF system as
P
b
(h
s,d
, h
s,r
, h
r,d
) =
1
8
_
7
2
+
s,d
+
s,r,d
_
e
1
2
e
(
s,d
+
s,r,d)
. (26)
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 11
It can be noticed from Subsections IV-A and IV-B that for obtaining (26) we have taken the following
approximations: The instantaneous SNR of EMRC scheme is assumed to be equal to the instantaneous
SNR of MRC scheme, the product of two noise terms in X
s,d
[n] and X
r,d
[n] is assumed to be zero-mean
white circularly symmetric Gaussian, and the high SNR approximations for
s,r,d
and
s,d
given in (21)
and (24), respectively, are assumed.
Theorem 2: The approximate BER of the DDAAF system with BPSK modulation averaged over all
channel can be written as
P
b
=
exp
_
1
2
_
16
{7P
b1
P
b2
+ P
b2
P
b3
+ P
b1
P
b4
} , (27)
where
P
b1
=
1
(m
r,d
)
_
m
s,r
2
P
1
2
s,r
_
ms,r
1
2
_
m
r,d
2
P
2
2
r,d
_
m
r,d
1
2
exp
_
m
s,r
m
r,d
_
P
1
2
s,r
+
2
_
2
P
2
2
r,d
_
2m
s,r
2
+ P
1
2
s,r
_
_
k=0
_
_
(1)
k
[m
s,r
]
k
k!
_
m
s,r
_
2
+ P
1
2
s,r
_
P
2
2
r,d
m
r,d
P
1
2
s,r
2
_
m
r,d
k
2
_
2m
s,r
2
+ P
1
2
s,r
2P
1
2
s,r
_
k+1m
r,d
2ms,r
2
(m
s,r
+ m
r,d
k)
_
2
+ P
1
2
s,r
2
_
k
1
2
W1+k2ms,rm
r,d
2
,
m
r,dk
2
_
2m
s,r
m
r,d
_
P
1
2
s,r
+
2
_
2
P
2
2
r,d
_
2m
s,r
2
+ P
1
2
s,r
_
__
, (28)
P
b2
=
_
2m
s,d
2
2m
s,d
2
+ P
1
2
s,d
_
m
s,d
, (29)
P
b3
=
(m
s,r
+ 1)
(m
s,r
) (m
r,d
)
_
m
s,r
2
P
1
2
s,r
_
ms,r
1
2
_
m
r,d
2
P
2
2
r,d
_
m
r,d
1
2
exp
_
m
s,r
m
r,d
_
P
1
2
s,r
+
2
_
2
P
2
2
r,d
_
2m
s,r
2
+ P
1
2
s,r
_
_
k=0
_
_
(1)
k
[m
s,r
]
k
k!
_
m
s,r
_
2
+ P
1
2
s,r
_
P
2
2
r,d
m
r,d
P
1
2
s,r
2
_
m
r,d
k
2
_
2m
s,r
2
+ P
1
2
s,r
2P
1
2
s,r
_
km
r,d
2ms,r1
2
(m
s,r
+ m
r,d
k + 1)
_
2
+ P
1
2
s,r
2
_
k
1
2
Wk2ms,rm
r,d
1
2
,
m
r,dk
2
_
2m
s,r
m
r,d
_
P
1
2
s,r
+
2
_
2
P
2
2
r,d
_
2m
s,r
2
+ P
1
2
s,r
_
__
,
(30)
P
b4
=
(m
s,d
+ 1)
(m
s,d
)
2 (2m
s,d
2
)
m
s,d
P
1
2
s,d
_
2m
s,d
2
+ P
1
2
s,d
_
m
s,d
+1
, (31)
where W
,
() represents Whittaker function [16, Eq. (9.220.4)].
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 12
Proof: Eq. (26) can be averaged over all the channels as follows:
P
b
=
e
1/2
16
_
7
_
0
e
2
f
s,r,d
() d
_
0
e
2
f
s,d
() d +
_
0
e
2
f
s,r,d
() d
_
0
e
2
f
s,d
() d
+
_
0
e
2
f
s,r,d
() d
_
0
e
2
f
s,d
() d
_
. (32)
Each integeral in (32) can be represented by P
bi
, i {1, 2, 3, 4} as shown by (27). These integrals can
be solved by introducing another integration variable and [16, Eqs. (3.478.1) and (6.631.3)].
Corollary 1: The approximate BER of binary cooperative system with double-differential modulation
over Rayleigh channels is given as
P
b
=
exp ( + 0.5)
16
_
56
6
+ 36P
1
2
s,d
4
_
2
2
+ P
1
2
s,d
_
2
_
2
2
+ P
1
2
s,r
_
W
1,0.5
(2)
+
2
_
2
+ P
1
2
s,r
_
1/2
_
28
5
+ 18P
1
2
s,d
3
_
P
2
r,d
_
2
2
+ P
1
2
s,d
_
2
_
2
2
+ P
1
2
s,r
_
1/2
W
0.5,0
(2)
+
16P
1
2
s,r
4
_
2
2
+ P
1
2
s,r
_
2
_
2
2
+ P
1
2
s,d
_
W
2,0.5
(2)
+
4
2P
1
2
s,r
4
_
2
+ P
1
2
s,r
_
1/2
P
2
r,d
_
2
2
+ P
1
2
s,r
_
3/2
_
2
3
+ P
1
2
s,d
_
W
1.5,0
(2)
_
, (33)
where
=
_
2
+ P
1
2
s,r
_
2
P
2
2
r,d
_
2
2
+ P
1
2
s,r
_.
Proof: Substituting m
s,d
= m
s,r
= m
r,d
= 1 in (27) and after some manipulations we can obtain (33).
Let us consider a symmetric case when P
1
= P
2
= P,
s,r
=
r,d
=
s,d
=
s
, and the SNR of each
link is
s
= P
2
s
/
2
. From [21, Eq. (13.1.33)], the Whittaker function can be expressed as
W
,
(z) = e
z
z
+0.5
U (0.5 + , 1 + 2, z) , (34)
where U (, , ) is the conuent hypergeometric function of second kind. If
s
, (33) can be written
using (34) as
P
b
exp (1/2)
16
_
36
3
s
U
_
2, 2, 2
1
s
_
+ 18
2
2
s
U
_
1, 1, 2
1
s
_
+16
3
s
U
_
3, 2, 2
1
s
_
+ 4
2
2
s
U
_
2, 1, 2
1
s
_
_
. (35)
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 13
At high SNR, the probability of error of the DDAAF system can be further approximated by using [21,
Eqs. (13.5.7) and (13.5.9)] as
P
b
2
s
, (36)
where is a positive constant which is independent of
s
. It can be seen from (36) that lim
s
2
s
= 0,
therefore, the DDAAF system achieves diversity of the order of two over the Rayleigh channel.
The approximate BER of DDAAF with M-PSK, M > 2 can also be found using the analogy we have
developed in Subsection IV-A. With the help of [23, Eq. (B.21)], valid for single-differential modulation,
the BER of DDAAF with M-PSK conditioned on the channels can be written as
P
b
() =
1
16
_
2 and r =
_
2 +
u()M
s,d
(v()) M
s,r,d
(v()) d, (40)
where M
s,r,d
(v()) =
1
(m
r,d
)
_
m
s,r
2
P
1
2
s,r
_
ms,r
1
2
_
m
r,d
2
P
2
2
r,d
_
m
r,d
1
2
exp ()
k=0
_
_
(1)
k
[m
s,r
]
k
k!
_
m
s,r
_
2
+ P
1
2
s,r
_
P
2
2
r,d
m
r,d
P
1
2
s,r
2
_
m
r,d
k
2
_
2m
s,r
2
+ P
1
2
s,r
v()
2P
1
2
s,r
_
k+1m
r,d
2ms,r
2
(m
s,r
+ m
r,d
k)
_
2
+ P
1
2
s,r
2
_
k
1
2
W1+k2ms,rm
r,d
2
,
m
r,dk
2
(2)
_
, (41)
where
=
P
1
2
s,r
_
4m
s,r
m
r,d
+ P
2
2
s,r
v
2
()
_
+ 2m
s,r
2
_
2m
r,d
2
+ P
2
2
r,d
v()
_
4P
2
2
r,d
_
2m
s,r
2
+ P
1
2
s,r
v()
_ .
Proof: From the analogy between double and single-differential systems in Subsection IV-A, it is
clear that the M.G.F. of
s,r,d
can be obtained by using the formulations of single-differential modulation.
Hence, using (21) and (23), the M.G.F. of
s,r,d
can be written as
M
s,r,d
(v()) =
_
0
exp
_
2
1
4
_
v()
_
f
s,r,d
()d. (42)
The integral of (42) can be solved by introducing another integration variable and [16, Eqs. (3.478.1) and
(6.631.3)].
The M.G.F. of
s,d
can be expressed as
M
s,d
(v()) =
_
_
2m
s,d
2
exp
_
v()
4m
s,d
_
2m
s,d
2
+ P
1
2
s,d
_
_
m
s,d
. (43)
A derivation of (43) is provided in Appendix I. It is very difcult to solve the integral in (40) and nd
a closed-form solution. However, we can obtain an upper bound of the BER of the DDAAF system with
M-PSK constellation.
Corollary 2: The approximate BER of the DDAAF system using M-PSK constellation can be upper
bounded as
P
b
1
8
uM
s,d
( v) M
s,r,d
( v) , (44)
where u = (1 + )
3
/[(1 )] and v = r
2
(1 )
2
/2.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 15
See Appendix II for a proof of Corollary 2.
Let us summarize the analytical results found for DDAAF system in this section. Theorem 1 provides
the p.d.f. of the cooperative link from the source to the destination through the relay under general (integer
and non-integer values of m) Nakagami-m fading. Theorem 2 suggests approximate analytical BER of
DDAAF system with BPSK constellation under Nakagami-m fading. For nding BER expressions, we
have assumed that higher order noise terms in X
s,d
[n] and X
r,d
[n] are zero-mean white circularly symmetric
Gaussian and made high SNR approximations for
s,r,d
and
s,d
given in (21) and (24), respectively. The
BER of DDAAF system under Rayleigh fading with BPSK constellation is given by Corollary 1. The
MGF of the cooperative link under Nakagami-m fading with M-PSK constellation is given by Theorem 3.
Corollary 2 provides an upper bound of the BER of the DDAAF system under Nakagami-m fading with
M-PSK signal constellation.
V. IMPLEMENTATION OF TRAINING BASED COOPERATIVE SYSTEM
In this section, we will show how to implement a trained amplify based cooperative system for
comparison with the proposed DDAAF system. Let us assume that the trained decoder at the destination
utilizes the two initialization symbols as training data, and estimates the carrier offsets and channels using
the following maximum likelihood estimators [17, Eqs. (9.7.27) and (9.7.28)]:
= arg {x[1]x
[0]} ,
h =
1
2
(x[0] + exp(2 )x[1]) , (45)
where arg {} provides angle of the complex scalar and ()
s,d
2
exp(2
s,d
)y
s,d
[n] +
s,r,d
E
N
exp(2
s,r,d
)y
r,d
[m], k = n = m, (46)
where h
s,r,d
is the effective channel over the cooperative link (s, r, d),
s,r,d
is the effective carrier
offset introduced by the cooperative link, and y
s,d
[n] and y
r,d
[m] are the data received due to the direct
transmission and relayed transmission, respectively, and E
N
is the total noise power in y
r,d
[m], which is
given by
E
N
=
_
P
1
2
s,r
+ P
2
|h
r,d
|
2
+
2
_
2
P
1
2
s,r
+
2
. (47)
From (47), it can be seen that E
N
contains |h
r,d
|
2
. However, it is difcult to estimate h
r,d
separately as it
can be seen from (7), that the relay transmits an amplied version of the received signal corresponding
to the training data transmitted by the source. As the channel statistics vary far more slowly than the
channel coefcients, we can assume that the destination has a perfect knowledge of
2
r,d
. Therefore, the
trained decoder can obtain the decision variable by replacing |h
r,d
|
2
by
2
r,d
in (47). In addition, it can
also be assumed that relay and destination has perfect knowledge about
2
s,r
,
2
, P
1
, and P
2
.
In [24], channel estimation over a single cooperative link between the source and the destination through
the relay using amplify-and-forward protocol is studied. It is assumed in [24] that there is no direct link
between the source and the destination. However, the proposed training based cooperative system is more
general than [24], since we also consider a direct link between the source and the destination.
VI. ANALYTICAL AND EXPERIMENTAL PERFORMANCE EVALUATION OF THE DDAAF SYSTEM
All the simulations are achieved by 10
6
channel realizations.
A. Comparisons with Direct Transmission and Conventional Differential Cooperative System [4]
Fig. 4 shows the comparison of the performance of the proposed DDAAF based cooperative scheme,
the DD direct transmission, and previously proposed single-differential amplify-and-forward cooperative
scheme [4] for Rayleigh fading channels, i.e., m
s,d
= m
s,r
= m
r,d
= 1 and BPSK constellation. All the
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 17
links are assumed to be perturbed by different random carrier offsets uniformly distributed over [, ).
It is seen from Fig. 4 that the proposed DDAAF scheme outperforms the direct DD transmission at all
SNRs. It can be seen from Fig. 4 that the proposed scheme has higher diversity as compared to the direct
transmission scheme and a performance gain of more than 5 dB is observed at SER=10
2
. It can also be
observed that there is a collapse in the performance of the conventional differential scheme [4], because
of the random carrier offsets.
B. Comparison of Analytical and Experimental Performance
Fig. 5 shows the analytical and experimental performance of the proposed DDDAF based cooperative
scheme with random carrier offsets. We have plotted the approximate analytical BER (26) for BPSK
constellation, P
1
/P = P
2
/P = 0.5,
2
s,d
=
2
s,r
=
2
r,d
= 1, and m
s,d
= m
s,r
= m
r,d
{1, 1.5, 2, 3}. The
simulation results of the proposed DDAAF scheme are shown under the same conditions. From Fig. 5,
it is seen that the experimental data closely follows the analytical results from moderate to high SNR
values. Hence, this justies the assumption taken in (14) and (19).
C. Power Allocation for DDAAF System
It can be seen from (27) that the BER of the DDAAF system depends nonlinearly upon P
1
and P
2
.
Therefore, using the power constraint P
1
+P
2
= P, we can obtain the values of P
1
and P
2
which minimize
the BER. We have calculated the power distribution for SNR = 20 dB by numerically minimizing (27)
subject to the power constraint P = P
1
+ P
2
= 2,
2
s,d
=
2
s,r
= 1, and
2
r,d
= 10. Fig. 6 shows the
performance of the proposed DDAAF scheme using uniform and numerically calculated power allocation
over Nakagami-m channels with m {1, 2}. It can be seen from Fig. 6, that the DDAAF scheme with
optimized power distribution outperforms the DDAAF scheme with uniform power distribution P
1
= P
2
=
0.5P.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 18
D. Comparison of DDAAF with Trained Cooperative System
Fig. 7 shows the comparison of the proposed DDAAF system with the trained cooperative system from
Section V. The simulations are performed using the QPSK constellation, P
1
= P
2
= 1, and Rayleigh
fading channels with
2
s,d
=
2
s,r
=
2
r,d
= 1. It can be seen that the proposed DDAAF system outperforms
the trained cooperative system of Section V for all SNR values. The upper bound of the BER of the
proposed DDAAF system is calculated from (44) and is also plotted in Fig. 7. We have also numerically
calculated the power distribution P
1
= 0.69P, P
2
= 0.31P, which minimizes the upper bound of (44) at
SNR = 20 dB. It can be seen that the DDAAF system with optimized power distribution performs better
than the one with uniform power distribution. The performance of an AAF system with perfect channel
state information (CSI) and perfect carrier offset knowledge (COK) at the relay and the destination is also
shown in Fig. 7. It can be seen from Fig. 7 that the proposed DDAAF system performs approximately
7.5 dB poorer than the ideal AAF system at BER of 10
2
. However, with optimized power allocation,
1 dB improvement can be obtained at BER of 10
2
, as shown in Fig. 7.
VII. CONCLUSIONS
We have implemented double-differential modulation in cooperative communication system with amplify-
and-forward protocol. The proposed double-differentially modulated cooperative system can overcome the
problem of carrier offsets in Nakagami-m fading channels. Our scheme performs well in the practical
scenario, where the conventional differential modulation schemes fail. With our scheme the users are still
able to decode their data without knowing the channel gains or carrier offsets. We have also performed
the BER analysis to predict the behavior of the cooperative system. In addition, we have done a numerical
power allocation based on this analysis to further improve the performance of the system. The proposed
double-differential system also outperforms the similar rate trained cooperative system.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 19
APPENDIX I
PROOF OF (43)
From (1), (24), and using the analogy between double and single-differential systems in Subsection IV-
A, the M.G.F. of
s,d
can be written as
M
s,d
(v()) =
_
0
exp
_
2
1
4
_
v()
_
f
s,d
()d. (48)
The integral of (48) can be solved with the help of [16, Eqs. (3.351.3)].
APPENDIX II
PROOF OF COROLLARY 2
In order to obtain an upper bound of BER, we need to maximize u() and minimize v() with respect
to (w.r.t.) . It can be observed from (39) that v() has its minimum value at =
2
. To maximize u()
we need to nd the rst order derivative of u() w.r.t. and equate it to zero. The rst order derivative
of u() can be written as
u()
=
(1
2
)
a
_
2
_
1 +
2
_
sin (2) 4 sin sin(2) ( + 1/) cos
+2 ( + 1/ 1) sin cos
_
2
+ 7
_
cos 2 cos cos (2)
, (49)
where a = (1 + 2 sin +
2
)
2
. It can be seen from (49) that u() is maximized at =
2
. The
maximization can be veried by plotting u() verses graph. Therefore, the upper bound over BER can
be obtained at =
2
. By substituting =
2
in (38) and (39), we obtain the values of u and v,
respectively. Then, from (40), (41), and (43), we can obtain (44).
REFERENCES
[1] A. Sendonaris, E. Erkip, and B. Aazhang, User cooperation diversity Part-I: System description, IEEE Trans. Commun., vol. 51,
no. 11, pp. 19271938, Nov. 2003.
[2] A. Nosratinia, T. E. Hunter, and A. Hedayat, Cooperative communication in wireless networks, IEEE Commun. Mag., vol. 42, no. 10,
pp. 7480, Oct. 2004.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 20
[3] J. N. Laneman, D. N. C. Tse, and G. W. Wornell, Cooperative diversity in wireless networks: Efcient protocols and outage behaviour,
IEEE Trans. Inform. Theory, vol. 50, no. 12, pp. 389400, Dec. 2004.
[4] T. Himsoon, W. Su, and K. J. R. Liu, Differential transmission for amplify-and-forward cooperative communications, IEEE Signal
Process. Lett., vol. 12, no. 9, pp. 597600, Sep. 2006.
[5] H. Li and Q. Zhao, Distributed modulation for cooperative wireless communications, IEEE Signal Process. Mag., vol. 23, no. 5, pp.
3036, Sep. 2006.
[6] Q. Zhao and H. Li, Performance of differential modulation with wireless relays in Rayleigh fading channels, IEEE Commun. Lett.,
vol. 9, no. 4, pp. 343345, Apr. 2005.
[7] , Performance analysis of an amplify-based differential modulation for wireless relay networks under Nakagami-m fading
channels, Proc. IEEE Int. Workshop on Signal Process. Advances in Wireless Communications, pp. 211215, Jun. 2005, New York,
USA.
[8] M. K. Simon and D. Divsalar, On the implementation and performance of single and double differential detection schemes, IEEE
Trans. Commun., vol. 40, no. 2, pp. 278291, Feb. 1992.
[9] P. Stoica, J. Liu, and J. Li, Maximum-likelihood double differential detection claried, IEEE Trans. Inform. Theory, vol. 50, no. 3,
pp. 572576, Mar. 2004.
[10] M. K. Simon, S. M. Hinedi, and W. C. Lindsey, Digital Communication Techniques: Signal Design and Detection. NJ: Prentice-Hall,
1994.
[11] M. R. Bhatnagar and A. Hjrungnes, SER expressions for double differential modulation, Proc. IEEE Inform. Theory Workshop, pp.
203207, Jul. 2007, Bergen, Norway.
[12] Z. Liu, G. B. Giannakis, and B. L. Hughes, Double differential space-time block coding for time-selective fading channels, IEEE
Trans. Commun., vol. 49, no. 9, pp. 15291539, Sep. 2001.
[13] A. Cano, E. Morgado, A. Caamano, and J. Ramos, Distributed double-differential modulation for cooperative communications under
CFO, Proc. IEEE GLOBECOM, pp. 34473441, Nov. 2007, Washington, DC, USA.
[14] M. Nakagami, The m-distribution- A general formula of intensity distribution of rapid fading, in Statistical Methods in Radio Wave
Propagation, pp. 336, 1960, oxford, U.K.: Pergamon Press.
[15] M. K. Simon and M.-S. Alouini, Digital Communication over Fading Channels. New Jersey, USA: John Wiley & Sons, Inc., 2005.
[16] I. S. Grandshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, 6th ed. San Diego, CA, USA: Academic Press, 2000.
[17] E. G. Larsson and P. Stoica, Space-Time Block Coding for Wireless Communications. Cambridge, UK: Cambridge University Press,
2003.
[18] D. G. Brennan, Linear diversity combining techniques, Proc. IEEE, vol. 91, no. 2, pp. 331356, Feb. 2003.
[19] M. O. Hasna and M.-S. Alouini, A performance study of dual-hop transmissions with xed gain relays, IEEE Trans. Wireless
Commun., vol. 3, no. 6, pp. 19631968, Nov. 2004.
[20] A. Papoulis, Probability, Random Variables, and Stochastic Processes, 3rd ed. Singapore: McGraw-Hill Book Company, 1991.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 21
[21] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions. New York, USA: Dover Publications, Inc., 1972.
[22] T. A. Tsiftsis, G. K. Karagiannidis, P. T. Mathiopoulos, and S. A. Kotsopoulos, Nonregenerative dual-hop cooperative links with
selection diversity, EURASIP Journal on Wireless Comm. and Net., vol. 2006, no. 17862, pp. 18, May 2006.
[23] J. G. Proakis, Digital Communications, 4th ed. Singapore: McGraw-Hill, 2001.
[24] C. S. Patel and G. Stber, Channel estimation for amplify and forward relay based cooperation diversity systems, IEEE Trans. Wireless
Commun., vol. 6, no. 6, pp. 2348 2356, Jun. 2007.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 22
Destination
Relay
Source
, ,
,
s d s d
h
, ,
,
r d r d
h
, ,
,
s r s r
h
Fig. 1. Cooperative communication system with carrier offsets.
n z
d n
n z
n x
*
1 n X
*
1 n x
n X
1 n v
1 n p
n v
n p
1
z
*
( )
(a)
(b)
1
z
*
( )
1
z
1
z
MLD
Fig. 2. Double-differential (a) encoder and (b) decoder.
Final manuscript submitted to EURASIP Journal on Advances in Signal Processing on APRIL 3, 2008 23
0 5 10 15 20 25 30
10
5
0
5
10
15
20
25
30
[dB]
E
s
/
E
N
[
d
B
]
Exact
Approximate
Fig. 3. Comparison of approximate and exact SNR. SNR of DD system is represented by Es/EN and shown over y-axis and SNR of
single-differential system is represented by