首页 > 最新文献

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

英文 中文
A batch sizing and scheduling problem on parallel machines with different speeds, maintenance operations, setup times and energy costs 具有不同速度、维护操作、设置时间和能源成本的并行机器上的批量大小和调度问题
Margaux Nattaf, C. Artigues, P. Lopez, R. Medina, V. Parada, L. Pradenas
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.
本文研究了智利一家金属加工企业的生产调度问题。这家公司在平行生产线上生产不同直径的钢球。有不同类型的生产线,每条生产线可能有不同的速度来生产不同的直径。此外,当改变每台机器上生产的直径时,会发生设置时间。除了这些生产和安装操作外,还必须安排维护操作。这些电机需要大量的能源。因此,最小化总能耗(取决于批处理/机器分配)和高峰时段的最大需求是至关重要的。研究了非均匀并联环境下涉及电力成本的批量排序问题。给定对每种钢球的需求,问题在于将需求划分为必须在并行机器上分配和安排的子批次(批次)以及所需的维护操作。目标是在共同的截止日期之前完成计划,同时最大限度地减少电力成本。我们建议通过混合整数线性规划来解决这个问题。我们提出了一个全局公式和一个两相数学公式。给出了实际算例的计算结果。
{"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业务系统的业务容量池
Jing Peng, O. Jouini, Y. Dallery, Z. Jemai
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.
研究了服务容量池系统中独立服务提供者之间的成本分担问题。这种池化系统的有效改进可以通过减少拥塞情况下的资源闲置来实现。在本文中,我们将服务提供者和合作联盟建模为单个服务器队列。我们试图回答以下问题:(i)应该使用哪种联盟策略;(二)为了保持联盟的稳定性,应该选择哪种分配规则?特别地,我们考虑了M/G/1业务系统中具有固定服务容量的业务池。合用系统的好处在于缩短了整个系统的等待队列。开发了相应的具有可转移效用的合作对策,并对核心分配进行了分析。虽然很难明确地表达游戏的核心分配,但我们证明了核心的非空性。我们给出了均利法的合理表达式来分配我们的博弈成本,并研究了三种典型情况下的成本分配规则,以评估每个服务提供商的服务池策略的收益。数值结果表明,所提出的成本分配规则在考虑各参与方贡献的情况下给出了合理的成本分担结果。
{"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制造系统中不同交叉对接组织的比较在汽车工业中的应用
Mohammed Hichame Benbitour, E. Sahin, A. Barbieri
Cross-docking is a logistics strategy used to accelerate the flows and to reduce inventory levels. In this paper, we consider the case of cross-docking centers applied in JIT manufacturing systems. We make a comparison between different cross-docking positioning policies: per supplier, per time slot, per mixed small/big time slots and per mixed supplier/time slot. We intend to shed light on the impact of different characteristics of the system like the supplier arrival frequency and the capacity of cross-docks on the performance of each cross-docking policy. The case study of Faurecia, an automotive parts suppliers, is used to consolidate the insights of our paper. We find that it is better to use the mixed cross-docking because it permits to minimize the used surface and to facilitate the realized movements.
交叉对接是一种物流策略,用于加速流动和降低库存水平。本文研究了交叉对接中心在JIT制造系统中的应用。我们比较了不同的交叉对接定位策略:每个供应商、每个时段、每个混合小/大时段和每个混合供应商/时段。我们打算阐明系统的不同特征(如供应商到达频率和交叉码头的容量)对每个交叉码头政策性能的影响。通过对汽车零部件供应商佛吉亚的案例研究,巩固了本文的见解。我们发现使用混合交叉对接是更好的,因为它允许最小的使用表面,并便于实现的运动。
{"title":"A comparison of different cross-docking organizations in a JIT manufacturing system; application in the automotive industry","authors":"Mohammed Hichame Benbitour, E. Sahin, A. Barbieri","doi":"10.1109/IESM.2015.7380333","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380333","url":null,"abstract":"Cross-docking is a logistics strategy used to accelerate the flows and to reduce inventory levels. In this paper, we consider the case of cross-docking centers applied in JIT manufacturing systems. We make a comparison between different cross-docking positioning policies: per supplier, per time slot, per mixed small/big time slots and per mixed supplier/time slot. We intend to shed light on the impact of different characteristics of the system like the supplier arrival frequency and the capacity of cross-docks on the performance of each cross-docking policy. The case study of Faurecia, an automotive parts suppliers, is used to consolidate the insights of our paper. We find that it is better to use the mixed cross-docking because it permits to minimize the used surface and to facilitate the realized movements.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"103 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":"131408471","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
Multimodal multi-flow problem with transformation : Application to waste supply chain 带转换的多模式多流问题:在废物供应链中的应用
Quentin Tonneau, Nathalie Bostel, P. Dejax, Romain Hospitalz, Valerie Mulhauptz, T. Yeung
This paper presents a new tactical optimization problem for non-hazardous waste and end-life product supply chain. Waste transport and recycling become crucial in our modern society, with a huge environmental and economic impact for industrials and communities. Operations on products during transport such as grinding or sorting allows companies to densify transports and reduce the overall supply cost. Integrating these new aspects, we introduce a new problem we term the multi-commodity, multi-flow problem with transformations and propose a linear mathematical model to solve it. With an application to a waste transport company and a performance benchmark on a linear solver, we show the pertinence of the model in a real case study and its scalability for more complex situations.
本文提出了一种新的非危险废物和终寿命产品供应链的战术优化问题。废物运输和回收在我们的现代社会中变得至关重要,对工业和社区产生巨大的环境和经济影响。在运输过程中对产品进行研磨或分拣等操作,使公司能够密集运输并降低总体供应成本。综合这些新的方面,我们引入了一个新的问题,我们称之为多商品,多流问题与转换,并提出了一个线性数学模型来解决它。通过对废物运输公司的应用和线性求解器的性能基准,我们展示了该模型在实际案例研究中的相关性以及它在更复杂情况下的可扩展性。
{"title":"Multimodal multi-flow problem with transformation : Application to waste supply chain","authors":"Quentin Tonneau, Nathalie Bostel, P. Dejax, Romain Hospitalz, Valerie Mulhauptz, T. Yeung","doi":"10.1109/IESM.2015.7380259","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380259","url":null,"abstract":"This paper presents a new tactical optimization problem for non-hazardous waste and end-life product supply chain. Waste transport and recycling become crucial in our modern society, with a huge environmental and economic impact for industrials and communities. Operations on products during transport such as grinding or sorting allows companies to densify transports and reduce the overall supply cost. Integrating these new aspects, we introduce a new problem we term the multi-commodity, multi-flow problem with transformations and propose a linear mathematical model to solve it. With an application to a waste transport company and a performance benchmark on a linear solver, we show the pertinence of the model in a real case study and its scalability for more complex situations.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"171 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":"127014497","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
Flow line balancing problem: A survey 流线平衡问题:综述
Olga Battaia, X. Delorme, A. Dolgui, Grimaud Frederic, B. Finel
Flow lines are widely used in mechanical industry. They consist to a set of workstations through which parts are manufactured. Designing such a line is a very complex problem due to manufacturing and design constraints and to the large number of possible decisions. Usually, the design of this type of production lines involves the selection of the necessary operations (indivisible units of work) to machine a part, the configuration design, the line scheduling. In this paper we present a survey of flow lines balancing problem, their approach and formulation and some solutions to optimize them studied in the literature. A special attention is paid for the assembly lines balancing problems.
流线在机械工业中应用广泛。它们由一组工作站组成,通过这些工作站制造零件。由于制造和设计的限制以及大量可能的决策,设计这样一条生产线是一个非常复杂的问题。通常,这类生产线的设计涉及加工零件的必要操作(不可分割的工作单元)的选择,配置设计,生产线调度。本文综述了流线平衡问题的研究现状,介绍了流线平衡问题的处理方法和公式,并给出了一些优化流线平衡问题的方法。对装配线的平衡问题给予了特别的关注。
{"title":"Flow line balancing problem: A survey","authors":"Olga Battaia, X. Delorme, A. Dolgui, Grimaud Frederic, B. Finel","doi":"10.1109/IESM.2015.7380287","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380287","url":null,"abstract":"Flow lines are widely used in mechanical industry. They consist to a set of workstations through which parts are manufactured. Designing such a line is a very complex problem due to manufacturing and design constraints and to the large number of possible decisions. Usually, the design of this type of production lines involves the selection of the necessary operations (indivisible units of work) to machine a part, the configuration design, the line scheduling. In this paper we present a survey of flow lines balancing problem, their approach and formulation and some solutions to optimize them studied in the literature. A special attention is paid for the assembly lines balancing problems.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"32 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":"130678997","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}
引用次数: 7
Stability around the hyper-LSP in French distribution channel: a “prey-predator” modeling 法国分销渠道中hyper-LSP的稳定性:一个“猎物-捕食者”模型
Renaud Allamano-Kessler, J. Morana, Jesús González-Feliu, H. Allaoui, L. Doyen
In this article, we propose a modeling of the triad composed of Manufacturers, Hyper Logistics Service Providers (HLSP), and Distributors. This modeling is based on the dynamics of the “Prey-Predator” populations. We focus the reflection on the LSP positioned as a keystone. We use a three-body “Lotka-Volterra” model with a logistic restriction for the Hyper-LSP. The aim of this model is to show that harmony is possible thanks to a third party. The model leads to a projection of the great and undeniable role of the HLSP. Could we see a logistic pattern of the future in this model? This article proves the assertion according to which the Hyper-LSP is a “keystone” in the relations of the distribution channel. The paper underlines the importance of the sustainability of the distribution channel.
在本文中,我们提出了一个由制造商、超级物流服务提供商(HLSP)和分销商组成的三元模型。这个模型是基于“猎物-捕食者”种群的动态。我们将反射集中在定位为keystone的LSP上。对于Hyper-LSP,我们使用具有逻辑约束的三体“Lotka-Volterra”模型。这个模型的目的是表明,多亏了第三方,和谐才成为可能。该模型导致了HLSP的伟大和不可否认的作用的投影。我们能从这个模型中看到未来的物流模式吗?本文证明了Hyper-LSP是分发通道关系中的“基石”的论断。本文强调了分销渠道可持续性的重要性。
{"title":"Stability around the hyper-LSP in French distribution channel: a “prey-predator” modeling","authors":"Renaud Allamano-Kessler, J. Morana, Jesús González-Feliu, H. Allaoui, L. Doyen","doi":"10.1109/IESM.2015.7380217","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380217","url":null,"abstract":"In this article, we propose a modeling of the triad composed of Manufacturers, Hyper Logistics Service Providers (HLSP), and Distributors. This modeling is based on the dynamics of the “Prey-Predator” populations. We focus the reflection on the LSP positioned as a keystone. We use a three-body “Lotka-Volterra” model with a logistic restriction for the Hyper-LSP. The aim of this model is to show that harmony is possible thanks to a third party. The model leads to a projection of the great and undeniable role of the HLSP. Could we see a logistic pattern of the future in this model? This article proves the assertion according to which the Hyper-LSP is a “keystone” in the relations of the distribution channel. The paper underlines the importance of the sustainability of the distribution channel.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"149 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":"115584356","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}
引用次数: 0
Insertion of new depot locations for the optimization of multi-vehicles multi-depots pickup and Delivery Problems using Genetic Algorithm 基于遗传算法的多车多库取货优化中新仓库位置的插入问题
E. Ben Alaia, I. Dridi, H. Bouchriha, P. Borne
The Pickup and Delivery Problems (PDP) represent an important class of Vehicle Routing Problems (VRP) in which goods must be collected and distributed. In this paper, we propose an approach which is based on the combination of Genetic Algorithm (GA) with the clustering algorithm for the optimization of multi-vehicles, multi-depots, pickup and delivery problem (m-MDPDP). The main contribution is to find new depot locations in order to obtain feasible solution (routes) for the m-MDPDPTW. These routes satisfy transportation requests without contravening any of the instance specific constraints.
拾取和交付问题(PDP)代表了一类重要的车辆路径问题(VRP),其中货物必须被收集和分发。本文提出了一种基于遗传算法(GA)和聚类算法相结合的多车多库取货问题(m-MDPDP)优化方法。其主要贡献是为m-MDPDPTW找到新的车厂位置,从而获得可行的解决方案(路线)。这些路由满足传输请求,而不违反任何特定于实例的约束。
{"title":"Insertion of new depot locations for the optimization of multi-vehicles multi-depots pickup and Delivery Problems using Genetic Algorithm","authors":"E. Ben Alaia, I. Dridi, H. Bouchriha, P. Borne","doi":"10.1109/IESM.2015.7380234","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380234","url":null,"abstract":"The Pickup and Delivery Problems (PDP) represent an important class of Vehicle Routing Problems (VRP) in which goods must be collected and distributed. In this paper, we propose an approach which is based on the combination of Genetic Algorithm (GA) with the clustering algorithm for the optimization of multi-vehicles, multi-depots, pickup and delivery problem (m-MDPDP). The main contribution is to find new depot locations in order to obtain feasible solution (routes) for the m-MDPDPTW. These routes satisfy transportation requests without contravening any of the instance specific constraints.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"9 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":"115616546","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}
引用次数: 7
Colored Petri Nets formal transformation to B machines for safety critical software development 彩色Petri网正式转化为B机安全关键软件开发
Zakaryae Boudi, E.M. El Koursi, S. Collart-Dutilleul
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.
达到关键的软件安全要求是安全相关行业最重要和最复杂的任务之一。正如CENELEC标准所强烈建议的那样,这一事实解释了在开发过程中越来越多地使用正式手段。然而,工业环境在将这些形式化方法纳入更大规模应用方面仍然面临困难,特别是因为它们的数学建模复杂性。本文提出了一种基于Petri网的安全关键软件开发方法,使用B抽象机的形式转换。这项工作提出了将彩色Petri网转换为B抽象机器的正式定义。作为法国研究项目“PERFECT”的一部分,它旨在实现正式设计技术和分析工具的更强组合,以应对关键软件开发的真正复杂性,并以自动化的方式证明最终的软件产品满足所有安全要求。因此,B方法的使用将通过提供一种新的输入建模替代方案来扩大其适用性范围。本文以铁路平交道口为例,说明了该方法的实际应用。
{"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 可修机器最大完工时间的联合优化仿真模型
Abdessamad Ait el cadi, R. Benmansour, Faiza Serraj, A. Artiba
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.
我们考虑在一台机器上调度一组随机故障作业的问题。目标是最小化完工时间。机器可以偶尔停机进行预防性维护,以减少故障的风险,提高其可靠性。此外,在发生故障的情况下,机器进行纠正性维护,使机器的使用寿命降至零(也就是说,机器被认为和新的一样好),当前加工的作业从一开始重新加工。尽管单次或定期维护的调度问题已经得到了很好的研究,但大多数研究只考虑了确定性的情况。换句话说,这台机器从不出故障。本文在考虑随机故障的同时,考虑最大完工时间的最小化,确定相应的最优作业顺序和最优预防性维修策略。指数分布和威布尔分布都被用来模拟与机器寿命相关的概率密度函数。我们使用Arena和Optquest来优化性能标准,这使我们能够选择最佳的工作顺序和最佳的预防性维护量。
{"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 流水车间调度系统的可变性方面
K. Benkel, K. Jørnsten, R. Leisten
In this paper different aspects of variability in a job scheduling system are discussed. Unlike an ideal manufacturing system a real-world system requires an efficient mix of different buffers to balance the influence of variability. The focus in this paper is to observe the effects of non-uniformity of processing times on the performance measures Makespan, Flowtime and Squared Variability of Completion Time Differences (=CTDVB2). In addition, the behavior of Waiting Time and Idle Time regarding these measures is analyzed. An example is used to illustrate the influence of variability: A nonuniform permutation flow shop is smoothed in different ways. First a linear stepby- step harmonization is executed. Furthermore, non-uniform processing times are modified with a logarithmic and a quadratic optimization model.
本文讨论了作业调度系统中可变性的不同方面。与理想的制造系统不同,现实世界的系统需要不同缓冲的有效组合来平衡可变性的影响。本文的重点是观察加工时间的不均匀性对性能指标Makespan、Flowtime和完井时间差的平方变异性(=CTDVB2)的影响。此外,还分析了这些措施对等待时间和空闲时间的影响。用一个例子来说明可变性的影响:一个非均匀排列流车间以不同的方式平滑。首先进行线性阶跃协调。此外,采用对数和二次优化模型对非均匀加工时间进行了修正。
{"title":"Variability aspects in flowshop scheduling systems","authors":"K. Benkel, K. Jørnsten, R. Leisten","doi":"10.1109/IESM.2015.7380146","DOIUrl":"https://doi.org/10.1109/IESM.2015.7380146","url":null,"abstract":"In this paper different aspects of variability in a job scheduling system are discussed. Unlike an ideal manufacturing system a real-world system requires an efficient mix of different buffers to balance the influence of variability. The focus in this paper is to observe the effects of non-uniformity of processing times on the performance measures Makespan, Flowtime and Squared Variability of Completion Time Differences (=CTDVB2). In addition, the behavior of Waiting Time and Idle Time regarding these measures is analyzed. An example is used to illustrate the influence of variability: A nonuniform permutation flow shop is smoothed in different ways. First a linear stepby- step harmonization is executed. Furthermore, non-uniform processing times are modified with a logarithmic and a quadratic optimization model.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"14 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":"125578541","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
期刊
2015 International Conference on Industrial Engineering and Systems Management (IESM)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1