 Research
 Open Access
 Published:
Active interference cancellationaided QoSaware distributed ARQ for cognitive radios with heterogeneous traffics
EURASIP Journal on Wireless Communications and Networking volume 2013, Article number: 29 (2013)
Abstract
Relayassisted Automatic Repeat reQuest (ARQ), which allows the relays instead of the source to carry out retransmissions of packets erroneously received at the destination, is an efficient cooperative transmission technique to improve link reliability with high spectrum efficiency in wireless networks. In cognitive radio (CR) systems, however, this relayassisted ARQ could induce large latency, since a successful transmission of a packet may consume two idle timeslot or temporal spectrum holes. To overcome this limitation, an active interference cancellation (IC)aided distributed relayassisted ARQ method is proposed in this article to serve heterogeneous elastic traffics with diverse quality of service (QoS) demands in CR systems. Specifically, by applying our recently proposed distributed beamformingbased IC method in the physical layer, cognitive relays can exploit spatial spectrum holes (SSHs) to retransmit while keeping the interference to primary users at a tolerable level. Meanwhile, at the MAC layer, two scheduling policies, namely probabilistic and queuelengthbased scheduling, are proposed to obtain an efficient allocation of temporal and SSHs to direct transmissions and retransmissions. The performance of the proposed schemes are analyzed and optimized by adjusting the scheduling parameters. As a result, the secondary users can obtain significant QoS gains, as validated by theoretical and simulation results.
1 Introduction
As an efficient cooperative transmission technique, distributed relayassisted Automatic Repeat reQuest (ARQ) can improve the link reliability of wireless links in wireless relay networks[1–4]. In contrast to traditional ARQ where the source is responsible of retransmitting packets erroneously received at the destination[5], distributed relayassisted ARQ allows the relays of the sourcetodestination (S–D) link to retransmit erroneous packets in a distributed way. Here, the relays are involved only when they receive Negative ACKnowledgement (NACK) packets sent by the destination, indicating it cannot successfully decode the source packet. In this way, high cooperative diversity gain can be achieved at the cost of little spectral efficiency loss.
Recently, some efforts have been devoted to applying distributed ARQ in cognitive radio (CR) systems[6–8] to improve the reliability of secondary links, and thus the utilization of scarce and valuable spectrum bands[9, 10]. Meanwhile, queueing analysis methods have been applied to study the throughput and/or delay performances of buffered cognitive relay systems[9, 11, 12]. The previous work mainly focuses on efficient utilization of idle timeslots, or the socalled Temporal Spectrum Holes (TSHs)[13], to improve the Quality of Service (QoS) of secondary users (SUs). That is, both the SU source and relays access the channel only in idle timeslots that are not currently being occupied by PUs to avoid causing interference to them. In such a system, a successful packet delivery may require two idle timeslots, one for the S–D direct transmission and one for the retransmission carried out by the relays. This, however, would inevitably reduce the spectrum efficiency and/or induce unacceptably large latency, since TSHs are randomly spaced in time and very scarce especially when the primary system is heavily loaded.
To exploit new transmission opportunities for cooperative transmissions in CR systems, we have proposed an active interference cancellation (IC) method in[14]. Specifically, by forming a virtual antenna array, the SU relays can exploit the socalled spatial spectrum holes (SSHs) and transmit at the same time with PUs[13, 15]. Our previous work has also developed two ICbased opportunistic scheduling schemes to schedule available TSHs and SSHs between the SU source and relays for efficiently serving delaylimited realtime traffics and losssensitive burst traffics, respectively[16, 17]. Therein, we have assumed that perfect channel state information (CSI) can be acquired. We have also assumed that there is no direct S–D path, and thus the relays need to participate in every packet transmission. In contrast to the previous work, we consider in this article a more general scenario, where CSI could be imperfect and an S–D link exists.
This article proposes an ICaided distributed ARQ method, referred to as ICaDARQ, to transmit heterogeneous elastic traffics with diverse QoS requirements in CR systems. Specifically, the source accesses an idle timeslot to transmit a packet to the destination. If the packet has not correctly been received by the destination node as notified via an NACK packet, the relays that correctly decode the source packet will retransmit this packet. Together with the source node, the decoding relays can form a distributed zeroforcing beamformer to transmit the erroneous packet simultaneously with PUs while completely cancelling the interference to active PUs. When perfect CSI is not available, our proposed IC method applies robust beamforming to exploit SSHs with the interference to the primary receivers maintained under a tolerable level.
To serve elastic traffics with diverse QoS demands, we then propose two practical ICaDARQ protocols, referred to as ICaDARQPS and ICaDARQQS, respectively, which apply probabilistic scheduling and queuelengthbased Scheduling schemes to carry out linkaware retransmissions. Specifically, with ICaDARQPS, an idle timeslot is allocated for retransmission with a given probability and retransmissions are carried out according to truncated ARQ. On the other hand, the ICaDARQQS scheme schedules the SU nodes to transmit according to the length of the retransmission queue. For both schemes, we analyze the throughput and delay performance, which in turn enables us to derive the optimal scheduler configurations.
Our theoretical analysis is validated by simulation results, which show that the proposed schemes perform well in perfect and imperfect CSI scenarios. One can also see that ICaDARQPS can be applied to transmit elastic traffics with no delay constraint. While the ICaDARQQS scheme can achieve a tradeoff between the average throughput and the endtoend delay by adjusting the queue threshold. In practical scenarios, the parameter should be selected based on the physical layer outage probability which can be estimated using training packets.
The remainder of this article is organized as follows. Section 2 presents the system model. Section 3 introduces the ICaDARQ method and briefly describes the beamformingbased IC approach for exploiting SSHs. In Sections 4 and 5, we propose the ICaDARQPS and ICaDARQQS schemes and analyze their performance, respectively. Simulation results and conclusions are presented in Sections 6 and 7, respectively. Throughout this article, the following notations will be used. For a vector x, x^{†} and x^{t} denote its conjugate transpose and transpose, respectively. x denotes the magnitude of a complex number x.{\mathcal{C}}^{l} is used to denote a ldimensional complex space. Pr{e} denotes the probability of the event e. For an event e,\mathcal{I}\left(e\right) is an indicator function, defined as\mathcal{I}\left(e\right)=1 when e is true and\mathcal{I}\left(e\right)=0 otherwise.
2 System model
2.1 Network description
We consider a cognitive relay network with K + 2 SU nodes (a source s, K relays, and a destination d), each equipped with one single antenna, as depicted in Figure1. A set of potential relays, denoted by\mathcal{K}=\left\{{r}_{1},\dots ,{r}_{K}\right\}, can help the source to transmit to the destination if necessary. Assume that the S–D communication pair dynamically accesses one channel that is authorized to PUs. It is supposed that the S–D pair gains the using right of this channel through competition or negotiation with other secondary pairs. However, the concrete competition or negotiation scheme is out of the scope of this article. It is assumed that one cochannel primary link is active in the neighborhood, as shown in Figure1. It is reasonable when the SUs are in the coverage of one primary link. In this system, the time resource is partitioned into discrete timeslots and all secondary transmissions are assumed to be slot synchronized. A timeslot consists of two phases: spectrum sensing and data transmission. In the sensing phase, the SUs detect the channel to see if the channel is occupied by the PUs. Then, based on the sensing results, SUs transmit their own data in the data transmission phase.
Suppose that the channel occupancy of PUs follows a discretetime twostate Markov chain. A similar channel occupancy model of PUs was used in[18]. Let Θt denote the status of channel occupancy by PUs at timeslot t, i.e., idle (Θt = 0) and busy (Θt = 1). Given that the PUs of the primary link are silent in the current timeslot, the PUs occupy the channel with the probability α and keep silent with the probability 1−α in the next timeslot, respectively. Similarly, the channel occupied by PUs in the current timeslot will be released with the probability β and occupied with the probability 1 − β in the next timeslot, respectively. Accordingly, the transition matrix of channel occupancy by PUs can be given by
the (i j)th element of which denotes the transition probability Pr{Θt + 1] = j−1Θt = i−1} for all i, j∈{1,2}. The activity of PUs on the channel in the long term can be characterized by the steady probability of P_{ O }. The stationary probabilities of state idle and state busy are thus given by
2.2 Channel model and outage probability
Let h_{a,b}denote the channel coefficient between nodes a and b. Assuming block Rayleigh fading, h_{a,b} stays constant during each timeslot while varying independently and identically in different timeslots. The channel coefficient h_{a,b}can be characterized by a complex Gaussian random variable with zeromean and variance{\sigma}_{a,b}^{2}. Likewise, we denote z_{ a }to be the additive white Gaussian noise (AWGN) at the receiver of node a. Throughout this article, the AWGN at every receiver can be characterized by a complex Gaussian random variable with zeromean and variance{\sigma}_{0}^{2}. Assume that SUs transmit a packet in a timeslot at a data rate R bit/s/Hz.
To efficiently exploit spectrum resources, we consider to apply an incremental decodeandforward relaying scheme based on distributed beamforming in the physical layer. The channel model and outage probability are presented in the sequel.
2.2.1 Channel model
When the source accesses a TSH to broadcast a packet, the destination and relay r_{ i } receive
respectively, where X_{ s }denotes the source signal transmitted at a power P. Each of K relays receives the source packet, and will send back an ACKnowledgment (ACK) or NACK packet immediately, if it succeeds or fails to decode the packet. The ACK/NACK packets are sent by K relays over orthogonal subchannels of the feedback channel, such as different slots and spreading codes, etc. In this way, the collision of ACK/NACK messages from multiple relays can be avoided. The decoding relay set is denoted by\mathcal{D} and the number of decoding relays is denoted by k(k\in \mathbb{N}).
If an NACK packet from the destination is received, the source and decoding relays will jointly form a distributed beamformer to retransmit the packet in an idle or busy timeslot. Suppose that the packet is retransmitted at the same power P. Let\mathit{h}={[{h}_{s,d},{h}_{{r}_{1},d},\dots ,{h}_{{r}_{k},d}]}^{t}\in {\mathcal{C}}^{k+1} and\mathit{g}={[{g}_{s},{g}_{{r}_{1}},\dots ,{g}_{{r}_{k}}]}^{t}\in {\mathcal{C}}^{k+1} denote the channel coefficient vector and the beamforming weight vector, respectively. In a retransmission, the destination receives
where X_{ r }and X_{ ξ }denote the transmitted signal by SU relays and the received interference signal from the primary transmitter to the SU destination, respectively. When accessing an idle timeslot to retransmit, there is no interference between SUs and PUs and hence X_{ ξ }= 0. When accessing a busy timeslot to retransmit, the primary transmitter causes an interference signal X_{ ξ } at the SU destination, degrading the quality of the received signal. Suppose that the primary link has an n_{ t }antenna transmitter and an n_{ r }antenna receiver. Let{\mathit{h}}_{l}={[{h}_{s,l},{h}_{{r}_{1},l},\dots ,{h}_{{r}_{k},l}]}^{t}\in {\mathcal{C}}^{k+1} denote the channel coefficient vector from the SU source and relay{r}_{i}\in \mathcal{D} to the l th primary receive antenna (l ∈ {1,…,n_{ r }}).
2.2.2 Outage probability
Let f_{s,d} denote the outage probabilities that a packet is not successfully delivered on the S–D link. The S–D transmission is unsuccessful if the channel capacity is{C}_{\mathrm{s},d}={log}_{2}\left(1+\frac{{h}_{\mathrm{s},d}{}^{2}P}{{\sigma}_{0}^{2}}\right) falls below the data rate R. Accordingly, the outage probability is given by
where\mathsf{\text{SNR}}=\frac{P}{{\sigma}_{0}^{2}} is the average transmitted SNR. Meanwhile, any relay r_{ i }that receives the packet becomes a decoding relay with the probability\text{Pr}\{{r}_{i}\in \mathcal{D}\}=exp\left(\frac{{2}^{\mathsf{\text{R}}}1}{\mathsf{\text{SNR}}{\sigma}_{s,{r}_{i}}^{2}}\right). Assuming that channel gains\left{h}_{s,{r}_{i}}{}^{2}\right({r}_{i}\in \mathcal{K}) are independently exponentially distributed, we have
where{g}_{1}=\frac{{2}^{\mathsf{\text{R}}}1}{\mathsf{\text{SNR}}}. When the source and decoding relays\mathcal{D} form a distributed beamformer to retransmit, the outage probability is given by
where P_{ ξ }denotes the interference power from the primary transmitter to the SU destination. Let{\mathit{g}}_{i}^{\ast} and{\mathit{g}}_{b}^{\ast} denote the optimal beamforming weight vector when accessing idle and busy timeslots, respectively. Accordingly, the outage probabilities of retransmitting in idle and busy timslots are denoted by{f}_{\mathit{\text{bf}}}^{i}\left(\mathcal{D}\right) and{f}_{\mathit{\text{bf}}}^{b}\left(\mathcal{D}\right), respectively.
3 The basic ICaDARQ method
3.1 Scheme description
We first describe the basic idea of the ICaDARQ scheme. In the sensing phase of each timeslot t, the SU nodes listen to the channel to detect whether it is occupied by the PUs. If timeslot t is idle, then the source accesses it by broadcasting a new packet to the destination and K potential relays. The destination will immediately send back an ACK packet to the source if it correctly decodes the packet. Otherwise, it sends back an NACK packet to notify a transmission failure. At the same time, each of the K relay nodes tries to decode the packet. Those who correctly decode the packet become the socalled decoding relays that will participate in retransmitting the packet if the packet is not correctly received by the destination. In contrast to traditional cognitive relay systems where SU nodes can only transmit in idle timeslots when PUs are not active, in the proposed scheme, the source and decoding relays utilize busy timeslots to do the retransmission, thus leaving more idle slots for the source to transmit new packets. In particular, once an NACK packet from the destination is received, the source and decoding relays store the corresponding data packet in their buffers and wait for a busy timeslot to retransmit it. In this way, the reliability of the S–D link can greatly be improved. The flow chart of ICaDARQ is presented in Figure2. It is assumed that ACK and NACK packets are delivered through a feedback channel quickly and reliably after each transmission.
To practise the ICaDARQ scheme, we should estimate the optimal beamforming weight vector{\mathit{g}}_{b}^{\ast} for accessing busy timeslots. In the sequel, we first review our previously proposed IC approach, which adopts zeroforcing beamforming to completely cancel the interference to PUs when perfect CSI is available[14]. Subsequently, we review the robust beamforming scheme to handle imperfectCSI scenarios.
3.2 Distributed beamformingbased IC
In this section, we briefly introduce how to obtain the optimal beamforming weight vector{\mathit{g}}_{b}^{\ast} in perfectCSI and imperfectCSI scenarios, respectively. In this article, we assume that SUs cause no interference to PUs when perfect CSI can be obtained and they should suppress the interference to PUs below a threshold when perfect CSI is not available.
3.2.1 Perfect CSI
With perfect CSI, the zeroforcing beamformer formed by SU relays is able to null the interference from the SUs to all l primary receive antennas. From our previous work[14], we have{\mathit{g}}_{b}^{\ast}=\sqrt{P}\frac{{\mathbf{P}}_{{\mathcal{V}}^{\perp}}\mathit{h}}{\parallel {\mathbf{P}}_{{\mathcal{V}}^{\perp}}\mathit{h}\parallel} when accessing a busy timeslot. Here,{\mathbf{P}}_{{\mathcal{V}}^{\perp}}=\mathit{I}\mathit{H}{({\mathit{H}}^{\mathrm{\u2020}}\mathit{H})}^{1}{\mathit{H}}^{\mathrm{\u2020}} is the orthogonal projector onto the orthogonal complementary subspace,{\mathcal{V}}^{\perp}, of the subspace\mathcal{V}=\mathit{\text{span}}\{{\mathit{h}}_{1},\dots ,{\mathit{h}}_{{n}_{r}}\}, where\mathit{H}=[{\mathit{h}}_{1},\dots ,{\mathit{h}}_{{n}_{r}}] denotes the channel coefficient matrix. Then, substituting{\mathit{g}}_{b}^{\ast} in Equation (7) yields the outage probability{f}_{\mathit{\text{bf}}}^{b}\left(\mathcal{D}\right). From[14], zeroforcing beamforming can be applied to eliminate the interference from SU relays to PUs, when the number of decoding relays is larger than or equal to the number of receive antennas, i.e., k ≥ n_{ r }. Otherwise, the SUs cannot realize a zeroforcing beamformer and the retransmissions will cause interference to PUs inevitably. To avoid interference to PUs in the perfect CSI scenarios, the source and less than n_{ r } relays should keep silent. In this case, the retransmission is always considered to be unsuccessful and accordingly the outage probability is counted as{f}_{\mathit{\text{bf}}}^{b}\left(\mathcal{D}\right)=1 for\left\mathcal{D}\right<{n}_{r}.
3.2.2 Imperfect CSI
In general, SU relays can only obtain imperfect CSI due to estimation errors. Based on imperfect CSI, SU relays should adopt a robust beamformer to assure the interference to PUs below a threshold.
By modeling estimation errors as additive complex Gaussian noise, we have\mathit{h}=\widehat{\mathit{h}}+\u25b3\mathit{h} and{\mathit{h}}_{l}={\widehat{\mathit{h}}}_{l}+\u25b3{\mathit{h}}_{l}, where\widehat{\mathit{h}} and{\widehat{\mathit{h}}}_{l} are the channel estimates known at the SU relays, and △h and △h_{ l } are the estimation errors. When accessing busy timeslots to retransmit, SU relays shall suppress the interference to PUs so that the received interference power at the l th primary receive antenna is below a threshold, denoted by I_{ l }. From[19], the optimal beamforming weight vector{\mathit{g}}_{b}^{\ast} is the solution to the following optimization problem
where\gamma =({2}^{R}1)({\sigma}_{0}^{2}+{P}_{\xi}) and ε_{ l }denote the probability threshold at which level the interference is selfcontrolled by SU relays. The details of computing{\mathit{g}}_{b}^{\ast} can be referred to[19].
In the same way, by substituting{\mathit{g}}_{b}^{\ast} in Equation (7), we can estimate the outage probability{f}_{\mathit{\text{bf}}}^{b}\left(\mathcal{D}\right). In general, it is not trivial to theoretically analyze the outage probability{f}_{\mathit{\text{bf}}}^{b}\left(\mathcal{D}\right). Fortunately, they can be estimated using training packets in practical scenarios. These physical layer parameters play an important role in selecting the optimal scheduling parameters, as shown in the following sections. By applying the distributed beamformingbased IC technique, the SUs can retransmit erroneous packets in busy timeslots, thus sparing idle timeslots for the S–R and S–D transmissions. To further improve the whole system performance, we will further introduce two ICaDARQ protocols, which adopt opportunistically probabilistic and queuelengthbased scheduling schemes in the link layer, respectively.
4 ICaDARQPS and performance analysis
4.1 Scheme description
In the ICaDARQ scheme, the SUs retransmit erroneous packets in busy timeslots only. However, this cannot assure link reliability when the primary system is lightly loaded, since no sufficient SSHs can be utilized to carry out just one retransmission for each erroneous packet. To deal with this issue, we propose a more efficient ICaDARQPS scheme. In contrast to ICaDARQ, ICaDARQPS allows SU to exploit TSHs to retransmit if necessary and schedules retransmissions according to truncated ARQ. We denote by ω the proportion of idle timeslots allocated for retransmissions. Thus, (1 − ω)P_{ I }and ω P_{ I } of idle timeslots are assigned for direct transmissions and retransmissions, respectively. Let us denote by S[t] whether an idle timeslot t is assigned to retransmission. S[t] = 1 and S[t] = 0 indicate that idle timeslot t is allocated to retransmitting an erroneous packet and transmitting a new packet, respectively. Thus, if timeslot t is idle and S[t] = 0, the source transmits a new packet to the destination. If the packet fails to be decoded, it will be stored at buffers and be retransmitted later. Otherwise, the source and decoding relays form a distributed beamformer to transmit a packet in their retransmission buffers. By applying truncated ARQ, the retransmission procedure repeats till a successful transmission is confirmed via an ACK feedback, or the number of retransmission n reaches its maximum one allowed, say N. Notice that ICaDARQPS with ω = 0 and N = 1 is reduced to ICaDARQ.
Then, we will analyze the throughput performance of ICaDARQPS and discuss the optimal scheduling parameters for throughput maximization in the following two sections.
4.2 Throughput analysis
As stated above, it is sensed that PUs occupy the channel with the probability P_{ B } and are absent with the probability P_{ I }= 1 − P_{ B }by perfect spectrum sensing. By applying probabilistic scheduling, a proportion 1−ω of idle timeslots are allocated to transmit new packets. A packet is dropped if it cannot correctly be decoded at the destination after N + 1 transmissions (one direct transmission and N retransmissions). Let p_{ ls }denote the average packet drop rate. The average throughput can then be given by
Let{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(\mathcal{D}\right) denote the average outage probability that the packet is still erroneously decoded at the destination after n retransmissions given that previous n transmissions were unsuccessful, when decoding relays\mathcal{D} are involved. Since\mathcal{D} is a random set, the packet drop rate p_{ ls }can be computed as
The average number of retransmissions given that the packet needs to be retransmitted is given by
Here, we introduce{p}_{\mathit{\text{rs}}}^{\left(0\right)}\left(\mathcal{D}\right)=1 for notational convenience. Since the amount of spectrum consumed cannot exceed the amount of spectrum allocated for retransmissions, we have
When ARQ is applied, the success or failure of the n th transmission (n = 0,1,…,N) depends only on the current channel state. Hence,{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(\mathcal{D}\right) are the same for all n = 1,…,N, i.e.,{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(\mathcal{D}\right)={p}_{\mathit{\text{rs}}}\left(\mathcal{D}\right). As stated above, a retransmission could be carried out in an idle timeslot with the probability\eta \triangleq \frac{\omega {P}_{I}}{\omega {P}_{I}+{P}_{B}} and in a busy timeslot with the probability 1 − η. Thus, the average outage probability is given by
where the outage probability{f}_{\mathit{\text{bf}}}^{i}\left(\mathcal{D}\right) can be obtained by substituting{\mathit{g}}_{i}^{\ast} in Equation (7). Here,{\mathit{g}}_{i}^{\ast}=\sqrt{P}\frac{\mathit{h}}{\parallel \mathit{h}\parallel} and{\mathit{g}}_{i}^{\ast}=\sqrt{P}\frac{\widehat{\mathit{h}}}{\parallel \widehat{\mathit{h}}\parallel} for perfect and imperfect CSI scenarios, respectively. Hence, we have{p}_{\mathit{\text{ls}}}={f}_{s,d}\xb7\sum _{\mathcal{D}}\text{Pr}\left\{\mathcal{D}\right\}{\left({p}_{\mathit{\text{rs}}}\right(\mathcal{D}\left)\right)}^{N} and{\stackrel{~}{N}}_{r}=\sum _{\mathcal{D}}\text{Pr}\left\{\mathcal{D}\right\}\sum _{n=0}^{N1}{\left({p}_{\mathit{\text{rs}}}\right(\mathcal{D}\left)\right)}^{n}. Throughout this article, we mainly consider carrying out retransmissions according to the regular ARQ protocol. Notice that the above throughput analysis can also be extended to scenarios, where hybrid ARQ is applied to run retransmissions. In the Appendix, we derive the closed form expression of{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(\mathcal{D}\right) for regular and hybrid ARQ protocols in CR systems, where the source employs neighboring nodes as potential relays.
As mentioned above, the probability{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(\mathcal{D}\right) is a function of ω. Hence, the packet drop rate p_{ ls } given by (10) and the average number of retransmissions{\stackrel{~}{N}}_{r} given by (11) are the functions of N and ω, and can be denoted by p_{ ls }(ω,N) and{\stackrel{~}{N}}_{r}(\omega ,N), respectively. As a result, the average throughput is also a function of ω and N, and thus denoted by T(ω,N). Therefore, by selecting appropriate ω and N, the average throughput of the ICaDARQPS scheme can be maximized, as presented in the next section.
4.3 Throughput maximization
In this section, we will formulate the optimization problem and present important properties of{\stackrel{~}{N}}_{r} for the convenience of solving the problem.
The average throughput of the proposed ICaDARQPS scheme is to be maximized subject to the total number of available spectrum holes. Mathematically, the optimization problem can be formulated as
where the constraint stems from the inequality (12). The optimal solution to Problem (14) is denoted by (ω^{∗},N^{∗}).
For a given ω, a certain amount of spectrum resource is allocated for retransmissions. The maximum number of retransmissions N is hence limited, since each retransmission consumes one spectrum hole. Let us definef\left(\omega \right)=\frac{\omega {P}_{I}+{P}_{B}}{(1\omega ){p}_{\mathit{\text{ds}}}{P}_{I}}. The average number of retransmissions{\stackrel{~}{N}}_{r}(\omega ,N) is hence upper bounded by f(ω). For some ω, there may exist a largest number N_{ l }that satisfies{\stackrel{~}{N}}_{r}(\omega ,{N}_{l})<f\left(\omega \right)<{\stackrel{~}{N}}_{r}(\omega ,{N}_{l}+1). In this situation, not all spectrum resources originally allocated for retransmissions are utilized actually. To make full use of the available spectrum holes, an erroneous packet is allowed to experience up to N_{ l } retransmissions with a probability φ, and up to N_{ l } + 1 retransmissions with a probability 1−φ, respectively. By doing so, the average number of retransmissions shall satisfy
Thus, for each ω, we have\phi =\frac{{\stackrel{~}{N}}_{r}(\omega ,{N}_{l}+1)f(\omega )}{{\stackrel{~}{N}}_{r}(\omega ,{N}_{l}+1){\stackrel{~}{N}}_{r}(\omega ,{N}_{l})}. By applying such truncated ARQ, the average throughput can thus be computed asT\left(\omega \right)=(1\omega ){P}_{I}(1{\stackrel{~}{p}}_{\mathit{\text{ls}}}(\omega \left)\right), where the average packet drop rate becomes
We can see that Problem (14) is a mixed integer programming one, where the parameter ω is continuous and N is discrete. Meanwhile, neither the objective function nor the constraint is convex. Hence, it is not trivial to find the optimal parameters. To facilitate the discussion on the optimal solution to Problem (14), we first study the property of{\stackrel{~}{N}}_{r}(\omega ,N), as presented in the following lemma.
Lemma 1
(1) Given ω,{\stackrel{~}{N}}_{r}(\omega ,N)is an increasing function of N. (2) Given N,{\stackrel{~}{N}}_{r}(\omega ,N)is a decreasing function of ω.
Proof
For any{N}_{2}>{N}_{1}\phantom{\rule{0.3em}{0ex}}({N}_{1},{N}_{2}\in {\mathbb{N}}^{+}), we have
Therefore,{\stackrel{~}{N}}_{r}(\omega ,N) is an increasing function of N.
With the increase of ω, more idle timeslots are utilized to retransmit packets. Since a packet is more likely to be successfully retransmitted in an idle timeslot than a busy one, the probability{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(\mathcal{D}\right) decreases with the increase of ω. From (11),{\stackrel{~}{N}}_{r}(\omega ,N) is a decreasing function of ω, since each term\prod _{i=0}^{n}{p}_{\mathit{\text{rs}}}^{\left(i\right)}\left(\mathcal{D}\right) is reduced when ω is increased. □
From this lemma,{\stackrel{~}{N}}_{r}(\omega ,N) increases with the increase of N till it reaches the maximum
which decreases with the increase of ω. We will exploit the monotonicity of{\stackrel{~}{N}}_{r}(\omega ,N) to discuss the optimal solution to Problem (14) as follows.
4.4 The optimal parameters
Intuitively, when there exist sufficient SSHs, it is optimal to retransmit erroneous packets in busy timeslots only. That is, there is no need of assigning idle timeslots for retransmissions. To quantify the sufficiency of SSHs, we define a threshold
on the probability of PUs’ presence. Let ω_{1} denote the solution to the equation{\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(x\right)f\left(x\right)=0. Let ω^{+} denote the optimal solution to the problem
Now, we discuss the optimal parameters in two cases:{P}_{B}\ge {\stackrel{~}{P}}_{B} and{P}_{B}<{\stackrel{~}{P}}_{B}, respectively, as presented in Theorem 1. The optimal parameters are also illustrated in Figure3 to give more insights. In this figure, both N_{ l } and φ are determined by ω^{+} , and thus can be written as functions of ω^{+} , given by N_{ l }(ω^{+} ) and φ(ω^{+} ), respectively
Theorem 1.
(1) When{P}_{B}\ge {\stackrel{~}{P}}_{B}, the optimal solution to (14) is given by ω^{∗} = 0, N^{∗} = ∞. (2) When{P}_{B}<{\stackrel{~}{P}}_{B}, the optimal solution to (14) is given by ω^{∗} = ω^{+}and Pr{N^{∗} = N_{ l }} = φ, Pr{N^{∗} = N_{ l } + 1} = 1 − φ, where ω^{+} , N_{ l }and φ satisfy Equation(16).
Proof
In the case when{P}_{B}\ge {\stackrel{~}{P}}_{B}, from Lemma 1, there exists{\stackrel{~}{N}}_{r}(\omega ,N)\le {\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(\omega \right)\le {\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(0\right)\le f\left(0\right)\le f\left(\omega \right) for all ω ∈ [0,1] andN\in {\mathbb{N}}^{+}, since f(ω) and{\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(\omega \right) are increasing and decreasing functions of ω, respectively. That is, the maximum number of retransmission N can reach infinity, and the average packet drop rate degrades to zero, i.e.,
Therefore, the average throughput can be given by
which is a strictly decreasing function of ω. Thus, ω^{∗} = 0 and N^{∗} = ∞ are the optimal parameters and the maximum average throughput is T^{∗} = P_{ I }.
In the case when{P}_{B}<{\stackrel{~}{P}}_{B}, there must exist an ω_{1} ∈ (0,1) that satisfiesf\left(0\right)<f\left({\omega}_{1}\right)={\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left({\omega}_{1}\right)\le {\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(0\right) due to the monotonicity of{\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(\omega \right) and f(ω). Thus, we can discuss the local maximum average throughput T(ω) for ω ∈ [ω_{1},1] and ω ∈ [0,ω_{1}), respectively. When ω ∈ [ω_{1},1], we have{\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(\omega \right)\le {\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left({\omega}_{1}\right)=f\left({\omega}_{1}\right)\le f\left(\omega \right). Hence, the constraint (15) always holds for allN\in {\mathbb{N}}^{+}. In this sense, we can apply infinite ARQ and thus have p_{ ls }(ω) = 0 and T(ω) = (1−ω)P_{ I }. Hence, the optimal solution can be searched in a reduced range ω ∈ [0,ω_{1}]. In this range, there may exist a largest integer N_{ l }, which satisfies{\stackrel{~}{N}}_{r}(\omega ,{N}_{l})\le f\left(\omega \right)<{\stackrel{~}{N}}_{r,\mathit{\text{inf}}}\left(\omega \right). For each ω, we can find an N_{ l } and φ which satisfy Equation (16). As a result, when{P}_{B}<{\stackrel{~}{P}}_{B}, we have ω^{∗} = ω^{+} and Pr{N^{∗} = N_{ l }} = φ, Pr{N^{∗} = N_{ l } + 1} = 1 − φ. □
From Theorem 1, when available SSHs are sufficient, i.e.,{P}_{B}\ge {\stackrel{~}{P}}_{B}, the optimal scheme is to transmit new packets in idle timeslots and retransmit erroneous packets in busy timeslots based on infinite ARQ. And when available TSHs are relatively sufficient, i.e.,{P}_{B}<{\stackrel{~}{P}}_{B}, the optimal scheme is to allocate a part of idle timeslots for retransmissions that are carried out according to truncated ARQ. In this case, the optimal transmission parameters can be obtained by solving the problem (20) and Equation (16).
From the above discussion, the computational complexity for obtaining the optimal parameters can greatly be reduced compared to exhaustive search methods. First, we derive the optimal parameters in the case of{P}_{B}\ge {\stackrel{~}{P}}_{B}. Second, when{P}_{B}<{\stackrel{~}{P}}_{B}, the search range of ω is highly reduced. That is, ω^{∗} can be found in the narrow scope [0,ω_{1}]. Moreover, due to the unimodality of T(ω), the optimal spectrum allocation proportion ω^{+} can be obtained by binary search methods[20], such as goldensection search, in\mathcal{O}(log({\omega}_{1}/\delta \left)\right) steps, where δ is the required precision. For all ω ∈ [0,ω_{1}), N_{ l }(ω) and φ(ω) can be found by solving Equation (16) via the variants of efficient rootfinding algorithms, such as bisection and Brent’s methods[21]. From the proof of Theorem 1, there is N_{ l }(ω_{1}) = ∞. When ω is very close to ω_{1}, the value of N_{ l }(ω) could be very large. To avoid too many computations, we can set a sufficiently large integer, N_{ m }, as an upper bound of N_{ l }(ω) with very little performance loss, i.e., N_{ l }(ω) can be searched from the range of {1,…,N_{ m }}. The computational complexity of finding N_{ l }(ω) is thus equal to\mathcal{O}(log{N}_{m}) by adopting binary search methods. In this way, we finally obtain the optimal parameters ω^{∗} = ω^{+} , Pr{N^{∗} = N_{ l }(ω^{+} )} = φ(ω^{+} ) and Pr{N^{∗} = N_{ l }(ω^{+} ) + 1} = 1 − φ(ω^{+} ) in\mathcal{O}(log({\omega}_{1}/\delta )\xb7log({N}_{m}\left)\right) steps.
5 ICaDARQQS and performance analysis
5.1 Scheme description
To improve the average throughput, the erroneous packets should be stored in buffers and got retransmitted by exploiting as many SSHs as possible. Conceivably, this could induce large latency to erroneous packets and thus increase the average delay. To serve elastic traffics with diverse QoS demands, we propose the ICaDARQQS scheme which schedules direct transmissions and retransmissions based on a finite buffer.
Specifically, we impose a threshold Q (Q = 1,2,…) on the capacity of the retransmission buffer. If the number of backlogged packets in the retransmission buffer reaches the threshold Q, the source and relays will launch a retransmission in the next timeslot regardless of whether it is idle or busy. Otherwise, the source transmits new packets in idle timeslots and retransmit erroneous packets together with the relays in busy timeslots, respectively. When Q is increased from one to infinity, more and more SSHs are exploited in retransmissions, thus leading to the improved average throughput. Meanwhile, the average queueing delay that an erroneous packet may experience is increasing and thus the average delay also increases. In this sense, it is important to choose the threshold Q, when both throughput and delay are considered. Notice that when Q = ∞, ICaDARQQS is reduced to ICaDARQ.
5.2 A Markov chain model
According to the above scheme description, a part of packets are successfully delivered on the S–D link, and a part of packets that fail to be transmitted in the S–D link are successfully delivered with the help of relays. The remaining packets are dropped, since they cannot correctly be decoded by the destination on the S–D or R–D link when the channel capacity is below the data rate.
From Figure4, the proposed incremental relaying scheme leads to a queueing process in the retransmission procedure. Let q[t] denote the queue length in the end of timeslot t. The queue length is updated as q[t] = min{q[t−1] + a[t]−v[t], Q}, where a[t] and v[t] denote the number of packets arriving and served at the queue in the t th timeslot, respectively. The set of all possible queue sizes is denoted by\mathcal{Q}=\{0,1,\dots ,Q\}. The secondary transmission in this CR system is scheduled according to the status of channel occupancy by PUs and the queue length. Hence, the system state can be characterized by s[t] = (Θ[t], q[t]) withq\left[t\right]\in \mathcal{Q}. The transition between system states can be modeled as a discretetime twodimensional Markov chain, as shown in Figure5. This figure also plots the transition probabilities between the states. In particular, α indicates the probability that the PUs’ state of channel occupancy transfers from idle to busy, and β means the probability that the PUs’ occupancy state transfers from busy to idle. Let the symbol\stackrel{\u0304}{x} denote\stackrel{\u0304}{x}=1x. Then, μ_{1} = f_{s,d} is the probability that a packet enters the queue. It means that a packet that fails to be delivered in the S–D link will enter the retransmission queue.
The erroneous packets in the queue may be retransmitted in idle or busy timeslots by applying the distributed beamformingbased IC method, and they could be dropped due to channel fading. When decoding relays\mathcal{D} participate in the retransmission, the average failure probabilities that the retransmission is unsuccessful in an idle and busy timeslot can be computed as{f}_{\mathit{\text{bf}}}^{i}=\sum _{\mathcal{D}}\text{Pr}\left\{\mathcal{D}\right\}\xb7{f}_{\mathit{\text{bf}}}^{i}\left(\mathcal{D}\right) and{f}_{\mathit{\text{bf}}}^{b}=\sum _{\mathcal{D}}\text{Pr}\left\{\mathcal{D}\right\}\xb7{f}_{\mathit{\text{bf}}}^{b}\left(\mathcal{D}\right), respectively.
Specifically, we place all the states in the lexicographic order, i.e., (0,0),(1,0),…,(0,Q),(1,Q). The set of states {(0,i), (1,i)} is referred to as level i (i ∈ {0,1,…,Q}). By substituting the transition probabilities, we obtain the transition probability matrix P, given by
where all the blocks are 2 × 2 matrices. One can see that P is a 2(Q + 1) × 2(Q + 1) matrix in a block tridiagonal form. Specifically, the transition probability submatrices A_{2}, A_{1}, and A_{0} indicate the transition from the states of level i to those of level i−1, i, and i + 1, respectively. B_{0} represents the transition between the states of level 0, and B_{1} represents the transition from the states of level Q to those of level Q − 1. Hence, we have
Since the Markov chain characterized by P is of a finite QBD type, we will analyze the system performance by matrix analytical methods[22] in the following.
5.3 Performance analysis
At first, we compute the stationary probability vector x of the Markov chain P. For convenience, the vector x is partitioned as x_{0}, x_{1},…, x_{ Q }, where x_{ i }, a 1 × 2 row vector, is the stationary probability vector of level i. Also, we denote e_{ i }= [1, …,1]^{t} to be a column vector of dimension 2(i + 1). When Q = 1, we can obtain x by solving x P = x and x e_{1} = 1. By applying a matrix analytical method, we can derive the stationary distribution of the finite QBD process for Q > 1[23, 24].
In Figure5, any state of the finite Markov chain can be reached from any other state. Thus, the Markov chain is ergodic. Its stationary probability vector can be obtained by solving the linear equations
where R_{1} is the unique minimal nonnegative solution to the matrix quadratic equation R= A_{0} + R A_{1} + R^{2}A_{2}, and R_{2} is the unique solution to the matrix quadratic equation R= A_{2} + R A_{1} + R^{2}A_{0}. The coefficient vector v_{1} can be obtained via solving the following linear equations
where
The coefficient vector v_{2} is given by v_{2} = v_{1}C_{1}.
When Q → ∞, the vector [v_{1},v_{2}] becomes [x_{0},0], and the stationary probability vector of level i is reduced to
where the boundary vector satisfies
In this way, we can compute the stationary distribution for the Markov chain with a finite or infinite queue capacity in an efficient and unified way.
After obtaining the stationary distribution x, we then derive the average throughput and the average delay of the proposed scheme, respectively. According to the above description, the average throughput, defined as the ratio of the number of packets successful delivered and the total number of timeslots spent, can be computed as
where x_{ i }(j) denotes the stationary probability of state (j−1,0). In Equation (27), the first term expresses the average throughput on the S–D link. The second and third terms jointly give the average throughput during the retransmission procedure. In particular, the second term means that a part of packets are successfully retransmitted in idle timeslots. The third one implies the successful retransmissions in busy timeslots.
The average delay specifies the number of timeslots that each packet experiences when it is delivered from the source to the destination. As mentioned above, a packet can successfully be transmitted from the source to the destination directly or with the help of relays. The erroneous packets may experience a queueing process. Using Little’s law, the average queueing delay is equal to{D}_{\text{que}}=\frac{1}{\lambda}\sum _{i=0}^{Q}i\xb7{\mathit{x}}_{i}{\mathit{e}}_{0}, where\lambda ={f}_{\mathrm{s},d}{\stackrel{\u0304}{f}}_{\mathrm{s},r}\xb7\sum _{i=0}^{Q1}{\mathit{x}}_{i}\left(1\right) is the arrival rate at the queue. For Q = 1 and Q = ∞, the average delay can be computed as
where{p}_{d}={\stackrel{\u0304}{f}}_{\mathrm{s},d}\xb7\sum _{i=0}^{Q1}{\mathit{x}}_{i}\left(1\right) and{p}_{\mathit{\text{re}}}={\stackrel{\u0304}{f}}_{\mathit{\text{bf}}}^{i}\xb7{\mathit{x}}_{Q}\left(1\right)+{\stackrel{\u0304}{f}}_{\mathit{\text{bf}}}^{b}\xb7\sum _{i=1}^{Q}{\mathit{x}}_{i}\left(2\right) are proportions of successful direct transmission and retransmission, respectively. In other cases, the average delay performance will be demonstrated by simulation results.
From the above, we can see that the performances of the proposed ICaDARQ schemes greatly rely on the system parameters. When the ICaDARQPS scheme is applied, the average throughput is 1−P_{ B } when{P}_{B}\ge {\stackrel{~}{P}}_{B}, since the optimal parameters are ω^{∗} = 0 and N^{∗} = ∞. Otherwise, the optimal parameters ω^{∗} and N^{∗} can be obtained by computations as presented in Theorem 1. Given ω, the average throughput is improved when the parameter N increases from 1 to N_{ l }(ω). On the other hand, it grows with the increase of the average SNR till it reaches (1−ω)(1−P_{ B }). When the ICaDARQQS scheme is applied, the average delay decreases with the increase of the threshold Q. While the average throughput decreases and increases with the increase of Q in the lowSNR and highSNR regimes, respectively. When the average SNR is sufficiently high, the average throughput increases to 1 − P_{ B } and the average delay is reduced to one. In this case, the proposed ICaDARQQS scheme is reduced to direct transmission, thanks to very good channel conditions.
The proposed ICaDARQ schemes can be extended to the case when multiple primary links exist. In this case, SUs should null the interference to any receive antenna of multiple primary links, when they utilize busy timeslots. At the same time, the interference from the transmitters of multiple primary links to the destination should be considered. Thus, the physical layer outage probability of accessing busy timeslots may be reduced. On the other hand, the MAC layer of the proposed protocols remains unchanged, since ICaDARQPS and ICaDARQQS schedule the transmission and retransmissions according to the sensing result in each timeslot and the transmission parameters. With the known statistical channel occupancy model by PUs, we can select appropriate transmission parameters by analysis and/or simulations.
6 Simulation results
In this section, we present theoretical and simulation results to demonstrate the performance of the proposed schemes. In the following experiments, the SU source employs three cognitive nodes as relays to jointly carry out retransmissions by forming a distributed beamformer. Suppose that three SU relays lie between the source and the destination. Let d_{a,b} denote the distance from node a to node b. For simplicity, we assume that the SU relays are closely located together and the maximum distance between SU relays is negligible compared to the S–R and R–D distances. Thus, the S–R and R–D distances are normalized as{d}_{s,{r}_{i}}={d}_{s,r}=1,{d}_{{r}_{i}}={d}_{r,d}=0.8, and the distances from SUs to the primary receiver are set to be d_{s,p}= 2.15, d_{r,p}= 1.5d_{r,d}. Assume that the channel coefficient follows flat Rayleigh fading, i.e.,{h}_{a,b}={d}_{a,b}^{2}\xb7{\stackrel{~}{h}}_{a,b} with{\stackrel{~}{h}}_{a,b}\sim \mathcal{C}\mathcal{N}(0,1). We set n_{ t }= n_{ r }= 1 and assume that\u25b3\stackrel{~}{\mathit{h}},\u25b3{\stackrel{~}{\mathit{h}}}_{1}\sim \mathcal{C}\mathcal{N}(0,0.05\mathit{I}). The interference threshold is set to be I_{1} = −5 dB and the probability threshold is ε_{1} = 0.95. The average interference SNR from the primary transmitter at the SU destination isE\{{P}_{\xi}/{\sigma}_{0}^{2}\}=0\phantom{\rule{0.3em}{0ex}}\text{dB}. The data rate R is set to be 1 bit/s/Hz. Simulation results are obtained by running 100 simulations, each over 10^{5} timeslots.
Figures6 and7 demonstrate the average throughput performance of the ICaDARQPS scheme in perfect and imperfect CSI scenarios, respectively. In this experiment, we set α = 0.6 and β = 0.3. Specifically, Figure6 plots the average throughput versus the average SNR for different parameters ω and N with full CSI. It is observed from that the theoretical results match simulation ones very well. ICaDARQPS achieves a higher average throughput with the increase of the average SNR, since the packet drop rate is reduced. When the average SNR becomes sufficiently high, the average throughput approximately increases to 1 − P_{ B }. In this case, the channel condition is good enough and each packet can successfully be delivered with the help of relays by exploiting SSHs. Thus, the packet drop rate is very small and can be ignored. Given the parameter ω, the average throughput of ICaDARQPS increases with the increase of N in the lowSNR regime, since the packet drop rate is reduced by carrying out more retransmissions. In the highSNR regime, very few packets fail to be successfully delivered in the S–D link and a smaller number of retransmissions are required. Hence, when the average SNR is larger than 12 dB, ICaDARQ, a special case of ICaDARQPS, is nearly the optimal scheme for throughput maximization. In this figure, one can also see that it is important to select optimal parameters ω^{∗} and N^{∗} to achieve the maximum throughput in different scenarios. Figure7 presents the average throughput performance of ICaDARQPS in imperfect CSI scenarios. In this case, the ICaDARQPS scheme performs exactly as in the perfect CSI case. It can also improve the throughput by selecting optimal parameters ω^{∗} and N^{∗}. At the same time, it is interesting to see that in the lowSNR regime, ICaDARQPS may achieve a higher average throughput when there exist channel estimation errors compared to that in perfect CSI scenarios. This is because that in our settings, no interference should be imposed to PUs with known CSI, while PUs are supposed to endure a certain amount of interference in the imperfect CSI case. When the average SNR is higher than 10 dB, ICaDARQPS can achieve the maximum average throughput by choosing the optimal parameters even when perfect CSI is not available.
Figure8 demonstrates how the average throughput of ICaDARQPS changes with the probability P_{ B } in the perfect CSI scenarios for the average SNR equal to 10 dB. From the previous scheme description, we can see that the throughput performance of ICaDARQPS does not rely on the realization of PUs’ presence or absence on the channel but only on the probability P_{ B }. In this experiment, we set α = P_{ B }and β = 1 − P_{ B }without loss of generality. For comparison, we also demonstrate the throughput performance of conventional cognitive relaying and direct transmission schemes that utilize only TSHs. The average throughput of the two reference schemes linearly decrease with the increase of the probability P_{ B }. This can easily be understood since available TSHs decreases with the increase of P_{ B }. In contrast, given N = 3, the average throughput of ICaDARQPS with ω = 0.2 and that with ω = 0 first increase with the increase of P_{ B }, reaches their maximum values at about P_{ B }= 0.3 and P_{ B }= 0.5, respectively, and then decrease to zero with the increase of P_{ B }. The reason can be explained as follows. When P_{ B }is relatively smaller, a larger P_{ B }(or more accessible SSHs) leads to a significantly reduced packet drop rate. When P_{ B } is relatively higher, the average throughput is proportional to (1 − ω)(1 − P_{ B }), since the average packet drop rate stays constant when the allocated spectrum resource can afford three retransmissions. By selecting the optimal parameters ω^{∗} and N^{∗}, our proposed ICaDARQPS scheme always achieves a much higher throughput than cognitive relaying and direction transmission, since a large number of SSHs can also efficiently be utilized using the distributed beamformingbased IC method.
Figures9 and10 demonstrate the average throughput and delay performance of the proposed schemes, respectively. From these two figures, one can see that the throughput and delay performance of the proposed ICaDARQQS scheme are greatly impacted by the threshold Q. In general, the average throughput increases while the average delay decreases with the increase of Q for the SNR field of interest. With a larger Q, ICaDARQQS can exploit cooperative beamforming to access more SSHs to retransmit and thus achieve a higher throughput gain. Meanwhile, each erroneous packet may experience a larger queueing delay. In this sense, it is appropriate to select a smaller Q when serving delaysensitive traffics and a larger Q when serving delay nonsensitive traffics. Considering both throughput and latency, the proposed ICaDARQQS scheme, which can control the retransmission procedure according to the queue length, is more flexible to transmit traffics with diverse QoS requirements.
From Figures9 and10, ICaDARQPS achieves the maximum average throughput at the cost of the largest latency. In contrast, ICaDARQQS achieves a smaller throughput, however, can achieve different throughputdelay tradeoffs by selecting different Q. In the highSNR regime, the channel condition is good enough and very few packets fail to be delivered on the S–D link. Hence, the average throughput and delay of the proposed ICaDARQPS and ICaDARQQS schemes are almost the same, when the average SNR is sufficiently high. We also notice that both ICaDARQPS with ω = 0 and N = 1 and ICaDARQQS with Q = ∞ are reduced to the basic ICaDARQ scheme. Hence, by applying two different analysis methods, we have obtained the same average throughput for the ICaDARQ scheme, as shown in Figures6 and9.
7 Conclusions
In this article, we proposed an ICaided distributed ARQ method for efficiently delivering heterogeneous elastic traffics in cognitive relay networks. By applying the ICaDARQ method, the SU source shall exploit TSHs to transmit to the destination. And it can form a distributed beamformer jointly with the SU relays to carry out packet retransmissions in busy timeslots without causing harmful interference to PUs. In this way, precious TSHs can efficiently be utilized for delivering more packets successfully. We also proposed two practical protocols: ICaDARQPS and ICaDARQQS, to transmit heterogeneous elastic traffics with diverse QoS demands. In particular, ICaDARQPS should be utilized to serve elastic traffics with no delay constraint. It is found that among the three schemes, ICaDARQPS can always achieve the maximum average throughput by selecting the optimal parameters ω^{∗} and N^{∗} in different scenarios, while ICaDARQQS can be applied to deal with elastic traffics with delay requirements. Using a matrix analytical method, we derived the average throughput and delay performance of ICaDARQQS. Simulation results confirmed our theoretical analysis and showed that ICaDARQQS can achieve different throughputdelay tradeoffs by setting different queue thresholds. Thanks to the idea of crosslayer design, our proposed schemes can always select optimal scheduling parameters and thus perform well even when perfect CSI is not available.
Appendix
We consider to apply the ICaDARQPS scheme in a scenario, where the source employs neighboring nodes as potential relays. In this case, we can assume that{\sigma}_{s,d}^{2}={\sigma}_{{r}_{i},d}^{2}=1\ll {\sigma}_{s,{r}_{i}}^{2}={\sigma}^{2} since the source is much closer to the relays than to the destination and present a closedform expression of the average throughput and the optimal parameters. For simplicity, we assume that n_{ t }= n_{ r }= 1 and{P}_{\xi}={h}_{\xi ,d}^{\left(n\right)}{}^{2}{P}_{{\xi}_{t}}, where{P}_{{\xi}_{t}} denotes the primary transmission power and{h}_{\xi ,d}^{\left(n\right)} denotes the interference channel coefficient that follows flat Rayleigh fading in the n th retransmission.
When the source broadcasts in an idle timeslot, the probability that a relay correctly decodes the source packet can be given by{p}_{1}=\text{Pr}\{{C}_{s,{r}_{i}}^{\left(0\right)}\ge \phantom{\rule{0.3em}{0ex}}\mathsf{\text{R}}\}=exp\left(\frac{{2}^{\mathsf{\text{R}}}1}{\mathsf{\text{SNR}}{\sigma}^{2}}\right). The probability that k among K potential relays will participate in possible retransmissions is equal to{c}_{1}\left(k\right)=\left(\genfrac{}{}{0.0pt}{}{K}{k}\right){p}_{1}^{k}{\left(1{p}_{1}\right)}^{Kk}. Then, the source and k decoding relays form a distributed beamformer to carry out at most N retransmissions.
Let us defineF(x,L)=1\sum _{l=0}^{L}\frac{1}{l!}{x}^{l}exp(x). In the n th krelay retransmission, the outage probability when accessing an idle timeslot can be computed as{f}_{\mathit{\text{bf}}}^{i}\left(k\right)=F({x}_{0},k) with{x}_{0}=\frac{{2}^{\mathsf{\text{R}}}1}{\mathsf{\text{SNR}}}. When accessing a busy timeslot to retransmit, the outage probability conditioned on{h}_{\xi ,d}^{\left(n\right)}{}^{2}=y is given by
wherex\left(y\right)=\frac{{2}^{\mathsf{\text{R}}}1}{\mathsf{\text{SNR}}}\left(1+\frac{y{P}_{{\xi}_{t}}}{{\sigma}_{0}^{2}}\right) and we use\mathcal{I}(k\ge {n}_{r}) to specify that a zeroforcing beamformer can be carried out only when k ≥ n_{ r }.
Under Rayleigh fading, the random channel power gainy={h}_{\xi ,d}^{\left(n\right)}{}^{2} is exponentially distributed with the parameter λ. Let g(y) denote the probability density function (pdf) of y. In the case of k < n_{ r }, zeroforcing beamforming cannot be realized. Thus, we have{f}_{\mathit{\text{bf}}}^{b}(k,y)=1 and{f}_{\mathit{\text{bf}}}^{b}\left(k\right)=\underset{0}{\overset{\infty}{\int}}{f}_{\mathit{\text{bf}}}^{b}(k,y)g\left(y\right)\mathrm{d}y=1. In the case of k ≥ n_{ r }, by averaging on the exponentially distributed random variable y, we have
where c_{0} = x_{0},{c}_{\xi}=\frac{{c}_{0}{P}_{{\xi}_{t}}}{{\sigma}_{0}^{2}},{a}_{\xi}=\frac{{c}_{0}\lambda}{{c}_{\xi}+\lambda}, and{b}_{\xi}=\frac{{c}_{\xi}}{{c}_{\xi}+\lambda}. Combining these two cases, we obtain
and thus the average outage probability
When hybrid ARQ is applied, the received signals from previous transmissions are soft combined with the currently received signals using MRC rule before decision at the destination. Let f_{ p }(y_{1},…,y_{ n }) denote the joint pdf for independent random variables{y}_{i}=\left{h}_{\xi ,d}^{\left(i\right)}{}^{2}\right(i=1,\dots ,n). Let{\mathrm{\Theta}}_{i}\in \mathcal{E}=\{0,1\} denote the status of PUs’ presence or absence in the i th retransmission. Similarly, we use{\mathit{E}}^{\left(n\right)}=[{\mathrm{\Theta}}_{1},\dots ,{\mathrm{\Theta}}_{n}]\in {\mathcal{E}}^{n} denote a realization of the PUs’ presence or absence over n retransmissions. Given E^{(n)} and{y}_{i}={h}_{\xi ,d}^{\left(i\right)}{}^{2} for all i = 1,…,n, the instantaneous channel capacity due to MRC is
which depends on the channel conditions the packet has experienced in the current n th retransmission and all previous n transmissions. If{C}_{\mathit{\text{bf}}}(\mathcal{D},{\mathit{E}}^{\left(n\right)},{y}_{1},\dots ,{y}_{n})<\mathsf{\text{R}}, the packet still cannot correctly be decoded at the destination after N + 1 transmissions.
By averaging over E^{(n)}and all y_{ i }, the probability{p}_{\mathit{\text{rs}}}^{\left(n\right)}\left(k\right) is given by
Notice that2{h}_{s,d}^{\left(0\right)}{}^{2} and 2h^{(i)†}g^{(i)}^{2}(i = 1,…,n) are independent chisquare random variables with
degrees of freedom, denoted by{\chi}_{i}^{2}\left(2{\nu}_{i}\right). Let us denote{\stackrel{~}{c}}_{0}=\frac{P}{2{N}_{0}} and{\stackrel{~}{c}}_{i}=\frac{P}{2({N}_{0}+\mathcal{I}({\mathrm{\Theta}}_{i}=1)\xb7{y}_{i}{P}_{\xi})}. From[25], we can calculate the average outage probability conditioned on E^{(n)} and all y_{ i }(i = 1,…,n) as
where{\stackrel{~}{c}}_{min}=\underset{i\in \{0,1,\dots ,n\}}{\text{min}}\left\{{\stackrel{~}{c}}_{i}\right\}, δ_{ m } can iteratively be computed as{\delta}_{m}=\frac{1}{m}\sum _{l=1}^{m}\sum _{i=0}^{n}{\nu}_{i}{\left(1{\stackrel{~}{c}}_{\mathit{\text{min}}}/{\stackrel{~}{c}}_{i}\right)}^{l}{\delta}_{ml} for all m = 1,2,… with δ_{0} = 1, and{g}_{m}\left(\mu \right)=\frac{{\mu}^{s+m1}exp\{\frac{\mu}{2{\stackrel{~}{c}}_{\mathit{\text{min}}}}\}}{{\left(2{\stackrel{~}{c}}_{\mathit{\text{min}}}\right)}^{s+m}\Gamma (s+m)} withs=\sum _{i=0}^{n}{\nu}_{i} and the Gamma function Γ(s + m) = (s + m−1)!.
Abbreviations
 ARQ:

automatic repeat request
 AWGN:

additive white Gaussian noise
 CR:

cognitive radio
 CSI:

channel state information
 IC:

interference cancellation
 ICaDARQPS:

ICaDARQ with probabilistic scheduling
 ICaDARQQS:

ICaDARQ with queuelengthbased scheduling
 ICaDARQ:

ICaided distributed ARQ
 NACK:

negative ACKnowledgement
 QoS:

quality of service
 SSH:

spatial spectrum hole
 TSH:

temporal spectrum hole.
References
Laneman JN, Wornell GW: Distributed spacetime coded protocols for exploiting cooperative diversity in wireless networks. IEEE Trans. Inf. Theory 2003, 49: 24152425. 10.1109/TIT.2003.817829
Zhao B, Valenti MC: Practical relay networks: a generalization of hybrid ARQ. IEEE J. Sel. Areas Commun 2005, 23: 718.
Krikidis I: Distributed truncated ARQ protocol for cooperative diversity networks. IET Commun 2007, 1: 12121217. 10.1049/ietcom:20070034
Dai L, Letaief KB: Throughput maximization of adhoc wireless networks using adaptive cooperative diversity and truncated ARQ. IEEE Trans. Commun 2008, 56: 19071918.
Comroe RA, Costello DJ: ARQ schemes for data transmission in mobile radio systems. IEEE J. Sel. Areas Commun 1984, SAC2: 472481.
Mitola J, Maquire GQ: Cognitive radio: making software radios more personal. IEEE Personal Commun 1999, 6: 1318. 10.1109/98.788210
Jondral FK, Softwaredefined radiobasics evolutiontocognitiveradio: EURASIP J. Wirel. Commun. Netw. 2005, 5: 275283.
Lu L, Zhou X, Onunkwo U, (G) Li Y: Ten years of research in spectrum sensing and sharing in cognitive radio. EURASIP J. Wirel. Commun. Netw 2012, 2012: 28. 10.1186/16871499201228
Simeone O, BarNess Y, Spagnolini U: Stable throughput of cognitive radios with and without relaying capability. IEEE Trans. Commun 2007, 55: 23512360.
Boujemaa H: Delay analysis of cooperative truncated HARQ with opportunistic relaying. IEEE Trans. Veh. Technol 2009, 58: 47954804.
Sadek AK, Ray Liu KJ, Ephremides A: Cognitive multiple access via cooperation: protocol design and performance analysis. IEEE Trans. Inf. Theory 2007, 53: 36773696.
Krikidis I, Laneman JN, Thompson JS, McLaughlin S: Protocol design and throughput analysis for multiuser cognitive cooperative systems. IEEE Trans. Wirel. Commun 2009, 8: 47404751.
Zhao G, Ma J, (G) Li Y, Wu T, Kwon Y, Soong A, Yang C: Spatial spectrum holes for cognitive radio with relayassisted directional transmission. IEEE Trans. Wirel. Commun 2009, 8: 52705279.
Liu J, Chen W, Cao Z, (Angela) Zhang YJ: A distributed beamforming approach for enhanced opportunistic spectrum access in cognitive radios. (Hawaii, USA, 30 November–4 December 2009), pp. 1–6
Zhang R, Liang YC: Exploiting multiantennas for opportunistic spectrum sharing in cognitive radio networks. IEEE J. Sel. Topics Signal Process 2008, 2: 88102.
Liu J, Chen W, Cao Z, (Angela) Zhang YJ: Cooperative beamforming for cognitive radio networks: a crosslayer design. IEEE Trans. Commun 2012, 60: 14201431.
Liu J, Chen W, Cao Z, (Angela) Zhang YJ: Delay optimal scheduling for cognitive radios with cooperative beamforming: a structured matrixgeometric method. IEEE Trans. Mob. Comput 2012, 11: 14121423.
Rashid MM, Hossain J, Hossain E, Bhargava VK: Opportunistic spectrum scheduling for multiuser cognitive radio: a queueing analysis. IEEE Trans. Wirel. Commun 2009, 8: 52595269.
Zheng G, Ma S, Wong KK, Ng TS: Robust beamforming in cognitive radio. IEEE Trans. Wirel. Commun 2010, 9: 570576.
Antoniou A, Lu WS: Practical Optimization: Algorithms and Engineering Applications. Springer, New York; 2007.
Atkinson KE: An Introduction to Numerical Analysis. Wiley, New York; 1989.
Neuts MF: MatrixGeometric Solutions in Stochastic Models: An Algorithmic Approach. Johns Hopkins University Press, Baltimore; 1981.
Akar N, Sohraby K: Finite and infinite QBD chains: a simple and unifying algorithmic approach. Proceedings of the IEEE Infocom (Kobe, Japan, 7–12 April 1997), pp. 1105–1113
Latouche G, Ramaswami V: Introduction to Matrix Analytic Methods in Stochastic Modeling. SIAM, Philadelphia, PA; 1999.
Moschopoulos PG: The distribution of the sum of independent Gamma random variables. Ann. Inst. Stat. Math. Part A 1985, 37: 541544. 10.1007/BF02481123
Acknowledgements
This work was supported in part by National Basic Research Program (973) of China under Grant No. 2013CB336600 and No. 2012CB316001, and NSFC Grant under Grant No. 60902001 and No. 61021001.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Liu, J., Chen, W., Cao, Z. et al. Active interference cancellationaided QoSaware distributed ARQ for cognitive radios with heterogeneous traffics. J Wireless Com Network 2013, 29 (2013). https://doi.org/10.1186/16871499201329
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871499201329
Keywords
 Cognitive radio
 Distributed ARQ
 Interference cancellation
 Opportunistic scheduling
 Markov chain