|
|
|
|
Approximate equivalence based on symbolic computation and numerical calculation for linear algebra transition systems
|
|
|
|
|
|
|
|
نویسنده
|
zhang z. ,wu j. ,tan h. ,ashraf m.a. ,yang h.
|
|
منبع
|
pakistan journal of statistics - 2015 - دوره : 31 - شماره : 5 - صفحه:623 -642
|
|
چکیده
|
In order to optimize linear algebra transition systems,a kind of hybrid system,approximate equivalence semantics for linear algebra transition systems is proposed. the semantics is called approximation ready trace semantics. the work is based on the ready trace semantics for concrete process algebra and numerical approximate calculation theory in algebra. the advantage of the work is that it makes the traditional formal verification theory can be applied to verification of the linear algebraic transition system. then the approximate ready-trace semantics axiom system,which can be used to reasoning of linear algebraic transition system,is put forward. finally,the advantage of approximate ready trace semantics is verified through a traffic lights control vehicle flow system example. © 2015 pakistan journal of statistics.
|
|
کلیدواژه
|
Approximation ready traces equivalence; Axiom system; Linear algebra transition systems; Numerical calculation; Ready trace semantics
|
|
آدرس
|
chengdu institute of computer application,chinese academy of sciences, China, guangxi key laboratory of hybrid computational and ic design analysis,guangxi university for nationalities,nanning,china,school of computer and information technology,beijing jiaotong, China, hpnl(high performance network lab),institute of acoustics,chinese academy of sciences, China, universiti malaysia sabah,kota kinabalu, Malaysia, college of new media,zhejiang university of media and communications, China
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|