4.6 Article

Formal scheduling method for zero-defect manufacturing

期刊

出版社

SPRINGER LONDON LTD
DOI: 10.1007/s00170-021-08104-0

关键词

Formal methods; Zero-defect manufacturing; Scheduling

资金

  1. AGH University of Science and Technology subvention for scientific research

向作者/读者索取更多资源

The paper proposes a formal method for solving scheduling problems in manufacturing, aiming to improve production efficiency and product quality while achieving zero-defect manufacturing. The method focuses on predictive-reactive scheduling based on defect detection and repair, as well as analyzing disturbance data in the production process to aid decision-making for the management board.
A defect prevention is a part of manufacturing company practice. Paper proposes a formal approach for solving scheduling problems with unexpected events as extension of general frameworks for Zero-Defect Manufacturing (ZDM) strategy. ZDM aims to improve the process efficiency and the product quality while eliminating defects and minimizing process errors. However, most of ZDM applications focus on using the technological achievements of Industry 4.0 to detect and predict defects, forgetting to optimize the schedule on the production line. We propose formal method to create predictive-reactive schedule for problems with defect detection and repair. Our proposal is based on the formal Algebraic-Logical Meta-Model (ALMM). In particular, it uses the model switching method and combines defect detection, heuristics construction and decision support containing predictions of disturbances in the production process and enabling their prevention. Production defects are detected and repaired, and consequently, production delivers components without defects, and in the shortest possible time. Moreover, the collection and analysis of data related to the occurrence of disturbances in the production process helps the management board in making decisions based on analysis gathered and stored data. Thus, the proposed method includes strategies such as detection, repair, prediction and prevention for defect-free production. We illustrate the proposed method on the example of a flow-shop system with different types of product defect problem.

作者

我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.6
评分不足

次要评分

新颖性
-
重要性
-
科学严谨性
-
评价这篇论文

推荐

暂无数据
暂无数据