Based on the Hirota bilinear method,this study derived N-soliton solutions,breather solutions,lump solutions and interaction solutions for the(2+1)-dimensional extended Boiti-Leon-Manna-Pempinelli equation.The dynamic...Based on the Hirota bilinear method,this study derived N-soliton solutions,breather solutions,lump solutions and interaction solutions for the(2+1)-dimensional extended Boiti-Leon-Manna-Pempinelli equation.The dynamical characteristics of these solutions were displayed through graphical,particularly revealing fusion and ssion phenomena in the interaction of lump and the one-stripe soliton.展开更多
Conventional joint PP-PS inversion is based on approximations of the Zoeppritz equations and assumes constant VP/VS;therefore,the inversion precision and stability cannot satisfy current exploration requirements.We pr...Conventional joint PP-PS inversion is based on approximations of the Zoeppritz equations and assumes constant VP/VS;therefore,the inversion precision and stability cannot satisfy current exploration requirements.We propose a joint PP-PS inversion method based on the exact Zoeppritz equations that combines Bayesian statistics and generalized linear inversion.A forward model based on the exact Zoeppritz equations is built to minimize the error of the approximations in the large-angle data,the prior distribution of the model parameters is added as a regularization item to decrease the ill-posed nature of the inversion,low-frequency constraints are introduced to stabilize the low-frequency data and improve robustness,and a fast algorithm is used to solve the objective function while minimizing the computational load.The proposed method has superior antinoising properties and well reproduces real data.展开更多
Generally unitary solution to the system of martix equations over the quaternion field [X mA ns =B ns ,X nn C nt =D nt ] is considered. A necessary and sufficient condition for the existence o...Generally unitary solution to the system of martix equations over the quaternion field [X mA ns =B ns ,X nn C nt =D nt ] is considered. A necessary and sufficient condition for the existence of and the expression for the generally unitary solution of the system are derived.展开更多
A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a pr...A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.展开更多
This paper is concerned with the generalzed global solution and its asymptotic properties for the initial value problem of the partial differential equationu t+u x 3 =F(u).
The existence of periodic solutions for a kind of generalized Liénard typed functional differential equation is studied. By means of the continuation theorem of coincidence degree theory, existence criteria are ...The existence of periodic solutions for a kind of generalized Liénard typed functional differential equation is studied. By means of the continuation theorem of coincidence degree theory, existence criteria are established for the existence of periodic solutions and some previous results are extended.展开更多
基金Supported by the National Natural Science Foundation of China(12275172)。
文摘Based on the Hirota bilinear method,this study derived N-soliton solutions,breather solutions,lump solutions and interaction solutions for the(2+1)-dimensional extended Boiti-Leon-Manna-Pempinelli equation.The dynamical characteristics of these solutions were displayed through graphical,particularly revealing fusion and ssion phenomena in the interaction of lump and the one-stripe soliton.
基金supported by the 863 Program of China(No.2013AA064201)
文摘Conventional joint PP-PS inversion is based on approximations of the Zoeppritz equations and assumes constant VP/VS;therefore,the inversion precision and stability cannot satisfy current exploration requirements.We propose a joint PP-PS inversion method based on the exact Zoeppritz equations that combines Bayesian statistics and generalized linear inversion.A forward model based on the exact Zoeppritz equations is built to minimize the error of the approximations in the large-angle data,the prior distribution of the model parameters is added as a regularization item to decrease the ill-posed nature of the inversion,low-frequency constraints are introduced to stabilize the low-frequency data and improve robustness,and a fast algorithm is used to solve the objective function while minimizing the computational load.The proposed method has superior antinoising properties and well reproduces real data.
文摘Generally unitary solution to the system of martix equations over the quaternion field [X mA ns =B ns ,X nn C nt =D nt ] is considered. A necessary and sufficient condition for the existence of and the expression for the generally unitary solution of the system are derived.
基金The National Outstanding Young Scientist Foundation by NSFC(No.60703086,60503020)
文摘A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.
文摘This paper is concerned with the generalzed global solution and its asymptotic properties for the initial value problem of the partial differential equationu t+u x 3 =F(u).
文摘The existence of periodic solutions for a kind of generalized Liénard typed functional differential equation is studied. By means of the continuation theorem of coincidence degree theory, existence criteria are established for the existence of periodic solutions and some previous results are extended.
