Learn More
  • Shouliang Xi, Mei Jia, Huipeng Ji
  • 2009
In this paper, we study the existence of positive solutions of boundary value problems for systems of second-order differential equations with integral boundary condition on the half-line. By using the fixed-point theorem in cones, we show the existence of at least one positive solution with suitable growth conditions imposed on the nonlinear terms.(More)
The glutamate pathways are involved in diverse processes such as learning and memory, epilepsy, and they play important roles in neural plasticity, neural development, and neurodegeneration. It has been proposed that autism could be a hypoglutamatergic disorder. Recently, Jamain et al. reported that the glutamate receptor 6 (GluR6 or GRIK2) is in linkage(More)
This paper is devoted to the existence and uniqueness results of solutions for fractional differential equations with integral boundary conditions. By means of the Banach contraction mapping principle, some new results on the existence and uniqueness are obtained. It is interesting to note that the sufficient conditions for the existence and uniqueness of(More)
  • Shouliang Xi, Mei Jia, Huipeng Ji
  • 2010
In this paper, we study the existence of positive solutions for boundary value problems of second-order differential equations system with integral boundary condition on the half-line. By using a three functionals fixed point theorem in a cone and a fixed point theorem in a cone due to Avery-Peterson, we show the existence of at least two and three monotone(More)
It is important to ensure the reliability of Web applications at early design phase. Model checking is a viable method to achieve this goal. In this paper, we analyze the interaction between the Web application and browser and propose a method to formal modeling and verify Web application navigation model with session mechanism. We use UML sequence diagram(More)