一类二阶常微分方程组边值问题三个正解的存在性

利用Leggett-Williams不动点定理,研究了在Sturm-Liouville边界条件下的一类二阶常微分方程组多个正解的存在性,得到了至少三个正解存在的充分条件.     

非线性脉冲微分方程组边值问题正解的存在性

通过构造一个特殊的算子,将脉冲问题转化为连续性问题,然后利用锥拉伸和锥压缩不动点定理,研究Banach空间中一类二阶脉冲微分方程组边值问题,得到多重正解的存在性定理。     

公安信息化术语标准化中的概念体系研究

概念体系的建立是公安信息化术语标准化的关键。本文在深入分析公安信息化概念体系的内涵和作用基础上,运用术语标准化和概念体系建立的理论和方法,首先从现有标准等资料中收集公安信息化的概念和术语,确立公安信息化涉及的概念,进而从宏观上分析概念的内涵和外延,然后从公安信息化的体系结构、技术、业务等角度分析确立了概念之间的整体一部分关系,采用自顶向下的方式构建了公安信息化术语标准化的概念体系。该体系层次分明,结构合理,便于下定义和规范指称,为公安信息化术语的标准化奠定了基础。     

非线性二阶差分方程三点边值问题的研究

为了拓展非线性离散边值问题的基本理论,研究了一类非线性二阶差分方程三点边值问题正解存在性的充分条件.首先,给出了相应的二阶差分方程三点边值问题解的表达式并证明其性质;其次,在Banach空间中构造合适的锥和积分算子,运用锥上的Krasnoselskii's不动点定理,在非线性项允许变号的条件下,获得非线性二阶差分方程三...     

带非局部源的退化奇异半线性抛物方程组解的整体存在性与爆破

研究了带齐次Dirichlet边界条件的非局部退化奇异半线性抛物方程组,建立了经典解的局部存在性与唯一性定理,在适当的假设下,得到了非负解的整体存在性与有限时刻爆破.     

一类阻尼Boussinesq方程初边值问题的整体解

运用Fourier变换和扰动方法研究了一类阻尼Boussinesq方程初边值问题的整体解.在一定条件下得到了这类Boussinesq方程在古典空间中整体解的存在唯一性和形式解的长时间渐近性.     

Banach空间中非线性奇异脉冲微分方程边值问题的正解

通过构造一个特殊的算子,利用锥拉伸和锥压缩不动点理论,研究了Banach空间中一类奇异脉冲微分方程边值问题的正解及多重正解的存在性.     

一类无穷域上高分数阶微分方程正解的存在性

为了研究无穷域上高分数阶微分方程多点边值问题正解的存在性,采用Schauder不动点定理及抉择定理,给出一类无穷域上高分数阶微分方程正解的存在条件以及迭代解,对分数阶微分方程解的存在性问题进行向高阶的推广.     

地下结构抗震设计方法整体强制反应位移法

基于地震作用下地下结构主要受周围土层变形控制这一基本思想,在地下结构抗震设计方法强制反应位移法的基础上,探讨了一种新的抗震设计方法——整体强制反应位移法.新方法将土层变形施加到计算模型的整个土层有限元上以模拟地震作用,避免了原方法所施加土层变形传递到远离模型边界位置会发生衰减的现象.结合上海市某地铁车站的计算实例,详细介绍了该方法的具体实施步骤、基本特点.同时以动力时程法为基准,分析了该方法在不同地震动强度下的计算效果.研究表明,整体强制反应位移法的计算结果与动力时程法符合较好,设计理念体现了地下结构的震害机制,是一种方便有效的抗震设计方法.     

二阶非线性抛物方程解的爆破与整体存在

文章研究了一个二阶非线性抛物方程解的有关性态,构造上、下解,利用比较原理,获得了解整体存在和有限时刻爆破的相应条件,使得具有非线性边界条件的二阶非线性抛物方程的解整体存在或在有限时刻爆破。