2015 International Conference on Industrial Engineering and Systems Management (IESM)最新文献_第2页

A batch sizing and scheduling problem on parallel machines with different speeds, maintenance operations, setup times and energy costs 具有不同速度、维护操作、设置时间和能源成本的并行机器上的批量大小和调度问题

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-21 DOI: 10.1109/IESM.2015.7380260

Margaux Nattaf, C. Artigues, P. Lopez, R. Medina, V. Parada, L. Pradenas

{"title":"A batch sizing and scheduling problem on parallel machines with different speeds, maintenance operations, setup times and energy costs","authors":"Margaux Nattaf, C. Artigues, P. Lopez, R. Medina, V. Parada, L. Pradenas","doi":"10.1109/IESM.2015.7380260","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380260","url":null,"abstract":"This paper considers a production scheduling problem in a Chilean company from the metalworking industry. This company produces steel balls of different diameters on parallel production lines. There are different types of production lines and each production line may have a different speed for producing each diameter. Furthermore a setup time occurs when changing the diameter produced on each machine. Besides these production and setup operations, maintenance operations have to be scheduled. These electrical machines yield high energy demands. It is therefore crucial to minimize total energy consumption, which depends on batch/machine assignment, and maximum demand on peak hours. We consider the batch sizing and scheduling problem involving electricity costs in a non-uniform parallel machine context. Given a demand for each family of steel balls, the problem consists in splitting the demand in sublots (batches) that have to be assigned and scheduled on the parallel machines together with the required maintenance operations. The goal is to complete the schedule before a common deadline while minimizing electricity costs. We propose to tackle this problem through mixed integer linear programming. We propose a global formulation and a two-phase matheuristic. Computational results on realistic instances are provided.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131645288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Service capacity pooling in M/G/1 service systems M/G/1业务系统的业务容量池

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-21 DOI: 10.1109/IESM.2015.7380292

Jing Peng, O. Jouini, Y. Dallery, Z. Jemai

{"title":"Service capacity pooling in M/G/1 service systems","authors":"Jing Peng, O. Jouini, Y. Dallery, Z. Jemai","doi":"10.1109/IESM.2015.7380292","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380292","url":null,"abstract":"We study the cost-sharing problem among independent service providers in a service capacity pooling system. The effective improvement of such pooling system can be achieved by reducing the resource idleness in case of congestion. In this paper, we model both the service provider and the cooperative coalition as a single server queue. We attempt to answer the following questions: (i) which coalition strategy should be used; and (ii) which allocation rule should be selected in order to maintain the stability of the coalition? In particular, we consider the service pooling with a fixed service capacity for M/G/1 service systems. The benefit of the pooling system is due to the shortened waiting queue in the overall system. We develop the corresponding cooperative game with transferable utility, and analyze the core allocations. Although it is difficult to express a core allocation explicitly for the game, we prove the non-emptiness of the core. We give a reasonable expression of Equal Profit Method to distribute the cost for our game, and investigate a number of cost allocation rules under three typical situations to evaluate the gain of the service pooling strategy for each service provider. The numerical results show that the cost allocation rule proposed gives a reasonable cost-sharing result considering the contribution of each participant.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"207 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132687181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

A comparison of different cross-docking organizations in a JIT manufacturing system; application in the automotive industry JIT制造系统中不同交叉对接组织的比较在汽车工业中的应用

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-21 DOI: 10.1109/IESM.2015.7380333

Mohammed Hichame Benbitour, E. Sahin, A. Barbieri

引用次数: 3

Multimodal multi-flow problem with transformation : Application to waste supply chain 带转换的多模式多流问题:在废物供应链中的应用

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-21 DOI: 10.1109/IESM.2015.7380259

Quentin Tonneau, Nathalie Bostel, P. Dejax, Romain Hospitalz, Valerie Mulhauptz, T. Yeung

引用次数: 3

Flow line balancing problem: A survey 流线平衡问题:综述

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-21 DOI: 10.1109/IESM.2015.7380287

Olga Battaia, X. Delorme, A. Dolgui, Grimaud Frederic, B. Finel

引用次数: 7

Stability around the hyper-LSP in French distribution channel: a “prey-predator” modeling 法国分销渠道中hyper-LSP的稳定性:一个“猎物-捕食者”模型

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-21 DOI: 10.1109/IESM.2015.7380217

Renaud Allamano-Kessler, J. Morana, Jesús González-Feliu, H. Allaoui, L. Doyen

引用次数: 0

Insertion of new depot locations for the optimization of multi-vehicles multi-depots pickup and Delivery Problems using Genetic Algorithm 基于遗传算法的多车多库取货优化中新仓库位置的插入问题

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-01 DOI: 10.1109/IESM.2015.7380234

E. Ben Alaia, I. Dridi, H. Bouchriha, P. Borne

引用次数: 7

Colored Petri Nets formal transformation to B machines for safety critical software development 彩色Petri网正式转化为B机安全关键软件开发

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-01 DOI: 10.1109/IESM.2015.7380130

Zakaryae Boudi, E.M. El Koursi, S. Collart-Dutilleul

{"title":"Colored Petri Nets formal transformation to B machines for safety critical software development","authors":"Zakaryae Boudi, E.M. El Koursi, S. Collart-Dutilleul","doi":"10.1109/IESM.2015.7380130","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380130","url":null,"abstract":"Reaching the critical software safety requirements is one of the most important and complex tasks for the safety-related industry. This fact explains, as it was highly recommended by the CENELEC standard, the increasing use of formal means in the development process. However, industrial environments are still reticent facing difficulties in incorporating those formal methods in a larger scale of application, especially because of their mathematical modeling complexity. The present paper proposes a Petri Nets-based approach for safety critical software development using a formal transformation into B abstract machines. This work presents formal definitions for the translation of Colored Petri Nets to B abstract machines. As part of the French research project called “PERFECT”, it aims at enabling a stronger combination of formal design techniques and analysis tools in order to cope with the real complexity of critical software development and to prove in an automated manner that the final software product satisfies all safety requirements. Therefore, the use of the B method will broaden the scope of its applicability by providing a new input modeling alternative. An illustrative application of the transformation practical use is shown in this paper for a railway level-crossing case study.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125218747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

A joint optimization-simulation model to minimize the makespan on a repairable machine 可修机器最大完工时间的联合优化仿真模型

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-01 DOI: 10.1109/IESM.2015.7380203

Abdessamad Ait el cadi, R. Benmansour, Faiza Serraj, A. Artiba

{"title":"A joint optimization-simulation model to minimize the makespan on a repairable machine","authors":"Abdessamad Ait el cadi, R. Benmansour, Faiza Serraj, A. Artiba","doi":"10.1109/IESM.2015.7380203","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380203","url":null,"abstract":"We consider the problem of scheduling a set of jobs on a single machine subject to stochastic failures. The objective is to minimizing the makespan. The machine could be stopped for preventive maintenance occasionally to reduce the risk of failure and to improve its reliability. Furthermore, in the case of a breakdown, the machine undergoes a corrective maintenance which brings the age of the machine to zero (That is to say the machine is considered as good as new) and the current processed job is reprocessed from the beginning. Despite the fact that the scheduling problem with single or periodic maintenance has been well studied, most of the studies considered only deterministic cases. In other words the machine never fails. In this paper we take into account the stochastic failures while minimizing the makespan and determining the corresponding optimal sequence of jobs and optimal preventive maintenance policy. Both the exponential and the Weibull distribution are considered to model the probability density function associated with the lifetime of the machine. We use Arena and Optquest to optimize the performance criterion which allows us choosing the best sequence of jobs and the best amount of preventive maintenance.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127278787","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Variability aspects in flowshop scheduling systems 流水车间调度系统的可变性方面

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-01 DOI: 10.1109/IESM.2015.7380146

K. Benkel, K. Jørnsten, R. Leisten

引用次数: 6