skip to Main Content
زمانبندی کار بهینه در یک سیستم تولید انعطاف‌پذیر با استفاده از بررسی مدل

زمانبندی کار بهینه در یک سیستم تولید انعطاف‌پذیر با استفاده از بررسی مدل

عنوان انگلیسی: Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking
سال نشر: ۲۰۱۸
نویسنده: Robi Malik,Patrícia N. Pena
تعداد صفحه فارسی: ۱۳ – تعداد صفحه انگلیسی: ۶
دانشگاه: Department of Electronics Engineering, Universidade Federal de Minas Gerais, Belo Horizonte, MG, Brazil,Department of Computer Science, University of Waikato, Hamilton, New Zealand
نشریه: Process Safety and Environmental Protection
کیفیت ترجمه: ترجمه پلاس

چکیده

این مقاله استفاده از مدل کنترل برای حل مساله زمانبندی بهینه در یک سیستم تولیدی انعطاف‌پذیر را نشان می‌دهد. این سیستم به عنوان یک سیستم رویداد گسسته مدل‌سازی می‌شود، که برای آن رفتار حداقل محدود کننده مطابق با تئوری کنترل نظارتی سنتز می‌شود. سپس محدودیت‌های زمان‌بندی به مدل در قالب ماشین‌های حالت محدود توسعه‌یافته اضافه می‌شوند و زمانبندی بهینه "زمان – بهینه" با استفاده از سیستم‌های رویداد گسسته و ابزار چک کردن مدل محاسبه می‌شوند. در مطالعه موردی که در این مقاله مورد توجه قرار گرفت، که قبلا فقط heuristically حل شده‌بود، این روش با موفقیت برنامه‌های بهینه‌ای را برای تولید ۳۰ محصول از دو نوع مختلف تولید می‌کند. علاوه بر این، از این روش برای یافتن یک چرخه بهینه، حل مساله زمانبندی مورد مطالعه برای تعداد دلخواه از محصولات در زمان بهینه یا مجانبی نزدیک به زمان بهینه استفاده می‌شود.

Abstract

This paper demonstrates the use of model checking to solve the problem of optimal task scheduling in a flexible manufacturing system. The system is modelled as a discrete event system, for which the least restrictive safe behaviour is synthesised according to supervisory control theory. Then timing constraints are added to the model in the form of extended finite-state machines, and time-optimal schedules are computed using the discrete event systems and model checking tool Supremica. In the case study considered in this paper, which previously was only solved heuristically, the method successfully produces optimal schedules to manufacture up to 30 products of two different types. The method is furthermore used to find an optimal cycle, solving the scheduling problem of the case study for an arbitrary number of products in optimal or asymptotically close to optimal time.
۲۶۰,۰۰۰ ریال – خرید
امتیاز شما:
(No Ratings Yet)
Back To Top