Abstract
With the growth of environmental awareness, remanufacturing and sustainable manufacturing have become hot issues. Disassembly is the first step and critical activity in remanufacturing. Traditional disassembly sequence planning (DSP) focusses on sequential disassembly. However, it is inefficient for complicated products because only one manipulator is employed to execute disassembly operations. Thus, this work focusses on parallel DSP (PDSP) and proposes a selective parallel disassembly sequence planning (SPDSP) methodology, which performs disassembly compared to sequential DSP and PDSP. In this paper, a mathematical model is used to describe the constraint and precedence relationships, and a parallel sequence model is designed for parallel disassembly. A novel hybrid genetic algorithm (NHGA) based-multi-objective model of SPDSP is proposed for optimisation. In this model, two indicators are integrated: disassembly time (including basic disassembly time, tool exchange time and direction change time) and disassembly costs. A transmission box is used as an instance, and a comparison with conventional genetic algorithm (GA), simulated annealing (SA) and tabu search (TS) is made to validate the practicality of the proposed methodology.
Keywords
Introduction
In recent years, with the rapid development of technology, the product’s service life was shortened, resulting in an enormous number of end-of-life products. Since waste products contain many renewable resources, recycling end-of-life products by remanufacturing has become a key to saving resources and protecting the environment. 1 Remanufacturing activities include product disassembly, cleaning, identification of parts, parts recovery and product reassembly. 2 Disassembly is the first and crucial step of remanufacturing since it shall be performed successfully to ensure the subsequent steps in remanufacturing proceed. 3 The disassembly sequence planning (DSP) determines the disassembly order of parts or operations, namely the disassembly sequence (DS), and is the main research topic in the disassembly process.1,4 There are two main classifications of DSP 5 : sequential disassembly planning (SDSP) and parallel disassembly planning (PDSP); complete and incomplete DSP (CDSP and IDSP). The following content is to introduce DSP according to the two classification methods.
In the SDSP, the manipulator removes parts one by one, and it has been studied for decades. 6 The research in this area mainly focusses on intelligent optimisation algorithms for DS optimisation. Go et al. 7 applied a genetic algorithm (GA) to find optimal disassembly sequence involving basic time, direction change time, and method change time. Ren et al. 8 developed a two-phase meta-heuristic to optimise disassembly cost and time. In addition to disassembly cost and disassembly time, additional processes such as tool change and direction change influence disassembly efficiency significantly. Lu et al. 9 developed an SDSP method based on an ant colony algorithm for optimisation involving several objectives: direction, tool change and operation type. Zhang et al. 10 proposed a precedence-based disassembly subset method for SDSP and iteration for additional process optimisation, including tool and direction change. Compared with SDSP, PDSP uses multiple manipulators to reduce the disassembly time and shorten the disassembly process but complicate the addition process.
In CDSP, the parts of the product are completely disassembled, and all parts will be dismantled for recycling. There are many studies in this area. For example, the literature7,9,10 belongs to the category of CDSP. In addition, Zhang et al. 11 based on a GA to optimise disassembly time and carbon emission in CDSP. Kheder et al. 12 focussed on optimising several indicators, such as maintenance, direction changing and relative volume. Compared with CDSP, IDSP is cheaper because only some specific parts (e.g. high-value or high-affected parts) need to be removed, reducing disassembly time and cost. To determine the optimal partial disassembly process, Smith et al. 13 proposed a partial SDSP method based on cost-benefit. In addition, Tian et al. 14 proposed an improved artificial bee colony to optimise the SDSP method concerning profit and energy consumption. Ren et al. 15 developed a selective PDSP (SPDSP) based discrete artificial bee colony algorithm to optimise disassembly time and profit. Jin et al. 16 established an SPDSP optimisation methodology on hazard indicator, value indicator, profit to disassemble the specific part by CAD data. In the literature,11–13 some researchers focussed on IDSP but failed to find the optimal sequence with a specific part or subassembly as the disassembly target. In addition, there few studies that combine selective disassembly and parallel disassembly.
To solve the DSP problem, some models and methods introduced mainly included mathematical programming, heuristic and metaheuristic methods. 6 Zhu et al., 17 Ullerich and Buscher 18 based on a linear programming method and a mixed-integer linear programming method to optimise DSP, respectively. Smith and Hung 5 proposed a rule-based recursive heuristic method to solve DSP. Besides, one method is to use some specific graph models of the product to get optimal solutions by reasoning.19,20 DSP is an NP-hard problem, and the amount of computation increases exponentially as the structure or parts increasing. 4 Compared with the mathematical programming method, metaheuristics are a hot research topic in DSP optimisation, which can get satisfactory results in a reasonable time and is widely used in DSP.
The rest of this paper is organised as follows. Section 2 presents mathematical models used to denote precedence relationships and a parallel disassembly sequence model. Section 3 describes each indicator and evaluation of the multi-objective optimisation problem. In Section 4, several modifications on GA are proposed. Then, a transmission box is selected as an instance, and a case study is discussed in Section 5. Finally, some conclusions are summarised in Section 6.
Notation and sequence model
Disassembly information model
In order to carry out SPDSP, the mathematic models need to represent contact and precedence constraints among parts. Such models are collectively referred to as the information model of the product, and selecting a proper information model is the first step for DSP. 21
The disassembly hybrid graph model (DHGM) is chosen, and it can be denoted as G = (V, Ef, Efc, Ec). 22 It combines the characteristics of directed and undirected graphs and clearly shows the contact and constraint relationships among parts. V stands for subassemblies set; Ef is an undirected solid edge, which denotes contact between two parts; Efc is a directed solid edge representing constrain relationship and contact between two parts; Ec is a directed dotted edge set which means constrain the relationship between two non-contact parts.
A pump model is shown in Figure 1(a) was chosen as an instance to illustrate this graph model. The parts are numbered, and its DHGM model is shown in Figure 1(b).

