紧度量空间中的不动点定理

在紧度量空间中讨论了压缩型和膨胀型不动点定理 ,推广和改进了 [2 ]和 [5 ]中的若干结果     

修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

发动机的曲轴转速方程及其近似解

从活塞发动机的动力分析中得到本文中的微分一积分方程(4),其中α为曲轴转角,θ为角速度的平方,而ε<<1为总等效转动惯量的倒数。本文利用压缩映象原理和摄动方法证明了所得方程解的存在性和唯一性,并给出了这个解的渐近展开。     

基于降维观测器与多胞体方法的执行器故障检测

针对具有执行器故障且状态方程和输出方程同时受到外部扰动影响的离散系统,研究了降维观测器设计方法和基于多胞体理论的区间估计方法,并在此基础上提出了基于区间估计的执行器故障检测方法。首先,通过适当的状态等价变换,将原系统分解成2个降维子系统,使得一个子系统可以直接解耦干扰。然后,在无执行器故障发生的前提下,基于对干扰解耦的子系统,提出了一种降维观测器设计方法,实现了原系统状态的渐近收敛估计。其次,针对具有干扰的子系统,设计了Luenberger型观测器,并结合多胞体理论,提出了一种对可测输出的区间估计方法。之后,基于可测输出的区间估计,提出了一种残差的构造方法,以此提出了一种执行器故障检测新方法。最后,给出了仿真设计和分析,验证了方法的有效性。     

改进位姿估计环节的ORB-SLAM稠密建图算法

为了提高ORB-SLAM2系统的位姿估计精度并解决仅能生成稀疏地图的问题,提出了一种融合ICP算法与曼哈顿世界假说的位姿估计策略并在ORB-SLAM2系统中加入稠密建图线程来实现稠密建图。首先通过ORB特征点法、LSD算法和AHC方法进行点、线、面特征的提取,其中点、线特征跟上一帧匹配,面特征在全局地图中匹配。然后采用基于surfel的稠密建图策略将图像划分为非平面与平面区域,非平面采用ICP算法计算位姿,平面则通过面与面的正交关系确定曼哈顿世界从而使用不同的位姿估计策略,其中曼哈顿世界场景通过位姿解耦实现基于曼哈顿帧观测的无漂移旋转估计,而曼哈顿世界场景下的平移以及非曼哈顿世界场景位姿采用追踪的点、线、面特征进行估计和优化;最后根据关键帧和相应位姿实现稠密建图。采用TUM数据集对所提建图方法进行验证,实验结果与ORB-SLAM2算法比较,最终均方根误差RMSE平均减少0.24cm,平均定位精度提高7.17%,验证了所提方法进行稠密建图的可行性和有效性。     

区间Lurie型控制系统的鲁棒绝对稳定性

研究了区间Ｌｕｒｉｅ型直接控制系统和间接控制系统的鲁棒绝对稳定性,给出了系统鲁棒绝对稳定的充分条件,应用的例子说明所得的结果简单实用并且得到了较大的鲁棒度。     

脉冲间隔调制信号的谱分析

采用静态逼近方法,求出非同步模拟脉冲间隔调制信号简单而物理概念明确的谱表示,并由实验结果确认．     

Formula for Analyzing Hopf Bifurcation

CesariandHaleshowedthat[1],usingLiapunov-Schmidtreduction,theHopfbifurcationcanbetreatedasbifurcationofzerosofacertainreducedmapping.Consideranautonomoussystemofordinarydifferentialequation(ODE)definedneartheoriginoftheformdudt A(λ)u F(u,λ)=0,　u∈Rn,λ∈Rm(1)whereλisthebifurcationparameter,A(λ)isann×nmatrix,A(0)satisfiestheHopfhypothesis:ithassimpleeigenvalues±iandhasnoothereigenvalueslyingontheimaginaryaxis,F(u,λ)arethehigher-ordertermsofuandbothofAandFareC∞functionsofλ.Fixed…     

直动式锥形溢流阀性能分析

对工程上近期出现的直动式锥形溢流阀进行了静动态分析,通过稳定工作时阀芯受力平衡,建立了流量压力方程,绘出了Q一P曲线,得出了该阀较直动式圆柱形溢流阀调压偏差小,开启比大的结论,并说明了原因;又用功率键合图,建立了动态特性的数学模型,采用四阶龙格──库塔法、定步长,在微机上进行了动态过程仿真,并自动地打印出动态过程的压力和阀的位移曲线,找出了影响动态过程品质的主要因素,和阀芯移动时的阻尼．对直动式锥形溢流阀的优化设计和正确使用具有参考价值．     

需求系统的分形研究

以关联函数、关联积分为工具,研究了需求系统的分形特征,并对需求系统的时间序列进行了分形分析,寻找出无标度区,计算出分维数,进而发现无标度区的位置,分维数的大小等,可作为反映经济波动的定量指标。