کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
621513 882560 2014 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Systematic generation of cyclic operating procedures based on timed automata
ترجمه فارسی عنوان
تولید سیستماتیک از روشهای عملیاتی دوره ای مبتنی بر اتوماتای ​​زمانبندی
کلمات کلیدی
اتوماتای ​​زمانبندی شده روش مدل سازی، روش عملیاتی سیکلی،
ترجمه چکیده
سنتز دستی از روش عملیاتی چرخه ای در یک سیستم واقع گرایانه به طور گسترده ای به عنوان یک کار دشوار شناخته شده است، زیرا هر دو وقت گیر و مستعد خطا است. بدین ترتیب مطلوب است که یک رویکرد سیستماتیک به طور خودکار برنامه ریزی مطلوب مراحل عملیاتی را برای رسیدن به یک یا چند هدف خاص تولید، مطلوب سازد. اتوماتای ​​زمان بندی شده در این کار برای این منظور استفاده می شود. به طور خاص، تمام قطعات در یک سیستم داده شده و مشخصات کنترل مربوطه با اتوماتا با توجه به قوانین مدل سازی پیشنهادی مشخص می شود. با استفاده از ترکیب موازی، یک ماشین اتوماتیک می تواند با این مدل ها تولید شود و پس از آن مناسب ترین مسیر عملیاتی می تواند شناسایی شود. برای هر کاربرد عملی، یک نمودار عملکرد تکراری و نمودار مربوطه گانت نیز می تواند به راحتی از این مسیر استخراج شود. سه نمونه در این مقاله برای نشان دادن امکان پذیری روش پیشنهادی ارائه شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی شیمی تصفیه و جداسازی
پیش نمایش مقاله
تولید سیستماتیک از روشهای عملیاتی دوره ای مبتنی بر اتوماتای ​​زمانبندی
چکیده انگلیسی
Manual synthesis of cyclic operating procedure in a realistic system is widely regarded as a difficult task since it is both time-consuming and error-prone. It is thus desirable to develop a systematic approach to automatically generate the optimal schedule of operation steps so as to achieve one or more specific production goal. The timed automata are utilized in the present work for such a purpose. In particular, all components in a given system and the corresponding control specifications are characterized with automata according to the proposed modeling rules. By using parallel composition, a system automaton can be produced with these models and the most appropriate operation path can then be identified accordingly. For any practical application, a sequential function chart and the corresponding Gantt chart can also be easily extracted from this path. Three examples are presented in this paper to demonstrate the feasibility of the proposed approach.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Chemical Engineering Research and Design - Volume 92, Issue 1, January 2014, Pages 139-155
نویسندگان
, , ,