Communication over Fading Channel

advertisement
Communication over Fading Channel




The received signal r(t) = m(t)*s(t), where m(t) is the large-scale-fading
component and s(t) is the small-scale-fading component.
Classification of fading channels (qualitative): two types/classes
o Large-scale fading (path loss)
o Small-scale fading
Fading channel modeling (quantitative/mathematical characterization)
o Large-scale fading (deterministic process)
 Reflection
 Ground reflection (2-ray) model
 Diffraction
 Knife-edge diffraction model
 Multiple knife-edge diffraction model
 Scattering
 Radar cross section model
o Small-scale fading (stochastic process)
 Marginal probability density distribution: Rayleigh, Ricean,
Nakagami
 Second-order statistics: Doppler spectrum
 Autoregressive (AR) model
Taxonomy of small-scale fading channels
o Per Doppler rate f_d, small-scale fading channels can be classified into
 Slow fading:
 The symbol duration is smaller than the coherence time
(roughly, 1/Doppler rate), i.e., low Doppler rate.
 Coherence time is a statistical measure of the time duration
over which the channel impulse response is essentially
invariant. It quantifies the similarity of the channel
response at different times. In other words, coherence time
is the time duration over which any two received signals (at
different times) have a strong correlation.
 Fast fading:
 The symbol duration is larger than the coherence time, i.e.,
high Doppler rate.
 The higher the Doppler rate is, the higher the degree of
diversity is. For sufficiently high degree of diversity (high
f_d), the fast fading channel can support constant bit rate,
i.e., the fast fading channel becomes an ergodic channel.
This is because the randomness of the channel gain is
averaged out due to high degree of diversity (independent
signal paths).
o Per delay spread, small-scale fading channels can be classified into
 Flat fading or non-frequency-selective fading:
 The signal bandwidth is smaller than the coherence
bandwidth (roughly, 1/maximum delay spread).



Coherence bandwidth is a statistical measure of the range
of frequencies over which the channel can be considered
"flat", i.e., having approximately equal gain and linear
phase. In other words, coherence bandwidth is the range of
frequencies over which any two frequency components
have a strong correlation.
 Coherence bandwidth B_c is approximately 1/(50*
sigma_t), where sigma_t is the root-mean-square (rms) of
the delay spread.
 Frequency-selective fading
 The signal bandwidth is larger than the coherence
bandwidth.
o Per ergodicity, small-scale fading channels can be classified into
 Ergodic channel
 The channel gain process is ergodic, i.e., the time average
is equal to the ensemble average. In other words, the
randomness of the channel gain can be averaged out
(removed) over time. So long-term constant bit rates can
be supported (like AWGN channels).
 Non-ergodic channel
 The channel gain is a random variable and does not change
with time. The channel gain process is stationary but not
ergodic, i.e., the time average is not equal to the ensemble
average. In other words, the randomness of the channel
gain can not be averaged out (removed) over time. So
long-term constant bit rates can not be supported.
Large-scale fading channels
o The large-scale-fading component m(t) in the received signal r(t), is a
random variable. m(t) can be characterized by its mean (deterministic
part) and the deviation from its mean (random part)
o Deterministic model of the mean of m(t):
 Power law decay: the mean received power is inversely
proportional to the n-th power of Transmit-Receive separation
distance, where $n$ takes integer values from 2 to 5.
 Free space model: the path loss follows inverse-square law.
o Stochastic model of the deviation from the mean of m(t):
 Log-normal shadowing: the deviation from the mean is a lognormal random variable.
 The random model is to consider the fact that the surrounding
environmental clutters may be vastly different at two different
locations having the same T-R separation distance.
Performance metrics:
o Average Signal-to-Noise Ratio (SNR): expectation of the instantaneous
SNR, which is a random variable.
 What if I'm not interested in average behavior? I don't care too
much about the average delay because my packets may have high




probability of experiencing very long delay. So I'm interested in
the CDF of the delay. For example, what is the delay of 99percentile?
 Another example is channel coding. For a convolutional code, I'm
interested in not only the minimum distance of the code but also
the CDF of the distance (note the Hamming distance is not a
random variable).
o Outage probability, denoted by p_{outage}:
 It is the Cumulative Distribution Function (CDF) of the
