Articles you may be interested inGeneralized Korteweg-de Vries equation induced from position-dependent effective mass quantum models and mass-deformed soliton solution through inverse scattering transformIn this paper, we construct a reciprocal transformation for the Geng-Xue equation and show that, with help of this transformation, we relate the first negative flow of the modified Boussinesq hierarchy to the Geng-Xue equation. Furthermore, we analyze the construction of conserved quantities and present new ones. C 2014 AIP Publishing LLC. [http://dx.
A coupled system known as the Drinfel'd–Sokolov–Wilson equation is reexamined. With the help of a Lax operator of fourth order, its proper Darboux transformation is constructed. Also, a nonlinear superposition formula is worked out for the associated Bäcklund transformation and some solutions are calculated.
The coupled nonlinear Schrödinger (CNLS) system is often used to describe physical problems such as wave propagation in a birefringent optical fiber. Under investigation in this paper is the nonlocal [Formula: see text]-symmetric reverse-space type of CNLS system, through constructing two types of Darboux transformation (DT), we will derive a new series of nonlocal analytic solutions: (1) Single-periodic and double-periodic solutions; (2) Four different combinations about dark and anti-dark solitons, as well as the bright and dark breathers on a periodic background. Moreover, the fundamental properties and dynamical behaviors of those solutions will be discussed.
A system proposed by Ito is reconsidered. The corresponding Darboux transformation is presented explicitly. The resulted Bäcklund transformation is shown to be equivalent to the one found by Hirota. Also, a nonlinear superposition formula, which is of differential-algebraic, is obtained.
Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. The paper presents a new approach of choreography model verification based on Description Logic. A metamodel of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoner. A case study is given to demonstrate applicability of the method. Furthermore, the work will be compared with other related researches.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.