Discrete OptimizationScheduling flexible flow lines with sequence-dependent setup times
Introduction
Traditional manufacturing systems have taken many general forms. In increasingly complex manufacturing environments, more complex manufacturing systems have been created in order to address such factors as limited capacity and complicated process plans. For example, the semiconductor industry uses re-entrant flow lines, in which multiple machines may exist at each stage and jobs revisit previous stages many times in a cyclic manner. The printed circuit board and automobile industries make use of flow lines with multiple machines at some stages and allow jobs to skip stages (Piramuthu et al., 1994; Agnetis et al., 1997). Moreover, these industries encounter sequence-dependent setup times which result in even more difficult scheduling problems. The scheduling objective in such industries may vary. Due date related criteria may be important. The makespan criterion has been used by many researchers and has been selected for this research. Scheduling to minimize makespan in flow lines with multiple parallel machines, jobs that may skip stages, and sequence-dependent setup times is the focus of this paper. This kind of manufacturing environment introduces new difficulties that scheduling in simple flow lines, for example, did not address.
To begin, we define the scope of the problem considered in this research. We use the term “hybrid” flow line to indicate flow lines with the presence of multiple identical machines in parallel at some or all stages, though jobs still require processing at exactly one machine per stage. A flexible flow line is a hybrid or (regular) flow line where at least one job need not be processed on any machines in at least one stage. That is, every job must be processed on at most one machine per stage. A flexible flow line consists of several stages in series. A job may not revisit a stage that it has already visited. Each stage has at least one machine, and at least one stage must have more than one machine. At this point, this structure may be considered a hybrid flow line or a flow line with multiple machines. However, the feature that makes our application a flexible flow line is that jobs may skip stages. This could occur in an industry in which some jobs do not require an operation. This situation exists in the printed circuit board manufacturing line modeled by Wittrock, 1985, Wittrock, 1988. Three of the thirteen part types required processing on only two of the three stages.
The potential variants of the basic flexible flow line described above that can be studied are nearly limitless. Now we shall describe the particular features of this research. All data in this problem are known deterministically when scheduling is undertaken. Machines are available at all times, with no breakdowns or scheduled or unscheduled maintenance. Jobs are always processed without error. Job processing cannot be interrupted (no preemption is allowed) and jobs have no associated priority values. Infinite buffers exist between stages and before the first stage and after the last stage; machines cannot be blocked because the current job has nowhere to go. There is no travel time between stages; jobs are available for processing at a stage immediately after completing processing at the previous stage. The ready time for each job is the larger of 0 and the time it completes processing on the previous stage. Machines in parallel are identical in capability and processing rate. A key characteristic of this research topic is that non-anticipatory sequence-dependent setup times exist between jobs at each stage. After completing processing of one job and before beginning processing of the next job, some sort of setup must be performed. The length of time required to do the setup depends on both the prior and the current job to be processed; that is, the setup times are sequence-dependent. Piramuthu et al. (1994) incorporate sequence-dependent setup times in their model of an actual printed circuit board line. Rios-Mercado and Bard (1998) note that sequence-dependent setup times are found in the container manufacturing industry as well as the printed circuit board industry. The formulations in Rios-Mercado and Bard (1998) indicate the assumption has been made that setup can only be performed after the machine is no longer processing any job and the job for which setup is being performed is ready. The examples in Rios-Mercado and Bard, 1999a, Rios-Mercado and Bard, 1999b discussing the container manufacturing industry state that the machines must be adjusted whenever the dimensions of the containers are changed, which presumably cannot be done until the machine is idle. We follow this concept and require the machine on which setup is to be performed to be idle and the job for which setup is required to be available as well.
This paper continues with a review of related research in Section 2. An integer programming model is presented and described in Section 3. Lower bounds are developed in Section 4 for use in evaluating schedules produced with the four heuristics described in Section 5. Using randomly generated test problems, described in Section 6, the heuristics are compared in Section 7. The quality of the lower bounds is also discussed. Section 8 concludes the paper.
Section snippets
Literature review
This literature review will have one component regarding scheduling and a second regarding the random keys genetic algorithm. Scheduling in flexible flow lines and the less general hybrid flow lines can be organized by the approaches used to solve them. We will categorize approaches based on the use of branch-and-bound, extensions of previous flow line techniques, applications of metaheuristics and development of new techniques.
Salvador (1973) first considered multiple machines at serial stages
Integer programming model
The problem addressed in this research can be expressed formally as an integer program. Let g be the number of stages. Let n be the number of jobs to be scheduled and mt be the number of machines at stage t. We assume that machines are initially setup for a nominal job 0 and must finish setup for a tear down job n+1 at every stage. We have the following definitions.
- n
number of true jobs to be scheduled
- g
number of serial stages
- gj
last stage visited by job j
- mt
number of machines at stage t
- pit
Lower bounds
This section contains a theorem with three lower bounds for the problem P. The notation “min[k]” will be used to indicate the (k+1)st from the lowest value and min[0]≡min. For example, given a list of values {2, 5, 7, 8, 9}, min[1]=5. Theorem The following are lower bounds on any feasible solution to P:
Heuristics
The first heuristic is a naı̈ve approach that simply assigns jobs to machines in a greedy fashion. The second expands on a multiple machine insertion heuristic used in previous work done on the single stage problem, in order to take advantage of the sequence-dependent nature of the setup times. The third is based on Johnson's Rule. The fourth is an application of the random keys genetic algorithm. Note that the second caters to setup aspects of the problem while the third derives from standard
Generation of test data
An experiment was conducted to test the performance of the heuristics. Integer data was generated. Data required for a problem consist of the number of jobs, range of processing times, number of stages and whether all stages have the same number of machines or not. Each stage requires data defining how many machines exist at that stage, the sequence dependent setup times, the processing times and the ready times. The ready times for stage 1 are set to 0 for all jobs. The ready times at stage t
Experimental results
This section discusses the effectiveness of the proposed lower bounds and the proposed construction heuristics. The heuristics were implemented in C, compiled with Microsoft Visual C++ and run on a PC with a Pentium III 800 MHz processor with 512 MB of RAM. “Loss” is the (makespan − lower bound)/lower bound. The best lower bound was used for each problem. The running times were found using the clock() function.
Conclusions and future work
This paper has examined four heuristics to find schedules minimizing makespan in flexible flow lines with sequence-dependent setups. These methods included a simplistic greedy method, approaches based on the TSP nature of the problem and the flow line nature of the problem and an application of the Random Keys Genetic Algorithm approaches. Lower bounds have been used in the evaluation of these heuristics. The lower bounds were investigated for performance and found to be efficient. The data
Acknowledgements
This research was supported by the Engineering Research Program of the Office of Basic Energy Sciences at the Department of Energy and by the National Science Foundation under Grant DMII 99-00052.
References (38)
- et al.
Scheduling of flexible flow lines in an automobile assembly plant
European Journal of Operational Research
(1997) - et al.
Branch and bound algorithm for the flow shop with multiple processors
European Journal of Operational Research
(1991) - et al.
Heuristics for scheduling in a flow shop with multiple processors
European Journal of Operational Research
(1999) - et al.
Heuristics for scheduling flexible flow lines
Computers and Industrial Engineering
(1994) - et al.
Heuristic methods for flexible flow line scheduling
Journal of Manufacturing Systems
(1987) - et al.
Comparing scheduling rules for flexible flow lines
International Journal of Production Economics
(2003) - et al.
Minimizing makespan in hybrid flowshops
Operations Research Letters
(1994) - et al.
A fast tabu search algorithm for the permutation flow-shop problem
European Journal of Operational Research
(1996) - et al.
An approximation algorithm for a single-machine scheduling problem with release times and delivery times
Discrete Applied Mathematics
(1994) - et al.
The flow shop with parallel machines: A tabu search approach
European Journal of Operational Research
(1998)