# Patent

## Title
Integrated FEC decoding and iterative diversity reception

## Abstract

Methods, apparatuses, and systems are presented for deriving data from an error correction encoded composite signal involving (a) receiving a composite signal comprising contributions from a plurality of individual signals transmitted over different paths representing a common data sequence encoded using an error correction code, (b) calculating soft values of a first type taking into account the received composite signal and soft values of a second type, (c) generating symbol outputs taking into account soft values of the first type, (d) performing error correction decoding on the symbol soft outputs, (e) calculating soft values of the second type taking into account error correction decoded outputs, (f) feeding back soft values of the second type, (g) iteratively updating soft values of the first type, symbol outputs, error correction decoded outputs, and soft values of the second type by repeating previous steps, and (h) providing updated error correction decoded outputs.

## Background
CROSS-REFERENCES TO RELATED APPLICATIONS
This application claims the benefit of and is a non-provisional of U.S. Patent Application Ser. No. 60/653,068 filed on Feb. 14, 2005, which is assigned to the assigner hereof and hereby expressly incorporated by reference in its entirety for all purposes.


BACKGROUND OF THE INVENTION
Traditional path diversity schemes take advantage of diversity associated with signals transmitted over multiple paths, to improve the performance of a communication system. Information originating from a single data source can be intentionally or unintentionally propagated over multiple paths before arriving at a destination receiver. Typically, the propagation of a signal over the multiple paths causes different “versions” of the signal to arrive at the receiver at different time offsets, and at approximately the same frequency. The multiple paths may occur due to signal reflections, may occur due to delays attributable to one or more signal processing devices, such as repeaters, interposed between the transmitter and receiver, or due to some combination of physical paths and delays through signal processing devices. The difference in time of arrival associated with the different signal paths increases as the physical distances traversed by multiple signal paths increase. The receiver may be able to benefit from the existence of such multiple paths, or path diversity, if the receiver is able to properly process each of the delayed versions of the transmitted signal.
Techniques that take advantage of path diversity are well known and practical to implement for systems in which the maximum difference in time of arrival is on the order of 10 symbol intervals or less. Specifically, the optimum demodulator of a multipath signal is the well known Maximum Likelihood Sequence Estimation, which is commonly implemented using the Viterbi Algorithm. This approach is practical when the difference in the path delays between the paths is a relatively small number of symbols, e.g., <≈10, but is unpractical for scenarios such as that depicted in FIG. 1 where the differential path delay can be thousands of symbols in duration. Another approach is the classic RAKE receiver, which is also well known to those of ordinary skill in the art. The RAKE receiver provides a good approximation to the optimal receiver when the signal to noise ratio (SNR) is very low, e.g., <≈−6 dB. For this reason, the RAKE receiver is commonly used with spread spectrum signals, such as code division multiple access (CDMA) signals. But for higher SNR environments that are common in non-spread spectrum applications, the RAKE receiver is ineffective. Thus, traditional path diversity schemes have been limited in their application.
For example, for communication systems involving non spread spectrum signals transmitted over multiple paths that have significant differences in their time of arrival, such traditional path diversity schemes are inadequate. These include systems that handle signals sent from a single transmitter over multiple paths, as well as systems that handle signals sent from distinct transmitters over multiple paths. Thus, there is an important need for techniques that allow generating and processing of multiple path diversity, co-frequency signals, especially in cases where the delay spread between the diversity paths is large relative to the symbol period.
BRIEF SUMMARY OF THE INVENTION
The present invention relates to methods, apparatuses, and systems for deriving data from an error correction encoded composite signal involving, (a) receiving a composite signal comprising contributions from a plurality of individual signals transmitted over different paths, the plurality of individual signals being used to represent a common data sequence such that each of the individual signals corresponds to a data sequence that is a version of the common data sequence, wherein the common data sequence is an encoded data sequence encoded using an error correction code, (b) for each individual signal, calculating soft values of a first type over a block of symbols by taking into account the received composite signal and soft values of a second type, wherein for each symbol, a soft value of the first type is calculated for each possible symbol value of the symbol, (c) generating symbol outputs by taking into account the soft values of the first type from the different individual signals, (d) performing error correction decoding by taking into account the symbol soft outputs, to generate error correction decoded outputs, (e) for each individual signal, calculating soft values of the second type over the block of symbols by taking into account the error correction decoded outputs, wherein for each symbol, a soft value of the second type is calculated for each possible symbol value of the symbol, (f) feeding back the soft values of the second type for subsequent calculations of the soft values of the first type, (g) iteratively updating the soft values of the first type, the symbol outputs, the error correction decoded outputs, and the soft values of the second type by repeating steps (b), (c), (d), (e), and (f), and (h) providing the updated error correction decoded outputs.
In one embodiment, the updated symbol outputs are converted into bit soft outputs before being used to perform error correction decoding. The updated symbol outputs may be converted into bit soft outputs by calculating, for each bit, a measure of likelihood of the bit being one value versus another value, by taking into account updated symbol outputs associated with symbols affecting the bit. The measure of likelihood may represent a log likelihood ratio (LLR).
In one embodiment, the error correction decoded outputs are converted from bit soft outputs to symbol outputs before being used to calculate the soft values of the second type. The error correction decoded outputs may be converted from bit soft outputs to symbol output by calculating, for each possible symbol value of each symbol, a measure of likelihood of the symbol taking on the possible symbol value, by taking into account bits soft outputs associated with the possible symbol value.



BRIEF DESCRIPTION OF THE DRAWINGS
FIG. 1A is a diagram of an illustrative system which includes an Earth station simultaneously transmitting two signals representing a common data sequence using two antennas, via two separate satellites, the signals being received as a composite signal at a user terminal (UT), in accordance with an embodiment of the present invention.
FIG. 1B is a diagram of an illustrative system which includes a user terminal (UT) transmitting a signal on different paths via two separate satellites, resulting in two signals being received at two separate antennas, wherein the signals are combined at an Earth station to form a composite signal, in accordance with an embodiment of the present invention.
FIG. 2 is a basic block diagram of an example transmitter structure suitable for generating a plurality of individual signals that can be transmitted over different paths, according to one embodiment of the present invention.
FIG. 3 is a basic block diagram of an example receiver structure suitable for processing a composite signal comprising contributions from individual signals transmitted over multiple paths, according to one embodiment of the present invention.
FIG. 4 is a block diagram depicting the operations of an iterative combiner and a data detector according to one embodiment of the invention.
FIG. 5 presents simulated bit error rate (BER) performance for a variety of different reception scenarios, including performance of an iterative combiner configured in accordance with an embodiment of the invention.
FIG. 6 is a block diagram depicting the operations of a match filter, an iterative combiner, and a data detector, as modified to accommodate non-integer path delays, according to one embodiment of the present invention.
FIG. 7A illustrates the processing of overlapping blocks of symbols, each block comprising B+kΔ symbols, according to one embodiment of the invention.
FIG. 7B illustrates the processing of overlapping blocks of symbols, each block comprising B+2kΔ symbols, according to an alternative embodiment of the invention.
FIG. 8 presents a receiver structure that implements separate iterative combining and FEC decoding, in accordance with an embodiment of the invention.
FIG. 9 is a block diagram depicting the operations of a match filter, an iterative combiner, and a data detector, as modified to implement integrated iterative combining and FEC decoding, in accordance with an embodiment of the present invention.



DETAILED DESCRIPTION OF THE INVENTION
Illustrative Systems
FIG. 1A is a diagram of an illustrative system 100 which includes an Earth station 102 simultaneously transmitting two signals representing a common data sequence using two antennas 104 and 106, via two separate satellites 108 and 110, the signals being received as a composite signal at a user terminal (UT) 112, in accordance with an embodiment of the present invention. System 100 thus presents an example of a composite signal comprising contributions from a plurality of individual signals transmitted over different paths, wherein the individual signals are sent from different transmitters and received at a common receiver as a composite signal.
Earth station 102 is viewed here as the single data source. In the present embodiment of the invention, the data is encoded by a forward error correction (FEC) code. The encoded data is used as the common data sequence from which individual signals are generated. There are two individual signals generated in the present embodiment. To generate each individual signal, the common data sequence is optionally re-ordered according to a re-ordering function (described in more detail in subsequent sections) and modulated according to a suitable modulation scheme. In the present embodiment, an M-ary Phase Shift Keying (MPSK) modulation scheme is used. Thus, each individual signal is a modulated signal that represents the common data sequence originating from Earth station 102. The two resulting modulated signals are separately upconverted to a suitable radio frequency (RF) and amplified using high power amplifiers (HPA). The two upconverted, amplified signals are then separately transmitted using antennas 104 and 106, to satellites 108 and 110, respectively. The encoding, modulation, upconversion, and amplification of the two individual signals can be implemented using known techniques familiar to those of ordinary skill in the art.
In the present embodiment of the invention, the two satellites 108 and 110 are non-processing “bent pipe” satellites in low, medium or geo-synchronous orbits, each satellite being in a distinct orbit slot. Satellites 108 and 110 relay the individual signals from antennas 104 and 106 using the same nominal downlink frequency so the signals arrive at user terminal 112 at the same frequency, exclusive of any Doppler shift or satellite frequency translation error which is not common between all paths. These separate signals thus generally tend to interfere with each other. However, if the signals at the receiver can be properly processed, the diversity paths can be used to increase the signal to noise ratio and improve the link performance.
User terminal 112 may be implemented as one of a variety of different type of devices, such as a handheld device, a vehicle mounted terminal, or a fixed Earth station. Here, user terminal 112 employs a single receive antenna with sufficient beamwidth to be pointed at all signal paths simultaneously, including the signal path from satellite 108 and the signal path from satellite 110. User terminal 112 processes the composite signal which comprises contributions from individual signals transmitted over the different paths to take advantage of path diversity and thereby improve link performance.
While two paths using two satellites are shown in the present embodiment (one path extending from antenna 104 via satellite 108 to user terminal 112, the other path extending from antenna 106 via satellite 110 to user terminal 112), more than two paths can certainly be used. For example, when L satellites are used, there may be L paths in the multipath channel, L being a positive integer that may be greater than two. Furthermore, the present invention is not necessarily limited to satellite communication applications, even though satellite systems are used here to illustrate various embodiments of the invention.
FIG. 1B is a diagram of an illustrative system 150 which includes a user terminal (UT) 152 transmitting a signal on different paths via two separate satellites 160 and 162, resulting in two signals being received at two separate antennas 164 and 166, wherein the signals are combined at an Earth station 168 to form a composite signal, in accordance with an embodiment of the present invention. System 150 thus presents an example of a composite signal comprising contributions from a plurality of individual signals transmitted over different paths, wherein the individual signals are sent from a common transmitter and received initially at different receivers, subsequently combined, and then received as a composite signal.
System 150 presents a technique that can be used for canceling out undesired interference signals by adding received signals together. Here, the desired signals (shown in solid lines) are transmitted from user terminal 152, over multiple paths via satellites 160 and 162, to antennas 164 and 166. Undesired interference signals (shown in dotted lines) are transmitted from an interfering user terminal 170, over multiple paths via satellites 160 and 162, to antennas 164 and 166. The undesired interference uses the same transmission frequency as the desired signal. The desired signals and interference signals arrive at antennas 164 and 166 of Earth station 168 at the same frequency. Thus, the signal received at antenna 164 from satellite 160 has both a desired component and an interferer component. Similarly, the signal received at antenna 166 from satellite 162 has both a desired component and an interferer component.
Earth station 168 processes these two received signals from antennas 164 and 166 and combines them such that their interferer components cancel each other out. Specifically, Earth station 168 adjusts the relative phase, relative timing, relative amplitude, and possibly other attributes of the two received signals from antennas 164 and 166 such that their respective interferer components are 180 degrees out of phase and equal in magnitude. Thus, when the two received signals are combined, their respective interferer components cancel each other out (by destructive interference). What remains is a composite signal that is substantially free of the interference from user terminal 170. This composite signal is thus comprised of contributions from a plurality of individual signals transmitted over different paths, wherein the individual signals are sent from a common, desired transmitter, which is user terminal 152. The composite signal can then be processed using the innovative path diversity approaches described in various embodiments of the present invention.
In one embodiment of the invention, the equipment associated with Earth station 168 comprises low noise amplifiers (LNA) 180 and 182, down converters (DC) 184 and 186, parameter adjustment (Phase Amp Time Adjust) blocks 188 and 190, and signal combiner 192. LNA 180 amplifies the signal received from antenna 164. DC 184 down converts this amplified signal. Phase Amp Time Adjust block 188 performs proper phase, amplitude, and time adjustments to the down-converted signal. The resulting signal is presented to one input of signal combiner 192. Similar processing is performed on the signal received from antenna 166, using LNA 182, DC 186, Phase Amp Time Adjust block 190, to generate a resulting signal that is presented to the other input of signal combiner 192. Processing described above adjusts the two resulting signals such that their interferer components are of equal magnitude and 180 degrees out of phase. Combiner 192 then adds the two signals together so that their interferer components cancel each other out.
With the interference signals canceled out, user terminal 152 can be viewed here as the single data source associated with the desired individual signals. In the present embodiment of the invention, the desired data is encoded at user terminal 152 by a forward error correction (FEC) code. The encoded data is modulated according to a suitable modulation scheme. In the present embodiment, an M-ary Phase Shift Keying (MPSK) modulation scheme is used. The resulting modulated signal is upconverted to a suitable radio frequency (RF), amplified, and transmitted to satellites 160 and 162, respectively. The encoding, modulation, upconversion, and amplification can be implemented using known techniques familiar to those of ordinary skill in the art.
As in the case of system 100, here the two satellites 160 and 162 of system 150 are non-processing “bent pipe” satellites in low, medium or geo-synchronous orbits, each satellite being in a distinct orbit slot. Satellites 160 and 162 relay the signal from user terminal 152, along with the undesired signals from interferer user terminal 170, using the same nominal downlink frequency so the signals arrive antennas 164 and 166 at the same frequency, exclusive of any Doppler shift which is not common between all paths. According the present embodiment of the invention, the undesired signals from interferer user terminal 170 are canceled out with one another at Earth station 168. Further, the desired signals from user terminal 152 are processed at Earth station 168 to take advantage of path diversity and thereby improve link performance.
Again, while the desired signals are shown to be transmitted over two paths using two satellites in the present embodiment (one path extending from user terminal 152 via satellite 160 to antenna 164; the other path extending from user terminal 152 via satellite 162 to antenna 166), more than two paths can certainly be used. For example, when L satellites are used, there may be L paths in the multipath channel, L being a positive integer that may be greater than two.
For a system such as cooperative satellite system 100 or 150, the difference in the path delays between various paths can be many milliseconds, even more than 10 milliseconds. For a carrier with even a medium symbol rate of 1 mega symbols per second (Msps), the time arrival difference between paths can be thousands of symbols in duration. The techniques described herein allows path diversity to be exploited even when delay spread between the diversity paths is large relative to the symbol period.
FIG. 2 is a basic block diagram of an example transmitter structure 200 suitable for generating a plurality of individual signals that can be transmitted over different paths, according to one embodiment of the present invention. The plurality of individual signals represent a common data sequence such that each individual signal corresponds to a version of the common data sequence. While FIG. 2 illustrates an example where three individual signals are generated, the number of individual signals can be a number other than three. That is, transmit structure 200 can be implemented to generate L individual signals, where L is any positive integer. For example, referring back to FIG. 1A, transmitter structure 200 may be configured in Earth station 102 to generate two individual signals, which are transmitted by antennas 104 and 106.
As shown in FIG. 2, transmitter structure 200 comprises a forward error correction encoder (FEC) 204, a set of re-order blocks (RE-ORDER) 206B-C, a set of modulators (MOD) 208A-C, a set of upconverter and high power amplifiers (UC and HPA) 210A-C, and a set of outputs 212A-C. Operations of the various components of transmitter structure 200 is described in further detail below. An input 202 accepts a data sequence to be processed by transmitter structure 200. Input 202 may be implemented in different ways. For example, input 202 may comprise a digital interface to a data source, such as a buffer (not shown).
Here, FEC encoder 204 encodes the data sequence to produce an encoded data sequence. The encoded data sequence is used as a common data sequence to generate individual data sequences, each of which is a “version” of the common data sequence. One method of generating these individual data sequence is by using optional re-order blocks 206B-C. If implemented, each of the re-order blocks 206B-C re-orders the encoded sequence according to a known re-ordering function, to generate a differently re-ordered sequence. Alternatively, no re-ordering is performed, in which case the individual signals remain ordered in the same way. Even if no re-ordering is applied, the individual signals can later become offset in time from one another as they are transmitted over different paths and experience different path delays.
Returning to FIG. 2, the individual data sequences are then modulated using modulators 208A-C to produce individual modulated signals. The modulated signals are separately upconverted and amplified using UP and HPA 210A-C, then transmitted using separate transmitters 212A-C. As shown here, transmitters 212A-C are implemented as separate antennas.
Note that a plurality of individual signals used to represent a common data sequence need not be explicitly generated as separate signals. Transmitter structure 200 may be modified such that it generates only one modulated signal. Such a transmitter structure 200 would only comprise, for example, input 202, FEC 204, MOD 208A, UP and HPA 210A, and transmitter 212A. The single modulated signal generated from such a transmitter structure 200 may be sent over multiple paths, and in the process, become a plurality of individual signals. Each of these individual signals would represent the common data sequence. These individual signals may arrive at a receiver at different time offsets because they experience different path delays. Such a transmitter structure for generating a single modulated signal may be implemented in user terminal 152 shown in FIG. 1B.
FIG. 3 is a basic block diagram of an example receiver structure 300 suitable for processing a composite signal comprising contributions from individual signals transmitted over multiple paths, according to one embodiment of the present invention. Referring back to FIG. 1A, receiver structure 300 may be implemented in user terminal 112 to process the composite signal received from satellites 108 and 110. As another example, referring back to FIG. 1B, portions of receiver structure 300 may be implemented in Earth station 168 to process the composite signal generated from the combining of signals received from satellites 160 and 162.
As shown in the figure, receiver structure 300 comprises a low noise amplifier (LNA) 304, a down converter (DC) 306, a match filter (MF) 308, an iterative combiner (IC) 310, a processing block (PHASE TIME AMP) 312, and a data detector (DETECT) 314. Operations of the various components of receiver structure 300 is described in further detail below. An input 302 accepts a composite signal to be processed by receiver structure 300. Input 302 may be implemented in different ways. Here, input 302 is shown as an antenna receiving the composite signal. In other implementations, input 302 may simply be a port through which the composite signal is delivered from another device. Low noise amplifier 304 amplifies the composite signal. Down convert 306 brings the signal down to baseband. The signal, now complex, is filtered by an appropriate match filter 308 and sampled at the rate of once per symbol. The result is a sampled complex output z(n), which is presented to iterative combiner 310 and also presented to processing block 312.
Processing block 312 estimates the phase, time, and amplitude of the various signal path components. The phase and amplitude estimates are represented as wl's, while the time estimates are represented as τl's in discussions that follow. For a composite signal comprising contributions from L individual signals transmitted over different paths, processing block 312 generates an estimate of wl and an estimate of τl for each one of the L individual signals. Processing block 312 can be implemented in numerous ways. For example, one technique would be to use an autocorrelation of the received signal and the differently received components will appear as correlation peaks separated in time by the delay spread of the received signal components.
Iterative combiner 310 uses the wl's and τl's generated by processing block 312 to process the sampled complex output z(n), to produce estimates of the received sequence. Finally, the estimates of the received sequence can be used by detector 314 to create the data stream out of the receiver. Operations of receiver structure 300, especially those of iterative combiner 310 and detector 314, are described in more detail in subsequent sections.
Received Signal Model
A received signal model is described below to further illustrate the operations of receiver 300 shown in FIG. 3. Here, well known technology areas of M-ary Phase Shift Keying (MPSK) modulation and satellite communication are adopted. However, it should be understood that different modulation schemes and different types of communication medium may be used in implementing the present invention. An initial symbol sequence a(n) is used to generate individual signals transmitted over multiple paths. The initial symbol sequence a(n) may already be FEC encoded. For example, referring back to FIG. 2, the FEC encoding function may be performed by FEC block 204. Here, an MPSK system is adopted. Thus, each data symbol in a(n) takes on one of the M possible values [0, 1, 2, . . . , M−1], wherein M is a positive integer. Each symbol is mapped on to a constellation point on the I-Q plane ã(n) using a symbol mapping, such as the sequential mapping




  
    
      
        
          
            a
            ~
          
          ⁡
          
            (
            n
            )
          
        
        =
        
          exp
          ⁡
          
            (
            
              j2π
              ⁢
              
                
              
              ⁢
              
                
                  a
                  ⁡
                  
                    (
                    n
                    )
                  
                
                M
              
            
            )
          
        
      
    
    
      
        (
        1
        )
      
    
  




Other mapping, such as Gray coding, could also be used for mapping symbol values to constellation points.

Individual signals generated in this fashion may be transmitted over L different paths (e.g., L satellites) and received at a receiver as a composite signal. Facilities such as low noise amplifier 304 and down converter 306 of receiver structure 300 may perform appropriate low noise amplification and down conversion on the composite signal. Thus, according to the present embodiment of the invention using L paths and MPSK modulation, a mathematical model for the received composite signal r(t) is expresses as




  
    
      
        
          r
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            A
            ⁢
            
              
                ∑
                
                  n
                  =
                  
                    -
                    ∞
                  
                
                ∞
              
              ⁢
              
                [
                
                  
                    
                      w
                      0
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      p
                      ⁡
                      
                        (
                        
                          t
                          -
                          
                            n
                            ⁢
                            
                              
                            
                            ⁢
                            T
                          
                        
                        )
                      
                    
                  
                  +
                  
                    
                      w
                      1
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      p
                      ⁡
                      
                        (
                        
                          t
                          -
                          
                            n
                            ⁢
                            
                              
                            
                            ⁢
                            T
                          
                          -
                          
                            τ
                            1
                          
                        
                        )
                      
                    
                  
                  +
                  ...
                  +
                  
                    
                      w
                      
                        L
                        -
                        1
                      
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      p
                      ⁡
                      
                        (
                        
                          t
                          -
                          
                            n
                            ⁢
                            
                              
                            
                            ⁢
                            T
                          
                          -
                          
                            τ
                            
                              L
                              -
                              1
                            
                          
                        
                        )
                      
                    
                  
                
                ]
              
            
          
          +
          
            n
            ⁡
            
              (
              t
              )
            
          
        
      
    
    
      
        (
        
          1
          ⁢
          a
        
        )
      
    
  




where p(t) is the pulse shaping which can be a Square Root Raised Cosine (SRRC) pulse shape, wl is complex value which represents the amplitude and phase, possibly time varying, of the lth path (l=0 . . . L−1), and τl is the additional time delay of the lth path with respect to path number 0. Path number zero is defined to be the path with the minimum propagation delay. The channel phase and amplitude coefficients, wl, are assumed here to be known values. According to an embodiment of the invention, these coefficients can be separately determined via conventional methods well known to one of ordinary skill in the art. For example, coefficients wl and τl may be determined by PHASE TIME AMP processing block 312 of receiver structure 300.

To simplify the explanation of iterative combining, the discussion below initially assumes that the path delay differences, τl are equal to an integer number of symbol periods. That is τl=klT, where kl is some positive integer. Note that in satellite systems, this assumption may only hold in certain scenarios. For example, the assumption would hold if the diversity paths were through the same satellite, possibly in different spot beams. This would have utility, for example, for a UT in an area that was in the overlap area of two or more spot beams from the same satellite. In such a case, two signals will experience the exact same delay profile and thus have the potential to destructively interfere with each other if they happen to be received 180 degrees out of phase. The interference can be simply avoided by offsetting the two signals in time, and in this case, the delay can be selected to be exactly an integer number of symbols. However, in the general satellite case where the L paths come from L satellites in L different orbit slots, the assumption that time delays are equal to an integer number of symbol periods may not hold. The processing described in the subsequent sections extends the combiner utility to the general case where τl≠klT.
Using a matched filter receiver and assuming τl=klT, the samples of the matched filter output can be expressed as

z(n)=A[w0ã(n)+wlã(n−kl)+ . . . +wL−1ã(n−kL−1)]+N(n)  (2)

For example, z(n) may be the complex output generated from match filter 308 of receiver structure 300.

Iterative Combining

The relatively recent discovery (within the last 15 years) of Turbo codes and Iterative decoding provided the basis for applications of Iterative Processing in demodulation problems. Iterative Combining (IC) provides an attractive alternative in that it comes very close to the optimum MLSE solution but has reasonable complexity.
First, a sequence al(n)=a(n−kl) can be defined. In other words, al(n) is the sequence of data symbols coming from the lth diversity path. Next we reformulate (2),

z(n)=A[w0ã0(n)+wlãl(n)+ . . . +wL−1(n)]+N(n)  (3)

where N is a complex Gaussian noise random variable with E[N]=0 and E[NN*]=2σ2. Note that the relationship between a0(n) and al(n) in (3) need not be a simple time delay. A re-ordering of the sequence a0(n) to result in the sequence al(n) can be used. For example, such re-ordering may be applied on the transmit side during generation of the individual signals, by using re-order blocks 206B-C shown in FIG. 2. This allows one to use re-ordered symbol sequences for the subsequent diversity paths.

FIG. 4 is a block diagram depicting the operations of iterative combiner 310 and data detector 314 according to one embodiment of the invention. Iterative combiner 310 comprises an A'Posteriori Probability calculator (APP) block 402, a summing block (Σ) 404, and various permutation and inverse permutation functions. Data detector 314 comprises a select maximum block 406 and a symbol-to-bit converter 408.
Iterative processing is performed over a block of B consecutive symbols. Ideally, the size of the block B is much larger than the difference (in symbols) between the smallest and largest path delays to reduce the edge effects to a minimum. The input time sequences, x(n) and y(n) are the real and imaginary parts of z(n). APP block 402 is a Soft Input—Soft Output (SISO) block that calculates the Soft Output (SO), also known as extrinsic information, of the symbol sequences al(n) given the observation sequence z(n) and the Soft Input (SI), also known as the a'priori information, of the symbol sequences al(n).
The a'posteriori soft outputs SO generated by APP block 402 are examples of soft values of a first type. The a'priori soft inputs SI received by APP 402 are examples of soft value of a second type.
In the present embodiment of the invention, the Soft Outputs SO are calculated without taking advantage of the known relationships between the sequences al(n). In other words, the sequences al(n) are treated as independent sequences by the APP block 402. The outputs of APP block 402 are the M dimensional vector sequences, SO(al), which have M values for each time index, n. Specifically for the symbol at time n (the time index is omitted on the vector quantities for brevity),




  
    
      
        
          S
          ⁢
          
            
          
          ⁢
          
            O
            ⁡
            
              (
              
                a
                l
              
              )
            
          
        
        =
        
          
            [
            
              
                
                  
                    ln
                    ⁡
                    
                      [
                      
                        Pr
                        ⁢
                        
                          {
                          
                            
                              a
                              l
                            
                            =
                            
                              0
                              ❘
                              
                                z
                                ⁡
                                
                                  (
                                  n
                                  )
                                
                              
                            
                          
                          }
                        
                      
                      ]
                    
                  
                
              
              
                
                  
                    ln
                    ⁡
                    
                      [
                      
                        Pr
                        ⁢
                        
                          {
                          
                            
                              a
                              l
                            
                            =
                            
                              1
                              ❘
                              
                                z
                                ⁡
                                
                                  (
                                  n
                                  )
                                
                              
                            
                          
                          }
                        
                      
                      ]
                    
                  
                
              
              
                
                  ⋮
                
              
              
                
                  
                    ln
                    ⁡
                    
                      [
                      
                        Pr
                        ⁢
                        
                          {
                          
                            
                              a
                              l
                            
                            =
                            
                              
                                M
                                -
                                1
                              
                              ❘
                              
                                z
                                ⁡
                                
                                  (
                                  n
                                  )
                                
                              
                            
                          
                          }
                        
                      
                      ]
                    
                  
                
              
            
            ]
          
          -
          
            S
            ⁢
            
              
            
            ⁢
            
              I
              ⁡
              
                (
                
                  a
                  l
                
                )
              
            
          
        
      
    
    
      
        (
        4
        )
      
    
  




