Yajuan Sun

Learn More
No Runge-Kutta method can be energy preserving for all Hamiltonian systems. But for problems in which the Hamiltonian is a polynomial, the Averaged Vector Field (AVF) method can be interpreted as a Runge-Kutta method whose weights bi and abscissae ci represent a quadrature rule of degree at least that of the Hamiltonian. We prove that when the number of(More)
In a recent series of papers, the class of energy-conserving Runge-Kutta methods named Hamiltonian BVMs (HBVMs) has been defined and studied. Such methods have been further generalized for the efficient solution of general conservative problems, thus providing the class of Line Integral Methods (LIMs). In this paper we derive a further extension, which we(More)
— Bisimulation relation as a well known equivalence relation has been successfully applied to computer science and control theory. In our previous work, we proposed the existence of bisimilarity supervisor by introducing simulation-based controllability. As a continuation, this paper deals with the computation for the supremal simulation-based controllable(More)
We study the spatial semidiscretizations obtained by applying Runge–Kutta (RK) and partitioned Runge–Kutta (PRK) methods to multisymplectic Hamilto-nian partial differential equations. These methods can be regarded as multisym-plectic hp-finite element methods for wave equations. All the methods we consider are multisymplectic; we determine their properties(More)
OBJECTIVE The aim of our study was to evaluate the role of 18F-FDG PET/CT integrated imaging in differentiating malignant from benign pleural effusion. METHODS A total of 176 patients with pleural effusion who underwent 18F-FDG PET/CT examination to differentiate malignancy from benignancy were retrospectively researched. The images of CT imaging, 18F-FDG(More)