Liang Tang1, Yongfeng Zhu2, Qiang Fu3. 1. College of Electronic Science and Engineering, National University of Defense Technology, Changsha 410073,. tangliang12@nudt.edu.cn. 2. College of Electronic Science and Engineering, National University of Defense Technology, Changsha 410073,. zoyofo@163.com. 3. College of Electronic Science and Engineering, National University of Defense Technology, Changsha 410073,. fuqiang1962@vip.sina.com.
Abstract
Waveform sets with good correlation and/or stopband properties have received extensive attention and been widely used in multiple-input multiple-output (MIMO) radar. In this paper, we aim at designing unimodular waveform sets with good correlation and stopband properties. To formulate the problem, we construct two criteria to measure the correlation and stopband properties and then establish an unconstrained problem in the frequency domain. After deducing the phase gradient and the step size, an efficient gradient-based algorithm with monotonicity is proposed to minimize the objective function directly. For the design problem without considering the correlation weights, we develop a simplified algorithm, which only requires a few fast Fourier transform (FFT) operations and is more efficient. Because both of the algorithms can be implemented via the FFT operations and the Hadamard product, they are computationally efficient and can be used to design waveform sets with a large waveform number and waveform length. Numerical experiments show that the proposed algorithms can provide better performance than the state-of-the-art algorithms in terms of the computational complexity.
Waveform sets with good correlation and/or stopband properties have received extensive attention and been widely used in multiple-input multiple-output (MIMO) radar. In this paper, we aim at designing unimodular waveform sets with good correlation and stopband properties. To formulate the problem, we construct two criteria to measure the correlation and stopband properties and then establish an unconstrained problem in the frequency domain. After deducing the phase gradient and the step size, an efficient gradient-based algorithm with monotonicity is proposed to minimize the objective function directly. For the design problem without considering the correlation weights, we develop a simplified algorithm, which only requires a few fast Fourier transform (FFT) operations and is more efficient. Because both of the algorithms can be implemented via the FFT operations and the Hadamard product, they are computationally efficient and can be used to design waveform sets with a large waveform number and waveform length. Numerical experiments show that the proposed algorithms can provide better performance than the state-of-the-art algorithms in terms of the computational complexity.
Entities:
Keywords:
auto- and cross-correlation; frequency stopband; gradient; multiple-input multiple-output (MIMO) radar; unimodular waveform set
Waveform design has received considerable attention in recent years [1] and been employed in many applications, including polarimetric radar [2], multiple-input multiple-output (MIMO) radar [3,4], stealth communications [5] and the code-division multiple-access (CDMA) system. As a category of the general waveform design research [1], the design of waveform sets (i.e., multidimensional waveforms) is an important research content of MIMO radar. Generally, waveform sets are desired to have a good correlation property, which can effectively improve radar resolution, detection performance, imaging quality, the ability to obtain information and the accuracy of MIMO channel estimation [6,7,8]. In recent years, a large number of scholars has been devoted to designing waveform sets with a good correlation property. The main research covers two aspects: one is the waveform sets with good auto- and cross-correlation properties [9,10,11,12,13,14,15,16], and the other is the complementary sets of sequences (CSS) [17,18,19,20,21,22,23,24,25].Waveform sets with good auto- and cross-correlation properties, also known as the orthogonal waveform set (OWS), have low autocorrelation sidelobes and low cross-correlation levels. In the early stage, the simulated annealing- [9] and cross entropy-based [10] methods were proposed for OWS design. However, due to the high computational complexity, these methods are not suited to design long waveforms. To improve the computational efficiency, the CAN (cyclic algorithm-new) algorithm [11] based on fast Fourier transform (FFT) is proposed to minimize the autocorrelation sidelobes and the cross-correlation. This algorithm is computationally efficient and can be used for the design of long waveforms. As it is impossible to design completely orthogonal (i.e., both the autocorrelation sidelobes and the cross-correlation are zeroes) waveform sets [11,16], [11] proposes to design the waveform sets that are orthogonal only at the specified intervals and extends the classical WeCAN (weighted cyclic algorithm-new) [26] algorithm to MIMO radar. To solve the same problem, [12] develops the LBFGS (limited-memory Broyden, Fletcher, Goldfarb and Shanno) iterative algorithm, which is more efficient than the WeCAN algorithm. However, because of the complicated linear search rule for determining the step size, the LBFGS iterative algorithm is still time consuming. Recently, the majorization-minimization (MM)-based algorithms (i.e., MM-Corr (MM-correlation) and MM-WeCorr (MM-weighted correlation)) are proposed in [14]. These two algorithms are also based on FFT operations and much faster than the CAN and WeCAN algorithms [11].Another waveform set with a good correlation property is the complementary sets of sequences (CSS). A waveform set is called CSS if and only if the autocorrelation sum of the waveforms is a delta function [17]. CSS design is proposed to overcome the difficulty of generating a single unimodular waveform with ideal (impulse-like) autocorrelation. A common application of the CSS is the pulse compression [18,19,20]. In pulse compression radar, the complementary sequences are used to modulate consecutive pulses in a coherent pulse train. Then, the autocorrelation sidelobes can be reduced via the coherent [19] or noncoherent [18] accumulation, which can be regarded as the process of obtaining the autocorrelation sum of the complementary sequences. Moreover, due to the good correlation property, CSS has been widely applied to the CDMA system [21], ISI (intersymbol interference) channel estimation [22], orthogonal frequency division multiplexing (OFDM) [23], and many other areas. The main methods of designing CSS are the analytical construction methods, which have great limitation in generating long waveforms. To overcome this problem, [24] introduces a computational framework based on an iterative twisted approximation (ITROX) for periodically complementary sets of sequences design. Subsequently, [25] extends the CAN algorithm [26] and develops a fast algorithm named CANARY (CAN complementary). Additionally, [14] applies the MM method to the design of CSS.In addition to the good correlation property, waveform sets are expected to have a good stopband property when the radar systems work in a crowded electromagnetic environment. Waveforms with the stopband property, also known as the sparse frequency waveforms (SFW) in many literature works, are a kind of waveforms with several frequency stopbands. The applications of SFW include ultra-wide bandwidth (UWB) systems [27], high frequency surface wave radar (HFSWR) [28,29] and cognitive radar [30]. By designing waveforms with the stopband property, it can effectively overcome the narrowband interference in the congested frequency bands. At present, there are many research works on the design of a single waveform with the stopband property [31,32,33,34,35,36], but they cannot be used in MIMO systems. Therefore, [36] proposes an iterative algorithm combined with the steepest descent (SD) method for MIMO waveform design. By searching along the gradient direction, the convergence speed of this algorithm is improved. However, the computation of the step size along the gradient direction is complicated, which makes the algorithm still costly. In order to improve the computational efficiency, [37] proposes an algorithm named MDISAA-SFW (multi-dimensional iterative spectral approximation algorithm-SFW) based on alternating projection and phase retrieval.In this paper, we consider the problem of designing unimodular waveform sets with good correlation and stopband properties and propose a gradient-based algorithm, i.e., Gra-WeCorr-SFW (gradient-weighted correlation-SFW). By using the relationship between the correlation function and the power spectrum density (PSD), the design problem is formulated as an unconstrained minimization problem in the frequency domain. Then, the phase gradient is deduced, and its matrix form is given. In order to avoid searching the step size, we use the Taylor series expansion to derive the step size, which is more efficient than the traditional searching methods. Since both the gradient and the step size can be implemented via the FFT operations and the Hadamard product, the proposed algorithm has high computational efficiency. We also deduce the simplified algorithm named Gra-Corr-SFW (gradient-correlation-SFW), which is faster than the Gra-WeCorr-SFW, for the design problem without considering the correlation weights.The rest of the paper is organized as follows. In Section 2, the design problem is formulated. In Section 3, we develop a gradient-based algorithm by deducing the phase gradient and the step size and then summarize the algorithm. In Section 4, the simplified algorithm for the design problem without considering the correlation weights is derived. Section 5 provides several numerical experiments to verify the effectiveness of the proposed algorithms. Finally, Section 6 gives the conclusions.Notation: Boldface upper case letters denote matrices, while boldface lower case letters denote column vectors. , and denote the complex conjugate, transpose and conjugate transpose, respectively. and denote the Euclidean norm and the Frobenius norm. and denote the real and imaginary part, respectively. denotes a diagonal matrix formed with the column vector . ∘ denotes the Hadamard product. denotes the m-th element of the vector . is the l-th iteration of . is the all-one vectors of length N. denotes the identity matrix. and denote the -point FFT and IFFT (inverse FFT) operations of , respectively. and represent the FFT and IFFT of each column of the matrix , respectively. In the (I)FFT operations, if the length of is less than , is padded with trailing zeros to length . is the exponent arithmetic applied to the scalar, vector or matrix.
2. Problem Formulation
As mentioned in the Introduction, this paper focuses on the problem of designing waveform sets with good correlation and stopband properties. Therefore, we first establish two criteria in the frequency domain to measure the correlation and stopband properties and then formulate the waveform set design problem.
2.1. The Criterion for Good Correlation Property
Let be the complex waveform set to be designed. The vector form of each waveform can be expressed as:
where N is the waveform length and M denotes the number of the waveforms. Then, the correlation function of and is defined as:Here, we consider the design problems of complementary sets of sequences and waveform sets with both good auto- and cross-correlation properties. For the complementary set of sequences, the common criterion is the complementary integrated sidelobe level (CISL) metric [14,25], which is defined as:
for the waveform sets with both good auto- and cross-correlation properties, we consider the following more general weighted measure [14]:
where denote the weights assigned to different time lags. In those specified intervals that are expected to have as low as possible sidelobes, , else .Let:
be the correlation vector and the corresponding correlation weight vector, respectively. The Fourier transform of the correlation function (i.e., power spectrum density (PSD)) can be written as:
where is the discrete Fourier transform (DFT) matrix with the following expression:According to (5) and (6), (4) can be expressed in the frequency domain as:
where . It is worth noting that the value of the -th element of has no effect on the objective function. In order to facilitate the derivation below, the -th element of is set to be one.Actually, when (i.e., the correlation weights are not taken into account), Criterion (8) is equivalent to Criterion (3) (see Appendix A), which means that Criterion (3) is a special case of Criterion (8). Thus, here, we just consider Criterion (8). By ignoring the constant term in (8), the criterion related to the correlation property is given by:
2.2. The Criterion for the Good Stopband Property
The waveform set with a good stopband property means that the PSD of each waveform has several frequency stopbands. Without loss of generality, we consider that the frequency is normalized. Define the set of frequency stopbands as:
where denotes one stopband and denotes the number of the stopbands. Considering the -point FFT operations, the corresponding point set of the stopband set can be expressed as:Define the frequency weight vector as:As the PSD of each waveform is nonnegative, the criterion related to the stopband property (or PSD) can be formulated as:
where .
2.3. The Minimization Problem
In order to obtain good correlation and stopband properties, both and should be minimized. Thus, the waveform design problem can be regarded as a multi-objective optimization (also known as Pareto optimization) problem, i.e., finding the Pareto optimal solutions that satisfy the constraints. Here, we apply the traditional weighting method to solve the problem and, thus, formulate a single-objective function as follows:
where is a weight coefficient by which we can balance the relative weight between and , and:
When , (14) is the criterion for designing waveform sets with a good correlation property. Additionally, when , (14) becomes the criterion for SFW design. Generally, for maximizing the transmitter efficiency and reducing the requirement to the hardware, the unimodular constraint [38] is required in the waveform design. Therefore, the design problem can be formulated as the following minimization problem:Let denote the phase vector of , i.e., . Then, the problem (16) can be reformulated as the following unconstrained problem with regard to :
3. Problem Optimization via the Gradient Method
In this section, we optimize Problem (17) by using the gradient-based algorithm, which is able to guarantee that the objective function is monotonically decreasing at each iteration. In the following, we first derive the phase gradient and the step size and then briefly summarize the algorithm.
3.1. Phase Gradient
To facilitate the derivation, let . Before deriving the phase gradient , we first deduce the derivative of with respect to the phase :Since (see Appendix B), (18) can be rewritten as:The first term in (19) can be simplified as:
where the third equality follows from the fact . Let:
then (20) can be expressed as:According to (A4) and (A5), we can deduce the derivative as follows:By substituting (23) into (22), we have:To compute the second term of (19), we first deduce :Similarly to the derivation of (23), it is easy to obtain that:On the basis of (25) and (26), can be further denoted asBy substituting (24) and (27) into (19), can be simplified as:Let be the inverse FFT (IFFT) of , i.e.,
then in (28) becomes:By stacking (30) in a vector, the phase gradient is given by:
where denotes the first N elements of . It is worth noting that and defined in (21) can be calculated by the Hadamard product and the FFT operations:From the derivation above, it is easy to see that the calculation of the phase gradient is a little bit cumbersome. In order to make the calculation process concise, we write the gradient in the form of matrix. Let and denote the matrix of waveform set and the corresponding phase matrix, respectively. Then, the spectrum matrix of is . Define:
then the matrix form of (29) is given by:Thus, according to (31), the matrix of phase gradient can be expressed as:
where denotes the submatrix formed with the first N rows of . By defining and , we can easily calculate the gradient matrix. However, it is still hard to calculate directly by (33). To efficiently calculate , define:Then it is easy to verify that:
where denotes the column vector consisting of all of the columns of . Thus, we can obtain via the inverse operation of , i.e.,
where can be calculated by (32). It is easy to see that can be implemented by four FFT (IFFT) operations. Since , the calculation of takes FFT (IFFT) operations.
3.2. Step Size Calculation via Taylor Series Expansion
The traditional methods for obtaining the step size are the linear search methods, which require many iterations and thus are quite time consuming. To reduce the computing expense, here we propose to calculate the step size directly. Assume that is the phase matrix of the present iteration point , and is the descent direction. Then, the new iteration point can be denoted as:
i.e.,
where is the step size. Thus, the linear search problem can be formulated as the following minimization problem:By taking the derivative of (41), we have:To simplify (41) and (42), we first deduce . By using the Taylor series expansion, can be approximated as (see Appendix C):
where:Let
then (43) can be rewritten as:By replacing with , the approximate function of in (41) can be denoted as:Since holds when , it is easy to verify that:
which indicates that and have the same function value and slope at . As is the descent direction, the slopes of these two functions are less than zero. Thus, these two functions have at least one minimum point greater than zero. Since is sensitive to the waveform phases, the optimal step size of is very small and close to zero. Consequently, we can use the minimum point of to approximate the optimal step size.To calculate the minimum point of , we replace in (42) with , then the derivative of with respective to is given by:
where:To simplify the calculation, let:Then (50) can be rewritten as:
where the first term of each equality follows from the fact ( are the arbitrary vectors), and the second term of each equality follows from the fact . Let , then the minimum point of can be obtained by solving the following cubic equation:It is well known that a cubic equation with real coefficients has three roots, in which there is at least a real root. Therefore, we can choose the positive root that is closest to zero as the precise estimation of the step size.In order to facilitate the calculation, we write the above derivation in the form of matrix. Define:
then according to (44) we have:Let:Then the inverse Fourier transforms of can be denoted as:According to (52), (56) and (57), the coefficients of the cubic equation can be reformulated as:
3.3. Algorithm Summary
After deducing the phase gradient and the step size, it is easy to solve the unconstrained problem (17) by using the conjugate gradient algorithm (CGA). Here, we apply the classical Polak–Ribiere–Polyak CGA (PRP-CGA) to deal with the waveform design problem. The searching direction of the PRP-CGA can be expressed as:
where and are the gradient vector and the direction vector, respectively. For the problem here, and are defined as:
where . Since the step size is an approximate value, is not equal to zero. Thus, may not be descendent, i.e.,
is not always satisfied. For guaranteeing that the searching direction is descendant, we adopt the following modified direction:Actually, (59) can also be expressed as:Since
and (63) can be rewritten as:Thus, (62) can be expressed as the following matrix form:On the basis of the above derivation, the gradient-based algorithm, which we call Gra-WeCorr-SFW, is summarized in Algorithm 1.
4. Simplified Algorithm for the Design Problem without Considering the Correlation Weights
In Section 3, we present a gradient-based algorithm to handle Problem (17). From (9), we can see that the criterion can be simplified when (i.e., the correlation weights are not taken into account). Thus, in this section, we derive a simplified algorithm for the design problem without considering the correlation weights. Let , then the criterion can be simplified as:Thus we can rewrite the problem (17) as:
where . Like the derivation in Section 3, we deduce the gradient and the step size.
4.1. Phase Gradient
According to (68), we deduce the derivative as:Let:
then according to (23), (69) can be rewritten as:By stacking (71) in a vector, the gradient is given by:
where . Define , then it is easy to verify that:Thus, the gradient matrix can be expressed as:
4.2. Step Size
Similarly to (41), the linear search problem here can be denoted as:By taking the derivative of , we have:Then, the approximate derivative can be obtained by replacing with defined in (46):According the definition (56), we have:
where and can be expressed as the following equalities according to (45):Thus, (77) can be written more compactly as:
where:By solving the cubic equation , the step size can be easily obtained.
4.3. Algorithm Summary
In the previous two subsections, the gradient and step size for Problem (68) are derived. Then, the simplified algorithm (which we call Gra-Corr-SFW) for the design problem without considering the correlation weights is summarized in Algorithm 2. It is easy to observe that both Algorithm 1 and Algorithm 2 can be easily implemented by the (I)FFT operations and the Hadamard product. Since the Hadamard product is more efficient than the (I)FFT operation, we mainly use the number of (I)FFT operations to measure the time complexity of the algorithms. From Section 3, we know that the calculation of needs (I)FFT operations. Thus, the Gra-WeCorr-SFW requires (I)FFT operations at each iteration. Compared to the Gra-WeCorr-SFW, the Gra-Corr-SFW is simpler and only needs (I)FFT operations at each iteration. It is worth noting that the calculation of the cubic function is very simple and needs only a small amount of computation.To analyze the convergence speed, Table 1 presents the per iteration computational complexities of the proposed and existing algorithms. As shown in Table 1, the proposed Gra-WeCorr-SFW requires fewer (I)FFT operations than the MM-WeCorr-acc (MM-WeCorr-acceleration) at each iteration. Compared to these two algorithms, the per iteration computational complexities of the rest of the three algorithms (MM-Corr-acc (MM-Corr-acceleration), MDISAA-SFW and Gra-Corr-SFW), which do not consider the correlation weights, are much smaller. In addition to the per iteration computational complexity, the iteration number is also an important factor affecting the convergence speed. Thus, it is difficult to compare the convergence performance of the algorithms via the per iteration computational complexity. In the following section, several numerical experiments are provided to show the convergence performance of the proposed algorithms.
Table 1
The per iteration computational complexities of different algorithms.
Algorithm
Number of (I)FFT
Complexity
MM-WeCorr-acc
6M2+8M
O((12M+16)MNlog2N)
MM-Corr-acc
4M
O(8MNlog2N)
MDISAA-SFW
3M
O(6MNlog2N)
Gra-WeCorr-SFW
5M2+6M
O((10M+12)MNlog2N)
Gra-Corr-SFW
4M
O(8MNlog2N)
5. Numerical Experiments
To illustrate the effectiveness and superiority of the proposed algorithms, several numerical experiments are presented in this section. We first validate the monotonicity of the proposed algorithms and then assess the performance of the algorithms by designing three different waveform sets. The proposed algorithms are compared with the MM-Corr-acc [14], MM-WeCorr-acc [14] and MDISAA-SFW [37] algorithms, where MM-Corr-acc and MM-WeCorr-acc are the state-of-the-art algorithms for designing waveform sets with a good correlation property, and MDISAA-SFW is the state-of-the-art algorithm for designing the orthogonal waveform set (OWS) with the stopband constraint.All of the experiments are performed on a PC with a 3.60-GHz i7-4790 CPU and 8GB RAM. The software environment is MATLAB 2012b. In the following experiments, all of the algorithms are initialized by the unimodular waveform sets with random phases.
5.1. Verification of The Monotonicity
In this subsection, we investigate the monotonicity of the proposed algorithms in three different waveform design problems, which are respectively complementary sets of sequences (CSS) design, waveform set design with zero correlation zone and orthogonal waveform set (OWS) design with the stopband constraint. In order to measure the monotonicity, define the relative error of the l-th iteration as follows:
where denotes the approximate step size of the l-th iteration, which is obtained via the Taylor series expansion, and denotes the optimal step size obtained by the searching method. The smaller the value of is, the closer the approximate step size is to the optimal step size. Thus, can be used to express the accuracy of the approximate step size. When , we have , which means the objective function is decreasing at the l-th iteration. Therefore, we can measure the monotonicity of the algorithms by using the following peak relative error :
where is the iteration number.To simulate and , we use the Gra-WeCorr-SFW to design waveform sets with waveforms and each waveform of length . The simulation parameters of different design problems are shown in Table 2. Additionally, we stop the algorithm after 200 iterations. Figure 1 shows the evolution curves of the relative error with respect to the iteration number. From Figure 1, we can see that the relative error is a little larger at the initial iterations. However, it decreases rapidly and is substantially below after several iterations. In the whole iteration process, the relative error is less than one, which means that the objective function is monotonically decreasing. Figure 2 shows the peak relative error of 100 random trials. It is easy to see that the peak relative error of all three cases is very small and less than one. This indicates that the monotonicity of the Gra-WeCorr-SFW is not affected by the initial iteration point. Since the Gra-Corr-SFW is a simplified algorithm of the Gra-WeCorr-SFW, it can also guarantee that the objective function is monotonically decreasing at each iteration.
Table 2
Simulation parameters of different design problems.
a: CSS design; b: waveform design with zero correlation zone; c: OWS design with stopband constraint.
Figure 1
Evolution of the relative error with respect to the iteration number.
Figure 2
The peak relative errors of 100 random trials.
5.2. CSS Design or OWS Design
In Appendix A, we have demonstrated that the CSS design is equivalent to the OWS design. In this subsection, we apply the Gra-Corr-SFW to design CSS (or OWS). Since the lower bound of the CISL is zero, we choose as the stopping criterion for all of the algorithms in this experiment. The weight coefficient and the correlation weights are the same as Case 1 in Table 2. Figure 3 shows the normalized autocorrelation sum of the waveform sets designed by the Gra-Corr-SFW, where the normalized autocorrelation sum is defined as:
Figure 3
The autocorrelation sum of the waveform sets designed by the Gra-Corr-SFW with different . ()
From Figure 3, we can see that the autocorrelation sum of the CSS is a Delta function. Additionally, with the decrease of , the sidelobes of the CSS are getting lower and lower.Next, we compare the performance between the proposed Gra-Corr-SFW and the state-of-the-art MM-Corr-acc by designing waveform sets with different waveform number M and waveform length N. For both algorithms, we choose M and N as follows:The evolution curves of MM-Corr-acc and Gra-Corr-SFW are respectively shown in Figure 4a,b. From these two subfigures, we observe that the convergence speed of the proposed Gra-Corr-SFW is much faster than that of the MM-Corr-acc. Even for , the proposed algorithm takes 1.35 s to coverage to , while the MM-Corr-acc takes 48.11 s.
Figure 4
Evolution of the CISL with respect to the running time: (a) MM-Corr-acc; (b) Gra-Corr-SFW. .
Further, to eliminate the randomness, we repeat the algorithms 100 times for each pair and record the average iteration number , the average running time t and the average peak sidelobe level of the autocorrelation sum , where is defined as:Then, we choose for the stopping criterion. The performance parameters of these two algorithms are provided in Table 3. As can be seen from this Table, since the algorithms stop the iteration when , the of these two algorithms are basically the same. At the same time, the average running time in Table 3 shows that the Gra-Corr-SFW is an order of magnitude faster than the MM-Corr-acc. From Table 1, we can see that the per iteration computational complexities of both the MM-Corr-acc and the Gra-Corr-SFW are . Therefore, the reason for the slower convergence of the MM-Corr-acc may be that the MM strategy in this algorithm makes the objective function loose, so that the iteration number of the MM-Corr-acc is larger than that of the Gra-Corr-SFW (as shown in Table 3).
Table 3
The comparison of the performance parameters between MM-Corr-acc and Gra-Corr-SFW.
MM-Corr-acc
Gra-Corr-SFW
(M,N)
t(s)
NI
Psum(dB)
t(s)
NI
Psum(dB)
M=3,N=256
1.249
1687
−63.8
0.071
239
−65.9
M=6,N=512
0.914
496
−68.7
0.110
132
−71.4
M=9,N=768
1.558
460
−72.0
0.178
131
−74.7
M=12,N=1024
2.531
484
−74.4
0.265
132
−77.5
M=15,N=1280
4.483
587
−76.1
0.343
138
−79.1
5.3. Waveform Set Design with Zero Correlation Zone
To verify the effectiveness of the Gra-WeCorr-SFW, we consider the problem of suppressing the correlation sidelobes at the specified intervals, i.e., designing the waveform set with the zero correlation zone (ZCZ), and compare the performance with the MM-WeCorr-acc. The experimental parameters are the same as Case 2 in Table 2. For both algorithms, we choose the value of the objective function in (4) as the stopping criterion, i.e., . The auto- and cross-correlations of the waveform sets designed by MM-WeCorr-acc and Gra-WeCorr-SFW are shown in Figure 5. From this figure, we can see that the proposed algorithm can also generate a waveform set with correlation sidelobes that are almost zero at the specified intervals.
Figure 5
The normalized auto- and cross-correlations of the waveform sets designed by MM-WeCorr-acc and Gra-WeCorr-SFW. .
Similar to Figure 4, for each pair, we simulate the evolution curves of the objective function with respect to the running time. Additionally, the results of these two algorithms are presented in Figure 6. It is easy to see that the Gra-WeCorr-SFW is faster than the MM-WeCorr-acc. In addition, we can also find that when the objective function is less than , the convergence speed of the MM-WeCorr-acc decreases, especially for a large pair.
Figure 6
Evolution of the objective function with respect to the running time: (a) MM-WeCorr-acc; (b) Gra-WeCorr-SFW .
Further, Table 4 presents the comparison of performance parameters between MM-WeCorr-acc and Gra-WeCorr-SFW, where is the peak sidelobe level at the zero correlation zone defined as:
Table 4
The comparison of the performance parameters between MM-WeCorr-acc and Gra-WeCorr-SFW .
MM-WeCorr-acc
Gra-WeCorr-SFW
(M,N)
t(s)
NI
Pzcz(dB)
t(s)
NI
Pzcz(dB)
M=3,N=256
0.584
335
−167.5
0.248
164
−168.2
M=6,N=512
2.691
407
−178.1
1.348
176
−179.5
M=9,N=768
10.167
445
−184.5
5.149
178
−186.3
M=12,N=1024
37.760
486
−189.7
15.106
179
−191.5
M=15,N=1280
84.759
549
−193.5
30.683
182
−195.1
Similarly, for each pair, the algorithms are repeated 100 times. As can be seen from Table 4, the of the Gra-WeCorr-SFW is a little bit lower than that of the MM-WeCorr-acc. Moreover, due to fewer iterations, the average running time of the Gra-WeCorr-SFW is about 50% of that of the MM-WeCorr-acc, which indicates that the former is more computationally efficient.
5.4. OWS Design with the Stopband Constraint
In this subsection, we consider the problem of designing OWS with the stopband constraint. Since the Gra-Corr-SFW is a simplified version of the Gra-WeCorr-SFW and needs much fewer (I)FFT operations, it is more efficient than the Gra-WeCorr-SFW. Thus, we only investigate the performance of the Gra-Corr-SFW and compare it with the MDISAA-SFW. Here, is employed as the stopping criterion, and the experimental parameters are the same as Case 3 in Table 2. First, we apply these two algorithms to design OWS with the stopband constraint. Suppose the waveform number M is three and the waveform length N is 256. The correlation levels and spectral power of the waveform sets designed by MDISAA-SFW and Gra-Corr-SFW are shown in Figure 7 and Figure 8. From Figure 7, we can see that the waveform set designed by the MDISAA-SFW has better autocorrelation performance, while the waveform set designed by the Gra-Corr-SFW has better cross-correlation performance. This is because the MDISAA-SFW optimizes the autocorrelation explicitly and, thus, places more emphasis on suppressing the autocorrelation sidelobes. Figure 8 indicates that the stopband spectral power of the waveform set designed by the Gra-Corr-SFW is less than that of the waveform set designed by the MDISAA-SFW.
Figure 7
The correlation levels of the waveform sets designed by MDISAA-SFW and Gra-Corr-SFW.
Figure 8
The spectral power of the waveform sets designed by MDISAA-SFW and Gra-Corr-SFW.
In order to fully compare the algorithms, we define the peak autocorrelation sidelobe , peak cross-correlation , peak stopband power and integrated sidelobe level (ISL) [16] as follows:
where denotes the peak stopband power of the waveform . In the above four performance parameters, and are used to measure the autocorrelation and cross-correlation performances, respectively; is the parameter related to the stopband performance; and indicates the overall sidelobe performance. Since the decrease of the bandwidth leads to the broadening of the main lobe, can be regarded as the autocorrelation main lobe. Thus, the definition of does not take into account. Here, we consider the waveform sets with waveforms and each waveform of length . For each pair, we repeat these two algorithms 100 times and record the average values of the performance parameters. The comparison of the performance parameters between MDISAA-SFW and Gra-Corr-SFW is shown in Table 5. In addition to the parameters defined in (88), the average iteration number and the running time t are provided in Table 5. From this table, we obtain three findings, as follows. Above all, the and of the Gra-Corr-SFW are lower than that of the MDISAA-SFW, which means that the cross-correlation and stopband performances of the Gra-Corr-SFW are better than that of the MDISAA-SFW. However, in terms of autocorrelation performance, the Gra-Corr-SFW is inferior to the MDISAA-SFW. From the in Table 5, it is easy to see that the overall sidelobe performance of the Gra-Corr-SFW is better than that of the MDISAA-SFW. Furthermore, although the per iteration computational complexity of the Gra-Corr-SFW is slightly higher than that of the MDISAA-SFW (see Table 1), the Gra-Corr-SFW needs fewer iterations due to the fast convergence of the gradient algorithm, which makes the proposed algorithm more efficient. Finally, with the increase of the waveform length, both the correlation and stopband performances of these two algorithms are improved, especially the cross-correlation performance.
Table 5
The comparison of the performance parameters between MDISAA-SFW and Gra-Corr-SFW.
Algorithm
N
Pac(dB)
Pcc(dB)
Psp(dB)
ISL
NI
t(s)
MDISAA-SFW
N=256
−13.6
−13.9
−17.5
893,573
11932
2.512
N=512
−13.9
−16.6
−17.9
3,532,447
18,602
6.045
N=1024
−14.1
−19.3
−18.2
14,013,417
27,268
14.080
Gra−Corr−SFW
N=256
−12.5
−15.9
−20.3
832,482
1216
0.274
N=512
−12.9
−18.6
−22.2
3,321,729
2100
1.013
N=1024
−13.3
−21.1
−23.8
13,237,903
3577
3.033
Next, we investigate the performance of the algorithms under different . The average values (100 trials) of , and are shown in Figure 9. From this figure, we can see that with the increase of , the and of these two algorithms change slowly, while the is sensitive to the change of . It can also be observed that except the autocorrelation performance, the cross-correlation and stopband performances of the Gra-Corr-SFW are better than that of the MDISAA-SFW. This means that the stopband property can be easily obtained by using the Gra-Corr-SFW. Moreover, since the correlation performance changes slowly with the increase of , we can choose a relatively large (e.g., ) for the Gra-Corr-SFW to obtain both good correlation and stopband properties.
Figure 9
The comparison of , and between MDISAA-SFW and Gra-Corr-SFW versus from 0–1. (a) ; (b) ; (c) ().
6. Conclusions
In this paper, we propose an efficient algorithm named Gra-WeCorr-SFW for designing the waveform set with a good correlation and stopband properties. The algorithm optimizes the objective function directly and can guarantee that the objective function is monotonically decreasing at each iteration. By changing the design parameters, the Gra-WeCorr-SFW can be used to generate different waveform sets, such as CSS, the waveform set with ZCZ and OWS with the stopband constraint. As the main steps can be implemented by the FFT operations and the Hadamard product, the proposed algorithm is computationally efficient and can be used to design waveform sets with large M and N. Besides, the simplified version of the Gra-WeCorr-SFW (named Gra-Corr-SFW) is proposed for the design problem without considering the correlation weights. Compared to the Gra-WeCorr-SFW, the simplified algorithm requires fewer FFT operations and is faster. Numerical experiments show that the proposed algorithms are faster than the state-of-the-art algorithms (MM-WeCorr-acc and MM-Corr-acc) when designing CSS or the waveform set with ZCZ. In the case of designing OWS with the stopband constraint, the simplified algorithm has better stopband performance and computational efficiency compared with the MDISAA-SFW.