具积分边值条件奇异四阶耦合微分方程组正解的存在性

利用Guo-Krasnoselskii不动点定理,考虑具有积分边值条件奇异四阶耦合微分方程组u~(4)(t)=ω_1(t)f(t,v(t),v″(t)),v~(4)(t)=ω_2(t)g(t,u(t),u″(t))正解的存在性,并在一定条件下得到了该方程组的多解性.     

分数阶微分包含三点边值问题正解的存在性

利用不动点定理,研究一类分数阶微分包含三点边值问题正解的存在性,给出该三点边值问题至少存在2个正解的充分条件.     

一类四阶奇异非线性积分边值问题正解的存在性

研究一类四阶奇异非线性积分边值问题正解的存在性问题. 利用锥压缩锥拉伸不动点定理及一些分析技巧,建立该边值问题存在一个及多个正解的一些新结果.所得结果推广并改进了先前的相关结果.     

奇异Sturm-Liouville边值问题的正解

利用拓扑度理论和锥上的不动点定理,研究奇异Sturm-Liouville边值问题的正解存在性,得到了新的正解存在性定理.     

A real-time transaction service for grid computing

A real-time transaction service aims at ensuring the consistency of real-time and transactional Grid applications. This paper proposes an efficient real-time transaction service (RTYS). It provides abilities to discover qualified services, i.e., participants, to execute specified sub-transactions, coordinate realtime Grid transactions, calculate deadline and assign priority for scheduling concurrent transactions. The service discovery adopts the two-level registry mechanism to adapt to transient Grid services. The coordination algorithm invokes multiple functional alternative services for each sub-transaction so that it remarkably improves the successful ratio of real-time transactions. The experiment result shows that the RTIS can well coordinate real-time transactions for Grid service environment and shield users from the complex process.     

一阶微分方程周期边值问题最优正解的存在性

利用更一般的锥不动点定理及格林函数的正性,给出了一类一阶微分方程周期边值问题(u)(t) a(t)u(t)=f(t,u(t)),u(0)=u(T)新的最优正解的存在性条件及多重正解存在性条件.     

一类含Hardy位势的拟线性椭圆方程的正解

讨论一类具Hardy位势的奇异拟线性椭圆方程,应用改进型Hardy不等式和强极大值原理,并结合上下解方法与山路引理证明了方程在适当条件下多重正解的存在性.     

一类具性别结构的食铒-捕食者系统周期正解的存在性

利用重合度理论研究具性别结构的食铒-捕食者系统周期正解的存在性,得到其存在周期正解的结果,并给出实例说明本文的结论.     

三阶三点非齐次边值问题多个正解的存在性

通过利用锥上的不动点定理讨论了下列三阶三点边值问题{u″′（t）＋a（t）f（t,u（t））=0,0〈t〈1 u（0）=u＇（0）=0,u＇（1）-au＇（η）=λ,多个正解的存在性,这里η∈（0,1）,α∈[0,1/η）是常数,λ∈（0,＋∞）是一个参数．     

二阶常微分方程的积分边值问题

研究二阶常微分方程的积分边值问题,利用动点定理,得到了边值问题存在唯一正解和至少存在3个正解的充分条件.