一类带正权超线性对称方程对称周期解的分布

讨论一类带正权函数超线性对称方程对称周期解的分布情况.运用相平面定性分析的方法,得到了在关于时间映射的超线性条件下,方程无穷多个对称调和解的存在性以及对称次调和解的稠密性分布结果.     

地图着色问题的粘贴DNA算法

提出多级分离的概念,给出一个多级分离装置的模型,并介绍粘贴模型中的多级分离操作、将地图着色问题转化为可满足性问题、基于粘贴模型的巨大并行性及多级分离的优势,提出解决该问题的粘贴DNA算法。通过一个实例给出实验操作步骤,并对生化反应过程进行模拟,得出具体的着色方案,从而证明了该多级分离装置的有效性以及该算法的可行性。     

嵌入式车载导航系统的地图数据库设计与实现

基于全球定位系统(GPS)和地理信息系统(GIS)的车载导航系统是智能交通系统的最重要的组成部分.结合嵌入式技术阐述了车载导航系统的设计与实现,重点介绍了WinCE下电子地图数据库的设计、连接与显示.     

对于初等多值函数问题的研究

首先研究了辐角函数的一些性质,进而对对数函数的多值性进行了分析,最后讨论了多值函数的应用问题.     

四元素环F2+uF2上一类循环码的性质

文章首先讨论了从四元素环F2 uF2到域F2上的映射Nechaev-Gray映射的性质,然后通过Nechaev-Gray映射研究了环F2 uF2上形式为(a(x)b(x))n2 u(a(x))n2循环码的一些性质,并由此给出了形式为C=C1 uC2的循环码为自对偶码的充要条件。     

基于物体关系描述的单目语义SLAM方法

外界环境的语义感知和自身位置的准确估计是移动机器人自主导航和作业的关键。提出了一种基于单目相机的语义SLAM(simultaneous localization and mapping)方法,在轨迹估计的同时完成三维目标检测。提取物体自身语义、尺寸、颜色分布及其邻域拓扑结构等多元信息作为描述子,实现帧间物体的准确关联。在后端对相机位姿、地图点和物体路标进行联合优化,并自适应调整代价函数中各误差项的权重系数,以提高各状态变量的估计精度和鲁棒性。实验结果表明,所提出的算法在地图构建方面具有较高的精度。     

基于启发式的多机器人SLAM地图融合方法研究

同步定位和地图构建（simultaneous localization and mapping,SLAM）是移动机器人在未知环境中完成地图构建和定位任务的关键技术。针对多机器人SLAM中的地图融合问题,提出一种启发式的搜索方法引导局部地图的重复区域进行地图融合。每个机器人可以在不了解其相对位置的情况下建立局部地图,并将局部地图信息发送至同一工作站中,以局部地图的相似性为判断指标融合得到最优的全局地图。在机器人实物平台上进行验证,结果证明了多机器人SLAM的地图融合算法的有效性和准确性。     

非线性等距算子的特征

讨论了无穷维Banach空间中非线形等距算子的特征.在像空间是严格凸的要求下,证明只要f:X→Y保持距离a,b,ma nb,其中a,b∈R ,m,n∈N,则f一定是一个等距算子.这个结果在一定意义下回答了著名的Aleksandrov问题.     

Banach空间中严格伪压缩映射隐迭代过程的收敛性

在一致凸Banach空间中证明了有限个严格伪压缩映射族的隐迭代过程弱收敛于不动点的充分条件是要求此空间满足opial条件.论文中所得到的结果是对以前结果的一种改进和提高.     

高阶延伸集和高阶延伸极限集的连通性

讨论动力系统中的高阶延伸集和高阶延伸极限集,给出集合的高阶延伸集和高阶延伸极限集的连通性的条件:设X是局部紧的度量空间,当M是连通的,D α(M)是紧的则它是连通的;当M是紧的和连通的,且J α(M)是紧的则它是连通的.