The present invention relates generally to communications, and more particularly, to an anti-jamming piecewise coding method for parallel inference channels
Communication systems with multiple parallel physical channels have been widely deployed. Those parallel channels are achieved in time domain, i.e., each of the packets are transmitted in a different time slot, in the frequency domain such as orthogonal-frequency-division-multiplexing (OFDM) system, in a spatial domain such as the multiple-input multiple-output (MIMO) systems, respectively. With parallel channels, high throughput or high goodput can be achieved. On the other hand, a capability of throughput of more and more users also needs to be achieved in new wireless systems.
With more users, interference cannot be avoided if users share the same channels. The strong interference makes the receiver difficult to detect and decode the original messages, thus causes packet loss. Such collision between shared users on the same channel is also called jamming. Moreover, other channel impairments, e.g., deep fading, can also cause decoding failure and lead to packet loss. Another example for a parallel inference channel is a newly established cognitive radio system for reuse in the licensed spectrum in a new developing standard (IEEE 802.22). In such a system, the channels for secondary usage can be modeled as parallel channels, which suffer from strong interference from the primary users.
The packet loss due to jamming decreases throughput performance significantly. Anti-jamming coding techniques are then desired for recovering the lost packets to reduce the probability of packet loss and retransmission in parallel inference channels. One solution for anti-jamming is rateless coding. However, the rateless solution is not efficient for small redundancy or when the block length is not very large.
Accordingly, there is a need for an anti-jamming piecewise coding method for cognitive radio to improve the throughput efficiency with small redundancy and low complexity encoder and decoder.
In accordance with an aspect of the invention, a method for encoding includes encoding K blocks of information for transmission on N subchannels responsive to a number of redundant blocks M according to one of i) employing a single parity check code when the number of redundant blocks M is about 1; ii) employing a code exhibited by a code graph having one third of variable nodes are connected to one of the check nodes, another one third of variable nodes is connected to the other check node and the remaining one third of variable nodes is connected to both check nodes, when the number of redundant blocks M is 2; iii) employing a first process for determining a code for the K blocks of information, when the number of redundant blocks M is about 3 together with K blocks of information less than about 150 or the number of redundant blocks M is about 4 together with K blocks of information less than about 20; and iv) employing a second process for determining a code for the K blocks of information with redundant block M values other than for steps i), ii) and iii).
In accordance with another aspect of the invention, an encoder for encoding K blocks of information for transmission on N subchannels responsive to a number of redundant blocks M, comprising: i) a single parity check code when the number of redundant blocks M is about 1; ii) a code exhibited by a code graph having one third of variable nodes are connected to one of the check nodes, another one third of variable nodes is connected to the other check node and the remaining one third of variable nodes is connected to both check nodes, when the number of redundant blocks M is 2; iii) a code for the K blocks of information, when the number of redundant blocks M is about 3 together with K blocks of information less than about 150 or the number of redundant blocks M is about 4 together with K blocks of information less than about 20 determined by a first process; and iv) a code for the K blocks of information with redundant block M values other than for steps i), ii) and iii) determined according to a second process.
In accordance with a further aspect of the invention, A method for encoding an anti-jamming piece-wise code comprising the steps of encoding K blocks of information for transmission on N subchannels responsive to a number of redundant blocks M according to one of i) employing a single parity check code when the number of redundant blocks M is about 1; ii) employing a code exhibited by a code graph having one third of variable nodes are connected to one of the check nodes, another one third of variable nodes is connected to the other check node and the remaining one third of variable nodes is connected to both check nodes, when the number of redundant blocks M is 2; iii) determining an error rate responsive to a jamming rate and code length N and searching through a set of code graphs and corresponding error rates to determine a desired error rate for determining a code for the K blocks of information, when the number of redundant blocks M is about 3 together with K blocks of information less than about 150 or the number of redundant blocks M is about 4 together with K blocks of information less than about 20; and iv) partitioning the nodes to several sets to form a code graph that is a particular code for determining a code for the K blocks of information with redundant block M values other than for steps i), ii) and iii).
These and other advantages of the invention will be apparent to those of ordinary skill in the art by reference to the following detailed description and the accompanying drawings.
ANTI-JAMMING PIECE-WISE CODING: The inventive anti-jamming coding scheme, also referred to herein as piecewise coding is shown in
The same code C can be employed for all L codes, i.e., C1=C2= . . . =CL=C. By doing this, the implementation complexity can be further reduced, since they share the same encoder and decoder. The code C can also be a systematic code, in which case there are always K blocks information sequences in N blocks of coded bits. With systematic codes, if the lost packets cannot be recovered by this anti-jamming piecewise coding scheme, we only need to retransmit the lost information packets instead of retransmitting all KL bits. Another advantage for using the systematic code is fast response to the packet loss if decoders are not fully parallel. For example, if there is only one decoder, serial decoding has to be implemented for L codewords. When the first decoding process finishes and fails to decode all the bits, from all the failed information bits in this codeword, the receiver knows immediately which blocks are lost and need to be retransmitted even before the decoder finishes decoding all L codes since the failed bits exactly correspond to the lost packets. The code C being systematic can achieve higher throughput, lower complexity, and fast response to packet loss. With the same code C, the L codes can be encoded and decoded in parallel.
It is well known that the iterative decoding is not the optimal decoding algorithm, especially for the short block codes. The performance of iterative decoding may be far away from maximal-likelihood (ML) decoding. Therefore, it is important to design the short codes with near-optimal performance for erasure channels under iterative decoding. Below, we present the design of short block codes for anti-jamming piecewise coding, in accordance with the invention.
As shown by the flow diagram of
For 1 redundant block M the optimal code C is a single parity check code 11=N. The code graph is defined by the set {lj j=1 to 2M−1}, where lj denotes number of variable nodes connected the check nodes with indices being the 1 positions of binary expression of j.
For 2 redundant blocks, M=2, the optimal solution is that lj=┌N/3┐ or └N/3┘, i.e., one third nodes are connected to one check nodes, one third are connected to the other check nodes, and the rest of one third are connected to both check nodes.
For 3 redundant blocks and less than 150 information blocks, i.e., M=3 & K<150, or 4 redundant blocks and less than 20 information blocks, i.e., M=4 & K<20, the optimal solution is not universal for different information blocks, K, and jamming rates p. A re-iterative process, according to
For more than 3 or 4 redundant blocks not fitting within the previous M and K limits, i.e., M>3, or M=4 & K≧20 the optimal code solution for a given K and jamming rate p is determined according to
SHORT BLOCK CODE DESIGN FOR ANTI-JAMMING PIECEWISE CODING: As noted above, iterative decoding is not an optimal decoding technique, especially for short block codes. Therefore, it is important to design the short codes with near-optimal performance for erasure channels under iterative decoding. We present the design of short block codes based on the code graph and residual graphs for erasures for various numbers of redundant blocks M. The code graph is defined by {lj j=1 to 2M−1}, where lj denotes number of variable nodes connected the check nodes with indices being the 1 positions of binary expression of j. Given jamming rate p, we obtain Pn=pn(1−p)(N-n).
a) Code design for M=1
The optimal code C is the single parity check (SPC) code, l1=N. This solution is universal for any information blocks, K and any jamming rate p.
b) Code design for M=2.
The optimal solution for M=2 is that lj=┌N/3┐ or └N/3┘, i.e., one third of the nodes are connected to one check nodes, one third are connected to the other check nodes, and the rest of one third are connected to both check nodes. This solution is also universal for any information blocks, K and any jamming rate p.
c) Code design for M=3
The optimal solution is not universal for different information blocks, K and jamming rate p. The algorithm to find optimal code for given K and p is summarized and shown in
where
Code design for small M>3
The optimal solution is difficult to obtain due to a large amount of code graphs. We then propose a simple method to construct a suboptimal code for small M>3. The method for the simple design met is summarized and shown in
Throughput Analysis
We consider N blocks of data sequences carrying KL information bits transmitted through N parallel subchannels. Denote n as number of lost packets after demodulation and decoding. Assuming that the total jamming rate is p, the probability of losing n packets, Pn, is given by
Denote E as the event of decoding failure. Since for n>M=N−K, the frame error probability is 1, we then obtain overall frame error probability Pw for both anti-jamming coding schemes, given by
For rateless codes, denote Ndec as the received number of bits for successful decoding of KL information bits. We then have
Pr(E|n)=Pr(Ndec>(N−n)L). (6)
With the parameters {c,δ}, for practical rateless codes of block length k, Ndec is a random variable with a certain distribution. Denote x as the overhead ratio, i.e.,
To obtain the analytical performance of rateless codes for anti-jamming, we first approximate the pdf of x using a Gaussian mixture, given by
Note that each component Gaussian pdf's in (7) should in fact be truncated Gaussian. However, the tail probability for x<0 is very small. Gaussian pdf is then good enough for the approximation in equation (7). From equation (5) to equation (7), we then obtain the frame error probability Pw for anti-jamming rateless coding, given by
The throughput efficiency of the anti-jamming rateless codes is then given by
The frame error probability for anti-jamming piecewise coding depends on the particular code structure. For small M, given the code graph or code structure, we can compute the error probability for n≦M, i.e., the second term in equation (5). Here we simply express the throughput efficiency for anti-jamming piecewise coding as
Code Representation and Residual Graph
A linear block code can be represented by a Tanner graph, which consists of two types of nodes—variable nodes representing the code bits and check codes representing the parity-check constraints. An edge in the graph is placed between variable node i and check node m if Hmi=1 where Hmi is the entry of the parity-check matrix H. The code graph can also be specified by a set representation. We first define (2M−1) sets of variable nodes, Ωj, j=1, . . . , 2M−1 for an (N,K) linear block code with M=N−K. A variable node in this code, for instance, the ith bit node, belongs to the set Ωj, if it satisfies
It is easily seen that the set Ωj contains all the variable nodes connected to the check nodes with the indices being the positions of 1's in the binary representation (M bits) of j. For instance, all the bit nodes in Ω5 are connected to the first and the third check nodes since 5=(101)2. It is seen that to specify a code graph, we do not need to know the exact variable sets Ωj since any nodes connected to exactly the same check nodes, i.e., all the nodes in the same set, have no difference in a code graph. Therefore, we define the code graph by the set ={lj}j=12
We now explain the code construction for a given {lj} with the following example. We construct the code for the given set ={2,3,1}. With the set presentation, we know {l1=2,l2=3,l3=1}, M=2, and N=l1+l2+l3=6, i.e, a (6,4) code. For j=1, since 1=(01)2 and l1=2, there are two variable nodes connected to first check nodes only. For j=2, since 2=(10)2 and l2=3, then three variable nodes are connected the second check nodes. Similarly, for j=3, since we have 3=(11)2, l3=1, the last bits connected to both check nodes. The Tanner graph of this code is presented in
Note that we may introduce the set Ω0 for the variable nodes (consequently, a new element l0 in ) for general set representation of code graphs. The set Ω0 means that all the information bits in Ω0 are not connected to (or protected by) any check nodes. In this report, we exclude this case, i.e., l0=0.
We now define the residual graph to specify the erasure nodes in the code graph. We first define the set
Denote sj=|Θj|. Similarly as specifying the code graph, we define the set SM,n to represent the residual graph of n erasure nodes for M check nodes by
with Σjsj=n, where n is the total number of erasures. Similarly, we can also enumerate the values of sj in an increasing order of j to simplify the representations. We usually consider 0<n≦M. By studying the residual graphs {sj}, we can consider the design of the short codes, i.e., design of {lj}, for anti-jamming piecewise coding.
Revisiting the Inventive Code Design Methods
We can see for M>>1, the number of sets Ωj will be extremely large, and the above representation {lj} is not an efficient way to describe the code graph. However, in this report, we consider the design of anti-jamming codes with low redundancy, i.e., design of short codes with a small M. We next present our code design method with the help of such code representation.
Code Design for M=1
For M=1, there is only one solution ={l1=N}, i.e., all the parity bits are connected to the only parity check node, i.e., the single parity check (SPC) code. With this code graph, the only residual set is {s1=1}. Thus, for any single erasure, we can always recover it with the SPC constraint. If we allow the cases that some bits are not connected to any parity-check nodes, i.e., l0≠0, {1=N} turns out to be the optimal solution. This explains why we excludes the cases of l0≠0. Hence, we have Pr(E|n≦M)=0. From equation (5), the packet error rate for anti-jamming piecewise coding with M=1 is then given by
And the throughput efficiency is
Code Design for M=2
When M=2, we consider the design of ={l1,l2,l3}. When n=1, we have three residual graphs: {1,0,0}, {0,1,0}, {0,0,1}. For any of these cases we can recover the erasure bit. Therefore, we have Pr(E|n=1)=0. This can be actually generalized to any M with the residual graphs being {sj=1,s∀j′≠j=0}.
When n=2, as shown in
As aforementioned, only the second term in equation (5) depends on the code graph. Since we have Pr(E|n=1)=0, optimizing the code graph to maximize the throughput is equivalent to minimizing the error probability in (14), i.e.,
The solution of above optimization problem for integer sets {lj} is lj=└N/3┘ or ┌N/3┐, with Σj=13lj=1. It is also seen that the optimization problem does not depends P2 and is a general expression for N. Hence, the optimal solution for M=2 is universal for any code length and any jamming rate. The error rate and the throughput efficiency of the optimal codes for M=2 are then given, respectively, by
Code Design for M=3
When M=3, we consider the design of ={lj}j=17. Now we investigate the error probabilities for n≧M. When n=1, we have Pr(E|n=1)=0. When n=2, similarly as above discussed, we have
(1) All the residual graphs for n=2, i.e., two erasures in the same set Ωj, combined with one more erasure in the set Ωj′,j′≠j, form the first type of residual graphs for n=3. The number of such residual graphs for n=3 for a given code {lj} is then ΣjΣk≠j(2l
(2) The second type of residual graphs have all three erasures in the same set Θj, as shown by the graphs in
(3) As shown in
Denote U as the collections of all the three indices in the products in item (3), i.e., U={(1,2,3),(1,4,5),(2,4,6),(1,6,7),(2,5,7),(3,4,7),(3,5,7),(3,6,7), (5,6,7),(3,5,6)}.
The packet error probability for n=3 is given by
We then obtain the frame error probability and the throughput efficiency for M=3 given, respectively, by
To design the code to maximize the throughput efficiency, we need to find the code graph {lj} that minimizes the frame error probability, i.e.,
To solve the above optimization, we need to enumerate {l1}. The optimal code design process for M=3 is summarized as follows.
Process 1 [Optimal design method for anti-jamming piecewise codes with M=3.] See
It can be seen that the optimum is not a universal solution, since it depends on the code length N and the jamming rate p. However, from the optimization results, we find that for p≦0.05, the solution for a particular N does not change with p.
Code Design for small M, M>3
We can see that as M increases, the number of residual graphs increases exponentially, as well as the enumerations of the code graph sets {lj}. It is then infeasible to perform exhaustive search to obtain the optimal codes.
By examining the optimization results of M=3 for various N and p, we find that for small p, e.g., p<0.05, and not a large N, e.g., N<100, the lj's in the optimized code are approximately the same. The maximum difference of lj and lk is one. Based on this observation, we propose the following simple suboptimal code design method for small M.
Process 2 [Simple design method for anti-jamming piecewise codes with small M>3.]
For M>3, we do not have analytical expressions for frame error probability Pw and throughput efficiency η, and must resort to numerical simulations.
Without anti-jamming coding techniques, the systems in inference channels suffer serious throughput loss due to strong interference or deep fading. The inventive anti-jamming piecewise coding method for inference channels, and constructing short block codes for anti-jamming piecewise coding, provides significant improvement in throughput efficiency of systems in parallel inference channels. For a jamming rate p=0.01, the inventive anti-jamming coding method improves the throughput efficiency by 38% over the systems without employing anti-jamming coding. Based on evaluation studies, compared to the rateless coding, the inventive anti-jamming method can achieve 3% high throughput efficiency gain with 50% less overhead. The inventive anti-jamming coding method also enjoys extremely low-complexity encoding and decoding, and smaller decoding latency.
The present invention has been shown and described in what are considered to be the most practical and preferred embodiments. It is anticipated, however, that departures may be made therefrom and that obvious modifications will be implemented by those skilled in the art. It will be appreciated that those skilled in the art will be able to devise numerous arrangements and variations, which although not explicitly shown or described herein, embody the principles of the invention and are within their spirit and scope.
Number | Name | Date | Kind |
---|---|---|---|
4541091 | Nishida et al. | Sep 1985 | A |
4718066 | Rogard | Jan 1988 | A |
5226043 | Pughe et al. | Jul 1993 | A |
5600663 | Ayanoglu et al. | Feb 1997 | A |
5862312 | Mann et al. | Jan 1999 | A |
5996089 | Mann et al. | Nov 1999 | A |
6421387 | Rhee | Jul 2002 | B1 |
6449730 | Mann et al. | Sep 2002 | B2 |
6487690 | Schuster et al. | Nov 2002 | B1 |
6516435 | Tsunoda | Feb 2003 | B1 |
6526038 | Jain et al. | Feb 2003 | B1 |
6557114 | Mann et al. | Apr 2003 | B2 |
6567926 | Mann et al. | May 2003 | B2 |
6571349 | Mann et al. | May 2003 | B1 |
6574745 | Mann et al. | Jun 2003 | B2 |
6675346 | Tsunoda | Jan 2004 | B2 |
6851084 | Pattavina | Feb 2005 | B2 |
7177658 | Willenegger et al. | Feb 2007 | B2 |
7215683 | Burkert et al. | May 2007 | B2 |
7428691 | Ouchi | Sep 2008 | B2 |
7480851 | Chang et al. | Jan 2009 | B2 |
7865810 | Chang et al. | Jan 2011 | B2 |
7962779 | Patel et al. | Jun 2011 | B2 |
Number | Date | Country | |
---|---|---|---|
20090210757 A1 | Aug 2009 | US |