Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
المؤلفون المشاركون
Zhou, Ning
Zheng, Kaidi
Liu, Wenbo
Huang, Siyu
Ding, Yingcai
Gao, Xinyan
Li, Dakui
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-20، 20ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-06-12
دولة النشر
مصر
عدد الصفحات
20
التخصصات الرئيسية
الملخص EN
Nonclassical slicing and symmetry reduction can act as efficient structural abstract methods for pruning state space when dealing with verification problems.
In this paper, we mainly address theoretical and algorithmic aspects for nonclassical slicing and symmetry reduction over prime event structures.
We propose sliced and symmetric quotient reduction models of event structures and present their corresponding algorithms.
To construct the underlying foundation of the proposed methodologies, we introduce strong and weak conflict concepts and a pair of mutually inverse operators and extend permutation group based symmetry notion of event structures.
We have established a unified mathematical framework for slicing and symmetry reduction, and further investigated the translation, isomorphism, and equivalence relationship and other related basic facts from a theoretical point of view.
The framework may provide useful guidance and theoretical exploration for overcoming verification challenges.
This paper also demonstrates their practical applications by two cases.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Gao, Xinyan& Ding, Yingcai& Liu, Wenbo& Zheng, Kaidi& Huang, Siyu& Zhou, Ning…[et al.]. 2014. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-20.
https://search.emarefa.net/detail/BIM-465105
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Gao, Xinyan…[et al.]. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. Journal of Applied Mathematics No. 2014 (2014), pp.1-20.
https://search.emarefa.net/detail/BIM-465105
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Gao, Xinyan& Ding, Yingcai& Liu, Wenbo& Zheng, Kaidi& Huang, Siyu& Zhou, Ning…[et al.]. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-20.
https://search.emarefa.net/detail/BIM-465105
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-465105
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر