To seek new infinite sequence soliton-like exact solutions to nonlinear evolution equations （NEE（s））, by developing two characteristics of construction and mechanization on auxiliary equation method, the second ki...To seek new infinite sequence soliton-like exact solutions to nonlinear evolution equations （NEE（s））, by developing two characteristics of construction and mechanization on auxiliary equation method, the second kind of elliptie equation is highly studied and new type solutions and Backlund transformation are obtained. Then （2＋ l ）-dimensional breaking soliton equation is chosen as an example and its infinite sequence soliton-like exact solutions are constructed with the help of symbolic computation system Mathematica, which include infinite sequence smooth soliton-like solutions of Jacobi elliptic type, infinite sequence compact soliton solutions of Jacobi elliptic type and infinite sequence peak soliton solutions of exponential function type and triangular function type.展开更多
With the aid of symbolic computation system Mathematica, several explicit solutions for Fisher＇s equation and CKdV equation are constructed by utilizing an auxiliary equation method, the so called G′/G-expansion met...With the aid of symbolic computation system Mathematica, several explicit solutions for Fisher＇s equation and CKdV equation are constructed by utilizing an auxiliary equation method, the so called G′/G-expansion method, where the new and more general forms of solutions are also constructed. When the parameters are taken as special values, the previously known solutions are recovered.展开更多
A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in...A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in removing the redundant terms of the genera/form of the conserved densities but also in solving the conserved densities with the associated flux synchronously without using Euler operator. Furthermore, the program conslaw.mpl can be used to determine the preferences for a given parameterized nonlinear evolution systems. The code is tested on several well-known nonlinear evolution equations from the soliton theory.展开更多
This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference sys...This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.展开更多
基金Supported by the Natural Natural Science Foundation of China under Grant No.10461006the Science Research Foundation of Institution of Higher Education of Inner Mongolia Autonomous Region,China under Grant No.NJZZ07031the Natural Science Foundation of Inner Mongolia Autonomous Region,China under Grant No.2010MS0111
文摘To seek new infinite sequence soliton-like exact solutions to nonlinear evolution equations （NEE（s））, by developing two characteristics of construction and mechanization on auxiliary equation method, the second kind of elliptie equation is highly studied and new type solutions and Backlund transformation are obtained. Then （2＋ l ）-dimensional breaking soliton equation is chosen as an example and its infinite sequence soliton-like exact solutions are constructed with the help of symbolic computation system Mathematica, which include infinite sequence smooth soliton-like solutions of Jacobi elliptic type, infinite sequence compact soliton solutions of Jacobi elliptic type and infinite sequence peak soliton solutions of exponential function type and triangular function type.
文摘With the aid of symbolic computation system Mathematica, several explicit solutions for Fisher＇s equation and CKdV equation are constructed by utilizing an auxiliary equation method, the so called G′/G-expansion method, where the new and more general forms of solutions are also constructed. When the parameters are taken as special values, the previously known solutions are recovered.
文摘A new algorithm for symbolic computation of polynomial-type conserved densities for nonlinear evolution systems is presented. The algorithm is implemented in Maple. The improved algorithm is more efficient not only in removing the redundant terms of the genera/form of the conserved densities but also in solving the conserved densities with the associated flux synchronously without using Euler operator. Furthermore, the program conslaw.mpl can be used to determine the preferences for a given parameterized nonlinear evolution systems. The code is tested on several well-known nonlinear evolution equations from the soliton theory.
基金the National Basic Research Program (973) of China (No.2003CB317005)the National Nature Science Foundation of China (Nos.60573002 and 60703033)
文摘This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.
