Abstract

There is recently a great deal of interest and excitement in understanding the role of inertia and acceleration in the motion equation of discrete particle swarm optimization (DPSO) algorithms. It still remains unknown whether the inertia section should be abandoned and how to select the appropriate acceleration in order for DPSO to show the best convergence performance. Adopting channel assignment as a case study, this paper systematically conducts experimental filtering research on this issue. Compared with other channel assignment schemes, the proposed scheme and the selection of inertia and acceleration are verified to have the advantage to channel assignment in three respects of convergence rate, convergence speed, and the independency of the quality of initial solution. Furthermore, the experimental result implies that DSPO might have the best convergence performance when its motion equation includes an inertia section in a less medium weight, a bigger acceleration coefficient for global-search optimum, and a smaller acceleration coefficient for individual-search optimum.

1. Introduction

The ever-increasing popularity of mobile communication services gives rise to the need for efficient use of the limited frequency spectrum [1, 2]. The channel assignment problem (CAP) is to obtain a conflict-free channel assignment scheme, which satisfies both the electromagnetic compatibility (EMC) constrains and regional demand for channel. Generally, there are three types of electromagnetic compatibility constraints. The cochannel constraint (CCC) restricts the assignment of the same channel to certain pairs of cells simultaneously. The adjacent channel constraint (ACC) restricts the assignment of channels adjacent in number to adjacent cells simultaneously. The cosite constraint (CSC) specifies that any pair of channels assigned to the same cell must be separated by a certain number.

Currently, much effort has been made to solve the CAP, such as neural network (NN), simulated annealing (SA), and genetic algorithm (GA). However, NN based algorithms typically yield only suboptimal solutions. The SA approach, although it may be more flexible, is easily trapped in a local minimum, which cannot escape without spending a lot of computation time [3]. GA can effectively locate the neighborhood of the global optimum, but it has the problem of converging to the optimum itself. In other words, the algorithms mentioned above are not particularly efficient in local search [4, 5]. Particle swarm optimization (PSO) is an intelligent algorithm introduced by [6]. It does not have the complex genetic operator and thus the computation complexity is reduced greatly. Moreover, due to the parallel computation of particle swarms, the convergence speed of PSO is much faster than GA.

In [7], a discrete particle swarm optimization (DPSO) based approach is applied to solve the CAP. The particle’s position is defined as an -dimensional vector to represent the call orderings ( is the total number of calls in the cellular system). The velocity of particle is defined as a sequence of movements from source particle to target particle, which is randomly selected to update the particle’s position according to the preset inertia factor and acceleration factor. This representation describes the distance between particles properly and reflects the mechanism of evolvement. That means the new position is updated by the particle’s inertia position, the particle’s historical best position, and the swarm’s best position. As the swarm’s best acceleration has more influence on the new velocity than the particle’s inertia velocity and historical best acceleration in the motion equation, the global search performs better than the local search. For this reason, a strategy of local search is introduced during the process of iteration to speed up the convergence. However, the computation complexity is increased and more iteration is needed.

In whole, there are two major problems in terms of the application of DPSO to CAP. On one hand, the selection of inertia section and acceleration coefficients has a significant effect on the performance in the motion equation. However, some selection experiences in other fields [812] may not be suitable for the CAP. On the other hand, the scheme of frequency exhaust assignment (FEA), a call orderings based strategy, can firstly assign channels to the most difficult cells. Thus, FEA has been proved to be an efficient scheme to solve the CAP with large and unevenly distributed traffic demand. In [5], a call orderings based strategy is proposed. From the result of several benchmark instants for CAP, the assigned channel number is disordered, while the channel number for each cell is sorted in ascending manner by FEA.