where SI(al) is the vector of the log of the a'priori probabilities,





  
    
      
        
          S
          ⁢
          
            
          
          ⁢
          
            I
            ⁡
            
              (
              
                a
                l
              
              )
            
          
        
        =
        
          [
          
            
              
                
                  ln
                  ⁡
                  
                    [
                    
                      Pr
                      ⁢
                      
                        {
                        
                          
                            a
                            l
                          
                          =
                          0
                        
                        }
                      
                    
                    ]
                  
                
              
            
            
              
                
                  ln
                  ⁡
                  
                    [
                    
                      Pr
                      ⁢
                      
                        {
                        
                          
                            a
                            l
                          
                          =
                          1
                        
                        }
                      
                    
                    ]
                  
                
              
            
            
              
                ⋮
              
            
            
              
                
                  ln
                  ⁡
                  
                    [
                    
                      Pr
                      ⁢
                      
                        {
                        
                          
                            a
                            l
                          
                          =
                          
                            M
                            -
                            1
                          
                        
                        }
                      
                    
                    ]
                  
                
              
            
          
          ]
        
      
    
    
      
        (
        5
        )
      
    
  




It should be noted that in many implementations of APP block 402, the SI and SO information may contain an additive constant that is present in every component of (4) and (5). However, this may not affect the outcome of any symbol decisions because the information regarding the probabilistic likelihood of one symbol relative to another is carried within the differences between the components of the vector.
On the first iteration, the a'priori vectors SI are initialized by setting all of their components to the same constant value, such as 0, which indicates that all of the symbol values have a equal a'priori probability of occurrence.
The inverse permutations πl−1 take advantage of the known relationship between the symbols sequences al(n) and a0(n). This relationship is generally al(n)=a(n−kl)=a0(n−kl) unless re-ordering of the symbols signal is performed. Reordering of the signals may be warranted for a number of reasons, including a desire to use different ordering on different satellites or spot beams.
When re-ordering of the symbols on paths 1 through L−1 is performed, the relationship between al(n) and a0(n) is more than just a delay, but the relationship is still known. The inverse permutations, πl−1, can be configured to re-order the extrinsic vectors out of the APP such that the symbols sequences align. The permutations will in general remain fixed unless some sort of time dependent ordering of transmitted signals takes place. The values of the delays for each path, however, are subject to change with channel conditions and may need be tracked and supplied to the Iterative Combiner. For example, PHASE TIME AMP processing block 312 shown in FIG. 3 may supply the delay information. After the inverse permutations πl−1 are applied, the result is the permuted extrinsic probability vectors labeled SI′(al).
The permuted SI′(al) values are example of aligned soft values of a first type. That is, they constitute a'posteriori information, but they have been aligned to take into account the permutations associated with the individual data sequences. Thus, the SI′(al) values are symbol aligned. For each symbol a(n) on each of the L paths, the SI′(al) values contain information about the likelihood that the transmitted symbol is equal to the each possible value j, jε[0,M−1]. Here, the label SI′ indicates that the vector is a soft input to the combing block as opposed to a soft input to the APP block, which is indicated by SI(al).
The permuted SI′(al) values are provided to summing block 404, which combines all of the information from the L paths by summing the components of all of the vectors, to generate the soft output vector SO′(a),




  
    
      
        
          S
          ⁢
          
            
          
          ⁢
          
            
              O
              ′
            
            ⁡
            
              (
              a
              )
            
          
        
        =
        
          
            ∑
            
              l
              =
              0
            
            
              L
              -
              1
            
          
          ⁢
          
            S
            ⁢
            
              
            
            ⁢
            
              
                I
                ′
              
              ⁡
              
                (
                
                  a
                  l
                
                )
              
            
          
        
      
    
    
      
        (
        
          5
          ⁢
          a
        
        )
      
    
  




The soft output of the summing block 404 is SO′(a). For each symbol a(n), SO′(a) contains information on the likelihood that the transmitted symbol is equal to each possible value j. These are examples of symbol soft outputs. SO′(a) is provided to select maximum block 406 to make a hard decision on the symbol a(n) by just choosing the index corresponding to the largest component of M components of the vector SO′(a), thereby producing symbol hard outputs (symbol decisions). The symbol hard outputs can be provided to symbol-to-bits converter 408 to generate bit hard outputs (bit decisions). That is, the demodulated bits are just the Log2(M) bits that are associated with the index corresponding to the symbol decisions.
For subsequent iterations, the vector time sequence SO′(a) is re-ordered by the permutations πl for l=1 to L−1. These permutations provide the same re-ordering that is performed by the combination of the transmitters and the channel delays. In other words, the symbol outputs generated by summing block 404 are re-aligned for each path such that they reflect the particular ordering of data sequences for that path. The vector sequence SO′(a) plus the L−1 re-ordered vector sequences form the soft input vector sequences, SI(al). The SI(al) values are now fed back to the APP block 402 for subsequent iterations.
The major calculation in the iterative decoder is the calculation of the APP soft output information as defined in (4). To express this calculation, first define the vector a which has as its components the symbols a0, a1, and aL−1. The jth component of the soft output vector SO(al) contains the information about the possibility that al(n)=j, and can be calculated using,




  
    
      
        
          S
          ⁢
          
            
          
          ⁢
          
            O
            ⁡
            
              (
              
                
                  a
                  l
                
                =
                j
              
              )
            
          
        
        =
        
          ln
          ⁡
          
            [
            
              
                ∑
                
                  
                    a
                    :
                    
                      a
                      l
                    
                  
                  =
                  j
                
              
              ⁢
              
                exp
                (
                
                  
                    γ
                    ⁡
                    
                      [
                      
                        
                          z
                          ⁡
                          
                            (
                            n
                            )
                          
                        
                        ,
                        a
                      
                      ]
                    
                  
                  +
                  
                    
                      
                        ∑
                        
                          k
                          =
                          0
                        
                        
                          L
                          -
                          1
                        
                      
                      
                        k
                        ≠
                        l
                      
                    
                    ⁢
                    
                      S
                      ⁢
                      
                        
                      
                      ⁢
                      
                        I
                        ⁡
                        
                          (
                          
                            
                              a
                              k
                            
                            =
                            
                              
                                f
                                k
                              
                              ⁡
                              
                                (
                                a
                                )
                              
                            
                          
                          )
                        
                      
                    
                  
                
                }
              
            
            ]
          
        
      
    
    
      
        (
        6
        )
      
    
  




In (6), the notation a: al=j indicates the sum over all possible values for the vector a constrained to the lth component, al, being equal to j. The vector a has L components, each with M possible values. So the vector a can assume ML possible values, but lth component of that vector is fixed, so the summation is over M(L−1) possible vector values. The term SI[ak=fk(a)] is the a'priori information on the possibility that ak equals the value fk(a) where fk(a) is the value of the kth component of the vector a. SI[ak=fk(a)] is just one of the components of the a'priori vector SI(ak), the component is determined by the value of ak within the vector a. The term γ(z(n),a) is computed from the channel inputs, z(n)





  
    
      
        
          γ
          ⁡
          
            (
            
              
                z
                ⁡
                
                  (
                  n
                  )
                
              
              ,
              a
            
            )
          
        
        =
        
          -
          
            
              
                
                  (
                  
                    
                      x
                      ⁢
                      
                        (
                        n
                        )
                      
                    
                    -
                    
                      η
                      x
                    
                  
                  )
                
                2
              
              +
              
                
                  (
                  
                    
                      y
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    -
                    
                      η
                      y
                    
                  
                  )
                
                2
              
            
            
              2
              ⁢
              
                σ
                2
              
            
          
        
      
    
    
      
        (
        7
        )
      
    
  




where ηx and ηy are the means given by,





  
    
      
        
          
            η
            x
          
          =
          
            Re
            ⁢
            
              {
              
                A
                ⁢
                
                  
                    ∑
                    
                      l
                      =
                      0
                    
                    
                      L
                      -
                      1
                    
                  
                  ⁢
                  
                    
                      w
                      l
                    
                    ·
                    
                      
                        
                          a
                          ~
                        
                        l
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                  
                
              
              }
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            η
            y
          
          =
          
            Im
            ⁢
            
              {
              
                A
                ⁢
                
                  
                    ∑
                    
                      l
                      =
                      0
                    
                    
                      L
                      -
                      1
                    
                  
                  ⁢
                  
                    
                      w
                      l
                    
                    ·
                    
                      
                        
                          a
                          ~
                        
                        l
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                  
                
              
              }
            
          
        
      
    
    
      
        (
        8
        )
      
    
  




Note that in (7) the means are a function of the vector a.

The soft output of the APP block can also be computed in the log domain using the well known Max* function which is defined as,

Max*(s,t)=Max(s,t)+1n(1+e−|s−t|)  (8a)

where Max(s,t) chooses the maximum value of s and t. The component of the APP soft output vector, SO(al=j) can be then calculated by initializing a variable t to a large negative value and repetitively computing





  
    
      
        t
        =
        
          
            Max
            *
          
          [
          
            t
            ,
            
              
                γ
                ⁡
                
                  (
                  
                    
                      z
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ,
                    a
                  
                  )
                
              
              +
              
                
                  
                    ∑
                    
                      k
                      =
                      0
                    
                    
                      L
                      -
                      1
                    
                  
                  
                    k
                    ≠
                    l
                  
                
                ⁢
                
                  S
                  ⁢
                  
                    
                  
                  ⁢
                  
                    I
                    ⁡
                    
                      (
                      
                        
                          a
                          k
                        
                        =
                        
                          
                            f
                            k
                          
                          ⁡
                          
                            (
                            a
                            )
                          
                        
                      
                      )
                    
                  
                
              
            
          
          ]
        
      
    
    
      
        (
        
          8
          ⁢
          b
        
        )
      
    
  




each time using a different value for the vector a, where the values are drawn from all possible values of a constrained to the lth component, al, being equal to j. After all M(L−1) possible values of a are applied in (8b) the variable t will contain the proper value for SO(al=j).