The exploded view and DHGM model of a certain pump: (a) exploded view and (b) the DHGM model.
In order to facilitate the subsequent programming, based on DHGM, the contact matrix MT = (V, Ef) and the constraint matrix MC = (V, Efc, Ec) are developed to describe the contact and precedence relationships. Supposing that V contains n parts, the meanings of MT and MC’s basic elements are shown in equations (1) and (2), and the MT and Mc of Figure 1(b) are as follows:
Notations and assumption
Notations and major assumptions are summarised as follows.
Notations
P: Parts set;
x: Appointed part or target part;
d: Parallel degree, the maximum number of parts can be disassembled in one process;
api: The number of parts can be disassembled in the process i;
n: Total number of parts;
m: The actual number of parts removed;
p: The number of processes till x have been disassembled;
M: Manipulators set;
mi: Manipulator i, mi∈M;
PDS: Parallel disassembly sequence, PDS = [PS, SS, MS];
PS: Part sequence, PS = [ai]1×n, ai∈P;
SS: Step-size sequence, SS = [bi]1×n, bi≤d;
MS: Manipulator sequence, MS=[ci]1×n, ci∈M;
tp: Total number of processes for PS;
ej i: part #e, which disassembled by mj in process i, ei j ∈P;
BDT(ej i): Basic disassembly time (BDT) operator, BDT of ei j ;
T(ej i): Tool operator, disassembly tool for ei j ;
DO(ej i): Direction operator, disassembly direction of ei j ;
TET: Tool exchange time, it is set to 3S;
DCT: Direction change time, it is set to 2S;
Assumptions
(1): SPDSP is an idealised procedure of non-destructive disassembly procedure that does not damage parts during disassembly;
(2): The manipulator will not break down;
(3): The disassembly time and cost of each part are predetermined and constant;
(4): The manipulators start to work simultaneously in one process;
(5): The part with maximum disassembly time determines the disassembly time of a process.
Parallel disassembly sequence model
The parallel disassembly sequence (PDS) model is introduced in this section. The PDS consists of three segments: part sequence (PS), step-size sequence (SS) and manipulator sequence (MS). Figure 2 illustrates the relationship between the three segments. The corresponding manipulator will disassemble each unit in PS in MS, and each unit in SS means that the number of parts disassembled at the same time of process i. As shown in Figure 2, ai will be disassembled by ci, and bk indicates that bk parts can be disassembled simultaneously in process k.

