Abstract:
The OFDMA power allocation method provides for supporting absolute proportional rate constrains for scalable OFDMA systems. Network scheduling procedures implementing the prescribed method can provide absolute guarantees for satisfying the specified rate constrains while maximizing the throughput of the network.

Description:
BACKGROUND OF THE INVENTION 
       [0001]    1. Field of the Invention 
         [0002]    The present invention relates generally to electronic communications systems and methods, and particularly to an orthogonal frequency division multiple access (OFDMA) power allocation method. 
         [0003]    2. Description of the Related Art 
         [0004]    Radio resource management (RRM) procedures for Orthogonal Frequency Division Multiple Access (OFDMA) systems have to consider two main resources in the network: the frequency band and the power. The frequency band is typically divided into a number of sub-channels that must be distributed amongst users. Typically, in OFDMA, multiple user transmitters are transmitted simultaneously on different frequencies in the same time slot to make maximum use of the allocated bandwith. The different frequencies are referred to as sub-carriers. Sub-carriers may be grouped together to form sub-channels. The sub-carriers in a given sub-channel may be adjacent frequencies, or may be grouped together using other criteria. Scalable OFDMA is the OFDMA mode that is used in Wi-MAX. Scalability is achieved by adjusting the FFT size while fixing the sub-carrier frequency spacing at 10.94 kHz. 
         [0005]    The RRM must also assign a specific amount of transmit power for each of the allocated sub-channels so that the sum of all power allocations does not exceed the total available power budget for the system. The process of allocating the sub-channels and power assignments is referred to in the literature as the sub-channel (or sub-carrier) power allocation problem for OFDMA systems. The RRM procedure performing this allocation problem plays a central role in the performance of the network. Modern wireless air interface technologies, such mobile WiMAX and Long-Term Evolution (LTE), depend heavily on such procedures to provide their high-speed data services. 
         [0006]    Thus, an OFDMA power allocation method solving the aforementioned problems is desired. 
       SUMMARY OF THE INVENTION 
       [0007]    The OFDMA power allocation method provides a means for supporting absolute proportional rate constrains for scalable OFDMA systems. Network scheduling procedures implementing the prescribed method can provide absolute guarantees for satisfying the specified rate constrains while maximizing the throughput of the network. 
         [0008]    These and other features of the present invention will become readily apparent upon further review of the following specification and drawings. 
     
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
         [0009]      FIG. 1  is a block diagram of a typical wireless communication system configuration managed by the OFDMA power allocation method according to the present invention. 
           [0010]      FIG. 2  is a block diagram of a radio resource management system including the OFDMA power allocation method according to the present invention. 
           [0011]      FIG. 3  is a flowchart showing steps in the OFDMA power allocation method according to the present invention. 
       
    
    
       [0012]    Similar reference characters denote corresponding features consistently throughout the attached drawings. 
       DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT 
       [0013]    The OFDMA power allocation method provides RRM  5  in communications systems, such as the wireless communication system shown in  FIG. 1 , which illustrates a hypothetical scenario where the RRM  5  manages the frequency sub-channels denoted by {f 1 , f 2 , . . . , f 10 } communicating to cell-site  7 , and the total cell-site power budget of 10 Watts. As shown in  FIG. 1 , user  1  has a wireless device  9   c  allocated the sub-channel set Ω 1 ={f 1 , f 6 , f 7 , f 8 } where the RRM decides to use 0.5 Watts, 0.5 Watts, 1 Watt, and 1 Watt, respectively, on the sub-channels in Ω 1 . This means that the total transmit power allocated for user  1  is equal to 2 Watts. For user  2 &#39;s wireless device  9   b,  the allocated sub-channels are given by Ω 2 ={f 3 , f 4 , f 5 }, and the corresponding transmit powers are 1.5 Watts, 0.5 Watts, and 0.5 Watts, respectively. Lastly, for user  3 &#39;s device  9   a, Ω   3 ={f 9 , f 10 } and the corresponding transmit powers are 1 Watt, and 1.5 Watts, respectively. 
         [0014]    This means the total transmit powers for user  2  and user  3  are 2.5 Watts each. Therefore, the total utilized power budget is 2+2.5+2.5=7 Watts. In this scenario, the RRM procedure does not utilize the sub-channel f 2 , nor does it use all the available transmit power of 10 Watts. The number of assigned sub-channels, their quality, and the amount of allocated transmit power are all determined by the user&#39;s bit rate. 
         [0015]    Since the channel conditions change with time, the process of allocating the sub-channels and the power assignment may be done by an algorithm on a frame-by-frame basis in order to satisfy some prescribed criteria. Typical criteria that are of interest for network operators and system designers are: (1) to maximize the overall system throughput, and (2) to satisfy the quality of service (QoS) guarantees promised for the users. 
         [0016]    Let the overall system frequency bandwidth be divided into N sub-channels, and let there be K users to serve. Furthermore, let H n,k  denote the nth sub-channel power gain relative to noise power as received by the k th  user, where n=1, 2, . . . , N, and k=1, 2, . . . , K. The RRM algorithm typically distributes the N sub-channels amongst the K users using a typical sub-channel allocation algorithm or some derivative algorithm. The sub-channel allocation algorithm determines the set of sub-channels, denoted by Ω k , that is allocated for the k th  user where k=1, 2, . . . , K. The RRM procedure must now utilize the sub-channel allocations Ω k &#39;s and the channel power gain information H k,n , and compute the corresponding sub-channel power allocation p n,k  for every H n,k . The power allocations should maximize the overall network throughput as specified by: 
         [0000]    
       
         
           
             
               
                 
                   
                     max 
                     
                       p 
                       
                         k 
                         , 
                         n 
                       
                     
                   
                    
                   
                     
                       ∑ 
                       
                         k 
                         = 
                         1 
                       
                       K 
                     
                      
                     
                       
                         ∑ 
                         
                           n 
                           ∈ 
                           
                             Ω 
                             k 
                           
                         
                       
                        
                       
                         
                           1 
                           N 
                         
                          
                         
                           
                             log 
                             2 
                           
                            
                           
                             ( 
                             
                               1 
                               + 
                               
                                 
                                   p 
                                   
                                     k 
                                     , 
                                     n 
                                   
                                 
                                  
                                 
                                   H 
                                   
                                     k 
                                     , 
                                     n 
                                   
                                 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   1 
                   ) 
                 
               
             
           
         
       
     
         [0000]    subject to the following constraints: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         
                           ∑ 
                           
                             k 
                             = 
                             1 
                           
                         
                         K 
                       
                        
                       
                         
                           ∑ 
                           
                             n 
                             ∈ 
                             
                               Ω 
                               k 
                             
                           
                         
                          
                         
                           p 
                           
                             k 
                             , 
                             n 
                           
                         
                       
                     
                     ≤ 
                     
                       
                         P 
                         total 
                       
                        
                       
                           
                       
                        
                       and 
                        
                       
                           
                       
                        
                       
                         p 
                         
                           k 
                           , 
                           n 
                         
                       
                     
                     ≥ 
                     0 
                   
                    
                   
                     
 
                   
                    
                   
                     
                       
                         Ω 
                         k 
                       
                        
                       
                           
                       
                        
                       are 
                        
                       
                           
                       
                        
                       
                         disj 
                          
                         o 
                          
                         int 
                       
                        
                       
                           
                       
                        
                       for 
                        
                       
                           
                       
                        
                       all 
                        
                       
                           
                       
                        
                       k 
                     
                     , 
                     and 
                   
                 
               
               
                 
                   ( 
                   2 
                   ) 
                 
               
             
             
               
                 
                   
                     
                       Ω 
                       1 
                     
                     ⋃ 
                     
                       Ω 
                       2 
                     
                     ⋃ 
                     
                         
                     
                      
                     … 
                      
                     
                         
                     
                     ⋃ 
                     
                       Ω 
                       K 
                     
                   
                   ⊆ 
                   
                     { 
                     
                       1 
                       , 
                       2 
                       , 
                       
                         … 
                          
                         
                             
                         
                          
                         N 
                       
                     
                     } 
                   
                 
               
               
                 
                   ( 
                   3 
                   ) 
                 
               
             
             
               
                 
                   
                     and 
                      
                     
                         
                     
                      
                     finally 
                   
                   , 
                   
                     
                       
                         R 
                         1 
                       
                       
                         γ 
                         1 
                       
                     
                     = 
                     
                       
                         
                           R 
                           2 
                         
                         
                           γ 
                           2 
                         
                       
                       = 
                       
                         … 
                         = 
                         
                           
                             R 
                             K 
                           
                           
                             γ 
                             K 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   4 
                   ) 
                 
               
             
           
         
       
     
         [0000]    where R k  is the k th  user bit rate after the allocation process is completed, and is computed by: 
         [0000]    
       
         
           
             
               
                 
                   
                     R 
                     k 
                   
                   = 
                   
                     
                       ∑ 
                       
                         n 
                         ∈ 
                         
                           Ω 
                           k 
                         
                       
                     
                      
                     
                       
                         1 
                         N 
                       
                        
                       
                         
                           log 
                           2 
                         
                          
                         
                           ( 
                           
                             1 
                             + 
                             
                               
                                 p 
                                 
                                   k 
                                   , 
                                   n 
                                 
                               
                                
                               
                                 H 
                                 
                                   k 
                                   , 
                                   n 
                                 
                               
                             
                           
                           ) 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   5 
                   ) 
                 
               
             
           
         
       
     
         [0017]    The constants y 1 , y 2 , . . . , y k  in (4) are the proportional rates constraint. The proportional rates constraint is set by the operator, depending on the specified QoS parameters promised for the users. In other words, the proportional rates constraint specifies the relative bit rates enjoyed by the users. The constraint in (2) is simply that the sum of all power allocations be less or equal to the total system power, P total  and that, of course, each allocation p k,n  be a positive quantity. The constraint in (3) emphasizes that the allocated sets of sub-channels be all disjoint and that their union is equal to the overall set of all sub-channel indices {1, 2, . . . , N}. The RRM procedure must find the sub-channel power allocations, p k,n  for all k and all n, so that the overall system throughput specified by (1) is maximized, and so that the total system power constraint and rate proportional constraint are satisfied, as specified by (2) and (4). The RRM procedure is summarized in  FIG. 2 , which depicts RRM frequency sub-channel allocation  8 , and RRM sub-channel power allocation  10 . The OFDMA power allocation method  10  performs the sub-channel power allocation, calculating the required power allocation p k,n  for a particular sub-channel. Moreover, the OFDMA power allocation method can also modify the allocated sets of sub-channels Ω k &#39;s by dropping some unwanted sub-channels. This is reflected by the output Ω k ′, which should be a partial set from the original Ω k . 
         [0018]    The above power allocation problem has been addressed in the literature for the field. However, the OFDMA power allocation method provides higher capacity than methods known to the inventors, and, more importantly, provides absolute or hard proportional rate guarantees, as opposed to soft guarantees. This means that the method developed herein satisfies the constraint (4) in the strictest sense. 
         [0019]    A conventional method for solving the optimization problem specified by (1) and the constraints (2), (3), and (4), is to use the Lagrange multipliers, as in (2), and that are given by: 
         [0000]    
       
         
           
             
               
                 
                   L 
                   = 
                   
                     
                       
                         ∑ 
                         
                           k 
                           = 
                           1 
                         
                         K 
                       
                        
                       
                         
                           ∑ 
                           
                             n 
                             ∈ 
                             
                               Ω 
                               k 
                             
                           
                         
                          
                         
                           
                             1 
                             N 
                           
                            
                           
                             
                               log 
                               2 
                             
                              
                             
                               ( 
                               
                                 1 
                                 + 
                                 
                                   
                                     p 
                                     
                                       k 
                                       , 
                                       n 
                                     
                                   
                                    
                                   
                                     H 
                                     
                                       k 
                                       , 
                                       n 
                                     
                                   
                                 
                               
                               ) 
                             
                           
                         
                       
                     
                     + 
                     
                       
                         λ 
                         1 
                       
                       ( 
                       
                         
                           
                             ∑ 
                             
                               k 
                               = 
                               1 
                             
                             K 
                           
                            
                           
                             
                               ∑ 
                               
                                 n 
                                 ∈ 
                                 
                                   Ω 
                                   k 
                                 
                               
                             
                              
                             
                               p 
                               
                                 k 
                                 , 
                                 n 
                               
                             
                           
                         
                         - 
                         
                           P 
                           total 
                         
                       
                       ) 
                     
                     + 
                     
                       
                         ∑ 
                         
                           k 
                           = 
                           2 
                         
                         K 
                       
                        
                       
                         
                           λ 
                           k 
                         
                         ( 
                         
                           
                             
                               ∑ 
                               
                                 n 
                                 ∈ 
                                 
                                   Ω 
                                   1 
                                 
                               
                             
                              
                             
                               
                                 1 
                                 
                                   N 
                                    
                                   
                                       
                                   
                                 
                               
                                
                               
                                 
                                   log 
                                   2 
                                 
                                  
                                 
                                   ( 
                                   
                                     1 
                                     + 
                                     
                                       
                                         p 
                                         
                                           1 
                                           , 
                                           n 
                                         
                                       
                                        
                                       
                                         H 
                                         
                                           1 
                                           , 
                                           n 
                                         
                                       
                                     
                                   
                                   ) 
                                 
                               
                             
                           
                           - 
                           
                             
                               
                                 γ 
                                 1 
                               
                               
                                 γ 
                                 k 
                               
                             
                              
                             
                               
                                 ∑ 
                                 
                                   n 
                                   ∈ 
                                   
                                     Ω 
                                     k 
                                   
                                 
                               
                                
                               
                                 
                                   1 
                                   N 
                                 
                                  
                                 
                                   
                                     log 
                                     2 
                                   
                                    
                                   
                                     ( 
                                     
                                       1 
                                       + 
                                       
                                         
                                           p 
                                           
                                             k 
                                             , 
                                             n 
                                           
                                         
                                          
                                         
                                           H 
                                           
                                             
                                               k 
                                               , 
                                               n 
                                             
                                              
                                             
                                                 
                                             
                                           
                                         
                                       
                                     
                                     ) 
                                   
                                 
                               
                             
                           
                         
                         ) 
                       
                     
                   
                 
               
               
                 
                   ( 
                   6 
                   ) 
                 
               
             
           
         
       
     
         [0000]    where the constants (Lagrange multipliers) λk&lt;for k=2, 3, . . . , K are to be determined. To maximize (1), we differentiate (6) with respect to the variable of interest, p k,n , and set the derivative to zero. This yields: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       1 
                       
                         γ 
                         1 
                       
                     
                      
                     
                       
                         N 
                         1 
                       
                       N 
                     
                      
                     
                       ( 
                       
                         
                           
                             log 
                             2 
                           
                            
                           
                             ( 
                             
                               1 
                               + 
                               
                                 
                                   H 
                                   
                                     1 
                                     , 
                                     1 
                                   
                                 
                                  
                                 
                                   
                                     
                                         
                                     
                                      
                                     
                                       
                                         P 
                                         
                                           1 
                                           , 
                                           total 
                                         
                                       
                                       - 
                                       
                                         V 
                                         1 
                                       
                                     
                                   
                                   
                                     N 
                                     1 
                                   
                                 
                               
                             
                             ) 
                           
                         
                         + 
                         
                           
                             log 
                             2 
                           
                            
                           
                             W 
                             1 
                           
                         
                       
                       ) 
                     
                   
                   = 
                   
                     
                       1 
                       
                         γ 
                         k 
                       
                     
                      
                     
                       
                         N 
                         k 
                       
                       N 
                     
                      
                     
                       ( 
                       
                         
                           
                             log 
                             2 
                           
                            
                           
                             ( 
                             
                               1 
                               + 
                               
                                 
                                   H 
                                   
                                     k 
                                     , 
                                     1 
                                   
                                 
                                  
                                 
                                   
                                     
                                         
                                     
                                      
                                     
                                       
                                         P 
                                         
                                           k 
                                           , 
                                           total 
                                         
                                       
                                       - 
                                       
                                         V 
                                         k 
                                       
                                     
                                   
                                   
                                     N 
                                     k 
                                   
                                 
                               
                             
                             ) 
                           
                         
                         + 
                         
                           
                             log 
                             2 
                           
                            
                           
                             W 
                             k 
                           
                         
                       
                       ) 
                     
                   
                 
               
               
                 
                   ( 
                   7 
                   ) 
                 
               
             
           
         
       
     
         [0000]    for k=2, 3, . . . , K. The term P k,total  is the total power allocated to the k th  user and should be given by: 
         [0000]    
       
         
           
             
               
                 
                   
                     P 
                     
                       k 
                       , 
                       total 
                     
                   
                   = 
                   
                     
                       ∑ 
                       
                         n 
                         = 
                         1 
                       
                       
                         N 
                         k 
                       
                     
                      
                     
                       p 
                       
                         k 
                         , 
                         n 
                       
                     
                   
                 
               
               
                 
                   ( 
                   8 
                   ) 
                 
               
             
           
         
       
     
         [0000]    The constants V k  and W k  are given by: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       V 
                       k 
                     
                     = 
                     
                       
                         ∑ 
                         
                           n 
                           = 
                           2 
                         
                         
                           N 
                           k 
                         
                       
                        
                       
                         
                           
                             H 
                             
                               k 
                               , 
                               n 
                             
                           
                           - 
                           
                             H 
                             
                               k 
                               , 
                               1 
                             
                           
                         
                         
                           
                             H 
                             
                               k 
                               , 
                               n 
                             
                           
                            
                           
                             H 
                             
                               k 
                                
                               
                                   
                               
                               , 
                               1 
                             
                           
                         
                       
                     
                   
                    
                   
                     
 
                   
                    
                   and 
                 
               
               
                 
                   ( 
                   9 
                   ) 
                 
               
             
             
               
                 
                   
                     W 
                     k 
                   
                   = 
                   
                     
                       ( 
                       
                         
                           ∏ 
                           
                             n 
                             = 
                             2 
                           
                           
                             N 
                             k 
                           
                         
                          
                         
                           
                             H 
                             
                               k 
                               , 
                               n 
                             
                           
                           
                             H 
                             
                               k 
                               , 
                               1 
                             
                           
                         
                       
                       ) 
                     
                     
                       1 
                       
                         N 
                         k 
                       
                     
                   
                 
               
               
                 
                   ( 
                   10 
                   ) 
                 
               
             
           
         
       
     
         [0000]    respectively. The quantities V k  and W k  are a manifestation of the sub-channel frequency allocation procedure and depend only on the allocated sub-channels sets Ω k  only. The above formulation assumes that the channel power gains for the k th  user have been ordered such that H k,1 ≦H k,2 ≦ ≦H k,N , where N k  is the number of sub-channels allocated for the k th  users. That is, the number of elements in the set Ω k  is equal to N k . This means the quantity V k  is always positive. 
         [0020]    If the relation in (7) is solved for total power allocated for a particular user, P k,total , then the power allocation for the individual sub-channels, p k,n , for that particular user can be found using: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       p 
                       
                         k 
                         , 
                         1 
                       
                     
                     = 
                     
                       
                         ( 
                         
                           
                             P 
                             
                               k 
                               , 
                               total 
                             
                           
                           - 
                           
                             V 
                             k 
                           
                         
                         ) 
                       
                       
                         N 
                         k 
                       
                     
                   
                    
                   
                     
 
                   
                    
                   and 
                 
               
               
                 
                   ( 
                   11 
                   ) 
                 
               
             
             
               
                 
                   
                     p 
                     
                       k 
                       , 
                       n 
                     
                   
                   = 
                   
                     
                       p 
                       
                         k 
                         , 
                         1 
                       
                     
                     + 
                     
                       
                         
                           H 
                           
                             k 
                             , 
                             n 
                           
                         
                         - 
                         
                           H 
                           
                             k 
                             , 
                             1 
                           
                         
                       
                       
                         
                           H 
                           
                             k 
                             , 
                             n 
                           
                         
                          
                         
                           H 
                           
                             k 
                             , 
                             1 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   12 
                   ) 
                 
               
             
           
         
       
     
         [0021]    The relations (11) and (12) completely specify the final output required by the system, which are the individual power allocations, p k,n  for all k=1, 2, . . . , K, and n ∈ Ω k . It should be noted that if the power allocation procedure does not want to utilize a particular sub-channel, then the sub-channel is dropped from the corresponding allocated sub-channel frequency set. 
         [0022]    The relation in (7) specifies a set of K-1 simultaneous non-linear equations that must be solved for P k,total &#39;s (or equivalently the power allocations p k,n &#39;s) that achieves the maximum throughput and satisfies the constraints. A simplified version of the equations, i.e., a special case, may be solved, in which the channel power gains H k,n  are assumed to be very large and the provided solution does not necessarily satisfy the proportional rates constraint (4) for the general case. However, such a solution may only be valid for systems where the signal level is much higher than that for the noise. The present OFDMA power allocation method solves the original K-1 non-linear equations specified by (7) without making assumptions in regard to the channel power gains. Therefore, the provided solution is valid for general systems, regardless of the noise power level relative to the transmitted signal power. Furthermore, we augment the provided solution with a procedure to ensure that the final output, p k,n &#39;s, will also satisfy the proportional rates constraint specified by (4) in the strictest sense. 
         [0023]    To solve the K-1 non-linear equations specified by (6), let the quantity X k  be defined as X k =1+H k,1 (P k,total −V k )/N k , this means the k th  user power allocation, P k,total  can be computed, given X k , using: 
         [0000]    
       
         
           
             
               
                 
                   
                     P 
                     
                       k 
                       , 
                       total 
                     
                   
                   = 
                   
                     
                       V 
                       k 
                     
                     + 
                     
                       
                         
                           N 
                           k 
                         
                         
                           H 
                           
                             k 
                             , 
                             1 
                           
                         
                       
                        
                       
                         ( 
                         
                           
                             X 
                             k 
                           
                           - 
                           1 
                         
                         ) 
                       
                     
                   
                 
               
               
                 
                   ( 
                   13 
                   ) 
                 
               
             
           
         
       
     
         [0000]    Substituting X k  in (7) and rearranging terms, one can write: 
         [0000]    
       
         
           
             
               
                 ( 
                 
                   
                     X 
                     i 
                   
                    
                   
                     W 
                     i 
                   
                 
                 ) 
               
               
                 N 
                 
                   
                     i 
                      
                     
                         
                     
                   
                   
                     γ 
                     
                       i 
                        
                       
                           
                       
                     
                   
                 
               
             
             = 
             
               
                 ( 
                 
                   
                     X 
                     k 
                   
                    
                   
                     W 
                     k 
                   
                 
                 ) 
               
               
                 
                   N 
                   k 
                 
                 
                   γ 
                   k 
                 
               
             
           
         
       
     
         [0000]    for any i and k=1, 2, . . . , K. This mean a particular X k  can be computed using: 
         [0000]    
       
         
           
             
               
                 
                   
                     X 
                     k 
                   
                   = 
                   
                     
                       
                         ( 
                         
                           
                             X 
                             i 
                           
                            
                           
                             W 
                             i 
                           
                         
                         ) 
                       
                       
                         
                           
                             N 
                             i 
                           
                            
                           
                             γ 
                             k 
                           
                         
                         
                           
                             γ 
                             i 
                           
                            
                           
                             N 
                             k 
                           
                         
                       
                     
                     
                       W 
                       k 
                     
                   
                 
               
               
                 
                   ( 
                   14 
                   ) 
                 
               
             
           
         
       
     
         [0024]    The relation (14) relates any two quantities X i  and X k . In other words, it is sufficient to find one quantity X i  for some i=1, 2, . . . , K, and then all the rest of X k &#39;s where k≠i can be computed using (14). To solve for X i , we use (14) and invoke the total power constraint specified by (2) to yield the following: 
         [0000]    
       
         
           
             
               
                 
                   
                     
                       
                         ∑ 
                         
                           k 
                           = 
                           1 
                         
                         K 
                       
                        
                       
                         [ 
                         
                           
                             
                               ( 
                               
                                 
                                   N 
                                   k 
                                 
                                 
                                   H 
                                   
                                     k 
                                     , 
                                     1 
                                   
                                 
                               
                               ) 
                             
                              
                             
                               ( 
                               
                                 
                                   
                                     
                                       ( 
                                       
                                         
                                           X 
                                           i 
                                         
                                          
                                         
                                           W 
                                           i 
                                         
                                       
                                       ) 
                                     
                                     
                                       
                                         
                                           N 
                                           i 
                                         
                                          
                                         
                                           γ 
                                           k 
                                         
                                       
                                       
                                         
                                           γ 
                                           i 
                                         
                                          
                                         
                                           N 
                                           k 
                                         
                                       
                                     
                                   
                                   
                                     W 
                                     k 
                                   
                                 
                                 - 
                                 1 
                               
                               ) 
                             
                           
                           + 
                           
                             V 
                             k 
                           
                         
                         ] 
                       
                     
                     - 
                     
                       P 
                       total 
                     
                   
                   = 
                   0 
                 
               
               
                 
                   ( 
                   15 
                   ) 
                 
               
             
           
         
       
     
         [0025]    The relation (15) specifies one non-linear equation in X i  that can be solved using conventional methods known in the literature, or simply by utilizing Matlab&#39;s fsolve routine. The algorithm then utilizes (14) and (13) to compute all X k &#39;s and the corresponding total power allocations for the users. Finally, to calculate the individual power allocations for sub-channels p k,n , the relations (11) and (12) are utilized. Unfortunately, a solution for (7) and for (15), since it is based on (7), can not be guaranteed to exist for any given set of sub-channel frequency allocations. This means the set of sub-channels, Ω k &#39;s, produced by the sub-channel frequency allocation method may not be utilized as is. The OFDMA power allocation method includes a procedure for modifying the Ω k &#39;s by dropping the weak channels until (7), or equivalently (15), has a valid solution. This procedure guarantees that the valid solution found optimizes the system throughput, as specified by (1), meets the constraints (2), (3) and satisfies the proportional rates constraint (4) in the strictest sense. 
         [0026]    The proposed method is depicted in the flowchart of  FIG. 3 . The key observation related to existence of a solution is the fact that for the given k th  user, its sub-channel frequency allocations, Ω k , should be such that the corresponding V k  is smaller to or equal than its final total user power allocation P k,total . This is evident from relation (11). It follows that quantity X k  should be always greater than 1. Therefore, to ensure the existence of a valid solution, the method must first ensure that Σ k=1   K V k ≦P total , and using the iterative procedure, we ensure that V k  is less than or equal to the corresponding total user power allocation P k,total . The iterative procedure is as follows. 
         [0027]    As shown in step  13  of  FIG. 3 , the inputs are acquired, including the sub-channel frequency allocations sets Ω k  for k=1, 2, . . . , K. At step  16 , Equations (9) and (10) are used to compute the corresponding V k  and W k , respectively. 
         [0028]    At step  18 , check the following inequality: Σ k=1   K V k ≦P total . If the inequality is not satisfied, go to step  20 , otherwise go to step  22 . 
         [0029]    At step  20 , select the set Ω k  that correspond to the largest V k  where k=1, 2, . . . , K; and drop the channel with the smallest power gain H k,n . Update set Ω k , then recalculate the corresponding V k  and W k . 
         [0030]    At step  22 , select the user index i such that the corresponding 
         [0000]    
       
         
           
             
               ( 
               
                 W 
                 i 
               
               ) 
             
             
               
                 N 
                 i 
               
               
                 γ 
                 i 
               
             
           
         
       
     
         [0000]    is greater than or equal to 
         [0000]    
       
         
           
             
               ( 
               
                 W 
                 k 
               
               ) 
             
             
               
                 N 
                 k 
               
               
                 γ 
                 k 
               
             
           
         
       
     
         [0000]    for all k≠i and k=1,2, . . . , K. As shown in step  24 , the theoretical possible range for X i  (refer to the definition used for (13)) is all values between 1 and 1+H i,1 (P total −V i )/N i . At step  26 , check if (15) has different signs when X i  assumes the two extreme values of its range. If (15) has a sign change, then there is a valid solution X i  between the corresponding extreme values, and then go to step  28 . Otherwise, we need to update the sub-channel frequency allocation sets, so go to step  20 . 
         [0031]    At steps  28  and  30 , a valid solution for (15) is guaranteed. Solve (15) for X i . 
         [0032]    Use (14) to compute all X k  for k≠i and k=1, 2, . . . , K. 
         [0033]    Compute the corresponding total user power allocation P k,total  for k=1, 2, . . . , K using (13). 
         [0034]    For the k th  user where k=1, 2, . . . , K, compute the individual sub-channel power allocations p k,n  using (11) and (12) for n ∈ Ω k . 
         [0035]    The above iterative procedure specified in the aforementioned procedure ensures that the sub-channel frequency allocation sets are updated so that a valid solution for (15) can be found. This solution maximizes the system throughput and also guarantees that the provided users&#39; rates R k &#39;s satisfy the proportional rates constraint such that R 1 :R 2 :R 3 : . . . R K =γ 1 :γ 2 :γ 3 : . . . γ K . 
         [0036]    In practice, the OFDMA power allocation may be implemented by various hardware configurations, depending upon the particular application and the size of the communications network. Generally, the method applies to a wireless communications network having a central communications hub or base station and a plurality of subscribers or users accessing the network remotely. The base station implements the method to determine power allocation according to the relative nearness or farness of the remote user, the signal-to-noise ratio, the type of communication (digital video, VoIP, FTP, etc.), the proportional rate constraint for the type of communication (the ratio of the bit rate permitted the user to the quality of service or guaranteed bit rate for the type of communication), etc. 
         [0037]    In a cellular telephone base station, e.g., the station has a receiving antenna(s) for receiving multiple signals, which are decoded by conventional receiver hardware, processed by conventional hardware to filter noise and amplify or reduce power accordingly, and processed by appropriate port according to the type of protocol. Data from the multiple subscriber access requests may be processed by a microcontroller, digital signal processor, microprocessor, custom-built application specific integrated circuit, or other dedicated electronic circuits configured or programmed to periodically determine power allocation according to the current subscriber access requests. The base station then transmits the power allocation and other parameters to the subscriber units (which may be in the header of at least one frame of digital data transmitted on a downlink from the base station to the subscribers/users of the wireless communications system), which automatically adjust their transmitter parameters to the base station&#39;s allocations. 
         [0038]    Alternatively, for a large network with numerous users or subscriber&#39;s, the method may be implemented by one or more computers at the base station that have been programmed in software to perform the calculations required by the method. The computer may be any computing device, e.g., a personal computer. The computer may have a display for displaying a user interface. A processor (i.e., a central processing unit or microprocessor) executes computer program or software instructions loaded into an area of main memory. The program or software may be stored in RAM or ROM memory. The display, the processor, main memory, and RAM or ROM memory are connected by a data bus. The software may be stored on any computer readable media, including magnetic media (a hard disk drive, a floppy disk, a magnetic tape, etc.), an optical disk (a DVD, DVD-RAM, CD-ROM, CD-R/RW, laser disk, etc.), a magneto-optical disk, or semiconductor memory (RAM or ROM). The computer(s) may be connected to the radio receiving/transmitting hardware by any suitable cabling, ports, USB or RS-232 devices or modems, or other suitable computer/transceiver interface. 
         [0039]    It is to be understood that the present invention is not limited to the embodiment described above, but encompasses any and all embodiments within the scope of the following claims.