Abstract

This paper deals with the advanced planning and scheduling (APS) problem with multilevel structured products. A constraint programming model is constructed for the problem with the consideration of precedence constraints, capacity constraints, release time and due date. A new constraint programming (CP) method is proposed to minimize the total cost. This method is based on iterative solving via branch and bound. And, at each node, the constraint propagation technique is adapted for domain filtering and consistency check. Three branching strategies are compared to improve the search speed. The results of computational study show that the proposed CP method performs better than the traditional mixed integer programming (MIP) method. And the binary constraint heuristic branching strategy is more effective than the other two branching strategies.

1. Introduction

The complexity of planning processes makes most of companies develop the enterprise resource planning (ERP) system to deal with it [1]. However, as the core planning module of ERP system, material requirement planning (MRP) has its limitations. MRP generally makes plan according to finite material requirements and infinite capacity requirements, meanwhile the production lead time which is actually depending on production planning is predetermined. To cope with these limitations, advanced planning and scheduling (APS) has evolved from both software developers and academics. Compared to these traditional planning systems, APS systems offer the advantage that plans can be optimized within the boundaries of material and capacity constraints [2].

Both academicians and commercial APS providers (such as SAP APO, i2, and Asprova) have attempted to construct effective methods to generate detailed production schedules to balance the demand of the marketplace with the resources capacity. Mathematical programming and heuristic algorithms are often used to achieve this balance. Heuristic algorithms usually concentrate on bottleneck resources [3]. For example, Kung and Chern propose a heuristic factory planning algorithm (HFPA) to solve factory planning problem for product structures with multiple final products. It first identifies the bottleneck work, center then sorts jobs according to various criteria, and finally plans jobs in three iterations [4]. Previous studies have often adopted mix integer programming model to represent the planning and scheduling problem. Moon et al. suggested an advanced planning and scheduling model which integrates capacity constraints and precedence constraints to minimize the makespan [5]. Chen and Ji present a mixed integer programming model explicitly considering capacity constraints, operation sequence, lead times, and due dates in a multiorder environment [6]. Örenk et al. extend this model to the situation that an operation can be assigned to alternative machines [7]. The extensions to the basic model include sequence dependent setups and transfer times between machines [8]. Although mathematical programming and heuristic algorithms are widely used, their obstacles are also obvious. Mathematical programming method is too time-consuming when the problem size is large, which makes it not practical, while each heuristic algorithm is only applicable to a specific kind of problem [9].

Constraint Programming (CP) method is a relatively new technique. It has been identified as a strategic direction and dominant form for the industrial application of production planning and scheduling [10, 11]. It has been proved to be effective in dealing with combined optimization problems because of its broad representational scope and generally applicable solving algorithm. CP was originally developed to solve constraint satisfaction problem (CSP) to find a value for each variable where constraints specify that some subsets of values cannot be used together. And it has been extended to constraint optimized problem (COP) which adds an objective function (such as cost). The optimized solution is achieved by solving a CSP in which the objective function of the problem is rewritten as a constraint that forces it to be equal to a new value. Constraint-based scheduling is the discipline that studies how to solve the scheduling problems by using CP. It is analyzed and discussed by using theory and examples including how objectives, decision-variables, and penalty factors are handled in the literature [12]. The research group also presents an integrated approach that uses the complementary strengths of MILP and CP for solving the combined planning and scheduling problem within an APS system as part of the core optimization engine [13]. A constraint programming technique and a new genetic algorithm are proposed to solve a preemptive and nonpreemptive scheduling model as one of the advanced scheduling problems in the literature [14]. The experiment results show that the proposed method is effective. However, it is only applied to job-shop scheduling problems under a single machine. The literature [15] concentrates on building a constraint programming model in a flexible manufacturing system, but the solving algorithm is not discussed.

In this paper, a constraint programming method for advanced planning and scheduling system with multilevel structured products is presented. The constraint programming model with multilevel structured products was proposed with the consideration of precedence constraints, capacity constraints, release time, and due date. The solving process for the COP combines constraint programming method with branch and bound algorithm. The constraint propagation and branching strategy are discussed to deal with CSP. This paper is organized as follows. Section 2 describes the problem of APS that we studied; Section 3 introduces the constraint programming model and the solving algorithm in detail; a computational study is given to illustrate the effectiveness of this model and algorithm in Section 4; some conclusions and further research direction will be given in Section 5.

2. Problem Description

The advanced planning and scheduling problem defined in this paper is similar to the situation in the literature [6] which deals with it by a mixed integer programming (MIP) method. The products considered in this system have multilevel structures. The product tree structure (bill of material) defines the precedence constraints in scheduling problems (Figure 1). The information in the circle gives the operation number and its processing machines. The number on the arrows shows the quantity of material needed for a final product (the default number is 1). For example, the final product five (with the assembly 5-6) is composed of one subassembly (5-3) and two components (5-4 and 5-5). Meanwhile, the subassembly (5-3) is made up of components (5-1 and 5-2). This multilevel structure is typical in industry production and is often more complex than this example.

Assume that a production system contains machines and products. Every product has operations. Every operation can be processed on a dedicated machine. An optimal schedule for the products should be found to minimize the total cost including tardy cost and early cost. Some conditions are assumed to reduce the complexity of the problem. The product tree structure, release time, and due date are known in advance and similarly for processing time of operations. A lot-for-lot strategy is adopted for making products, while the setup times are negligible.

3. Constraint Programming Approach

The classic definition of a constraint satisfaction problem (CSP) is as follows. A CSP is a triple , where is an -tuple of variables , is a corresponding -tuple of domains such that , and is a -tuple of constraints . A solution to the CSP is an -tuple , where and each is satisfied. The algorithm for solving constraint model can be classified into two categories: inference and search [16]. Inference techniques can eliminate large subspaces by local constraint propagation method. Search systematically explores solution, often eliminating subspaces with a single failure. These two basic strategies are usually combined in most applications.

CSP provides a feasible solution satisfying all the constraints. But in real life, we try to find an optimal or relatively better solution with a definite objective such as the minimization of the cost or time. As a result, the emergency of the constraint optimization problem (COP) is extended from CSP. The solving algorithm for COP is based on CSP. The domain of the objective function value is defined by the lower bound (LB) and upper bound (UB) and it is gradually restricted with the calculation process. The objective function is rewritten as a constraint which forces it to be equal to (or less than, or more than) a new value (generally, it is a liner relation with LB and UB). Then the COP is transferred to solve CSP iteratively. Once a feasible solution is found, the LB or the UB is changed and the additional constraint for the objective is restricted. The search terminates when LB equals UB or all the nodes are fathomed.

3.1. The Constraint Programming Model

In order to build the APS constraint programming model, the following notations are used to describe the problem:: product index: machine index: operation index.Parameters: number of products: number of machines: operation number of product : the th operation of product : the quantity of part which takes: the processing tome of the operation : the quantity of product : the release time of product : the due time of product : 1 if the precedes operation t, 0 otherwise: the effective work time per dayTC: cost of tardy products per day per jobEC: cost of early products per day per job.Variables: production makespan: early days of product (real): tardy days of product (real): early days of product (integer): tardy days of product (integer).

The variable of the constraint model for advanced planning and scheduling problem is the start time of each operation . The variable and , respectively, denote duration time and end time of operation . The equation clarifies their relationship. The problem described in Section 2 can be formulated as the following model: subject to

The objective is to minimize the total cost which includes the early cost and tardy cost. The penalties on tardiness and earliness mean just-in-time (either early or late delivery results in an increase in the cost).

The multilevel structure of products is defined by the binary parameter , which can express all the tree structures. Constraint (2) means that the start time of each operation should not be less than the release time of the product. Constraint (3) defines the duration of each operation. Constraint (4) shows that the completion time of each product should be less than or equal to the makespan. Constraint (5) implies that if two operations require the same machine, then one cannot start before the end of the other operation. Constraint (6) ensures the precedence constraints based on the product tree structure. Constraints (7) and (8) define the early time and tardy time (real type) of each product. Constraints (9) and (10) convert the value of real type time to integer type because the penalty costs are in the unit of days. Constraint (11) indicates the domain of variables.

3.2. Solving Approach

The proposed constraint programming model is a COP which can be transferred to CSPs with the addition of an objective function value constraint

We delete the objective function (1) and add constraint (12) to structure a CSP. The optimal solution of the COP can be generated by iteratively solving the CSP and continuously restricting constraint (12). The detailed solving steps can be summarized as follows.

Step 1. Compute the LB and UB of the objective function .

Step 2. Add the constraint , where to the CSP.

Step 3. Solve the CSP and set a fixed time cutoff. If a feasible solution is found, the UB is updated to the value of the objective function . Else, update .

Step 4. Repeat Steps 2 and 3, until .

Initially, the UB of the objective function is calculated by solving the CSP without constraint (12) to find an initial feasible solution . The UB is set to be equal to the value of . While the LB of the objective function is calculated by the constraint propagation technique to determine the time window of each operation which will be introduced in Section 3.2.1, LB is formulated as follows: where is equal to the earliest start time of the last operation plus the processing time of the operation. Correspondingly, equals the latest start time of the last operation plus the processing time of the operation. The symbol is the smallest integer greater than or equal to . Since the starting upper bound is often very poor, we reduce the gap by performing a dichotomic search.

In this paper, the solving process of CSP in Step 3 is based on a depth-first exploration of the search tree (Figure 2). At each node, a propagation phase is triggered in order to detect possible inconsistencies and reduce the search space. If this phase detects an inconsistency, the algorithm backtracks and removes the effects of the previous decision. If no inconsistency is detected, a branching process is applied recursively to the child nodes until a solution is found or until all the search spaces have been explored. So in the next two parts, we will introduce the constraint propagation technique and branching strategies which directly influence the search speed.

3.2.1. Constraint Propagation