Adopting channel assignment as a case study, this paper systematically conducts experimental filtering research on the selection of inertia and acceleration in the motion equation in order for DPSO to show the best convergence performance. The rest of this paper is organized as follows. Section 2 introduces the mathematical model of CAP and the eight well-known benchmark problems. Section 3 describes the proposed channel assignment scheme which integrates the optimal DPSO with the FEA strategy in order to meet the usually large and unevenly distributed channel demand in many regions. With the experiments on the eight well-known benchmark problems, the results of the inertia choice and the acceleration adjustment are deeply analyzed and a comparison between the proposed scheme and other channel assignment schemes is further made in Section 4. A conclusion is given in Section 5.

2. Mathematical Formulation and Benchmark Problems

The CAP is specified by the triple (, , ), where is a cell system, is a demand vector, and is an symmetric compatibility matrix. Each element in represents the number of channels required by cell . Each element in represents the minimum separation distance between any two frequencies assigned to cell and cell . The solution space is represented as an binary matrix, where is the total number of available channels and is the number of cells. Each element in the matrix is either 1 or 0 if indicates the channel is assigned to cell . So, the mathematical formulation is to minimize under the following constrains:

In order to prove the performance of the algorithm, some well-known benchmark problems are simulated. Table 1 is the specific description of the benchmark problems, and all and used here can be found in [13].

3. DPSO and FEA Combined Channel Assignment Scheme

3.1. FEA

Compared with the method of minimum cost function [1416], FEA has been proved to be an efficient scheme to solve the CAP with large and unevenly distributed traffic demand [1719]. Denote the number of available frequencies by and the total number of calls in the system by with . The ordered call list can then be identified with a corresponding vector which contains different call numbers described as

FEA starts with the first call in the ordered list. Each call with unsatisfied channel requirement is assigned a channel with the lowest rank so that the assignment satisfies all constraints with previous assignment. The pseudocode illustrating the algorithm of FEA is presented in Algorithm 1. After applying FEA, the number of blocked calls is computed to evaluate the fitness of the ordered list.

Loop (L1) for each call in list L
Loop (L2) for each frequency f of all z frequencies (sorted in increasing order)
    If assign the current frequency f to without violation of any EMC constraints
      assign f to
    Else
      continue;
End (L2)
End (L1)

3.2. DPSO
3.2.1. Position of the Particle

Represent the ordered list of calls as the position of the particle by vector with , where , and when .

3.2.2. Velocity of the Particle

The best call ordering is determined by applying FEA to the list and evaluating the number of blocked calls. The velocity, used to update the particle’s position to inflect the call orderings, is defined as transfer to particle’s position. Denote the velocity by vector , where .

3.2.3. Sum of Position and Velocity

The sum of position and velocity is denoted as , where is the new position, is the original position, and is the velocity. When the particle’s position is updated, if , exchange the th call and the th call in the list and guarantee the feasibility of new position; else keep the th call unchanged.

3.2.4. Subtraction of Position and Velocity

The result of subtraction of two positions is velocity, denoted as . For each dimension of and , compare and one by one. If they are identical, let equal 0; else let equal .

3.2.5. External Multiplication of a Coefficient by a Velocity

The external multiplication of a coefficient by a velocity is represented as , where is a constant between 0 and 1. For each dimension of , a uniformly distributed random number between 0 and 1 is generated, denoted as rand. If , ; else .

3.2.6. Sum of Velocities

The result of sum of two velocities is a new velocity, denoted as . The new velocity is defined by the equation:

3.2.7. Motion Equation

Since the peculiarity of CAP, a motion equation is proposed based on [20], in which the inertia section is determined by experience and the coefficients are adjusted finely. Here, is the motion equation where is the particle’s historical best position, is the swarm’s best position, is the inertia weight, and and are learning factors. When equals 0, the inertia section is canceled.

With the encoding scheme of call orderings, the upper defined operations can guarantee the feasibility of particle’s position. Meanwhile, the formulation still reflects the optimal mechanism for PSO.

3.2.8. Stopping Criteria

The stopping criterion for DPSO is that the best call ordering meeting all requirements (the number of blocked calls is 0 after applying FEA) is found or the max number of iteration is reached. If the max number is reached and the optimal solution is not found, the algorithm does not converge.