instantaneous SNR or the instantaneous channel capacity, which
are random variables.
o Average bit error probability: expectation of the Q-function, where the
SNR is a random variable.
Outage capacity, denoted by C(p_{outage}):
o It is the inverse function of CDF of the instantaneous channel capacity.
Ergodic capacity: expectation of the instantaneous channel capacity, log(1+SNR),
assuming that the fading process is white. What if the fading is a Markovian
process?
OFDM system designers care about frequency diversity (coherence frequence),
use FT/IFT in frequency domain; spread spectrum system designers care about
time diversity (want independent resolvable delay spreads), use RAKE in time
domain.
Use matlab to compute the ergodic capacity of Rayleigh fading channel
o E[log(1+g)]=\int_0^infty log(1+g)*exp(-g) dg= -exp(1)*real(-expint(1)) =
0.5963 nats, for E[g]=1, P/N=1. See Page 567 in I. S. Gradshteyn, I. M.
Ryzhik, Alan Jeffrey (Editor), Daniel Zwillinger, ``Table of Integrals,
Series, and Products,'' Academic Press; ISBN: 0122947576; 6th edition
(July 31, 2000).
o For the same average received SNR, the ergodic capacity of Rayleigh
fading channel is 0.5963/log_e(1+1)=0.5963/0.6931=0.8603 of the
AWGN channel capacity.
Key techniques:

Judge the performance of a system from three perspectives:
o Expection of the performance metric:
 E.g., the average of the received SNR for BPSK
modulation/demodulation.
 E.g., Ergodic capacity.
o Variance (how random the performance is):
 E.g., the variance of the received SNR for BPSK
modulation/demodulation.
 The degree of randomness can also be seen from the CDF and
PDF.
o CDF or outage probability (percentile):



E.g., the outage probability of the received SNR for BPSK
modulation/demodulation.
 E.g., outage capacity.
Bufferless vs. buffer
o The outage probability (for the bufferless case) is not equal to the
probability of busy server (for the buffered case).
o We can use outage probability to get intuition about the buffered case (or
large deviation theory) but note this is not rigorous.
Power control to combat fading
1. (Knopp & Humblet, ICC'95) Joint design of power control and
scheduling for multiple users sharing one fading channel.
 Objective: maximize the total throughput of all the users, subject to
average power constraints for each user. Each user can have
different average power constraint. The maximization is over the
transmission power and the transmission order of the users.
 The (multiuser) throughput-optimal power control
$\mu_i(\gamma)$ for each user is
\mu_i(\gamma) = 1/\lambda_i - 1/\gamma_i, if
\gamma_i>\lambda_i, \gamma_i/\gamma_j > \lambda_i/\lambda_j,
for all j \neq i.
\mu_i(\gamma) = 0 otherwise
where $\gamma_i$ is the current channel power gain for user $i$,
$\lambda_i$ is a constant yielded from the power constraint of user
$i$.
The condition $ \gamma_i/\gamma_j > \lambda_i/\lambda_j, for
all j \neq i$ is a bit similar to GPS scheduling (without equality).



Use information theory and communication theory
It is called the KH scheme.
Limitation: under this strategy, a user in a fade of an arbitrarily
long period will not be allowed to transmit during this period,
resulting in an arbitrarily long delay; therefore, this strategy
provides no delay guarantees and thus is not suitable for delaysensitive applications such as wireless video communication.
2. (Bettesh & Shamai, VTC'01 Spring) Joint power and rate control for
single user communicating over a block fading channel.
 Objective: minimize a cost function, which is an non-decreasing
function of both the average transmission power and the packet
average transmission delay. The maximization is over the
transmission power and the transmission rate of the users.
 Formulated as an infinite-horizon dynamic program with an
average cost criterion.

cost = queue_length + weight * transmission_power
 It converts multi-objective to single objective so that we
can use dynamic programming.
 E[cost] = E[queue_length] + weight *
E[transmission_power].
 For each value of the weight, the dynamic program results
in a Pareto-optimal cost {E[queue_length],
E[transmission_power]}.
 Let E[transmission_power] = average power constraint,
then the corresponding E[queue_length] is the minimal
average delay under the specified average power constraint.
 Four policies:
 Variable rate and constant power
 Constant rate and variable power
 Variable rate and variable power
 Variable rate and variable power with transmitter's
knowledge about the channel state information. The
resulting power control is the same as water-filling in time.
 Combine queueuing theory with information theory.
 Limitation:
 The complexity is exponential in the delay/buffer constraint
and the number of users (for the multiuser case);
 The transmission decision can not be made until the whole
channel gain sequence is known; even for truncated
decision, it still has to wait for 5*L slots to make decision,
where L is the memory length of the channel.
 For multiuser scheduling, linear programming has a
complexity of O(K) while dynamic programming has a
complexity of O(N^K), where $K$ is number of users and
$N$ is the number of states of queue length.
3. (Bettesh & Shamai, PIMRC'98) Joint design of power control and
scheduling for multiple users sharing one fading channel.
 Objective: strike a balance between the throughput and delay
constraints (achieving low delay)
 Method: combine TDMA with multiuser diversity (Knopp &
Humblet scheme) by introducing an inspection scheme, which
checks whether the delay requirement of each user is satisfied.
 It is not formulated as a constrained optimization problem. The
algorithm is simply to combine TDMA with the KH scheme.
 Limitation: no explicit delay guarantee and no optimization.
E[cm / c1 ]  E[c1 ]  ( E[ cm ]) 2  E[cm ] , so we cannot get the relation between E[cm / c1 ]
and E[cm ] / E[c1 ] .
Fading channel modeling
Typically, a bit error model characterizes the performance of modulator/demodulator. A
packet error model characterizes the performance of codec/ARQ system (where modem
is hidden in the system).
Using a bit/packet error model is to simplify the simulation and/or simplify the queueing
analysis.
The assumption for the two state Markov channel (TSMC) model is general.
It does not matter what kind of modulation, detection, channel coding are
used. It's a measurement-based approach. Just record the error process
for a period of time. If the process is stationary, ergodic and
Markovian, then use two-state Markov model (TSMC) to match the real trace
under the criterion of minimum mean square error (MMSE). Zorzi proposed an
algorithm to estimate the parameters (transition probabilities p & q) of the
two-state Markov model. The assumption is that we need the past history of
the error process to do estimation. Actually, I also have similar
assumption. In my estimation, when you dial the number, the mobile
terminal starts to measure the channel gain. Just 2 seconds is enough to
get a good estimate. So when you finish your dialing, your measurement is
also done.
Each user will do this estimation since p & q are different for each user.
Once you get the TSMC, you can do queueing analysis (numerically). I
haven't seen any QoS provisioning work using TSMC. My central question is
how to explicitly guarantee a given QoS triplet {rate, delay, loss
probability}. Have you seen any work on explicit QoS provisioning
(admission control, resource allocation, scheduling)?
A packet level error model is time varying. From s to s+t, where s is the epoch when the
packet head arrives, and t is packet size. We are interested in instantaneous packet error
probability, not average packet error probability. Packet size may be fixed during a
connection life time.
Capacity of a fading channel
1. Ergodic capacity for communications without delay constraints: like Law of large
numbers (LLN), ergodic capacity notion can be applied to the iid case and non-iid
case (as long as it satisfies LLN). We assume both the transmitter and receiver
know the channel state perfectly.
a. The iid case: Cerg  EG  max I ( X ;Y | G) , where G is the channel gain,
 f X |G ( x|g )

I ( X ;Y | G ) is the mutual information conditioned on G, and f X |G ( x | g ) is
the pdf of X conditioned on G. The expectation is over G. The empirical
mean of max I ( X ; Y | G ) converges in probability to the expectation.
f X |G ( x| g )
n
p
Cerg .
That is,  max I ( X i ;Yi | Gi ) / n 
i 1
f X i |Gi ( xi | g i )
b. The non-iid case:
f
maxn
X n |G n
n
( x |g )
p
I ( X n ; Y n | G n ) / n 
C erg , where G n is the
channel gain vector of n slots, I ( X n ;Y n | G n ) is the mutual information
conditioned on G n , and f X n |G n ( x n | g n ) is the pdf of X n conditioned on
G n . As long as the channel gain process satisfies WLLN, the max of the
mutual information converges in probability to a deterministic value,
which we call ergodic capacity. This is because the max of the mutual
information is a deterministic function of the channel gain. So if the
channel gain process satisfies WLLN, the max of the mutual information
also satisfies WLLN.
2. Expected capacity for delay-constrained communications
a. Expectation of the capacity
3. Outage capacity for delay-constrained communications
a. Outage probability is CDF of the capacity
4. Effective capacity for delay-constrained communications, taking into account the
queueing behavior.
I.i.d. Rayleigh fading channel: symbol error probability
1
Pe 
4(1  SNR)
For AWGN channel,
Pe  e  SNR / 2
For frequency selective channel with m independent paths,
1

Pe 
? m
 e  SNR / 2
SNR m
(1 
)
2m
Download