This paper presents a constraint programming approach for a batch processing machine on which a finite number of jobs of non-identical sizes must be scheduled. A parallel batch processing machine can process several j...
详细信息
This paper presents a constraint programming approach for a batch processing machine on which a finite number of jobs of non-identical sizes must be scheduled. A parallel batch processing machine can process several jobs simultaneously and the objective is to minimize the maximal lateness. The constraint programming formulation proposed relies on the decomposition of the problem into finding an assignment of the jobs to the batches, and then minimizing the lateness of the batches on a single machine. This formulation is enhanced by a new optimization constraint which is based on a relaxed problem and applies cost-based domain filtering techniques. Experimental results demonstrate the efficiency of cost-based domain filtering techniques. Comparisons to other exact approaches clearly show the benefits of the proposed approach: it can optimally solve problems that are one order of magnitude greater than those solved by a mathematical formulation or by a branch-and-price. (c) 2012 Elsevier B.V. All rights reserved.
Container vessel stowage planning is a hard combinatorial optimization problem with both high economic and environmental impact. We have developed an approach that often is able to generate near-optimal plans for larg...
详细信息
Container vessel stowage planning is a hard combinatorial optimization problem with both high economic and environmental impact. We have developed an approach that often is able to generate near-optimal plans for large container vessels within a few minutes. It decomposes the problem into a master planning phase that distributes the containers to bay sections and a slot planning phase that assigns containers of each bay section to slots. In this paper, we focus on the slot planning phase of this approach and present a constraint programming and Integer programming model for stowing a set of containers in a single bay section. This so-called slot planning problem is NP-hard and often involves stowing several hundred containers. Using state-of-the-art constraint solvers and modeling techniques, however, we were able to solve 90% of 236 real instances from our industrial collaborator to optimality within 1 second. Thus, somewhat to our surprise, it is possible to solve most of these problems optimally within the time required for practical application. (C) 2012 Elsevier B.V. All rights reserved.
The IMPASSE class of local search algorithms have given good results on many vertex colouring benchmarks. Previous work enhanced IMPASSE by adding the constraint programming technique of forward checking, in order to ...
详细信息
The IMPASSE class of local search algorithms have given good results on many vertex colouring benchmarks. Previous work enhanced IMPASSE by adding the constraint programming technique of forward checking, in order to prune colouration neighbourhoods during search. On several large graphs the algorithm found the best known colourings. This paper extends the work by improving the heuristics and generalising the approach to bandwidth multicolouring. It is shown to give better results than a related search algorithm on an integer programming model, and to be competitive with published results. Experiments indicate that stronger constraint propagation further improves search performance, but that a symmetry breaking technique has unpredictable effects. (C) 2007 Elsevier B.V. All rights reserved.
For over five decades, researchers have presented various assembly line problems. Recently, assembly lines with multiple workers at each workstation have become very common in the literature. These lines are often fou...
详细信息
For over five decades, researchers have presented various assembly line problems. Recently, assembly lines with multiple workers at each workstation have become very common in the literature. These lines are often found in the manufacturing of large vehicles, where workers at a workstation may perform their assigned tasks at the same time. Most research on multi-manned assembly lines focuses on balancing tasks and workers among workstations and scheduling tasks for workers. This study, however, concentrates on assigning tasks to workers already assigned to a specific workstation, rather than balancing the entire line. The problem was identified through an industrial case study at a large vehicle manufacturing company. The study presents two methods, one using mixed integer linear programming and the other using constraint programming, to minimise the number of workers required on a multi-manned assembly line with sequence-dependent setup times. The results of the computational experiments indicate that the constraint programming method performs better than the mixed integer linear programming method on several modified benchmark instances from the literature. The constraint programming model is also tested on the real-world scenario of our industrial case study and leads to significant improvements in the productivity of the workstations.
Purpose Airspace sectorization is an important task, which has a significant impact in the everyday work of air control services. Especially in recent years, because of the constant increase in air traffic, existing a...
详细信息
Purpose Airspace sectorization is an important task, which has a significant impact in the everyday work of air control services. Especially in recent years, because of the constant increase in air traffic, existing airspace sectorization techniques have difficulties to tackle the large air traffic volumes, creating imbalanced sectors and uneven workload distribution among sectors. The purpose of this paper is to propose a new approach to find optimal airspace sectorization balancing the traffic controller workload between sectors, subject to airspace requirements. Design/methodology/approach A constraint programming (CP) model called equitable airspace sectorization problem (EQASP) relies on ordered weighted averaging (OWA) multiagent optimization and the parallel portfolio architecture has been developed, which integrates the equity into an existing CP approach (Trandacet al., 2005). The EQASP was evaluated and compared with the method ofTrandacet al.(2005), according to the quality of workload balancing between sectors and the resolution performance. The comparison was achieved using real air traffic low-altitude network data sets of French airspace for five flight information regions for 24 h a day and the Algerian airspace for three various periods (off peak hours, peak hours and 24 h). Findings It has been demonstrated that the proposed EQASP model, which is based on OWA multicriteria optimization method, significantly improved both the solving performance and the workload equity between sectors, while offering strong theoretical properties of the balancing requirement. Interestingly, when solving hard instances, our parallel sectorization tool can provide, at any time, a workable solution, which satisfies all geometric constraints of sectorization. Practical implications This study can be used to design well-balanced air sectors in terms of workload between control units in the strategic phase. To fulfil the airspace users' constraints, one can refer to this
In recent years, there has been a significant increase in health expenditures due to population growth. In this context, hospital administrators have started to look for ways to use existing resources effectively. Ope...
详细信息
In recent years, there has been a significant increase in health expenditures due to population growth. In this context, hospital administrators have started to look for ways to use existing resources effectively. Operating rooms are one of the most important units of a hospital. The efficient use of these units is seen as a decrease in cost items and an increase in revenues. At this point, it is aimed to use the operating rooms effectively in this study. The fact that it contains many uncertainties and many stakeholders in its structure complicates the solution process of the operating room scheduling problem. In this study, planning was made that considered the uncertainty in the operation times and the surgeons, nurses, and anesthesiologists in the surgical team. To solve the problem, the logical modeling power of the constraint programming method and the power of the goal programming method to stretch rigid constraints were utilized. In the first stage, the balanced assignment of the surgical team (surgeon-nurse-anesthesiologist) was carried out, while in the second stage, operations were assigned to the operating rooms. The proposed model was evaluated according to the operating rooms' utilization rates and the solution's effectiveness. The results showed that the proposed model successfully created an effective and efficient schedule.
This paper intends to address the distributed flexible job shop scheduling problem (DFJSP) with minimizing maximum completion time (makespan). In order to solve this problem, we propose four mixed integer linear progr...
详细信息
This paper intends to address the distributed flexible job shop scheduling problem (DFJSP) with minimizing maximum completion time (makespan). In order to solve this problem, we propose four mixed integer linear programming (MILP) models as well as a constraint programming (CP) model, among which four MILP models are formulated based on four different modeling ideas. MILP models are effective in solving small-scaled problems to optimality. DFJSP is NP-hard, therefore, we propose an efficient constraint programming (CP) model based on interval decision variables and domain filtering algorithms. Numerical experiments are conducted to evaluate the performance of the proposed MILP models and CP model. The results show that the sequence-based MILP model is the most efficient one, and the proposed CP model is effective in finding good quality solutions for the both the small-sized and large-sized instances. The CP model incomparably outperforms the state-of-the-art algorithms and obtains new best solutions for 11 benchmark problems. Moreover, the best MILP model and CP model have proved the optimality of 62 best-known solutions.
We consider the logistics network of an e-commerce retailer, specifically the so-called "middle mile" network, that routes inventory from supply warehouses to distribution stations to be ingested into the te...
详细信息
In the context of aircraft assembly lines, increasing the production rate and decreasing the operating costs are two important, and sometimes contradictory, objectives. In small assembly lines, sharing production reso...
详细信息
作者:
Touraïvane, T.PrologIA
Parc Technologique de Luminy case 919 MarseilleCedex 0913288 France
PrologIA has been designing and marketing AI languages and tools since 1984. The company occupies a active position in research into CLP and Natural Language processing. PrologIA has created expert systems for diagnos...
详细信息
暂无评论