广义Hénon映射中浑沌现象

本文讨论广义Hènon映射Φ浑沌现象的存在性。我们用解析方法证明了当参数在一定范围时,映射Φ以集合S上的一个移位自同构σ为其子系统,其中S是一个双边无穷序列的集合,此时有浑沌现象。     

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

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

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

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

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

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

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

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

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…     

Hilbert空间的Nevanlinna第一基本定理

本文研究了取值在无穷维Ｈｉｌｂｅｒｔ空间中的向量值的Ｐｏｉｓｓｏｎ－Ｊｅｎｓｅｎ－Ｎｅｖａｎｌｉｎｎａ公式,向量值的Ｎｅｖａｎｌｉｎｎａ第一基本定理、Δｌｏｇ││ｆ（ζ）││的表示及Ｔ（ｒ,ｆ）的性质。     

广义强非线性拟变分不等式

引入并研究一类新的广义强非线性拟分变不等式,构造新的迭代算法,在没有紧性条件下,证明这类拟变分不等式解的存在性及由算法生成的迭代序列的收敛性,所得结果包含了近期一些作者的工作作为特例。     

亚纯函数的重值与唯一性问题

讨论了亚纯函数的重值与唯一性问题,得到了若干结果。这些结果推广并改进了熊庆来、谢军春,仪供勋等人得到的有关定理。     

基于微元件键合图库的微机电系统动态建模与仿真

为了更好地支持微机电系统(MEMS)TopDown设计流程,针对MEMS仿真中的多能量域与非线性特点,采用键合图场元件与结型结构设计并实现了一个集中参数表达的MEMS键合图仿真元件库,同时基于该元件库提出了一种MEMS动态系统建模与仿真方法.采用参数化仿真模型与结构化体系构建的元件库,为MEMS设计流程中的概念设计阶段与系统级设计阶段的快速建模与仿真提供了方便,同时元件库内的所有元件均与MEMS器件级设计中的结构特征具有映射关系,这为用户需求空间功能原理空间结构空间之间的设计空间映射提供了方便.通过一个静电间隙执行器的系统建模过程与仿真结果,验证了利用该元件库进行建模与仿真的有效性.