PDS model.
A part can be disassembled if it is unconstrained and in contact with only one part. According to this rule, the parts that can be disassembled in one step can be determined, and the PDS sequence is generated as follows: Scanning MT and MC, find all the parts Pi that can be disassembled of the process i. Combining the parallel degree d, select api parts from Pi and fill PS sequentially. Then, set bi = api and randomly assign api parts to each manipulator.
Solution decoding and evaluation
Extract the fragment involving the target part x, determine each process’s specific task, and solve SPDSP. This procedure is called decoding and is summarised as follows:
Step 1. Find x and the process bi it belongs to in SS;
Step 2. Assign aj to the corresponding manipulator till part x.
For example, set PS = [2, 4, 3, 1, 5], SS = [2, 2, 1, 0, 0], MS = [1, 2, 2, 1, 1], d = 2 and x = #3. According to the decoding rule in section Parallel disassembly sequence model, #2 and #4 will be removed by m1 and m2, respectively, in the first process. #3 will be disassembled by m2 in the second process. Due to parts’ constraints, some manipulators will inevitably stay idle in some processes. The quality of the disassembly scheme can be judged based on the fitness function introduced in section 3.
The SPDSP model description
Disassembly time
In terms of disassembly time, three factors need to be considered: total basic disassembly time (TBDT), total tool exchange time (TTET) and total direction change time (TDCT).7,23 It is more complicated than the SDSP since multiple manipulators perform tasks simultaneously. There are no papers based on this model to study PDSP and SPDSP’s disassembly time, and a modified model will be demonstrated in this section.
Total basic disassembly time
The basic disassembly time (BDT) of a part is the most necessary time to disassemble a part, and the total BDT (TBDT) can be denoted as follows, where BDT(eij) implies the basic disassembly time of the manipulator j in the process i.
Additional time
It is common to change the disassembly tool at the interval of two adjacent processes, and the tool exchange time (TET) needs to be considered. If one manipulator changes its disassembly tool between two adjacent processes, TET will be considered and total TET (TTET) can be denoted as follows:
Where Δ i is the tool exchange operator, T(ej i) is the tool used in the process i by manipulator j for the disassembly of part e.
The total direction change time (TDCT) is another essential part of the disassembly time model. Suppose that the direction of each part is represented by the direction operator DO(ej i). If the direction of the two parts is different, the direction compensation operator DCOj i needs to be calculated by equation (6), and the TDCT is denoted as equation (7).
In equations (6) and (7), where DO(ej i) is the direction in which the part is disassembled by manipulator j in the process i; DCOj i is the direction compensation operator used to calculate the changing angle of manipulator j in two adjacent processes. Note that if a manipulator worked at the current process and is idle in the next process, the direction and tool will not be changed, and the total disassembly time is presented in equation (8):
Cost
The basic disassembly cost (BDC) refers to the necessary cost of removing a subassembly, such as dismantling and cleaning. It is assumed that the total cost is related to the parts that have been disassembled. As denoted in equation (9), it is numerically equal to the sum of all parts’ disassembly costs.
Multi-objective function
In multiple criteria decision-making problems, the analytic hierarchy process (AHP) is widely used. 24 According to the normalisation method using the base value of each indicator proposed by Kopacz et al., 25 the base values are replaced by average disassembly time (ADT) and average disassembly cost (ADC) in this model. Note that ADT and ADC are related to x and d, and they are obtained by simulating a sample group with a certain scale (computing of indicators involving decoding method in section Solution decoding and evaluation). Then, the indicators of the solution can be processed by equation (10) to achieve normalisation.
Finally, the multi-objective function (fitness function) is obtained as follows, and the performance of different solutions can be compared.
In equation (11), wi is the weight of indicator i, and w1+w2 = 1. According to references on AHP, 24 w1 and w2 are set as 0.667 and 0.333 via scoring and calculating, respectively. A dual-objective disassembly optimisation model is obtained.
The proposed optimisation method
The DSP optimisation has already been proved to be an NP-hard problem. As problem size increases, the solution space will grow exponentially, and metaheuristics are suitable for this scenario because a set of solutions can be processed in parallel, and a similar property might be used for solution recombination. A novel hybrid genetic algorithm (NHGA) is proposed, and its complete procedure is shown in Figure 3, where Ilimit is maximum number of iterations, pm is mutation possibility, pc is crossover possibility, Popsize is population size.

