带有导数项的~Neumann~问题正解

本文研究了带有导数项的非线性~Newmann~问题 $$ \left\{\begin{array}{ll} u''(t)+ku(t)=f(t,u(t),u''(t)),\quad t\in (0,1),\\[2ex] u''(0)=u''(1)=0 \\[2ex] \end{array}. \right.\eqno $$ 其中~$0相似文献   

基于模糊描述逻辑F-ALC(G)的模糊OWL扩展

针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法     

一类一阶两点边值共振问题解的存在性和多解性

运用Lyapunov-Schmidt过程和解集连通理论,得到一阶两点边值问题{u′(t)=g(u(t))+h(t),t∈[0,π],u(0)=u(π)解的存在性和多解性,其中:g∈C(R,R);h∈C([0,π],R).     

带有导数项的二阶周期问题正解

获得了非线性函数带有导数项的二阶周期边值问题{u″(t)+au(t)=f(t,u(t),u'(t)),〓t∈［0,1］,u(0)=u(1), u'(0)=u'(1)正解的存在性, 其中(π²)/4π², f:［0,1］×R⁺×R→R⁺连续。 f(t,x,y)满足Nagumo条件, 且关于 x 和 y 满足一定的超线性增长条件。针对超线性情形, Nagumo条件关于y严格控制了f的增长。主要结果的证明基于不动点指数理论。