FIG. 5 presents simulated bit error rate (BER) performance for a variety of different reception scenarios, including performance of an iterative combiner configured in accordance with an embodiment of the invention. Here, an iterative combiner using BPSK modulation and L=2 diversity paths is adopted. Here, convergence for the iterative combiner was achieved within 10 iterations. In other words, within 10 iterations of the calculations performed by the iterative combiner, such as those illustrated in FIG. 4, the marginal improvement in the BER performance associated with each additional iteration became insignificant. The first curve indicates the performance using only 1 path (no diversity). The performance with L=2 paths is shown for 2 cases: (1) one where the second path is a fixed delay of 32 symbols with respect to the first path and (2) another where the second path involves no delay but a re-ordering of the symbols in the first path. In both cases the received signal levels were the same and small random frequency error was introduced to simulate the small differences in received frequency of the two paths. As can be seen in FIG. 5, the performance with iterative combining is nearly 3 dB better than the no diversity case, and unlike the RAKE receiver, it performs very well at large SNRs.
Enhancement for Non-integer Delays
FIG. 6 is a block diagram depicting the operations of match filter 308, iterative combiner 310, and data detector 314, as modified to accommodate non-integer path delays, according to one embodiment of the present invention. Here, match filter 308 comprises a filter 602 characterized by the pulse shape p(t) and a set of L samplers 604, which are described in further detail below. Iterative combiner 310 comprises APP block 606, summation block (Σ) 608, and various permutation and inverse permutation functions. Data detector 314 comprises select maximum block 610 and symbol-to-bit converter 612.
In the general case, the difference in the path delay between path number l and path number 0 may not be an integer number of symbols. Thus, the combing structure can be modified slightly to accommodate the non-integer path delays. As discussed previously, the input signal to the combiner is as described in equation (1). However, since the path delay differences are not integer multiples of the symbol duration, equation (2) does not hold. Instead, the signal out of the matched filter, and before sampling, is described by,




  
    
      
        
          z
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            A
            ⁢
            
              
                ∑
                
                  n
                  =
                  
                    -
                    ∞
                  
                
                ∞
              
              ⁢
              
                [
                
                  
                    
                      w
                      0
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          
                            n
                            ⁢
                            
                              
                            
                            ⁢
                            T
                          
                        
                        )
                      
                    
                  
                  +
                  
                    
                      w
                      1
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          
                            n
                            ⁢
                            
                              
                            
                            ⁢
                            T
                          
                          -
                          
                            τ
                            1
                          
                        
                        )
                      
                    
                  
                  +
                  ...
                  +
                  
                    
                      w
                      
                        L
                        -
                        1
                      
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          
                            n
                            ⁢
                            
                              
                            
                            ⁢
                            T
                          
                          -
                          
                            τ
                            
                              L
                              -
                              1
                            
                          
                        
                        )
                      
                    
                  
                
                ]
              
            
          
          +
          
            n
            ⁡
            
              (
              t
              )
            
          
        
      
    
    
      
        (
        9
        )
      
    
  




where b(t) is the convolution of the pulse shape, p(t), with itself. This is accomplished by filtering the received signal r(t) with filter 602. The additional path delay values τl are generally quite large. They can be 1000's of symbols in duration. So we break the parameter τl into a integer part, nl, and a fractional part, τl′ (0≦τl′<T). Thus τl=nlT+τl′. Using this to re-write (9) yields,





  
    
      
        
          z
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            A
            ⁢
            
              
                ∑
                
                  n
                  =
                  
                    -
                    ∞
                  
                
                ∞
              
              ⁢
              
                [
                
                  
                    
                      w
                      0
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          nT
                        
                        )
                      
                    
                  
                  +
                  
                    
                      w
                      1
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        
                          n
                          -
                          
                            n
                            1
                          
                        
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          nT
                          -
                          
                            τ
                            1
                            ′
                          
                        
                        )
                      
                    
                  
                  +
                  ...
                  +
                  
                    
                      w
                      
                        L
                        -
                        1
                      
                    
                    ⁢
                    
                      
                        a
                        ~
                      
                      ⁡
                      
                        (
                        
                          n
                          -
                          
                            n
                            
                              L
                              -
                              1
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          nT
                          -
                          
                            τ
                            
                              L
                              -
                              1
                            
                            ′
                          
                        
                        )
                      
                    
                  
                
                ]
              
            
          
          +
          
            n
            ⁡
            
              (
              t
              )
            
          
        
      
    
    
      
        (
        10
        )
      
    
  




Defining the symbols sequences al(n)=a(n−nl) results in a matched filter output that can be expressed as,





  
    
      
        
          z
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            A
            ⁢
            
              
                ∑
                
                  n
                  =
                  
                    -
                    ∞
                  
                
                ∞
              
              ⁢
              
                [
                
                  
                    
                      w
                      0
                    
                    ⁢
                    
                      
                        
                          a
                          ~
                        
                        0
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          nT
                        
                        )
                      
                    
                  
                  +
                  
                    
                      w
                      1
                    
                    ⁢
                    
                      
                        
                          a
                          ~
                        
                        1
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          nT
                          -
                          
                            τ
                            1
                            ′
                          
                        
                        )
                      
                    
                  
                  +
                  ...
                  +
                  
                    
                      w
                      
                        L
                        -
                        1
                      
                    
                    ⁢
                    
                      
                        
                          a
                          ~
                        
                        
                          L
                          -
                          1
                        
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    ⁢
                    
                      b
                      ⁡
                      
                        (
                        
                          t
                          -
                          nT
                          -
                          
                            τ
                            
                              L
                              -
                              1
                            
                            ′
                          
                        
                        )
                      
                    
                  
                
                ]
              
            
          
          +
          
            n
            ⁡
            
              (
              t
              )
            
          
        
      
    
    
      
        (
        11
        )
      
    
  




The output of the matched filter is then sampled L times to generate L sampled signals, z0(n) . . . zL−1(n). This is done by the set of samplers 604. The sample time for the lth time series, zl(n), is t=nT+τl′. Each time series is thus sampled at the rate of one sample per symbol and is symbol synchronized to the symbol stream of one of the paths. The resulting time series that are used as input to the APP block are,




  
    
      
        
          
            z
            l
          
          ⁡
          
            (
            n
            )
          
        
        =
        
          
            A
            ⁡
            
              [
              
                
                  
                    w
                    l
                  
                  ·
                  
                    
                      
                        a
                        ~
                      
                      l
                    
                    ⁡
                    
                      (
                      n
                      )
                    
                  
                
                +
                
                  
                    ∑
                    
                      i
                      ≠
                      l
                    
                  
                  ⁢
                  
                    
                      w
                      i
                    
                    ⁢
                    
                      
                        ∑
                        
                          k
                          =
                          
                            -
                            ∞
                          
                        
                        ∞
                      
                      ⁢
                      
                        
                          
                            
                              a
                              ~
                            
                            i
                          
                          ⁡
                          
                            (
                            k
                            )
                          
                        
                        ·
                        
                          b
                          ⁡
                          
                            (
                            
                              
                                
                                  (
                                  
                                    n
                                    -
                                    k
                                  
                                  )
                                
                                ⁢
                                T
                              
                              +
                              
                                τ
                                l
                                ′
                              
                              -
                              
                                τ
                                i
                                ′
                              
                            
                            )
                          
                        
                      
                    
                  
                
              
              ]
            
          
          +
          
            
              N
              l
            
            ⁡
            
              (
              n
              )
            
          
        
      
    
    
      
        (
        12
        )
      
    
  