The propagation phase is fundamental to reduce the size of the search space and to avoid exploring an exponential size space. The constraint propagation could be based on time or resources. Usually, timetable method uses time window to express the constraints when using constraint propagation based on time. The time window of the start time of an operation is , in which means the earliest start time and means the latest start time. The time window will be tightened during the constraint propagation process. Once an operation’s time window is changed, then the time window of succeeding and preceding operations will be also changed. The constraint propagation rule for timetable is as follows:

The earliest start time of each operation can be updated by formulae (14) and (15). Formula (14) is defined for the start operations without any operation preceding them. The earliest start time of succeeding operation is updated based on formulae (15) accompanied with the change of the preceding operations. Correspondingly, the latest start time of each operation can be updated by formulae (16) and (17). Formula (16) is defined for the last operations without any operation succeeding it. The latest start time of preceding operation is updated based on formula (17) accompanied with the change of the succeeding operations.

3.2.2. Branching Strategy

The earliest search method used in CP algorithm is the generate-and-test (GT) algorithm. Its efficiency is poor because of noninformed generator and late discovery of inconsistencies, and consequently the backtracking (BT) algorithm was put forward. Backtrack is the fundamental “complete” search method for constraint satisfaction problems. Basic backtracking search builds up a partial solution by choosing values for variables until it reaches a dead end, where the partial solution cannot be consistently extended.

Several branching strategies have been proposed for the standard job-shop problem [17]. The branching strategy determines the shape of the search tree which directly influences the search speed. In this part, we will consider three heuristic branching strategies.

Strategy 1 (binary constraint heuristic): it creates a binary search tree by branching on the two possibilities defined by a disjunction. Constraint (5) defines two possibilities. Assuming two operations and share the same machine , the constraint is posted to one branch and the constraint corresponds to another branch.

Strategy 2 (variable-based heuristic): we use variable ordering heuristic to select the variable with the smallest domain size. The variables in the constraint model are the start times of each operation. The domain of variable is in the interval of the earliest start time and the latest start time. We select the variable with the smallest domain size and set the value with ascending order.

Strategy 3 (task-based heuristic): it consists of the definition of a task selection strategy and a value selection heuristic for the task start times. We select the task with the smallest latest completion time and choose the value with descending order.

4. Computational Study

To illustrate the proposed CP method for advanced planning and scheduling, a simple example is given below which involves five types of products and five types of machines. Figure 1 gives the representation of the product tree structures which shows the processing machines. Table 1 provides more information about these products. A product is described by the triplet (), where is the demand quantity, is the release time, and is the due date. The processing time of operation is also shown in this table. The cost of tardiness and earliness is 25 per day and 5 per day. The effective work time is 80 per day.

The example model was solved by an OR-optimization software tool called Xpress-MP with 2.53 GHz CPU and 4 GB RAM. The Gantt chart is shown in Figure 3 (we add a virtual machine to allocate the virtual tasks). The makespan is 392. Product 4 is delayed for two days. The optimized total cost is 50.

The benchmark does not exist for this problem because it considers all the product tree structures, not only job-shop type. As a result, we generate the testing problems based on the simple example. We extend the data set to three types of problems with different number of products, maximum number of operations, and number of machines (Table 2). Each type contains three instances. Instances a-1 to a-3 are of type 5*6*5 (small instances). Instances b-1 to b-3 are of type 10*6*5 (medium instances). Instances c-1 to c-3 are of type 5*21*5 (large instances).

The MIP and CP models are, respectively, solved by Xpress-mmxprs and Xpress-Kalis modules. Table 3 shows the size of the CP and MIP models in terms of the number of variables and constraints according to the above problem instances. The MIP models contain a noticeably larger number of variables in all problems than the CP models, while the number of constraints is less than in the CP models. The computation time and the objective value are also shown in this table. It should be also noted that when the problem size is large, the solving time for MIP is increased fast and cannot even get the optimal solution in acceptable time. The instance results in bold are proved to be optimal. The maximum computation time is set to be 1000 s. The CP method gets 7 optimal solutions in 9 instances, while the MIP method only gets 5. The computation time of CP method (strategy 1) is apparently less than that of the MIP method.

The branching strategies are also compared in our computational study. The computation time and backtrack iterations are shown in Table 4. It is obviously shown that branching strategy 1 is superior to other strategies in terms of high computation speed and less backtrack times.

5. Conclusion and Future Work

We have proposed a constraint programming approach to solve the advanced planning and scheduling problem with multilevel structured products. The cooperation of constraint programming method and branch and bound algorithm is applied to deal with the CP model. And it is proved to be more effective than the MIP model. Moreover, three branching strategies for constraint model are compared. The results have shown that the performance of binary constraint branching strategy is better.

This study shows that constraint programming is effective for advanced planning and scheduling problem. Although we have considered all the types of product structures, there still are some conditions we havenot taken into consideration, such as setup time and alternative operations [18]. In our future research, we will build a more comprehensive model closer to the real-life production and design a hybrid algorithm to solve it.

Conflict of Interests

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

Acknowledgments

This work has been supported by Shanghai Excellent Young Teachers Program (shu11008), the Innovation Found Project of Shanghai University (sdcx2012015), and Natural Science Foundation of Zhejiang (Y6110045).