Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

المؤلفون المشاركون

Deng, Hui
Wu, Jinzhao

المصدر

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