Abstract:
This invention provides a method for power-efficient transmission supporting integrated service over WLAN. The said invention combines the polling-based and the contention-based mechanisms, named on-demand polling (ODP). In the ODP scheme, a voice station is in the polling list when it is in the active mode. During the idle mode, it is configured to operate in the sleep mode for saving power. Also, it adopts the contention-based mechanism to join the list again while returning from the idle mode. On the other hand, the data station adopts the contention-based mechanism to transmit its packets over WLAN. In addition, to achieve service differentiation, the said invention also employs a prioritized access probability for voice over data services. Simulation results show that the said invention can reduce the power consumption for voice stations and enhance the throughput for data stations.

Description:
BACKGROUND OF THE INVENTION 
     1. Field of the Invention 
     This invention relates to a method for supporting integrated service over WLAN (wireless local area network), and more specifically, to a method for power-efficient transmission supporting integrated service over WLAN, which can reduce the power consumption for voice stations and enhance the throughput for data stations. 
     2. Discussion of Related Art 
     The integration of WLANs and 3G networks has recently evolved into a very hot topic. The service continuity is one of the issues needed to be resolved for the 3G/WLAN heterogeneous networks. In order to provide service continuity, it is essential for WLAN to support voice services. To support integrated voice and data services over WLAN, the WLAN has to support differentiated quality of services (QoSs) to guarantee the requirements of voice users. In addition to provide the differentiated QoS, the 3G/WLAN voice-enabled device needs to increase its stand-by time by reducing power consumption. Existing WLAN card may operate in either of two operation modes. In the active mode, all of the RF and based band chipsets are turning on and the power consumption is the highest. In the sleep mode, most of the functions are disabled and the power consumption could be minimized. 
     In order to support differentiated QoSs, the task group E of the IEEE 802.11 standardizes the MAC enhancements for WLANs, denoted as 802.11e. The IEEE 802.11e defines a hybrid coordination function (HCF) which supports a contention-based and a polling-based channel accesses. The enhanced DCF (EDCF) is the contention-based channel access, which allows the QoS access point (QAP) to exchange frames with QoS stations (QSTAs) based on CSMA/CA mechanism. The HCF controlled channel access adopts a polling-based mechanism, which allows the QAP to enable the contention-free frame exchange with the QSTAs during a contention period. Several papers such as “Voice and Data Transmission over an 802.11 Wireless Network”, M. A. Visser and M. E. Zarki, IEEE PIMRC, September 1995; “Investigate of IEEE 802.11 Medium Access Control (MAC) Sublayer Functions”, B. P. Crow, I. Widjaja, J. G. Kim, P. Sakai, IEEE INFOCOM 1997, vol. 1, pp. 126-133, 1997; and “Support of Voice Services in IEEE 802.11 Wireless LANs”, M. Veeraraghavan, N. Cocker, T. Moors, IEEE INFOCOM 2001, vol. pp. 488-497, 2001 have studied the performance of integrated voice and data services over WLANs. In these papers, the operations of WLANs are limited to a point coordinator function (PCF) and a distributed coordinator function (DCF), instead of the HCF. Moreover, a round-robin (RR) polling scheme was adopted to schedule the voice sources. It may cause power waste due to the excess polling of silent stations (STAs). 
     Further, U.S. Pat. No. 6,747,968, “Methods and Systems for Weighted PCF Polling Lists for WLAN QoS Support” has disclosed a weighted polling scheme considering the billing information, transmission duration and user profiles as a weighting function. However, the scheme is proposed for PCF mechanism only. U.S. Pat. No. 6,640,268 “Dynamic Polling Mechanism for Wireless Devices” has disclosed a dynamic polling scheme which adjusts the polling intervals according to the activity level of each polled device. However, the devices returning from the idle mode need to contend in the DCF mechanism to join the polling list, and whereby the polling waste occurs. U.S. Pat. No. 6,275,500, “Method and Apparatus for Dynamic Control of Talk Groups in a Wireless Network” has disclosed a method for dynamic control of talk groups. However, it only handles the communication between the talk groups and does not involve with the organization of the polling list. And U.S. Pat. No. 5,297,144, “Reservation-Based Polling Protocol for a Wireless Data Communications Network”, has disclosed a polling method for non-contention-based wireless network. However, this method cannot be used in the contention-based transmission mode. 
     Therefore, it is necessary to develop a method capable of application of both the PCF and DCF mechanism for integrated voice and data services over WLAN to reduce the power consumption. 
     SUMMARY OF THE INVENTION 
     In view of the foregoing, it is an object of the invention to provide a method to transmit integrated services over WLAN so as to reduce the power consumption and enhance the system throughput. 
     In order to achieve the above object, according to this invention, there is provided with a method for power efficient transmission, named on-demand polling (ODP), which is used for integrated services over WLAN to dynamically adjust a polling list and combines the polling-based and contention-based mechanism to transmit real-time voice service and non-real-time data service, wherein voice packets are transmitted by the polling-based mechanism and data packets are transmitted by the contention-based mechanism. 
     In the ODP scheme, a voice station is in the polling list and adopts the polling-based mechanism to transmit voice packets when it is in the active mode. During the idle mode, the voice station is in a sleep mode to save power. On the other hand, a data station adopts the contention-based mechanism to transmit data packets. 
     Further, according to the present invention, differentiated transmission priority of the integrated services is adopted in the method for power-efficient transmission over WLAN, wherein the voice packets are sent by the higher priority. 
     As a result, the present invention can be applied to the hybrid contention-based and non-contention-based transmission. Since the method of the present invention only calculates the user&#39;s activity, the polling waste will be prevented. Moreover, this method differentiates the transmission priority of the integrated services, so that a transmission delay of voice service is guaranteed and the throughput of data service can be enhanced. 
    
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
       The above and other objects and features of the present invention will become apparent from the following description of the preferred embodiment taken in conjunction with the accompanying drawings, in which: 
         FIG. 1  shows an example of the timing diagram of the ODP scheme according to the present invention; 
         FIG. 2  is a diagram that shows the normalized power consumption for a voice QSTA according to the present invention; and 
         FIG. 3  is a diagram that shows the aggregate throughput for a data QSTA according to the present invention. 
     
    
    
     DETAILED DESCRIPTION OF PREFERRED EMBODIMENTS 
     In the present invention, a power-efficient transmission method, named on-demand polling (ODP), is provided. The proposed ODP scheme is used for integrated services over WLAN, wherein the polling-based and contention-based mechanism is combined to transmit real-time voice service and non-real-time data service accordingly. In the following, a preferred embodiment of the invention applied to the IEEE 802.e will be described. 
     In the ODP scheme over 802.11e, non-real-time data services are only transmitted by contention-based EDCF. On the other hand, based on the ON/OFF property of voice model, voice packets are transmitted by polling-based HCF controlled channel access or EDCF under different conditions. After accepting a new voice call, the QAP (QoS Access Point) would add the QSTA (QoS station) into its polling list. Then, the QAP will periodically poll QSTAs according to the list and wait for transmission of uplink voice packets. In order to enhance transmission efficiency, the QSTAs entering the silence period will be removed from the polling list. When the QSTAs are initiating a talkspurt, they will use higher access priority in EDCF to send voice packets for joining the polling list. 
     The period of a superframe in the ODP scheme is identical to the time interval of two successive voice packets generated by a QSTA. The superframe is divided into two periods: controlled access phase (CAP) and contention phase (CP) as shown in  FIG. 1 . In CAP, QAP polls QSTAs to get uplink voice packets or transmits downlink voice packets directly without acknowledge based on HCF controlled channel access. In CP, the voice QSTAs which are initiating a talkspurt and data QSTAs with packets in queue contend the channel based on EDCF with different priorities. The CAP within a superframe is further divided into three transmission periods: bi-direction voice transmission, uplink-only voice transmission (UL-only), and downlink-only voice transmission (DL-only). An active voice QSTA will be polled one of the three periods according to their current states. 
     For the bi-direction voice transmission period, the QAP combines the QoS(+)CF-Poll frame and the downlink voice packet into a single data frame by the QAP. After receiving the frame, the QSTA transmits an uplink voice frame to the QAP. For the UL-only voice transmission period, the QAP sends a sole QoS(+)CF-Poll frame to the QSTA and then waits for a uplink voice packet. For DL-only voice transmission period, the QAP consecutively sends remaining downlink voice packets without acknowledgement response from the corresponding QSTAs. Note that, during bi-direction voice transmission and UL-only voice transmission periods, the QSTA will be regarded as entering the silence period and removed from polling list if two consecutive QoS Null frames are received by QAP. After the CAP, the remaining time of a superframe is allocated for the CP, which is shared by EDCF. 
     Moreover, QAP should assign different AIFS (Arbitration Inter-Frame Space), minimum contention window size CW min , and maximum contention window size CW max  for voice and data stations. For the guarantee of access delay, the AIFS of a voice QSTA, AIFS RT , is set to be PIFS (PCF Inter-Frame Space). And the CW min , denoted as CW min     —     RT , and CW max , denoted as CW max     —     RT , are given by
 
 CW   min     —     RT   =CW   max     —     RT =max(2 , ┌E[N   V ]+1┐),  (1)
 
where N V  is number of voice QSTA contending in a superframe and ┌•┐ is a ceiling function: For data QSTAs, in case of contending with uplink voice QSTAs, the AIFS, denoted as AIFS NRT , is given by
 
 AIFS   NRT   =PIFS+CW   min     —     RT .  (2)
 
     The minimum and maximum contention window of data QSTA, CW min     —     NRT  and CW max     —     NRT , could be variable values set by QAP. Here, all the data QSTAs are with the same CW min     —     RT  and set to be W 0 . Let M denote the maximum backoff stage and M be the value such that CW max     —   NRT=2 M ·W 0 . 
     Next, an analysis of performance will be provided. 
     Performance Analysis 
     In the analysis, real-time voice QSTAs, N V  and non-real-time data QSTAs, N D  are considered in the coverage of a QAP. An ideal channel condition without hidden terminals and with error-free transmission is also assumed. The mean duration of CAP in a superframe and mean contention time for a voice QSTA will be analyzed hereinafter. Using these two analytic results, the power consumption of a voice QSTA in the ODP scheme will also be directly derived in the following. Then, the frame transmission probability and aggregate throughput of data QSTAs will be analyzed as well. 
     A. Mean Duration of CAP 
     First, the analysis of the mean duration of CAP in a superframe will be described. 
     The four-state Brady model is assumed to be symmetrical in the sense that the statistical behaviors of downlink-only state and uplink-only state are the same. By balance equation, we can obtain the state probability of a single communication pair staying in mutual-silence state (state A), downlink-only state (state B), uplink-only state (state C), and double-talk state (state D), denoted by p a , p b , p c , and p d , respectively, which yields
 
(λ ab +λ ac ) p   a =λ ba   p   b +λ ca   p   c ,  (3)
 
(λ ba +λ bd ) p   b =λ ab   p   a +λ db   p   d ,  (4)
 
(λ ca +λ cd ) p   c =λ dc   p   d +λ ac   p   a ,  (5)
 
(λ db +λ dc ) p   d =λ bd   p   b +λ cd   p   c ,  (6)
 
Given normalization condition for stationary probabilities,
 
 p   a   +p   b   +p   c   +p   d =1,  (7)
 
the state probabilities are expressed as
 
     
       
         
           
             
               
                 
                   
                     
                       p 
                       a 
                     
                     = 
                     
                       
                         
                           λ 
                           ba 
                         
                         · 
                         
                           λ 
                           db 
                         
                       
                       
                         
                           
                             λ 
                             ba 
                           
                           · 
                           
                             λ 
                             db 
                           
                         
                         + 
                         
                           2 
                           ⁢ 
                           
                             
                               λ 
                               ab 
                             
                             · 
                             
                               λ 
                               db 
                             
                           
                         
                         + 
                         
                           
                             λ 
                             ab 
                           
                           · 
                           
                             λ 
                             bd 
                           
                         
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   8 
                   ) 
                 
               
             
             
               
                 
                   
                     
                       p 
                       b 
                     
                     = 
                     
                       
                         p 
                         c 
                       
                       = 
                       
                         
                           
                             λ 
                             ab 
                           
                           · 
                           
                             λ 
                             db 
                           
                         
                         
                           
                             
                               λ 
                               ba 
                             
                             · 
                             
                               λ 
                               db 
                             
                           
                           + 
                           
                             2 
                             ⁢ 
                             
                               
                                 λ 
                                 ab 
                               
                               · 
                               
                                 λ 
                                 db 
                               
                             
                           
                           + 
                           
                             
                               λ 
                               ab 
                             
                             · 
                             
                               λ 
                               bd 
                             
                           
                         
                       
                     
                   
                   , 
                 
               
               
                 
                   ( 
                   9 
                   ) 
                 
               
             
             
               
                 
                   
                     p 
                     d 
                   
                   = 
                   
                     
                       
                         
                           λ 
                           ab 
                         
                         · 
                         
                           λ 
                           bd 
                         
                       
                       
                         
                           
                             λ 
                             ba 
                           
                           · 
                           
                             λ 
                             db 
                           
                         
                         + 
                         
                           2 
                           ⁢ 
                           
                             
                               λ 
                               ab 
                             
                             · 
                             
                               λ 
                               db 
                             
                           
                         
                         + 
                         
                           
                             λ 
                             ab 
                           
                           · 
                           
                             λ 
                             bd 
                           
                         
                       
                     
                     . 
                   
                 
               
               
                 
                   ( 
                   10 
                   ) 
                 
               
             
           
         
       
     
     Since the process of each conversation pair is independent and identical, the probability of the integrated source of the conversation pairs staying in the four states, denoted by N a , N b , N c , and N d , respectively, can be obtained by using multinomial distribution 
                       P   ⁡     [     (       N   a     ,     N   b     ,     N   c     ,     N   d       )     ]       =           N   V     !           N   a     !     ⁢       N   b     !     ⁢       N   c     !     ⁢       N   d     !         ⁢     p   a   Na     ⁢     p   b   Nb     ⁢     p   c   Nc     ⁢     p   d   Nd         ,           (   11   )               
where N a +N b +N c +N d =N V . Also, the time durations for packet exchange in the four states, denoted by T a , T b , T c , and T d , are calculated by
 
     
       
         
           
             
               
                 
                   
                     T 
                     a 
                   
                   = 
                   0 
                 
               
               
                 
                   ( 
                   12 
                   ) 
                 
               
             
             
               
                 
                   
                     T 
                     b 
                   
                   = 
                   
                     
                       T 
                       PIFS 
                     
                     + 
                     
                       ( 
                       
                         
                           T 
                           PHY 
                         
                         + 
                         
                           
                             
                               H 
                               MAC 
                             
                             + 
                             
                               H 
                               UP 
                             
                             + 
                             
                               
                                 R 
                                 S 
                               
                               · 
                               
                                 T 
                                 SF 
                               
                             
                           
                           
                             R 
                             C 
                           
                         
                       
                       ) 
                     
                   
                 
               
               
                 
                   ( 
                   13 
                   ) 
                 
               
             
             
               
                 
                   
                     T 
                     c 
                   
                   = 
                   
                     
                       T 
                       SIFS 
                     
                     + 
                     
                       ( 
                       
                         
                           T 
                           PHY 
                         
                         + 
                         
                           
                             H 
                             MAC 
                           
                           
                             R 
                             C 
                           
                         
                       
                       ) 
                     
                     + 
                     
                       T 
                       b 
                     
                   
                 
               
               
                 
                   ( 
                   14 
                   ) 
                 
               
             
             
               
                 
                   
                     T 
                     d 
                   
                   = 
                   
                     
                       T 
                       PIFS 
                     
                     + 
                     
                       T 
                       SIFS 
                     
                     + 
                     
                       2 
                       ⁢ 
                       
                         ( 
                         
                           
                             T 
                             PHY 
                           
                           + 
                           
                             
                               
                                 H 
                                 MAC 
                               
                               + 
                               
                                 H 
                                 UP 
                               
                               + 
                               
                                 
                                   R 
                                   S 
                                 
                                 · 
                                 
                                   T 
                                   SF 
                                 
                               
                             
                             
                               R 
                               C 
                             
                           
                         
                         ) 
                       
                     
                   
                 
               
               
                 
                   ( 
                   15 
                   ) 
                 
               
             
           
         
       
     
     From (12) to (14), the system parameters are listed in Table 1. Denote E[T CAP ] the mean duration of CAP in a superframe. By the properties of multinomial distribution, the mean duration of CAP is expressed by 
                           E   ⁡     [     T   CAP     ]       =       ∑       i   ∈     (     a   ,   b   ,   c   ,   d     )       ⁢                       ⁢           ⁢       E   ⁡     [     N   i     ]       ·     T   i                     =       N   V     ·       ∑       i   ∈     (     a   ,   b   ,   c   ,   d     )       ⁢                       ⁢       p   i     ·       T   i     .                         (   16   )               
B. Mean Contention Time of Voice QSTA
 
     Now, the analysis of the mean contention time for a voice QSTA will be described. 
     During a contention period, due to the behavior of intermittent transmission, the mean number of contending voice QSTAs is smaller than 2 in this analysis. Thus, CW min     —     RT =CW max     —     RT =2. Firstly, we derive the successful contention probability during one contention period provided that there are Nc contending voice QSTAs, denoted by P s (N C ). 
     Denote N 1  as the number of contending QSTAs with counter set to 1, and N 2  as the number of contending QSTAs with counter set to 2. The successful contention event during a contention period is just either {N 1 =1} or {N 2 =1}. Equivalently, it can be written by 
     
       
         
           
             
               
                 
                   
                     
                       
                         
                           
                             P 
                             s 
                           
                           ⁡ 
                           
                             ( 
                             
                               N 
                               C 
                             
                             ) 
                           
                         
                         = 
                           
                         ⁢ 
                         
                           
                             P 
                             r 
                           
                           ⁡ 
                           
                             [ 
                             
                               
                                 
                                   
                                     { 
                                     
                                       
                                         N 
                                         1 
                                       
                                       = 
                                       1 
                                     
                                     } 
                                   
                                   ⋃ 
                                   
                                     { 
                                     
                                       
                                         N 
                                         2 
                                       
                                       = 
                                       1 
                                     
                                     } 
                                   
                                 
                                 ❘ 
                                 
                                   
                                     N 
                                     1 
                                   
                                   + 
                                   
                                     N 
                                     2 
                                   
                                 
                               
                               = 
                               
                                 N 
                                 C 
                               
                             
                             ] 
                           
                         
                       
                     
                   
                   
                     
                       
                         = 
                           
                         ⁢ 
                         
                           
                             
                               P 
                               r 
                             
                             ⁡ 
                             
                               [ 
                               
                                 
                                   N 
                                   1 
                                 
                                 = 
                                 
                                   1 
                                   ❘ 
                                   
                                     N 
                                     C 
                                   
                                 
                               
                               ] 
                             
                           
                           + 
                         
                       
                     
                   
                   
                     
                       
                           
                         ⁢ 
                         
                           
                             
                               
                                 ∑ 
                                 
                                   k 
                                   = 
                                   0 
                                 
                                 
                                   N 
                                   C 
                                 
                               
                               
                                 k 
                                 ≠ 
                                 1 
                               
                             
                             ⁢ 
                             
                                 
                             
                             ⁢ 
                             
                               
                                 
                                   P 
                                   r 
                                 
                                 ⁡ 
                                 
                                   [ 
                                   
                                     
                                       
                                         { 
                                         
                                           
                                             N 
                                             2 
                                           
                                           = 
                                           1 
                                         
                                         } 
                                       
                                       ❘ 
                                       
                                         N 
                                         2 
                                       
                                     
                                     = 
                                     
                                       
                                         N 
                                         C 
                                       
                                       - 
                                       k 
                                     
                                   
                                   ] 
                                 
                               
                               · 
                               
                                 
                                   P 
                                   r 
                                 
                                 ⁡ 
                                 
                                   [ 
                                   
                                     
                                       N 
                                       1 
                                     
                                     = 
                                     
                                       k 
                                       ❘ 
                                       
                                         N 
                                         C 
                                       
                                     
                                   
                                   ] 
                                 
                               
                             
                           
                           , 
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   17 
                   ) 
                 
               
             
           
         
       
     
                               where   =       ⁢       P   r     ⁡     [         {       N   2     =   1     }     ❘     N   2       =       N   C     -   k       ]                   =       ⁢     {             1   ,     k   =       N   C     -   1                   0   ,   otherwise           .               ⁢     
     ⁢         For   ⁢           ⁢     N   C       =   1     ,           ⁢           P   s     ⁡     (     N   C     )       =   1     ;       ⁢     
     ⁢         for   ⁢           ⁢     N   C       =   2     ,           ⁢           P   s     ⁡     (     N   C     )       =   0.5     ;       ⁢     
     ⁢   and   ⁢           ⁢   for   ⁢           ⁢     N   C       ≥   3     ,           ⁢         P   s     ⁡     (     N   C     )       ⁢           =           ⁢       N   C     ·         (     1   2     )         N   c     ⁢           -           ⁢   1       .                                 
Since successful contention in either time slot 1 or time slot 2 are also equally probable for N C ≧3 cases, the average time spent in one successful contention period is given by
 
     
       
         
           
             
               
                 
                   
                     
                       
                         
                           L 
                           S 
                         
                         + 
                         
                           
                             3 
                             2 
                           
                           ⁢ 
                           σ 
                         
                       
                     
                     
                       
                         
                           for 
                           ⁢ 
                           
                               
                           
                           ⁢ 
                           
                             N 
                             C 
                           
                         
                         = 
                         1 
                       
                     
                   
                   
                     
                       
                         
                           
                             T 
                             _ 
                           
                           S 
                         
                         = 
                         
                           
                             2 
                             ⁢ 
                             
                               L 
                               S 
                             
                           
                           + 
                           
                             2 
                             ⁢ 
                             σ 
                           
                         
                       
                     
                     
                       
                         
                           for 
                           ⁢ 
                           
                               
                           
                           ⁢ 
                           
                             N 
                             C 
                           
                         
                         = 
                         2 
                       
                     
                   
                   
                     
                       
                         
                           L 
                           S 
                         
                         + 
                         
                           
                             3 
                             2 
                           
                           ⁢ 
                           σ 
                         
                       
                     
                     
                       
                         
                           for 
                           ⁢ 
                           
                               
                           
                           ⁢ 
                           
                             N 
                             C 
                           
                         
                         ≥ 
                         3. 
                       
                     
                   
                 
               
               
                 
                   ( 
                   18 
                   ) 
                 
               
             
           
         
       
     
     For the time spent in collision period given NC contention users, we enumerate all the situations how the collision happens as: (N 1 =N C , N 2 =0), (N 1 =0, N 2 =N C ), and (N 1 ≧2, N 2 ≧2, N 1 +N 2 =N C ). The first two events are equally probable and can be expressed by 
                           P     1   ,   coll       =       ⁢       P   r     ⁢     {       all   ⁢           ⁢   counters   ⁢           ⁢   are   ⁢           ⁢   set   ⁢           ⁢   to   ⁢           ⁢   1     |     failure   ⁢           ⁢   contention                           ⁢   period   }               =       ⁢       P   r     ⁢     {         N   1     =       N   C     ❘     N   C         ,   failure     ⁢           }                   =       ⁢         (     1   2     )       N   c         (     1   -       P   s     ⁡     (     N   C     )         )                     (   19   )               
or equivalently,
 
                     =         P   r     ⁢     {         N   2     =       N   C     ❘     N   C         ,   failure     ⁢           }       ⁢     
     =               (     1   2     )       N   c         (     1   -       P   s     ⁡     (     N   C     )         )       .     
     ⁢   For     ⁢           ⁢     N   C       ≥   2         ,     
     ⁢             P     2   ,   coll       =       P   r     ⁢     {       collisions   ⁢           ⁢   occur   ⁢           ⁢   in   ⁢           ⁢   both     |     failure   ⁢           ⁢   contention   ⁢           ⁢   period       }                   =       P   r     ⁢     {           N   1     ≥     2   ⋂     N   2       ≥   2     ❘     N   C       ,   failure     ⁢           }                   =       (     1   -       P   s     ⁡     (     N   C     )       -     2   ⁢       P     1   ,   coll       ⁡     (     N   C     )           )     /       (     1   -       P   s     ⁡     (     N   C     )         )     .                       (   20   )               
The average time spent in one contention period that collision occurs is given by
 
     
       
         
           
             
               
                 
                   
                     
                       
                         T 
                         _ 
                       
                       C 
                     
                     ⁡ 
                     
                       ( 
                       
                         N 
                         C 
                       
                       ) 
                     
                   
                   = 
                   
                     
                       2 
                       ⁢ 
                       
                         L 
                         C 
                       
                     
                     + 
                     
                       2 
                       ⁢ 
                       σ 
                     
                     - 
                     
                       
                         
                           
                             ( 
                             
                               1 
                               2 
                             
                             ) 
                           
                           
                             N 
                             c 
                           
                         
                         
                           1 
                           - 
                           
                             
                               P 
                               s 
                             
                             ⁡ 
                             
                               ( 
                               
                                 N 
                                 C 
                               
                               ) 
                             
                           
                         
                       
                       ⁢ 
                       
                         
                           ( 
                           
                             
                               2 
                               ⁢ 
                               
                                 L 
                                 C 
                               
                             
                             + 
                             σ 
                           
                           ) 
                         
                         . 
                       
                     
                   
                 
               
               
                 
                   ( 
                   21 
                   ) 
                 
               
             
           
         
       
     
     Define random variable K N     C    as the number of contention periods such that first one of N C  users successfully contends. We further define T CT  as the random variable for the contention time. In general, the average contention time can be recursively given by 
                     E   ⁡     [       T   CT     ⁢     ❘     ⁢     N   C       ]       =           ∑     k   =   1     ∞     ⁢         [         (     k   -   1     )     ⁢         T   _     C     ⁡     (     N   C     )         +       T   _     S       ]     ·     P   r       ⁢     {       K     N   c       =   k     }         +     E   ⁡     [       T   CT     ⁢     ❘     ⁢     (       N   C     -   1     )       ]         =           T   _     S     ⁡     (     N   C     )       +           T   _     C     ⁡     (     N   C     )       ·       1   -       P   s     ⁡     (     N   C     )             P   s     ⁡     (     N   C     )           +       E   ⁡     [       T   CT     ⁢     ❘     ⁢     (       N   C     -   1     )       ]       .                 (   22   )               
Then, we can get the approximation form as follow
 
     
       
         
           
             
               
                 
                   
                     
                       
                         E 
                         ⁡ 
                         
                           [ 
                           
                             
                               T 
                               CT 
                             
                             ⁢ 
                             
                               ❘ 
                             
                             ⁢ 
                             
                               N 
                               C 
                             
                           
                           ] 
                         
                       
                       = 
                       
                         
                           E 
                           ⁡ 
                           
                             [ 
                             
                               
                                 T 
                                 CT 
                               
                               ⁢ 
                               
                                 ❘ 
                               
                               ⁢ 
                               
                                 ( 
                                 
                                   
                                     N 
                                     C 
                                   
                                   - 
                                   1 
                                 
                                 ) 
                               
                             
                             ] 
                           
                         
                         + 
                         
                           
                             
                               
                                 T 
                                 _ 
                               
                               C 
                             
                             ⁡ 
                             
                               ( 
                               
                                 N 
                                 C 
                               
                               ) 
                             
                           
                           · 
                           
                             
                               1 
                               - 
                               
                                 
                                   P 
                                   s 
                                 
                                 ⁡ 
                                 
                                   ( 
                                   
                                     N 
                                     C 
                                   
                                   ) 
                                 
                               
                             
                             
                               
                                 P 
                                 s 
                               
                               ⁡ 
                               
                                 ( 
                                 
                                   N 
                                   C 
                                 
                                 ) 
                               
                             
                           
                         
                       
                     
                     , 
                     
                       
                         for 
                         ⁢ 
                         
                             
                         
                         ⁢ 
                         
                           N 
                           C 
                         
                       
                       ≥ 
                       3. 
                     
                   
                   ⁢ 
                   
                     
 
                   
                   ⁢ 
                   
                     Also 
                     , 
                     
                       
                         for 
                         ⁢ 
                         
                             
                         
                         ⁢ 
                         
                           N 
                           C 
                         
                       
                       = 
                       1 
                     
                     , 
                     
                       
                         E 
                         ⁡ 
                         
                           [ 
                           
                             
                               
                                 T 
                                 CT 
                               
                               ⁢ 
                               
                                 ❘ 
                               
                               ⁢ 
                               
                                 N 
                                 C 
                               
                             
                             = 
                             1 
                           
                           ] 
                         
                       
                       = 
                       
                         
                           
                             3 
                             2 
                           
                           ⁢ 
                           σ 
                         
                         + 
                         
                           L 
                           S 
                         
                       
                     
                     , 
                     
                       
                         and 
                         ⁢ 
                         
                           
                               
                           
                           ⁢ 
                           
                               
                           
                         
                         ⁢ 
                         for 
                         ⁢ 
                         
                             
                         
                         ⁢ 
                         
                           N 
                           C 
                         
                       
                       = 
                       2 
                     
                     , 
                     
                       
 
                     
                     ⁢ 
                     
                       
                         E 
                         ⁡ 
                         
                           [ 
                           
                             
                               
                                 T 
                                 CT 
                               
                               ⁢ 
                               
                                 ❘ 
                               
                               ⁢ 
                               
                                 N 
                                 C 
                               
                             
                             = 
                             2 
                           
                           ] 
                         
                       
                       = 
                       
                         
                           2 
                           ⁢ 
                           
                             L 
                             S 
                           
                         
                         + 
                         
                           L 
                           C 
                         
                         + 
                         
                           
                             7 
                             2 
                           
                           ⁢ 
                           
                             σ 
                             . 
                           
                         
                       
                     
                   
                 
               
               
                 
                   ( 
                   23 
                   ) 
                 
               
             
           
         
       
     
     Finally, the mean duration of contention time, E[T CT ], can be written as follow 
                     E   ⁡     [     T   CT     ]       =       ∑       (       N   a     +     N   b       )     =   0       N   V       ⁢       ∑       N   C     =   0         N   a     +     N   b         ⁢       E   ⁡     [       T   CT     ⁢     ❘     ⁢     N   C       ]       ⁢     P   ⁡     [         N   C     ⁢     ❘     ⁢     N   a       ,     N   b       ]       ⁢       P   ⁡     [       N   a     ,     N   b       ]       .                   (   24   )               
C. Power Consumption
 
     Further, the power consumption of a voice QSTA in the ODP scheme can be derived as follows. 
     Here, the power consumption of a voice QSTA is defined as the ratio of power-on period over superframe duration. For the ODP scheme, the power consumption factor η ODP  is equivalently expressed by 
                     η   ODP     =           E   ⁡     [     T   CAP     ]       +     E   ⁡     [     T   CT     ]             N   V     ·     T   SF         .             (   25   )               
D. Aggregate Throughput of Data QSTA
 
     Now the analysis of the frame transmission probability and the aggregate throughput of a data QSTA will be described below. 
     To calculate the aggregate throughput, the frame transmission probability, τ, is obtained firstly. The frame transmission probability here is derived by two-dimensional Markov chain queuing model. After some derivations, the probability can be expressed by 
                     τ   =         2   ·       ∑     i   =   0     M     ⁢     P   i             ∑     i   =   0     M     ⁢       P   i     ·     (         2   i     ·     W   0       +   1     )           ⁢     
     ⁢           =       2   ⁢           ⁢     (     1   -     2   ⁢           ⁢   P       )                 ⁢           W   0     ⁡     (     1   -   P     )       ⁢           ⁢     (     1   -       (     2   ⁢           ⁢   P     )       M   +   1         )           (     1   -     P             ⁢     M   +   1           )     +     (     1   -     2   ⁢           ⁢   P       )                 ,           (   26   )               
where P is the collision probability of data QSTAs. Then, we can derive the P based on its definition. P is the probability that a ready-to-transmit QSTA collides with any other QSTAs, which yields
   P= 1−(1−τ) N     D     −1 .  (27) 
Eq. (26) and (27) represent a nonlinear system in the two unknowns τ and P, which can be solved using numerical method.
 
     Define P idle  the probability that none of data QSTAs transmit in a randomly chosen time slot. P idle  is given by P idle =(1−τ) N     D   . Also, denote P one  the probability that only one data QSTA transmits in a randomly chosen time slot. P one  is given by P one =N D ·τ(1−τ) N     D     −1 . Then, the throughput of a single data QSTA, S′, can be obtained by 
                           S   ′     =       E   ⁡     [     Payload   ⁢             ⁢             ⁢   Information   ⁢           ⁢   in   ⁢             ⁢             ⁢   a   ⁢             ⁢             ⁢   slot   ⁢             ⁢             ⁢   time     ]         E   ⁡     [     Length   ⁢           ⁢   of   ⁢             ⁢             ⁢   a   ⁢           ⁢   slot   ⁢             ⁢             ⁢   time     ]                       =           τ   ⁡     (     1   -   τ     )           N   D     -   1       ⁢     E   ⁡     [     L   PKT     ]               P   idle     ·   σ     +       P   one     ·     T   S       +       (     1   -     P   idle     -     P   one       )     ⁢     T   C             ,                 (   28   )               
where T S  (T C ) is the average time that channel is sensed busy because of a successful (collided) transmission, and E[L PKT ] is the average frame length. Since the transmitted frames of data QSTAs cannot preempt those of voice QSTAs, the aggregate throughput of data QSTAs, denote as S, can be written as
 
                     S   =       (         T   SF     -     T   B     -     E   ⁡     [     T   CAP     ]       -     E   ⁡     [     T   CT     ]           T   SF       )     ⁢     S   ′         ,           (   29   )               
where T SF  is maximum duration of the superframe, T B  is the time to send a Beacon.
 
     The parameters used for the following numerical analysis and simulations are summarized in Table 1, where the values of PHY-related parameters are referred to IEEE 802.11b (IEEE Std 802.11e/D3.0, “Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications: Medium Access Control (MAC) Enhancements for Quality of Service (QoS)”, May 2002). Unless otherwise specified, a constant frame payload size of 1028 bytes, which includes 1000 bytes application data payload, 20 bytes IP header, and 8 bytes UDP header, is used in the simulations. The maximum backoff stage M was set to be equal to 5. The power consumption of voice QSTAs and the aggregate throughput for data QSTAs are investigated by using the proposed ODP scheme, a round robin mechanism with Brady&#39;s model (RR-Brady) and a round robin mechanism with constant bit rate (RR-CBR) (“Voice and Data Transmission over an 802.11 Wireless Network”, M. A. Visser and M. E. Zarki, IEEE PIMRC, September 1995), respectively. The coding rate of CBR source model is 8 Kbps. Since the voice QSTAs will not contend in CP within RR-Brady and RR-CBR schemes, AIFS NRT  is set to be DIFS. 
     
       
         
               
               
               
             
           
               
                 TABLE 1 
               
               
                   
               
               
                 Parameter 
                 Symbol 
                 Value 
               
               
                   
               
             
             
               
                 Duration of the superframe 
                 T SF   
                 20 ms 
               
               
                 Voice coding rate in bps 
                 R S   
                 8 K 
               
               
                 Transmission rate in bit/sec 
                 R C   
                 11 M 
               
               
                 MAC header (QoS data type) in bits 
                 H MAC   
                 30 * 8 
               
               
                 Header overheads (IP + UDP + RTP) in bits 
                 H UP   
                 40 * 8 
               
               
                 Physical overhead in sec (including preamble length 
                 T PHY   
                 192 μs 
               
               
                 and header length) 
               
               
                 Beacon size in bit 
                 B 
                 40 * 8 
               
               
                 SIFS 
                 T SIFS   
                 10 μs 
               
               
                 PIFS 
                 T PIFS   
                 30 μs 
               
               
                 Slot time 
                 σ 
                 20 μs 
               
               
                 Time to send a beacon 
                 T B   
                 Computed 
               
               
                 Time to successful transmit a contention packet 
                 L S   
                 Computed 
               
               
                 Time to transmit a collided packet 
                 L C   
                 Computed 
               
               
                 Time to send an ACK frame (14 bytes) 
                 T ACK   
                 Computed 
               
               
                   
               
             
          
         
       
     
       FIG. 2  shows the normalized power consumption versus the number of voice pairs. The normalized power consumption is defined as the percentage of a voice QSTA operating in active mode within a superframe. From the figure, it can be found that the power consumption of ODP scheme increases with the number of voice pairs, which is resulted from the increased mean contention time. However, the ODP scheme consumes the least power while the RRCBR consumes the most. In the ODP scheme the voice QSTA will be removed from the polling list when there is no packet to transmit. It is beneficial to reduce the power consumption. When the number of voice pair is 25, the ODP scheme outperforms the RR-Brady and RR-CBR schemes by an amount of 12.5% and 32.4%, respectively. 
       FIG. 3  shows the aggregate throughput of data QSTAs versus the number of voice pairs. The number of data QSTA is 15 and the minimum contention window is 32. The number of voice QSTAs is ranging from 0 to 25. The curves of simulation results and numerical results of ODP are very close, which justifies the accuracy of our analysis. Also, comparing the three schemes, it can be found that the aggregate throughput of ODP scheme is the highest among the three schemes. The throughput enhancement increases as the number of voice QSTAs increases. When the number of voice QSTAs is 25, the ODP scheme outperforms the RRCBR (RR-Brady) scheme by an amount of 90.6% (56%). The aggregate throughput of ODP scheme is smaller than that of RR-Brady and RR-CBR schemes for the cases that accommodated voice pairs is smaller than two. The reason is that the AIFS NRT  of RR-Brady and RR-CBR schemes is smaller than that of ODP, which contributes to a higher aggregate throughput. 
     To conclude, a power-efficient MAC protocol, named ODP, for WLAN supporting integrated voice and data service is proposed. In the ODP scheme, the voice QSTAs are polled by the QAP at the CAP while the data QSTAs contend for transmission at the CP. When a voice QSTA is back from silence mode, it uses EDCF to request for including itself to the polling list. Simulation results show the accuracy of our analysis and the performance of the ODP scheme. It is found that the ODP scheme consumes less power and achieves higher data throughput compared with the RR/Brady and RR/CBR schemes. 
     Although the present invention is described with respect to the particular embodiment, it will be apparent to those skilled in the art that various changes and modification may be made without departing from the spirit and scope of the invention as defined in the following claims.