3.3. Flowchart of DPSO and FEA Combined Channel Assignment Scheme

The working principle and steps of DPSO and FEA combined channel assignment scheme are described as follows.

Step 1. Input parameters. The parameters are divided into two categories. One is the parameters of PSO, including the size of particle swarm, denoted by size, the maximum number of iterations, denoted by iteration, inertia weight, denoted by , and learning factors, denoted by and . The other is the parameters of CAP, including the number of cells in cellular system, denoted by , the number of channels, denoted by , the matrix of EMC, denoted by , and the demand vector, denoted by .

Step 2. Initialize the position and velocity of particles randomly. If the number of calls is , the initial position is an dimension vector which represents a randomly ordered call list; and the initial velocity is also an dimension vector where the th component equals . is a random number between .

Step 3. Evaluate the fitness of each particle in the swarm. After applying FEA, the number of blocked calls is computed and the fitness is evaluated. Each particle’s current position and fitness is stored in pbest, and the best of all pbests is stored in gbest. If the stopping criteria are met, output the call ordering represented by gbest and stop the algorithm.

Step 4. Update the velocity and position of each particle by (4) and (5).

Step 5. Evaluate the fitness of each particle in the swarm by computing the number of blocked calls.

Step 6. Compare the fitness of each particle with its pbest. If the current fitness is better, update its pbest with the particle’s current position.

Step 7. Compare each particle’s pbest with the swarm’s gbest, update gbest.

Step 8. If the stopping criteria are met, output the call orderings represented by gbest and stops the algorithm, else go to Step 4.

4. Filtering Experiments and Result Analysis

4.1. Inertia Choice and Acceleration Adjustment

The algorithm is written in C#. In order to prove the performance of the algorithm, some well-known benchmark problems are simulated, which can be found in [13]. The efficiency of algorithm is evaluated by the convergence rate (CR) and the convergence speed (CS). The CR is defined as the number of times that the optimum solution is found by executing the algorithm 100 times. The CS is defined as the average number of iteration that the optimum solution is found by executing the algorithm 100 times. Generally, the selection of inertia and acceleration in motion equation and whether to include inertia may affect the algorithm’s performance greatly. In this simulation, the algorithm is performed and evaluated without inertia and with inertia. The value of the inertia weight and the learning factors (namely the acceleration coefficients) , are also determined based on these two conditions by experiment.

4.1.1. Without Inertia ( in (4))

A group of coeffiecient pairs between is selected to determine the best acceleration coefficients , by applying this algorithm to single benchmark Problem 8. Table 2 is the CR and CS of Problem 8.

From Table 2, we can draw two conclusions. One is the algorithm cannot reach 100% CR when equals 1.0. The other is, when keeps constant, the CS becomes faster as increases. When equals 0.8, the CS is fastest. However, the situation is invalid in two marginal cases (0.0 and 1.0). When keeps constant, the selection of has no certain impact on CS. When equals 0.4, the average number of iteration is smallest (1.455) except for equals 0.0 and 1.0. When the coefficients select 0.8/0.8, the best CS is obtained (1.19).

As the result is obtained by only one benchmark problem, we select a group of coefficients pairs between , apply these coefficients to all benchmark problems (except for the simple Problem 1 and 2) and execute all the 6 problems for 5 trials to obtain the best average CS under different coefficients. The CS of each problem under different coefficient is shown in Figure 1 and the average CS of Problem 8 for each trial is listed in Table 3.

From Figure 1, we can conclude the following three conclusions. First, for complex problems, like Problems 5 and 8 which are denoted as blue and purple lines, when keeps constant, the average number of iteration increases as increases. While equals 0.8, this situation is different. Second, for complex problems like Problem 5 and 8, when keeps constant, the number of iteration decreases as increases. Third, for other simple problems, the feature is not obvious as the number of iteration is smaller. From Table 3, we can conclude the following two conclusions. First, for all the benchmark problems, when the coefficient pair selects 0.4/0.4, the least average number of iteration (1.16) is obtained. Second, the largest average number of iteration (1.60) is obtained when equals 0.8 and equals 0.2. The same conclusion that the average number of iteration increases as increases when keeps constant is obtained as the conclusion obtained from Figure 1.