In an alternative embodiment, the inputs to the APP block (Eq. 10) can be generated by a sampling of the signal r(t) at a sample rate higher than the sample rate and then performing digital matched filtering to generate matched filter outputs at a rate higher than the symbol rate. The high rate matched filter output sequence can that be digitally re-sampled to generate the sequences described in Eq. (12).
The APP block 606 works very similarly to that previous described. However, due to the Inter-Symbol Interference (ISI) that can be a result of the signals from the path delays not being symbol synchronized, Soft Input information from P symbols before and after symbol n must be used in the calculations. The parameter P is some small integer, typically 3 or less that is selected based on the width of the pulse b(t). The Soft Output information about the possibility that SO(al(n))=j is calculated by,




  
    
      
        
          
            SO
            ⁡
            
              (
              
                
                  
                    a
                    l
                  
                  ⁡
                  
                    (
                    n
                    )
                  
                
                =
                j
              
              )
            
          
          =
          
            ln
            ⁡
            
              [
              
                
                  ∑
                  
                    s
                    ∈
                    S
                  
                
                ⁢
                
                  exp
                  ⁢
                  
                    {
                    
                      
                        γ
                        ⁡
                        
                          (
                          
                            
                              
                                z
                                l
                              
                              ⁡
                              
                                (
                                n
                                )
                              
                            
                            ,
                            s
                            ,
                            l
                          
                          )
                        
                      
                      +
                      
                        SI
                        ⁡
                        
                          (
                          
                            s
                            ,
                            l
                          
                          )
                        
                      
                    
                    }
                  
                
              
              ]
            
          
        
        ⁢
        
          

        
        ⁢
        where
      
    
    
      
        (
        13
        )
      
    
  
  
    
      
        
          γ
          ⁡
          
            (
            
              
                
                  z
                  l
                
                ⁡
                
                  (
                  n
                  )
                
              
              ,
              s
              ,
              l
            
            )
          
        
        =
        
          -
          
            
              
                
                  (
                  
                    
                      
                        x
                        l
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    -
                    
                      
                        η
                        x
                      
                      ⁡
                      
                        (
                        
                          s
                          ,
                          l
                        
                        )
                      
                    
                  
                  )
                
                2
              
              +
              
                
                  (
                  
                    
                      
                        y
                        l
                      
                      ⁡
                      
                        (
                        n
                        )
                      
                    
                    -
                    
                      
                        η
                        y
                      
                      ⁡
                      
                        (
                        
                          s
                          ,
                          l
                        
                        )
                      
                    
                  
                  )
                
                2
              
            
            
              2
              ⁢
              
                σ
                2
              
            
          
        
      
    
    
      
        (
        14
        )
      
    
  
  
    
      
        
          
            
              η
              x
            
            ⁡
            
              (
              
                s
                ,
                l
              
              )
            
          
          =
          
            
              A
              ·
              Re
            
            ⁢
            
              {
              
                
                  
                    w
                    l
                  
                  ·
                  
                    
                      
                        a
                        ~
                      
                      l
                    
                    ⁡
                    
                      (
                      n
                      )
                    
                  
                
                +
                
                  
                    
                      ∑
                      
                        k
                        =
                        0
                      
                      
                        L
                        -
                        1
                      
                    
                    
                      k
                      ≠
                      l
                    
                  
                  ⁢
                  
                    
                      w
                      k
                    
                    ⁢
                    
                      
                        ∑
                        
                          m
                          =
                          
                            n
                            -
                            P
                          
                        
                        
                          n
                          +
                          P
                        
                      
                      ⁢
                      
                        
                          
                            
                              a
                              ~
                            
                            k
                          
                          ⁡
                          
                            (
                            m
                            )
                          
                        
                        ·
                        
                          b
                          ⁡
                          
                            (
                            
                              
                                
                                  (
                                  
                                    n
                                    -
                                    m
                                  
                                  )
                                
                                ⁢
                                T
                              
                              +
                              
                                τ
                                l
                                ′
                              
                              -
                              
                                τ
                                k
                                ′
                              
                            
                            )
                          
                        
                      
                    
                  
                
              
              }
            
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              η
              y
            
            ⁡
            
              (
              
                s
                ,
                l
              
              )
            
          
          =
          
            
              A
              ·
              Im
            
            ⁢
            
              
            
            ⁢
            
              {
              
                
                  
                    w
                    l
                  
                  ·
                  
                    
                      
                        a
                        ~
                      
                      l
                    
                    ⁡
                    
                      (
                      n
                      )
                    
                  
                
                +
                
                  
                    
                      ∑
                      
                        k
                        =
                        0
                      
                      
                        L
                        -
                        1
                      
                    
                    
                      k
                      ≠
                      l
                    
                  
                  ⁢
                  
                    
                      w
                      k
                    
                    ⁢
                    
                      
                        ∑
                        
                          m
                          =
                          
                            n
                            -
                            P
                          
                        
                        
                          n
                          +
                          P
                        
                      
                      ⁢
                      
                        
                          
                            
                              a
                              ~
                            
                            k
                          
                          ⁡
                          
                            (
                            m
                            )
                          
                        
                        ·
                        
                          b
                          ⁡
                          
                            (
                            
                              
                                
                                  (
                                  
                                    n
                                    -
                                    m
                                  
                                  )
                                
                                ⁢
                                T
                              
                              +
                              
                                τ
                                l
                                ′
                              
                              -
                              
                                τ
                                k
                                ′
                              
                            
                            )
                          
                        
                      
                    
                  
                
              
              }
            
          
        
      
    
    
      
        (
        15
        )
      
    
  
  
    
      
        
          SI
          ⁡
          
            (
            
              s
              ,
              l
            
            )
          
        
        =
        
          
            
              ∑
              
                k
                =
                0
              
              
                L
                -
                1
              
            
            
              k
              ≠
              l
            
          
          ⁢
          
            
              ∑
              
                m
                =
                
                  n
                  -
                  P
                
              
              
                n
                +
                P
              
            
            ⁢
            
              SI
              ⁡
              
                (
                
                  
                    
                      a
                      k
                    
                    ⁡
                    
                      (
                      m
                      )
                    
                  
                  =
                  
                    
                      f
                      
                        k
                        ,
                        m
                      
                    
                    ⁡
                    
                      (
                      s
                      )
                    
                  
                
                )
              
            
          
        
      
    
    
      
        (
        16
        )
      
    
  




and s is a particular occurrence of values for the symbol vectors a(n−P) . . . a(n+P). The summation in (13) is performed over the space, S, which is defined by all possible combinations of symbol values for the components of the symbol vectors a(n−P) . . . a(n+P) which have influence on the means as defined by (15) except al(n) which is always set to j. All components of the vector a(m) will have influence on (15) except the lth component, thus the sum in (13) will be performed M(2P+1)(L−1) possible symbol combinations. The function fk,m(s) specifies the symbol value for kth component of the symbol vector a(m) associated with s. This summation function is performed by summation block 608. All other processing in iterative combiner 310 and data detector 314 is the same as that which was previously presented with respect to FIG. 4.

Block Edge Effects

FIG. 7A illustrates the processing of overlapping blocks of symbols, each block comprising B+kΔ symbols, according to one embodiment of the invention. Here, the iterative combiner forms Soft Outputs for a block of B consecutive symbols by processing a block of B+kΔ consecutive symbols. The value of kΔ is equal to or greater than the difference between the maximum and minimum path delays. In practice, a value of kΔ which is greater than maximum expected path delay difference is preferably selected. The next processing block will overlap the current processing block by kΔ symbols. The same processing occurs with the last processing block. FIG. 7A shows a diagram for L=2 satellites. A discussion of the block effects is provided for the case of L=2 but the concept is easily extended for L>2.
When computing the APP Soft Output information on the a0(n) stream, the symbols from the al(n) stream represent interference to the a0(n) stream. The APP Soft Input information on the al(n) stream is used to determine the APP Soft Output information on the a0(n) bits in the presence of the interference from the al(n) stream. The terms APP Soft Output and APP soft input used here may indicate the Soft Output generated from APP block 606 and the Soft Inputs inputted to APP block 606, respectively, as shown in FIG. 6. Similarly, the term combined Soft Outputs used here may indicate the Soft Outputs generated from summing block 608 as shown in FIG. 6.
For the first kΔ bits of the a0(n) stream, the interference from the al(n) stream (the symbols in the first overlapping section 702) are not part of the combined symbols a(0) . . . a(B−1), hence there is no Soft Input information available from the previous iteration of the combiner. However, information on the value of the symbols in overlapping section 702 was determined during the previous block. This information can be used as the required APP Soft Input information. The same information should be used for all iterations.
Similarly, when computing the APP Soft Output information for the last kΔ bits of the al(n) stream, Soft Input information on the symbols in the second overlapping section 704 at the right of the a0(n) stream is required. Since these symbols occur after the a(B−1) symbol in the a0(n) stream, the APP Soft Input information is not available at any time during the iterative combining of the current block. Nor is it available as a result of the processing of previous blocks. One should use APP Soft Input values of 0 (or any other constant) for each of the possible symbol values for the symbols in overlapping section 704. This indicates that all possible symbol values for the interfering symbols are equally likely.
Due to the unknown (and unknowable) nature of the values of the symbols in overlapping section 704, the APP Soft Outputs for the last kΔ symbols in the al(n) stream will have a lower reliability to them than the other symbols. However, this information will be combined with the information on the same symbols from the a0(n) stream, which does not have a low reliability, to yield a significant improvement on the reliability of combined Soft Outputs for the symbols a(B−k1) . . . a(B−1). Still the reliability of these symbols will be less than the reliability of combined Soft Outputs for symbols a(0) . . . a(B−kl−1). Hence the value of selecting a processing block size, B, which is much larger than kΔ.
FIG. 7B illustrates the processing of overlapping blocks of symbols, each block comprising B+2kΔ symbols, according to an alternative embodiment of the invention. Here, the lower reliability of the combined Soft Outputs for the last kΔ symbols of a processing block can be eliminated by using processing blocks with a size of B+2kΔ symbols and an overlap of 2kΔ symbols.
As shown in FIG. 7B, the processing block starts kΔ symbols before the arrival a0(0) symbol. This allows the iterative combiner to generate combined Soft Outputs for the last kΔ symbols in the previous block as well as the B symbols in the current block. A total of B+kΔ combined Soft Outputs are generated for each processing block. Consecutive processing blocks will have an overlap of kΔ symbols in the combined Soft Outputs. The combined Soft Outputs for last kΔ symbols of the previous block, which have a reduced reliability as compared to the first B−kΔ symbols in the previous block, can be replaced with the combined Soft Outputs for the first kΔ symbols of the current block. A detailed explanation of the combiner operations is provided below.
The first kΔ symbols of the a0(n) stream in the current processing block will have, as interference, the kΔ symbols from the al(n) stream labeled as section 712 in FIG. 7B. The combined Soft Outputs for these symbols have been generated in the previous processing block, and have maximum reliability since they are not the last kΔ symbols of the previous block. These combined Soft Outputs can be used as APP Soft Inputs for the al(n) stream when computing the APP Soft Outputs for the first kΔ symbols of the a0(n) stream. The same APP Soft Input information should be used for all iterations.
The second set of kΔ symbols in the a0(n) stream will have, as interference, the kΔ symbols from the al(n) stream which are labeled as section 714 in FIG. 7B. The combined Soft Output for these symbols from the previous processing block is used as APP Soft Inputs for first iteration of the APP Soft Output calculation of the a0(n) stream. Subsequent iterations of the combiner should use the Combined Soft Outputs for symbols of section 714 for the APP Soft Inputs, since the combiner now generates combined Soft Outputs for the kΔ symbols before the a0(0) symbols in the current block. The processing for the last kΔ symbols of the current block, labeled as section 716 in FIG. 7B, is identical to that which was previously described.
This method will result in combined Soft Outputs of maximum reliability for the first B−kΔ symbols of the current processing block as well as the combined Soft Outputs for the last kΔ of the previous processing block. The combined Soft Outputs for the last kΔ symbols of the current processing block will have a lesser reliability, but they will be replaced by the combined Soft Outputs for the first kΔ symbols of the next processing block.
Operation with Separate FEC Decoding
FIG. 8 presents a receiver structure 800 that implements separate iterative combining and FEC decoding, in accordance with an embodiment of the invention. Receiver structure 800 comprises a matched filter and sampler 802, an iterative combiner 804, a symbol-to-bit converter 806, and an FEC soft decoder 808. The receiver structure 800 is configured to separate iterative combining functions from FEC decoding functions.
According to the present embodiment of the invention, iterative combiner 804 provides a soft output for each possible symbol value of a particular symbol. The output is generally related to the likelihood that the symbol takes on that particular value. Since it is common for FEC decoders to use soft decisions on the individual bits in the symbol, it may be necessary to provide a symbol soft output to soft bit output conversion to enable the cascade of a bit level decoder with the symbol level combiner. This is shown in FIG. 8 for QPSK operation. In this configuration, the decoder and combiner operate independently of one another. The FEC decoder may be any type of commonly used FEC decoder such as, but not limited to, convolutional decoder, block decoder or turbo (iterative) decoder.
In FIG. 8, the matched filter and sample block 802 takes the received baseband complex signal, r(t), and generates the sample stream into iterative combiner 804 as defined in (12). Iterative combiner 804 performs all iterations of the combining as described previously and then provides four soft outputs per symbol, one for each of the four possible symbol values (QPSK modulation is assumed here). The symbol-to-bit converter 806 takes the soft outputs for each of the 4 possible symbol values and generates soft decisions for each of the 2 bits in the QPSK signal. In other words, symbol-to-bit converter 806 converts symbol soft outputs to bit soft outputs. The bit soft outputs are then used as inputs to the FEC decoder. There is no feedback from the FEC decoder to the iterative combiner.
A possible algorithm that can be effectively used to generate the bit soft outputs is one that computes the log likelihood ratio (LLR) for each of the two bits in the QPSK symbol. The LLR of a bit b is defined as,




  
    
      
        
          LLR
          ⁡
          
            (
            b
            )
          
        
        =
        
          ln
          ⁡
          
            [
            
              
                Pr
                ⁢
                
                  {
                  
                    b
                    =
                    1
                  
                  }
                
              
              
                Pr
                ⁢
                
                  {
                  
                    b
                    =
                    0
                  
                  }
                
              
            
            ]
          
        
      
    
    
      
        (
        17
        )
      
    
  