The frame of the optimisation algorithm.
Note that the fitness function, equation (11), is merely used in solution decoding in section Solution decoding and evaluation, and PS is applied to crossover and mutation for solution searching. Once PS changes, MS and SS will be upgraded immediately. Especially for MS, there might be several feasible MS for a PS, which can diversify the population. Then, except for fitness computing, other GA operators are similar with the way treating sequential disassembly sequences. The reciprocal value of the fitness function is applied in Roulette wheel selection for crossover selection.
Crossover
Two kinds of crossover strategies are used, including precedence preservative crossover (PPX) and two-point crossover, and their procedures are shown in Figure 4. Take the PS of the pump model in section 2 as an instance. In PPX, a child mask is a sequence consisting of ‘1’ or ‘2’. ‘1’ and ‘2’ represent the element in the Child that should be taken from which parent chromosome. Taking the child mask [1, 2, 2, 2, 1, 1, 2, 1] in Figure 4(a) to illustrate its mechanism, set the first element of parent 1 to the first element of the Child (part #1), and delete #1 in parent sequence 1 and 2. If the element is zero, fill the Child with the closest non-zero element from left to right and repeat till the child sequence is filled up.

Crossover operators: (a) PPX and (b) two-point crossover.
The other operator is a two-point crossover. Generate two random index points r1 and r2, find all the elements that index between r1 and r2 in parent 2, and take all the elements between the maximum and minimum index. Finally, reconstruct the Child with sub-sequence according to precedence constraints (see Figure 4(b)). The procedure will be repeated in both operators until the Child is filled and suitable for precedence constraints.
Mutation
Three kinds of neighbour searching methods (namely swap, insert and right point cut operator (RPCO)) is adopted for mutation, and their mechanisms are shown in Figure 5. A PS will randomly choose an operator for mutation.

Mutation operator: (a) RPCO, (b) exchange, and (c) swap.
The right point cut operator (RPCO) randomly selects an index and extracts all the subsequent elements. Then, reconstruct the PS from point r to the end with the extracted elements. In the exchange operation, randomly select two points, and exchange them. Swap operation randomly selects a task and inserts it into another random unit. Due to the precedence constraints, the mutation is repeated till a feasible solution is returned.
Renew
The quality of a chromosome might be worse after crossover and mutation. The conventional GA is only confined to the initial population, and it never introduces new individuals except for initialisation. This may lead to converging too fast and reach a locally optimal solution rather than a globally optimal solution. And a new mechanism, renew operator, is introduced, providing more vitality and diversity for searching in the broader space.
The number of new individuals will be determined by comparing the fitness value after crossover and mutation with the current minimum value. Due to the randomness of task assignment, some new chromosomes with better attributes may be obtained. On this basis, a group containing Popsize individuals is selected for the next iteration according to the fitness value; meanwhile, bad chromosomes are eliminated.
Case study and analysis
The proposed methodology is applied in the case of a transmission box shown in Figure 6. The optimisation performance of NHGA and some famous metaheuristic algorithms are compared. All the experiments and simulations are performed on Matlab R2016a.

The exploded view of the transmission box.
The main parameters in the case are the appointed target part x and parallel degree d, and they can exert great influence in determining the scale and values of the solutions. For the control parameters of NHGA, set the maximum iteration time Ilimit = 300, the population size PopSize = 50, the crossover possibility pc = 0.8 and the mutation possibility pm = 0.3.
Case study
The product’s DHGM is presented in Figure 7, MT and MC are in Appendix Figures A1 and A2. The attributes of all the parts and disassembly tools are shown in Table 1. For simplification, the same parts are considered as one part, and it is assumed that the bottom base and its internal parts can be removed after all upper parts have been completely removed.
The parts and their properties of the manual transmission.

DHGM of the instance.
d is set to 2, 3, 4, and x is appointed as 21 and 29, and the results and optimisation performance are shown in Table 2 and Figure 8, where mi represent manipulator i. The sixth and seventh columns show the value of disassembly time and cost. It is a pity that the BDT and cost are not using actual data, and they are determined on simulation, and the feasibility of the methodology will not be affected. ADT and ADC are obtained by simulation, as shown in the fourth and fifth columns in Table 2, respectively.
The decoding solutions.

Time and cost of NHGA: (a) result of disassembly time of part #21, (b) result of disassembly cost of part #21, (c) result of disassembly time of part #29, and (d) result of disassembly cost of part #29.
From the analysis of (b) and (d) in Figure 8, once x is determined, the number and type of parts are also determined after iteration. For instance, in (b), although d is different, after the iteration, the final cost also converges to 6.9; in Figure 8(d), d = 2 and 4 also converge to 10.5. But for disassembly time, it will be different. Due to multiple manipulators, the efficiency is improved compared with sequential disassembly. However, if the total disassembly process is not complicated, for example, x = 21, there is no significant improvement in disassembly efficiency. Moreover, several manipulators will stay idle, as shown in Table 2 (d = 4, x = 29). In this case, the additional process is the most critical factor affecting disassembly efficiency, and it is not advisable to increase manipulators to improve disassembly efficiency.
Comparison with other methods
To test the performance of the proposed method, the computational results are compared with conventional GA, 23 simulated annealing (SA) 26 and tabu search (TS). 27 The number of iterations of SA and TS is Ilimit × group_size, and the best solutions in each group_size times will be compared with the result obtained in each generation of NHGA. The same sequence model, decoding methods (see section 2), and objective functions are used. The results are shown in Figure 9 and Table 3. In Figure 9, (a), (b), and (c) show the result of #21 part with different d; (d), (e) and (f) show the result of #29 part with different d.
Comparison of different algorithm.

The result of multi-objective optimisation: (a) d = 2, part #21, (b) d = 3, part #21, (c) d = 4, part #21, (d) d = 2, part #29, (e) d = 3, part #29, and (f) d = 4, part #29.
The results of these six experiments were iterated for Ilimit times, and the results in Figure 9 consist of disassembly time, cost and value of normalised multi-objection function. Take #29 part as an example, combined with Figure 9 and Table 3, when d = 2, the values of disassembly time are 71, 74, 121 and 132 s of NHGA, GA, SA and TS, respectively. Meanwhile, it can also be seen that NHGA has the best performance and a similar performance in other scenarios, especially for x, which has a long task assignment sequence and complicated structure. In addition, combined with computational results in Table 3, TS has the worst performance, and SA is the second-worst method. The performance of the algorithms can be ranked as follows: NHGA > GA > SA > TS.
Conclusion and future work
In this paper, a novel selective parallel disassembly methodology is proposed. Firstly, a graph model, contact matrix MT and precedence matrix MC are used to quantify the priority relationship for disassembly. Secondly, a PDS model and a decoding method for SPDSP are designed. With the support of MT and MC, an algorithm for PDS generation is discussed. Thirdly, a method for decoding PDS into task assignment sequence for indicators’ computation method is developed to minimise the disassembly time and cost. Finally, the GA’s crossover and mutation operators are modified and applied to the multi-objective optimisation process. A manual transmission box was selected as an instance to demonstrate the correctness of the methodology. The parallel degree d and target part x were set to different values. The line charts of the time and cost objective functions show the disassembly efficiency of different d. The two objectives are integrated into the fitness function by AHP, and scatter plots in Figure 9 illustrate different algorithms’ optimisation performance. In addition, the additional time is applied to parallel disassembly in this study, and the optimisation method achieves the effect, shortening the disassembly time and reducing the cost.
But there are still some limitations. Firstly, in terms of data, such as disassembly time and cost, we just made an estimation and did not use the actual disassembly data. Secondly, the methodology is based on the assumption that all the manipulators start disassembly at the same time in a process, and it is a synchronised disassembly activity. Although the efficiency is greatly improved compared with sequential disassembly, idle time still exists, causing unnecessary waste of time. All of these need to be studied in the future.
Footnotes
Appendix
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This research was supported by the National Nature Science Foundation of China [grant number 51875156] and the 2018 Open Research Fund by Jiangsu Key Laboratory of Recycling and Reuse Technology for Mechanical and Electronic Products [grant number RRME 201803].
