集值映射空间中的图象拓扑（I）

在集值映射空间中引入了四种图象拓扑，给出它们之间的关系，并在点紧致连续映射空间上证明了其中两种拓扑之间的等价关系．     

Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。     

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

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

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

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

用面扩树的方法找三次图的边三着色

本文通过分析三次图中面的奇偶性及组合情况,引出了可边三色块的概念,接着用面扩树方式给出了三次图中大量的可边三色块,在这些可边三色块中导出了三次图的一些边三色解.     

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

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

从射影观点看三角形“五心”定理的变形

本文用射影观点考察三角形的“五心”定理,通过配极变换推出五个新的命题。     

电网谐波的微机检测和分析系统

为贯彻水电部《电力系统谐波管理暂行规定》文件,适应电网谐波检测管理的需要,研制了本装置。它在微处理机的基础上实现了对电网谐波的自动检测:能测量基波至19次谐波的电压、电流、相位、有功和无功功率,以及电压和电流的总畸变率。本文简述其工作原理、硬件框图、程序流程图、提高测量准确度的措施、测试结果等。     

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

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

对角度规谐和条件下不存在引力辐射和引力波

证明了在对角度规谐和条件下,在不存在引力辐射和引力波,并对Ｂｏｎｄｉ引力平面波和引以立波进了讨论。