Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation
Joint Authors
Source
Mathematical Problems in Engineering
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-19, 19 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-09-30
Country of Publication
Egypt
No. of Pages
19
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1009355