3 citations
- Weihai Science and Technology BureauCN7 papers
- Weihai Municipal HospitalCN2 papers
- Clausthal University of TechnologyDE1 paper
- Graz University of TechnologyAT1 paper
- Harbin Institute of TechnologyCN1 paper
- Institut de recherche mathématique de RennesFR1 paper
- Shandong UniversityCN1 paper
- Shandong University of Science and TechnologyCN1 paper
- Shandong University of TechnologyCN1 paper
- Université de Bretagne OccidentaleFR1 paper
- Université de RennesFR1 paper
8 papers
Multiple-parameter bifurcation analysis in a Kuramoto model with time delay and distributed shear
Ben Niu, Jiaming Zhang, Junjie Wei
In this paper, time delay effect and distributed shear are considered in the Kuramoto model. On the Ott-Antonsen's manifold, through analyzing the associated characteristic equatio…
Implementing program extraction from CL1-proofs
Meixia Qu, Ke Chen, Daming Zhu +1
Computability logic (CoL) is a formal theory of interactive computation. It understands computational problems as games played by two players: a machine and its environment, uses l…
A priori bounds and existence of non-real eigenvalues of indefinite Sturm-Liouville problems
Jiangang Qi, Shaozhu Chen
The present paper gives a priori bounds on the possible non-real eigenvalues of regular indefinite Sturm-Liouville problems and obtains sufficient conditions for such problems to a…
Estimates on the non-real eigenvalues of regular indefinite Sturm-Liouville problems
Jussi Behrndt, Shaozhu Chen, Friedrich Philipp +1
Regular Sturm-Liouville problems with indefinite weight functions may possess finitely many non-real eigenvalues. In this note we prove explicit bounds on the real and imaginary pa…
Solutions and improved perturbation analysis for the matrix equation X-A^{*}X^{-p}A=Q (p>0)
Jing Li
In this paper the nonlinear matrix equation X-A^{*}X^{-p}A=Q with p>0 is investigated. We consider two cases of this equation: the case p>1 and the case 0<p<1. In the case p>1, a n…
Solutions and perturbation analysis of the matrix equation X - \sum_{i=1}^m A_i^* X^{-1} A_i = Q
Jing Li
Consider the nonlinear matrix equation X-sum_{i=1}^{m}A_{i}^{*}X^{-1}A_{i}=Q. This paper shows that there exists a unique positive definite solution to the equation without any res…