Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility
المؤلفون المشاركون
Chi, Tianyang
Dong, Lida
Yin, Jun
Zhu, Chengcheng
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-08-07
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص EN
Mixed integer programming (MIP) is an important technique to verify the liveness property of sequential flexible manufacturing systems (FMS) modeled by Petri nets.
When there are some fully flexible routings in FMS, the existing MIP-based methods are not suitable for testing their liveness.
This paper defines a subclass of S*PR nets firstly, namely, OSC-S*PR nets, and concludes that an OSC-S*PR net is live if there exist no non-max′-controlled siphons.
Accordingly, determining whether or not an OSC-S*PR net is live can also be realized by using standardized mixed integer programming (MIP) tools.
Furthermore, the liveness property of S*PR nets can be tested in two steps: first, for a given S*PR net, constructing an OSC-S*PR net to ensure that if the latter is live then the former must be live; second, testing liveness of the constructed OSC-S*PR net by the aforementioned MIP-based algorithm.
In the end, the performance of the method is demonstrated by an application of FMS.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Dong, Lida& Chi, Tianyang& Zhu, Chengcheng& Yin, Jun. 2014. Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-463169
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Dong, Lida…[et al.]. Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility. Journal of Applied Mathematics No. 2014 (2014), pp.1-12.
https://search.emarefa.net/detail/BIM-463169
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Dong, Lida& Chi, Tianyang& Zhu, Chengcheng& Yin, Jun. Mixed Integer Programming-Based Liveness Test for FMS with Full Routing Flexibility. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-12.
https://search.emarefa.net/detail/BIM-463169
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-463169
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر