Principle of Communications, Fall 2017
Lecture 02 Digital Modulation
I-Hsiang Wang
ihwang@ntu.edu.tw National Taiwan University 2017/9/14, 9/21, 9/27
Lecture 02 Digital Modulation I-Hsiang Wang ihwang@ntu.edu.tw - - PowerPoint PPT Presentation
Principle of Communications, Fall 2017 Lecture 02 Digital Modulation I-Hsiang Wang ihwang@ntu.edu.tw National Taiwan University 2017/9/14, 9/21, 9/27 Outline Digital-to-analog and analog-to-digital: a signal space perspective
Principle of Communications, Fall 2017
ihwang@ntu.edu.tw National Taiwan University 2017/9/14, 9/21, 9/27
2
3
passband waveform
Symbol Mapper Pulse Shaper Sampler + Filter Symbol Demapper
discrete sequence
Up Converter Down Converter
baseband waveform
Noisy Channel coded bits
{ci} {ˆ ci}
{um} {ˆ um} xb(t) yb(t)
y(t) x(t)
4
passband waveform
Symbol Mapper Pulse Shaper Sampler + Filter Symbol Demapper
discrete sequence
Up Converter Down Converter
baseband waveform
Noisy Channel coded bits
{ci} {ˆ ci}
{um} {ˆ um} xb(t) yb(t)
y(t) x(t)
5
passband waveform
Symbol Mapper Pulse Shaper Sampler + Filter Symbol Demapper
discrete sequence
Up Converter Down Converter
baseband waveform
Noisy Channel coded bits
{ci} {ˆ ci}
{um} {ˆ um} xb(t) yb(t)
y(t) x(t)
6
passband waveform
Symbol Mapper Pulse Shaper Sampler + Filter Symbol Demapper
discrete sequence
Up Converter Down Converter
baseband waveform
Noisy Channel coded bits
{ci} {ˆ ci}
{um} {ˆ um} xb(t) yb(t)
y(t) x(t)
7
8
x(t) → x[m] Analysis (waveform → sequence) Synthesis (sequence → waveform) x[m] → x(t) x[m] = 1 T
x(t)e− j2πm
T
t dt
x(t) =
∞
x[m]ej 2πm
T
t
x[m] = ∞
−∞
x(t) 1 √ T e− j2πm
T
t dt
x(t) =
∞
x[m] 1 √ T ej 2πm
T
t
φm ≡ φm(t) 1 √ T exp(j2π T mt), m ∈ Z, Fourier Basis:
φ∗
m(t)
φm(t)
9
x(t) → x[m] Analysis (waveform → sequence) Synthesis (sequence → waveform) x[m] → x(t) Sinc Basis:
φ∗
m(t)
φm(t)
x[m] = x(t)|t= m
2W = x
m 2W
∞
x[m] sinc(2Wt − m) x[m] = 1 √ 2W x(m/2W) x(t) =
∞
x[m] √ 2Wsinc(2Wt − m) = ∞
−∞
x(t) √ 2Wsinc(2Wt − m) dt
check!
φm ≡ φm(t) √ 2Wsinc(2Wt − m), m ∈ Z
10
x(t) → x[m] waveform → sequence sequence → waveform x[m] → x(t) {x[m]} → {φm(t)} → x(t) =
∞
x[m]φm(t) x(t) → φm(t) → x[m] = ∞
−∞
x(t)φ∗
m(t) dt
11
x(t) → x[m] waveform → sequence sequence → waveform x[m] → x(t) {x[m]} → {φm} → x =
∞
x[m]φm
x φm x[m] = x, φm
u, v ∞
−∞
u(t)v∗(t) dt x(t) x
12
13
Pulse Shaper {um} xb(t) xb(t) =
∞
um p(t − mT). φm(t) = p(t − mT), T = 1 2W {um} → {φm(t)} → xb(t)
14
yb(t) Filter q(t) T =
1 2W
ˆ um = ∞
−∞
yb(τ)q(mT − τ) dτ Pulse Shaper {um} xb(t)
xb(t) =
∞
um p(t − mT).
15
yb(t) Filter q(t) T =
1 2W
ˆ um = ∞
−∞
yb(τ)q(mT − τ) dτ Pulse Shaper {um} xb(t)
xb(t) =
∞
um p(t − mT). xb(t) xb(τ)
g(t) (p ∗ q)(t)
k = 0 1 if ˆ k = 0
ˆ um = (xb ∗ q)(mT) =
∞
uk g(mT − kT) =
∞
uk g((m − k)T))
T rect(Tf) =
˘ g
T
16
k = 0 1 if ˆ k = 0 An equivalent condition (in frequency domain)
f 1
rect(f)
1 2
− 1
2
17
˘ g
T
˘ g(f) f
1 2T ≡ W
− 1
2T ≡ −W
T ≡
1 2W
˘ g(f − m/T) ˘ g(f + m/T)
1
⇐ ⇒
g(W − ∆)} + Re {˘ g(W + ∆)} = T Im {˘ g(W − ∆)} = Im {˘ g(W + ∆)} , ∀ ∆ ∈ [0, W] ˆ g(f) T
✟ ✟ ✯
T − ˆ g(Wb−∆) f ˆ g(Wb+∆)
✟ ✟ ✙
Wb Bb
T − Re{˘ g(W − ∆)} Re{˘ g(W + ∆)} Re{˘ g(f)} W
˘ g∗(W − ∆) + ˘ g(W + ∆) = T, ∀ ∆ ∈ [0, W]
18
19
ˆ g(f) T
✟ ✟ ✯
T − ˆ g(Wb−∆) f ˆ g(Wb+∆)
✟ ✟ ✙
Wb Bb
T − Re{˘ g(W − ∆)} Re{˘ g(W + ∆)} Re{˘ g(f)} W
gβ(t) =
4 sinc
2β
if |t| = T
2β
sinc t
T
cos( πβt
T )
1−4 β2t2
T 2
,
20
β = 0 β = 0.3 β = 0.5
21
β = 0 β = 0.3 β = 0.5
˘ gβ(f) = T if |f| ≤ 1−β
2T
if |f| > 1+β
2T
T cos2( πT
2β (|f| − 1−β 2T ))
if 1−β
2T < |f| ≤ 1+β 2T
q(f) = ˘ p∗(f) = ˘ p(−f) and hence q(t) = p(−t). Choose ˘ q(f) = ˘ p∗(f) Choose ˘ p(f) such that |ˆ p(f)|2 satisfies the Nyquist Criterion |˘ p(f)|2 satisfies the Nyquist Criterion
22
{p(t − mT) : m ∈ Z} form an orthonormal set ⇐ ⇒ For faster decay in the time-domain (less approximation error) in t = ⇒ need "larger room" for smoother transition from T to 0 in the frequency domain.
23
Re{˘ s(f)} = Re{˘ s(−f)} Im{˘ s(f)} = −Im{˘ s(−f)} |˘ s(f)| = |˘ s(−f)| ∠˘ s(f) = −∠˘ s(−f) mod 2π
exp(j2πf0t)s(t)
F
← → ˘ s(f − f0)
24
Re {exp(j2πf0t)s(t)} = s(t) cos(2πfct) s(t) ∈ R
real part imaginary part
25
x(t) = x(I)
b (t)
√ 2 cos(2πfct) − x(Q)
b
(t) √ 2 sin(2πfct)
PAM p(t) √ 2 cos(2πfct) PAM p(t) − √ 2 sin(2πfct) {u(Q)
m }
{u(I)
m }
x(I)
b (t)
x(Q)
b
(t)
x(t)
26
x(t) = x(I)
b (t)
√ 2 cos(2πfct) − x(Q)
b
(t) √ 2 sin(2πfct)
PAM p(t) √ 2 cos(2πfct) PAM p(t) − √ 2 sin(2πfct) {u(Q)
m }
{u(I)
m }
x(I)
b (t)
x(Q)
b
(t)
x(t)
in-phase component quadrature component
27
xb(t) x(I)
b (t) + jx(Q) b
(t) um u(I)
m + ju(Q) m
PAM p(t)
x(t)
{um} xb(t) √ 2 exp(j2πfct) Re{·}
x(t) = x(I)
b (t)
√ 2 cos(2πfct) − x(Q)
b
(t) √ 2 sin(2πfct) = √ 2Re {xb(t) exp(j2πfct)}
28
PAM p(t) √ 2 cos(2πfct) PAM p(t) − √ 2 sin(2πfct) {u(Q)
m }
{u(I)
m }
x(I)
b (t)
x(Q)
b
(t)
x(t)
PAM p(t)
x(t)
{um} xb(t) √ 2 exp(j2πfct) Re{·}
x(I)
b (f)}
x(Q)
b
(f)}
1 1
29
PAM p(t) √ 2 cos(2πfct) PAM p(t) − √ 2 sin(2πfct) {u(Q)
m }
{u(I)
m }
x(I)
b (t)
x(Q)
b
(t)
x(t)
PAM p(t)
x(t)
{um} xb(t) √ 2 exp(j2πfct) Re{·}
Re{ˆ xb(f)}
≈
2
≈ ≈ ≈
√ 2 1 √ 2
Real part Real part
30
PAM p(t) √ 2 cos(2πfct) PAM p(t) − √ 2 sin(2πfct) {u(Q)
m }
{u(I)
m }
x(I)
b (t)
x(Q)
b
(t)
x(t)
PAM p(t)
x(t)
{um} xb(t) √ 2 exp(j2πfct) Re{·}
Real part
√ 2 cos(2πfct) = 1 √ 2
− √ 2 sin(2πfct) = j √ 2
Re{s(t)}
F
← → 1 2(˘ s(f) + ˘ s∗(−f))
≈ ≈ ≈
√ 2 1 √ 2
Real part Real part
31
PAM p(t) √ 2 cos(2πfct) PAM p(t) − √ 2 sin(2πfct) {u(Q)
m }
{u(I)
m }
x(I)
b (t)
x(Q)
b
(t)
x(t)
PAM p(t)
x(t)
{um} xb(t) √ 2 exp(j2πfct) Re{·}
≈
√ 2
Real part
32
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
33
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
≈
√ 2
≈
√ 2
≈
√ 2
Real part
≈
1 Real part
34
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
≈
√ 2
Imaginary part
≈
1 Real part
√ 2 cos(2πfct) = 1 √ 2
− √ 2 sin(2πfct) = j √ 2
≈
Imaginary part
≈
Real part
35
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
≈
√ 2
Real part
√ 2 cos(2πfct) = 1 √ 2
− √ 2 sin(2πfct) = j √ 2
≈
Im{˘ y(Q)
b
(f)}
≈
Re{˘ y(I)
b (f)}
36
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
≈
√ 2
Real part
≈
√ 2
37
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
Real part
≈
Im{˘ y(Q)
b
(f)}
≈
Re{˘ y(I)
b (f)}
Re{˘ yb(f)}
38
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct)
≈
Re{ˆ y(I)
b (f)}
≈
Im{ˆ y(Q)
b
(f)}
39
y(t)
√ 2 cos(2πfct) − √ 2 sin(2πfct) Filter q(t) Filter q(t) T =
1 2W
T =
1 2W
{ˆ u(Q)
m }
{ˆ u(I)
m }
LPF 1 {|f| ≤ Bb} LPF 1 {|f| ≤ Bb} y(I)
b (t)
y(Q)
b
(t)
y(t)
Step Filter 1 {f ≥ 0} yb(t) √ 2 exp(−j2πfct) Filter q(t) T =
1 2W
{ˆ um}
40
√ 2 cos(2πfct) − √ 2 sin(2πfct) Filter q(t) Filter q(t) T =
1 2W
T =
1 2W
{ˆ u(Q)
m }
{ˆ u(I)
m }
41
x(t) = x(I)
b (t)
√ 2 cos(2πfct) − x(Q)
b
(t) √ 2 sin(2πfct) =
u(I)
m p(t − mT)
√ 2 cos(2πfct) −
u(Q)
k
p(t − kT) √ 2 sin(2πfct).
ψ(I)
m (t)
ψ(Q)
m (t)
p(t − mT) ← → φm(t) p(t − mT) √ 2 cos(2πfct) ← → ψ(I)
m (t)
−p(t − mT) √ 2 sin(2πfct) ← → ψ(Q)
m (t)
x(t) =
u(I)
m ψ(I) m (t) + u(Q) m ψ(Q) m (t). ← is this an orthonormal expansion?
42
Consider an orthonormal set of waveforms {φm(t) : m ∈ Z}. Assume the Fourier transform exists for each φm(t) and is band-limited, that is, ˘ φm(f) = 0, ∀ |f| > Bb. Then for a center frequency fc > Bb, {ψ(I)
m (t), ψ(Q) m (t) | m ∈ Z} also form an
ψ(I)
m (t) φm(t)
√ 2 cos(2πfct), ψ(Q)
m (t) −φm(t)
√ 2 sin(2πfct).
43
44
passband waveform
Symbol Mapper Pulse Shaper Sampler + Filter Symbol Demapper
discrete sequence
Up Converter Down Converter
baseband waveform
Noisy Channel coded bits
{ci} {ˆ ci}
{um} {ˆ um} xb(t) yb(t)
y(t) x(t)
group bits and map them to a symbol in a constellation set A (c1, c2, . . . , c)
45
46
d −d d −d −3d 3d
typically M = 2
APAM,2
M = 4 M = 2
d −d gray −3d 3d non- gray 01 11 00 10 01 10 00 11 d −d gray 1
47
M = 2
48
0110 1110 0010 1010 0111 1111 0011 1011 0101 1101 0001 1001 0100 1100 0000 1000 3d(1 + j) d(1 − j)
M = 16
AQAM,22
typically M = 22 direct product of two 2-ary standard PAM constellation sets
dmin = 2d
M = 8
49
000 001 011 111 101 100 110 010
d √ 2(1 + j)
APSK,M
M k
typically M = 2
dmin = 2d sin π M
50