Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation
المؤلفون المشاركون
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-19، 19ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-09-30
دولة النشر
مصر
عدد الصفحات
19
التخصصات الرئيسية
الملخص EN
To achieve behavior and structure optimization for a type of software program whose data exchange processes are represented by nonlinear polynomial systems, this paper establishes a novel formal description called a nonlinear polynomial transition system to represent the behavior and structure of the software program.
Then, the notion of bisimulation for software programs is proposed based on the equivalence relation of corresponding nonlinear polynomial systems in their nonlinear polynomial transition systems.
However, the exact equivalence is too strict in application.
To enhance the flexibility of the relation among the different software systems, the notion of approximate bisimulation within a controllable error range and the calculation algorithm of approximate bisimulation based on symbolic-numeric computation are given.
In this calculation, an approximate relation is represented as a MAX function that is resolved with the full filled method.
At the same time, the actual error is calculable.
An example on a multithreading program indicates that the approximate bisimulation relation is feasible and effective in behavior and structure optimization.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Deng, Hui& Wu, Jinzhao. 2013. Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation. Mathematical Problems in Engineering،Vol. 2013, no. 2013, pp.1-19.
https://search.emarefa.net/detail/BIM-1009355
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Deng, Hui& Wu, Jinzhao. Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation. Mathematical Problems in Engineering No. 2013 (2013), pp.1-19.
https://search.emarefa.net/detail/BIM-1009355
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Deng, Hui& Wu, Jinzhao. Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation. Mathematical Problems in Engineering. 2013. Vol. 2013, no. 2013, pp.1-19.
https://search.emarefa.net/detail/BIM-1009355
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1009355
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر