复域微分方程解的不动点与迭代级

文中引入了亚纯函数f(z)的不动点i级收敛指数的概念,并用以研究系数为超越整函数且级无穷的n阶线性微分方程解的不动点与迭代级,得到了一些相关的性质与结果。     

一类捕食者-食饵系统的霍普夫分叉及其稳定性

讨论了一类捕食者-食饵系统的参数在某个范围变化时在非零不动点处产生霍普夫分叉的情况,并对其稳定性进行了分析.     

基于检测点失效检测算法的研究与改进

对利用二次检测模式构建的基于检测点的失效检测算法进行改进: 利用误判概率调整二次检测延迟时间的计算方法, 动态计算二次检测时间, 从而提高分布式网络中失效检测的准确性. 通过实验将传统的失效检测算法以及基于检测点的失效检测算法与本文提出的改进算法进行对比, 验证了在分布式系统失效检测应用中, 改进的算法能够提高失效检测的准确性.     

具有广义指数型二分性离散系统的反周期解

研究了一类具有广义指数型二分性非线性离散系统的反周期解.首先指出若齐次线性系统具有广义指数型二分性,则对应非齐次线性系统存在反周期解.然后借助这个结论并应用不动点定理,给出了非线性离散系统存在反周期解的充分条件.     

服务水平约束下的粮食库存控制模型研究

采取连续性检查的固定订货量、固定订货点策略,建立粮食库存控制模型,主要解决了两个决策量:粮食的订货点和最佳订货批量.通过对粮食销售市场的调查,按照实际情况考虑粮食的变质损失成本、缺货成本和安全库存等因素,求出在满足适当目标服务水平下的最佳订货量.     

双足机器人稳定行走步行模式的研究

研究了一种基于零力矩点(ZMP)预观控制系统的双足机器人稳定行走步行模式生成方法.通过对双足机器人行走过程中行走参数及ZMP轨迹进行规划,计算出机器人行走过程中的质心轨迹.由运动学模型求解出其行走过程中步行姿态,预观控制器利用未来目标ZMP参考值和双足机器人状态计算控制输入,对机器人进行稳定行走控制.最后采用ADAMS和Matlab/Simulink联合仿真技术对离线步行模式进行仿真验证,仿真结果表明双足机器人虚拟样机可实现稳定行走效果.     

非线性三阶三点边值问题多个正解的存在性

用锥上不动点定理研究非线性三阶三点边值问题{u(″)(t)-ρu′(t)+f(t,u(t))=0,t∈[0,1],u(0)=u′(0)=0,u′(1)=αu′(η)多个正解的存在性,其中ρ>0为一个常数,0<η<1,α>0,f:[0,1]×[0,∞)→[0,∞)是一个连续函数.结果表明:当f满足一定条件时,该问题存在可...     

Banach空间中非线性二阶奇异脉冲微分方程混合边值问题多个正解的存在性

利用不动点指数理论讨论了Banach空间中非线性二阶奇异脉冲微分方程混合边值问题多个正解的存在性,得到了除平凡解外的两个正解的结果,并且给出了例子．     

面向低质指纹的处理算法的研究

由于种种原因,指纹计算机自动识别系统必须处理作为档案存储的大量低质量指纹,本文介绍作者在研究过程提出的、并在实际系统中使用过的处理低质指纹的有关算法,处理结果证明这些算法是比较有效的。     

Altman型不动点定理

针对Altman型不动点定理,讨论了在第一个指数在0和1之间和第二个指数不大于0,以及只有一个小于0指数情形范数不等式条件下全连续算子不动点的存在性.证明了几个新的不动点定理.对应最近文献中第一个指数大于1,第二个指数不小于0在范数不等式条件下的不动点定理,推广和补充了这些文献中的结果.