一类二阶泛函微分方程 x″(t)+f(t,x(g(t)))·Φ(x′(h(t)))=0的振动性

关于方程 x″(t)+f(t,x(g(t))·Φ(x′(h(t)))=0的振动性给出若干判别定理,判别准则均采用了形如 integral from n=1 to ∞ (f(t,c)dt),integral from n=1 to ∞ (tf(t,c)dt)的积分的敛散性.James.S.W.Wong 分别研究了方程 x″(t)+f(t,x(t))=0,x″(t)+a(t)f(x)g(x′)=0.笔者只要求Φ(y)>0,在其它条件相当情况下.推广了文[1]中相应结果.同时也推广了文[2]中定理1.而条件Φ(y)>0比文[2]中所给出的条件0相似文献   

耦合Riccati方程数值迭代方法

对一类非对称耦合的Riccati方程给出了统一的一般形式,用牛顿迭代法和不动点迭代法求解这类方程。在一定条件下证明了这两种迭代方法单调收敛到具有实际意义的最小非负解,并通过数值实验验证了本文所用方法的有效性。     

完备度量空间上不动点定理的推广及应用

Banach在1922年证明了完备度量空间上压缩映射不动点的存在性。通过对Banach不动点定理条件的研究,给出了Banach压缩映像原理的推广,并提出Banach不动点定理在存在唯一性方面的应用。     

一类Hilfer型分数阶微分方程解的存在和唯一性

用Banach不动点定理和上下解方法研究了α(1<α <2)阶数和β(0≤β ≤1)类型Hilfer分数阶微分方程的解,给出了方程解的存在和唯一性,并通过例证验证了本文所得结果的有效性.     

命题μ-演算局部模型检测高效算法设计

命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为d/2,大大提高了算法的计算效率。     

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

考虑二阶常微分方程组两点边值问题三个正解的存在性,适当定义半序巴拿赫空间及其上的锥,并利用Legget-Williams不动点定理,建立二阶常微分方程组两点边值问题三个正解的存在性结果.     

一种新的大气消光系数边界值确定方法

本文以激光雷达测量机场跑道斜程能见度为应用背景,提出了一种基于不动点原理的大气消光系数边界值确定方法,将确定消光系数边界值的问题转化为求解函数不动点。首先在边界层底部选取参考点,假设一个消光系数边界值,在Klett反演算法的基础上,构建消光系数均值与边界值之间的函数关系。然后依据函数不动点存在性和唯一性的条件判断不动点...     

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

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

多螺旋桨太阳能无人机推力分配方法研究

太阳能无人机的设计需以能量为核心,太阳能无人机多采用分布式推进系统,对推力分配进行优化可以有效提高螺旋桨效率进而提高能源利用率。在推力到桨效率的函数为凸函数的情况下,螺旋桨效率之和最大分配问题可以近似转化为拉力二范数最小分配问题,使用伪逆法解决了拉力二范数最小分配问题。将伪指令v d的误差最小作为优化目标之一考虑,形成混合优化目标,用不动点法求解了混合目标分配问题。螺旋桨的衰减滞后特性会增大伪指令误差,使用动态增益对螺旋桨动态特性进行补偿。对比数字仿真结果,不动点法相比伪逆法在降低了伪指令误差的同时,可以有效兼顾推进系统效率最高的目标;动态增益补偿可以有效削弱螺旋桨动态特性对整个推力分配系统造成的不利影响。