![](/images/graphics-bg.png)
Modeling and Verification of Reconfigurable Printing System Based on Process Algebra
المؤلفون المشاركون
Zhou, Shisheng
Luo, Rubai
Li, Huailin
Gao, Shasha
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-10-04
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
With the print production process as the research object in this paper, the intelligent-context-reconfigurable printing system model is analyzed using process algebra (PA).
First, combined with the printing production process, the overall framework of the system model, based on the agent-resource-worker (ARW) component model, is proposed.
Abstract and formal verification of the system model are then carried out, and the verification process of the complex calibration process is discussed.
Finally, the security and progress attributes of the model are validated by mCRL2.
The results show that the system model has good reliability.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Luo, Rubai& Gao, Shasha& Li, Huailin& Zhou, Shisheng. 2018. Modeling and Verification of Reconfigurable Printing System Based on Process Algebra. Mathematical Problems in Engineering،Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1209574
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Luo, Rubai…[et al.]. Modeling and Verification of Reconfigurable Printing System Based on Process Algebra. Mathematical Problems in Engineering No. 2018 (2018), pp.1-9.
https://search.emarefa.net/detail/BIM-1209574
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Luo, Rubai& Gao, Shasha& Li, Huailin& Zhou, Shisheng. Modeling and Verification of Reconfigurable Printing System Based on Process Algebra. Mathematical Problems in Engineering. 2018. Vol. 2018, no. 2018, pp.1-9.
https://search.emarefa.net/detail/BIM-1209574
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1209574
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)