锥度量空间中两对非相容映象的一个新的公共不动点定理

 自锥度量空间的概念被提出以来,已经有数位学者对其结构和性质进行了探讨.研究了锥度量空间中非相容映象对,并利用非相容映象对的性质和压缩条件得到一类映象的公共不动点定理,其结果推广了相关文献的结果.     

Banach空间中一阶非线性微分方程组无穷边值问题解的存在性

利用一个新的比较结果和M(o)nch不动点定理,研究了Banach空间中一阶非线性微分方程组无穷边值问题,在较宽松的条件下获得了正解的存在性定理,改进了某些已知的结果.     

W-空间上的广义收缩型映射族的唯一公共不动点

介绍了比度量空间和对称空间更弱的W-空间的概念,并在W-空间上引进了若干个具有广义收缩型条件的映射族,得到了三个具有反交换性的广义收缩型映射族的唯一公共不动点的存在性定理.     

分数阶微分方程反周期边值问题解的存在性

分数阶微分方程边值问题具有良好的理论价值和广泛的应用背景,一直吸引不少学者对其进行研究.反周期边值问题是边值问题中重要的一类.作者利用Krasnoselskii不动点定理和一些分析技巧,研究一类分数阶微分积分方程反周期边值问题,获得了反周期边值问题解存在的一个充分条件.与以往的结果相比较,论文中所得的条件容易验证,在一定程度上推广了已有的结论.     

锥度量空间中两个集值映射的公共不动点定理

在度量空间中引入了一种新的广义压缩条件,利用这种条件,在不要求正规锥的前提下,得到了满足广义压缩条件的集值映射的公共不动点的存在性结果.这些结果推广了一些锥度量空间中关于两个集值映射的最常见的公共不动点定理.     

一类脉冲周期边值问题多个正解的存在性

讨论了一类脉冲周期边值问题多个正解的存在性,首先把脉冲微分方程解的存在性转化为等价的算子方程的不动点的存在性,然后利用Leggett-Willams不动点定理,获得了此边值问题至少3个正解的存在性.     

常微分方程解的存在唯一性定理的教学探索

研究了一阶常微分方程的初值问题,通过构造上、下控制函数结合上、下解方法及不动点理论,证明了当非线性项连续时解的存在性,当非线性项Lipschitz连续时解的唯一性.该方法也适用于其它类型的微分方程研究.结合多年的教学与科研经验对"常微分方程解的存在唯一性定理"的课堂教学进行了分析与探讨.     

脉冲推力作用下上楼梯双足机器人行走的建模与动力学分析

本文研究脉冲推力作用下带伸缩腿的上楼梯双足机器人行走的复杂动力学。利用伸缩腿结构解决上楼的触碰台阶问题,采用沿支撑腿方向的脉冲推力提供动力源,运用拉格朗日方程和角动量守恒定律,建立上楼梯双足机器人行走的动力学模型。通过施加幅值限制和与支撑腿角速度相关的脉冲推力构造庞加莱映射。结合理论分析和数值模拟,研究系统的周期解及其分岔等复杂动力学,讨论脉冲参数及自身结构参数对双足机器人稳定行走的影响。研究结果表明：选择合适的参数,系统具有稳定的周期-1解,双足机器人能够稳定完成爬升楼梯的动作;相较于固定脉冲推力,幅值限制和与支撑腿角速度相关的脉冲推力有助于上楼梯双足机器人快速进入稳定的行走状态。     

非对称代数Riccati方程的一类不精确迭代解法

研究了非对称代数Riccati方程的数值解法.不动点迭代法是求解非对称代数Riccati方程的一类经典算法,然而不动点迭代法在每步迭代中都需要求解一个Sylvester方程,因此运算量比较大.本文对一类不动点迭代法进行了改进,提出了不精确迭代法以求解方程,该方法在外层迭代中使用不动点迭代法,而在内层迭代求解Sylvester方程时使用了Smith算法,进而减少了运算量.理论分析和数值实验表明,本文所提的方法是可行的,而且与基本的不动点迭代法相比,也是较为有效的.     

Banach空间二阶非线性脉冲积分微分方程边值问题解的存在性

利用Darbo不动点定理．讨论了二阶非线性脉冲积分微分方程的边值问题,在较弱的条件下得到广解的存在性。