Let the QPSK symbol, a, be identified by the 2 bit pattern a=b1b0. Additionally, the Soft Output information from the combiner is related to the log of the probability that the symbol takes on that particular value. That is,

SO(a=j)=1n[C·Pr{a=j}]  (18)

where C is any positive value which is the same for all soft outputs associated with a symbol. Then, the LLR's for the bits b1 and b0 are well known and determined by,





  
    
      
        
          LLR
          ⁡
          
            (
            
              b
              1
            
            )
          
        
        =
        
          Max
          *
          
            [
            
              
                
                  SO
                  (
                  
                    
                      a
                      =
                      2
                    
                    ,
                    
                      SO
                      ⁡
                      
                        (
                        
                          a
                          =
                          3
                        
                        )
                      
                    
                  
                  ]
                
                -
                
                  Max
                  *
                  
                    [
                    
                      
                        SO
                        ⁡
                        
                          (
                          
                            a
                            =
                            0
                          
                          )
                        
                      
                      ,
                      
                        SO
                        ⁡
                        
                          (
                          
                            a
                            =
                            1
                          
                          )
                        
                      
                    
                    ]
                  
                  ⁢
                  
                    

                  
                  ⁢
                  
                    LLR
                    ⁡
                    
                      (
                      
                        b
                        0
                      
                      )
                    
                  
                
              
              =
              
                
                  Max
                  *
                  
                    [
                    
                      
                        SO
                        ⁡
                        
                          (
                          
                            a
                            =
                            1
                          
                          )
                        
                      
                      ,
                      
                        SO
                        ⁡
                        
                          (
                          
                            a
                            =
                            3
                          
                          )
                        
                      
                    
                    ]
                  
                
                -
                
                  Max
                  *
                  
                    [
                    
                      
                        SO
                        ⁡
                        
                          (
                          
                            a
                            =
                            0
                          
                          )
                        
                      
                      ,
                      
                        SO
                        ⁡
                        
                          (
                          
                            a
                            =
                            2
                          
                          )
                        
                      
                    
                    ]
                  
                
              
            
          
        
      
    
    
      
        (
        19
        )
      
    
  




In (19), the symbol values a=2 and a=3 correspond to the bit value b1=1 while the symbol values a=0 and a=1 correspond to the bit value b1=0. Likewise, the symbol values a=1 and a=3 correspond to the bit value b0=1 while the symbol values a=0 and a=2 correspond to the bit value b0=0. Although the structure shown in FIG. 8 is described in terms of configuration and processing for QPSK, the extension to different alphabet sizes can be readily appreciated by one of ordinary skill in the art.
Operation with Integrated Iterative FEC Decoding
FIG. 9 is a block diagram depicting the operations of match filter 308, iterative combiner 310, and data detector 314, as modified to implement integrated iterative combining and FEC decoding, in accordance with an embodiment of the present invention. Here, match filter 308 comprises match filter and sampler 902. Iterative combiner 310 comprises APP block 904, summation block 906, and various permutation and inverse permutation functions. Data detector 314 comprises symbol-to-bit converter 908, soft FEC decoder 910, and symbol-to-bit converter 912. The structure shown in FIG. 9 is configured to integrate iterative combining functions with FEC decoding functions.
Accordingly, iterative combining can be integrated within the Iterative (Turbo) decoding structure of iterative (Turbo) decoder codes. Such codes include, but are not limited to, Parallel Concatenated Codes (PCC), Serial concatenated Codes (SCC), Low Density Parity Check Codes (LDPC), and Turbo Product Codes (TPC).
As shown in FIG. 9, matched filter and sample block 902 takes the received baseband complex signal, r(t), and generates the sample stream sent to iterative combiner 310 as defined in (12). Iterative combiner 310 uses these input samples and performs one iteration of the combining with all components of the soft inputs vectors SI(a0) . . . SI(aL−1) initialized to 0 or some other constant. The output of iterative combiner 310 are the vectors SO′(a) (generated by summation block 906), one for each symbol in the block, whose components contain soft information related to the probability that the symbol, a, takes on the value j, jε[0 . . . M−1]. These values are symbol soft outputs.
Symbol-to-bit converter 908 converts the symbol soft outputs to bit soft outputs, such as log likelihood ratios (LLR's), for each of the log2(M) bits within a symbol, using an algorithm such as previously described.
Soft FEC decoder 910 then performs one or more iterations and provides both decoded bits (as the decoder outputs) and extrinsic LLR information on each of the Log2(M) input bits associated with each of the symbols. The techniques to generate extrinsic information on the input bits for all types of iteratively decoded FEC codes are well know to those skilled in the art of Turbo decoding.
Bit-to-symbol converter 912 takes the extrinsic information on the bits, Le(b) and converts it to soft information on each of the symbols. In other words, decoded bit soft outputs are converted to decoded symbol soft outputs. These decoded symbol soft outputs are the vectors SO′′(a), one for each symbol in the block, whose components contain soft information related to the probability that the symbol a takes on the value j, jε[0 . . . M−1].
A method for determining the bit-to-symbol soft information conversion is described below. Let possible value of the symbol a be identified by the k=Log2(M) bit pattern bk−1 . . . b2b1b0. Each of the bi in the pattern take on a value of 1 or 0. The soft information on the symbol a that the combiner desires is,

SO′′(a=bk−1 . . . b1b0)=1n(Pr{a=bk−1 . . . b1b0})+C  (20 )

where C is any value which is constant for all possible values of a. Let the LLR's out of the decoder for each of the bits bi be defined by LLR(bi). Then, the soft information is easily determined by,





  
    
      
        
          
            SO
            ′′
          
          ⁡
          
            (
            
              a
              =
              
                
                  b
                  
                    k
                    -
                    1
                  
                
                ⁢
                
                  
                
                ⁢
                ...
                ⁢
                
                  
                
                ⁢
                
                  b
                  1
                
                ⁢
                
                  b
                  0
                
              
            
            )
          
        
        =
        
          
            ∑
            
              i
              =
              0
            
            
              
                
                  Log
                  2
                
                ⁡
                
                  (
                  M
                  )
                
              
              -
              1
            
          
          ⁢
          
            
              b
              i
            
            ·
            
              LLR
              ⁡
              
                (
                
                  b
                  i
                
                )
              
            
          
        
      
    
    
      
        (
        21
        )
      
    
  




The soft information is computed for every possible symbol value a to yield the soft input vector, SO′′(a).
Finally, The vectors SO′′(a) are fed back into the blocks representing the iterative combiner 310. There, the vectors SO′′(a) are permuted using the L−1 separate permutation patterns, πl . . . πL−1 and become the soft inputs, SI(a), for the second iteration of the combiner. This integrated process of 1 iteration of the combiner followed by 1 or more iterations of the decoder is repeated until the desired number of combining iterations is achieved.
The embodiments of the present invention presented above can be implemented in a wide variety of ways. The various functional blocks disclosed herein may be implemented using different facilities, such as hardware, software, a combination of hardware and software. For example, signal processing may be performed by dedicated hardware, programmable hardware, computer processor(s) carrying out programmed routines, etc. The format of signals may be changed to analog or digital form at various stages depending on the implementation.
While the present invention has been described in terms of specific embodiments, it should be apparent to those skilled in the art that the scope of the present invention is not limited to the described specific embodiments. The specification and drawings are, accordingly, to be regarded in an illustrative rather than a restrictive sense. It will, however, be evident that additions, subtractions, substitutions, and other modifications may be made without departing from the broader spirit and scope of the invention as set forth in the claims.

## Claims

1. A method for deriving data from an error correction encoded composite signal comprising:
(a) receiving a composite signal comprising contributions from a plurality of individual signals transmitted over different paths, the plurality of individual signals being used to represent a common data sequence such that each of the individual signals corresponds to a data sequence that is a version of the common data sequence, wherein the common data sequence is an encoded data sequence encoded using an error correction code;
(b) for each individual signal, calculating soft values of a first type over a block of symbols by taking into account the received composite signal and soft values of a second type, wherein for each symbol, a soft value of the first type is calculated for each possible symbol value of the symbol;
(c) generating symbol outputs by taking into account the soft values of the first type from the different individual signals;
(d) performing error correction decoding by taking into account the symbol soft outputs, to generate error correction decoded outputs;
(e) for each individual signal, calculating soft values of the second type over the block of symbols by taking into account the error correction decoded outputs, wherein for each symbol, a soft value of the second type is calculated for each possible symbol value of the symbol;
(f) feeding back the soft values of the second type for subsequent calculations of the soft values of the first type;
(g) iteratively updating the soft values of the first type, the symbol outputs, the error correction decoded outputs, and the soft values of the second type by repeating steps (b), (c), (d), (e), and (f); and
(h) providing the updated error correction decoded outputs.

2. The method of claim 1 wherein the individual signals are transmitted via satellites.

3. The method of claim 1 wherein the individual signals are sent from different transmitters and received at a common receiver as the composite signal.

4. The method of claim 1 wherein for an initial iteration of step (b), the soft values of the second type are set to a constant value.

5. The method of claim 1 wherein the symbol outputs are symbol soft outputs, wherein for each symbol, the symbol outputs comprise a soft value for each possible symbol value of the symbol.

6. The method of claim 1 wherein the updated symbol outputs are converted into bit soft outputs before being used to perform error correction decoding.

7. The method of claim 6 wherein the updated symbol outputs are converted into bit soft outputs by calculating, for each bit, a measure of likelihood of the bit being one value versus another value, by taking into account updated symbol outputs associated with symbols affecting the bit.

8. The method of claim 7 wherein the measure of likelihood represents a log likelihood ratio (LLR).

9. The method of claim 1 wherein the error correction decoded outputs are converted from bit soft outputs to symbol outputs before being used to calculate the soft values of the second type.

10. The method of claim 9 wherein the error correction decoded outputs are converted from bit soft outputs to symbol output by calculating, for each possible symbol value of each symbol, a measure of likelihood of the symbol taking on the possible symbol value, by taking into account bits soft outputs associated with the possible symbol value.

11. The method of claim 1 wherein the step of providing the updated error correction decoded outputs comprises providing decoded bits associated with the updated error correction decoded output.

12. A method for producing multiple transmission signals representing error correction encoded data comprising:
generating a plurality of individual signals, the plurality of individual signals being used to represent a common data sequence such that each of the individual signals corresponds to a data sequence that is a version of the common data sequence, wherein the common data sequence is an encoded data sequence encoded using an error correction code;
separately transmitting the plurality of individual signals over different paths;
wherein a composite signal comprising contributions from the plurality of individual signals is capable of being processed by performing the steps of
(a) for each individual signal, calculating soft values of a first type over a block of symbols by taking into account the received composite signal and soft values of a second type, wherein for each symbol, a soft value of the first type is calculated for each possible symbol value of the symbol;
(b) generating symbol outputs by taking into account the soft values of the first type from the different individual signals;
(c) performing error correction decoding by taking into account the symbol soft outputs, to generate error correction decoded outputs;
(d) for each individual signal, calculating soft values of the second type over the block of symbols by taking into account the error correction decoded outputs, wherein for each symbol, a soft value of the second type is calculated for each possible symbol value of the symbol;
(e) feeding back the soft values of the second type for subsequent calculations of the soft values of the first type;
(f) iteratively updating the soft values of the first type, the symbol outputs, the error correction decoded outputs, and the soft values of the second type by repeating steps (a), (b), (c), (d), and (e); and
(g) providing the updated error correction decoded outputs.

13. An apparatus for deriving data from an error correction encoded composite signal comprising:
an input capable of accepting a composite signal comprising contributions from a plurality of individual signals transmitted over different paths, the plurality of individual signals being used to represent a common data sequence such that each of the individual signals corresponds to a data sequence that is a version of the common data sequence, wherein the common data sequence is an encoded data sequence encoded using an error correction code; and
a receiver structure coupled to the input, the receiver structure capable of iterative processing involving
(a) for each individual signal, calculating soft values of a first type over a block of symbols by taking into account the received composite signal and soft values of a second type, wherein for each symbol, a soft value of the first type is calculated for each possible symbol value of the symbol;
(b) generating symbol outputs by taking into account the soft values of the first type from the different individual signals;
(c) performing error correction decoding by taking into account the symbol soft outputs, to generate error correction decoded outputs;
(d) for each individual signal, calculating soft values of the second type over the block of symbols by taking into account the error correction decoded outputs, wherein for each symbol, a soft value of the second type is calculated for each possible symbol value of the symbol;
(e) feeding back the soft values of the second type for subsequent calculations of the soft values of the first type;
(f) iteratively updating the soft values of the first type, the symbol outputs, the error correction decoded outputs, and the soft values of the second type by repeating steps (a), (b), (c), (d), and (e); and
(g) providing the updated error correction decoded outputs.

14. The apparatus of claim 13 wherein the individual signals are transmitted via satellites.

15. The apparatus of claim 13 wherein the individual signals are sent from different transmitters and received at a common receiver as the composite signal.

16. The apparatus of claim 13 wherein for an initial iteration of step (b), the soft values of the second type are set to a constant value.

17. The apparatus of claim 13 wherein the symbol outputs are symbol soft outputs, wherein for each symbol, the symbol outputs comprise a soft value for each possible symbol value of the symbol.

18. The apparatus of claim 13 wherein the updated symbol outputs are converted into bit soft outputs before being used to perform error correction decoding.

19. The apparatus of claim 18 wherein the updated symbol outputs are converted into bit soft outputs by calculating, for each bit, a measure of likelihood of the bit being one value versus another value, by taking into account updated symbol outputs associated with symbols affecting the bit.

20. The apparatus of claim 19 wherein the measure of likelihood represents a log likelihood ratio (LLR).

21. The apparatus of claim 13 wherein the error correction decoded outputs are converted from bit soft outputs to symbol outputs before being used to calculate the soft values of the second type.

22. The apparatus of claim 21 wherein the error correction decoded outputs are converted from bit soft outputs to symbol output by calculating, for each possible symbol value of each symbol, a measure of likelihood of the symbol taking on the possible symbol value, by taking into account bits soft outputs associated with the possible symbol value.

23. The apparatus of claim 13 wherein the step of providing the updated error correction decoded outputs comprises providing decoded bits associated with the updated error correction decoded output.

24. An apparatus for producing multiple transmission signals representing error correction encoded data comprising:
an input capable of accepting a common data sequence;
a transmitter structure coupled to the input, the transmitter structure capable of generating a plurality of individual signals, the plurality of individual signals being used to represent the common data sequence such that each of the individual signals corresponds to a data sequence that is a version of the common data sequence, wherein the common data sequence is an encoded data sequence encoded using an error correction code;
the transmitter structure further capable of separately transmitting the plurality of individual signals over different paths;
separately transmitting the plurality of individual signals over different paths;
wherein a composite signal comprising contributions from the plurality of individual signals is capable of being processed iteratively by
(a) for each individual signal, calculating soft values of a first type over a block of symbols by taking into account the received composite signal and soft values of a second type, wherein for each symbol, a soft value of the first type is calculated for each possible symbol value of the symbol;
(b) generating symbol outputs by taking into account the soft values of the first type from the different individual signals;
(c) performing error correction decoding by taking into account the symbol soft outputs, to generate error correction decoded outputs;
(d) for each individual signal, calculating soft values of the second type over the block of symbols by taking into account the error correction decoded outputs, wherein for each symbol, a soft value of the second type is calculated for each possible symbol value of the symbol;
(e) feeding back the soft values of the second type for subsequent calculations of the soft values of the first type;
(f) iteratively updating the soft values of the first type, the symbol outputs, the error correction decoded outputs, and the soft values of the second type by repeating steps (a), (b), (c), (d), and (e); and
(g) providing the updated error correction decoded outputs.

25. A system for deriving data from an error correction encoded composite signal comprising:
(a) means for receiving a composite signal comprising contributions from a plurality of individual signals transmitted over different paths, the plurality of individual signals being used to represent a common data sequence such that each of the individual signals corresponds to a data sequence that is a version of the common data sequence, wherein the common data sequence is an encoded data sequence encoded using an error correction code;
(b) means for, for each individual signal, calculating soft values of a first type over a block of symbols by taking into account the received composite signal and soft values of a second type, wherein for each symbol, a soft value of the first type is calculated for each possible symbol value of the symbol;
(c) means for generating symbol outputs by taking into account the soft values of the first type from the different individual signals;
(d) means for performing error correction decoding by taking into account the symbol soft outputs, to generate error correction decoded outputs;
(e) means for, for each individual signal, calculating soft values of the second type over the block of symbols by taking into account the error correction decoded outputs, wherein for each symbol, a soft value of the second type is calculated for each possible symbol value of the symbol;
(f) means for feeding back the soft values of the second type for subsequent calculations of the soft values of the first type;
(g) means for iteratively updating the soft values of the first type, the symbol outputs, the error correction decoded outputs, and the soft values of the second type by repeating steps (b), (c), (d), (e), and (f); and
(h) means for providing the updated error correction decoded outputs.