具有变号非线性项的三点边值问题的正解

首先证明双锥上的一个不动点定理,并通过该定理研究一类具有变号非线性项的二阶三点边值问题两个正解的存在性。同时,给出了该三点边值问题相关的Green函数。     

具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

一类具变号非线性项和p-Laplacian算子的仇点·边值问题的多个正解

研究一类具Laplacian算子的m点边值问题（Ф（u＇））＇＋q（t）f（t,u）=0,0〈t〈1,u（0）=^m-2∑i=1aiu（ζi）,u＇（1）=βu＇（0）.利用锥上的不动点指数定理,对上述具有变号的非线性项的边值问题进行研究,得到多个正解存在的充分条件．     

一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,讨论了一类多时滞泛函微分方程周期正解的存在性问题,并得到此类多时滞泛函微分方程周期正解存在的几个充分条件。     

二阶非线性常微分方程组边值问题的正解

研究一类二阶常微分方程组两点边值问题,利用Krasnoselskii’s不动点定理,得到当f和g满足超线性或次线性时边值问题一个正解存在的充分条件.     

脉冲微分方程边值问题的全局分支与多解性

研究非线性脉冲微分方程边值问题,应用分歧技巧,得到非线性脉冲微分方程边值问题多个解的存在性结果.     

一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,得到了一类多时滞泛函微分方程周期正解存在性的充分性条件。     

含有p-Laplacian算子的非齐次边值问题正解的存在性

研究非齐次边界条件下，含有p-Laplacian算子的微分方程的可解性，在Banach空间中应用Krasnoselskii不动点定理，得到了边值问题正解存在性结果。     

一类差分方程的三点边值问题的正解

研究了一类离散型三点边值问题:Δ2y(k-1) a(k)f(k,y(k))=0,k∈N={1,2,…,T},Δy(0)=0,y(T 1)=βy(l),式中:f是变号的,l∈N1={2,3,…,T-1},T∈{3,4,…}。应用双锥上的不动点定理,得到了至少存在两个正解的充分条件,并给出了上述边值问题的Green函数。     

基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。     

一阶非线性脉冲边值问题解的存在性

研究一阶非线性脉冲周期边值问题，应用微分不等式和Schaefer不动点定理，得到了脉冲边值问题解存在的充分性判据，并给出了相应的Green函数。     

Clifford分析中K超正则函数的Riemann边值问题

Clifford分析中的函数理论被广泛研究,得到的许多结果推广了经典复分析中解析函数的理论。文中研究了Clifford分析中K超正则函数的Riemann边值问题,得到它的一种表示式和Cauchy积分公式等一些性质,利用转化法和积分方程及不动点原理证明了它的一类Riemann边值问题O解的存在唯一性。     

轴对称物体空泡流动的数值计算

基于势流理论和边界元方法,对水下运动的回转体的空泡流进行了数值模拟.将半经验空泡封闭模型由平面流动推广至轴对称流动.对头部为圆锥的圆柱体空泡流动进行了数值计算.分析了空化数、半锥角、空泡长度间的关系.计算与实验结果符合较好.     

一类随机非单调二元算子的随机不动点定理

利用Mann迭代技巧,讨论了不具有紧性条件的随机非单调二元算子方程随机不动点的存在唯一性,并给出了迭代序列收敛于解的误差估计,所得结果是某些已知结果的本质改进和推广。