Thus, for single benchmark problem and all benchmark problems, the algorithm performs best when the coefficient pair selects 0.2/0.8 and equals 0. This selection means that the convergence speed can be improved by choosing bigger acceleration coefficient to control the global-search optimum and choosing smaller acceleration coefficient to control the individual-search optimum without inertia section in motion equation for CAP.

4.1.2. With Inertia ( in (4))

From the results obtained above, the acceleration coefficients , are set to be 0.2 and 0.8, respectively. A group of coefficients between are selected to determine the best inertia weight by applying this algorithm to all benchmark problems. Table 4 is the result for average CS obtained when equals 0.0, 0.2, 0.4, 0.6, 0.8, and 1.0, respectively.

From Table 4, when equals 0.4, the algorithm performs best for all benchmark problems and does better than it performs when equals 0.0 (without inertia).

In summary, in the simulation, this algorithm defines a motion equation with inertia section and when , , and select 0.4, 0.2, and 0.8, respectively, the algorithm performs best. Besides, the swarm size of this algorithm is 10 and the max number of iteration is set to be 150 in the simulation.

4.2. Comparison of CS and CR

The quality of initial solution has an important influence on the CR and the CS for DPSO. To eliminate the initial solution’s impact and evaluate the algorithm’s performance objectively, we compute the results with one time and more than one time of iteration respectively, and compare these results with the results obtained from the latest literatures where literature [5] is based on DPSO, literature [21] is based on culture algorithm, and literature [22] is based on genetic algorithm. Table 5 is the result.

The result shows that the proposed algorithm achieves 100 percent convergence rate for all benchmark problems. In the experiment, for simple problems, like Problems 1, 2, and 7, the optimum can be obtained by only one time of iteration. Even for the complex problems like Problems 5 and 8, the algorithm achieves a fast convergence speed. Excluding the impact of initial population on the algorithm, 100 percent convergence rate is still achieved for all benchmark problems and the optimum solution is obtained after 5 times of iteration at most.

The result is better than that in [5], where the new velocity is defined as sequential sum of three movement components in the motion equation. For this reason, extra computation is needed and the movement will influence each other, which slows down the CS. The result is also better than culture algorithm and genetic algorithm based approaches which proves that the DPSO and FEA combined scheme with the selection of inertia and acceleration is an efficient approach for CAP.

5. Conclusion

Adopting the channel assignment on the eight well-known benchmark problems as a case study, this paper systematically conducts experimental filtering research on the selection of inertia and acceleration in the motion equation of DPSO. A channel assignment scheme integrating the optimal DPSO with frequency exhaust assignment (FEA) strategy was proposed to meet the usually large and unevenly distributed channel demand in many regions. Compared with other channel assignment schemes, the proposed scheme with the optical inertia weight and acceleration coefficients achieves 100 percent convergence rate for all benchmark problems and the convergence speed is faster than others without dependence on the quality of initial solution. For cellular systems with high number of cells, this proposed scheme with the optical inertia weight and acceleration coefficients can also be efficiently applied to find the exact solution in an acceptable time of computation. Furthermore, the filtering result on the eight well-known benchmark problems demonstrates that the optimal inertia weight is 0.4 and the two optimal acceleration coefficients are 0.2 and 0.8, respectively. This result implies that DSPO might be of the best convergence performance when its motion equation includes an inertia section in a less medium weight, a bigger acceleration coefficient for global-search optimum, and a smaller acceleration coefficient for individual-search optimum.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Natural Science Foundation of China (Grant no. 61374172), National Scientific and Technological Achievement Transformation Project of China (Grant no. 201255), Electronic Information Industry Development Fund of China (Grant no. 2012407), the Military Technology Proliferation Program of China, and the Fundamental Research Funds for the Central Universities, Hunan University.