Banach空间分数阶微分方程边值问题正解的存在性

用非紧性测度估计技巧和凝聚映射的不动点指数理论,证明Banach空间中分数阶微分方程边值问题正解的存在性.     

Ck-Banach(k≥1)流形之间非线性映射的局部线性化

在参考文献[1]中,给出了Banach空间之间非线性映射的局部线性化定理,本文将上述结果进行推广,考虑Ck-Banach流形之间非线性映射局部线性化问题.     

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

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

可数meso紧空间的一些性质

首先给出了可数meso紧空间的一个等价刻画,然后主要证明了以下结论:(Ⅰ)分别准完备映射保持,逆保持可数meso紧性;(Ⅱ)可数meso紧空间在闭的紧覆盖映射下的象是可数meso紧空间;(Ⅲ)meso紧映射的逆保持可数meso紧性。     

基于多尺度光流融合特征点视觉-惯性SLAM方法

为提高视觉-惯性导航系统在弱纹理环境下的鲁棒性和精度,结合特征点法精度高和光流法速度快的特点以及惯性信息,提出一种多尺度均匀化光流融合特征点法的视觉-惯性同时定位与地图(simultaneous localization and mapping, SLAM)构建方法。首先,改进快速特征点提取和描述(oriented fast and rotated brief, ORB)特征提取过程,采用多尺度网格化的方法提取ORB特征点并利用四叉树均匀分配特征点,提高特征分布离散性。其次,在帧间采用LK(Lucas and Kanade)光流法追踪特征点进行帧间的数据关联,在关键帧对特征点进行描述子的计算和匹配从而实现关键帧间的数据关联,保证算法速度的同时提高定位精度和鲁棒性。最后,基于光流法建立的数据关联得到的初始位姿为后端优化提供初始值,整合ORB特征点重投影误差、惯性测量单元(inertial measurement unit, IMU)预积分误差以及滑动窗口先验误差构建最小化目标函数采用滑动窗口非线性优化进行求解。实验表明,所提方法相比单目视觉惯性系统具有更高的定位精度和鲁棒性,定位精度平均...     

基于D3D的三维游戏引擎的设计与实现

设计了一种基于Direct3D的三维游戏引擎的框架结构及各个模块的相互关系.并给出了纹理映射、加密解密、GUI的设计、和系统接口的实现方法.     

基于本体的生物医学数据多模态语义转换方法

采用基于本体驱动的数据转换模型建立生物医学数据集集成数据库,并给出异构资源的共享语义标识符.生成支持语义Web格式的生物医学库,能实现数据集的自动化转换和映射.     

Banach空间中寻求(α,β)-适度混合集值映像吸引点的一般迭代格式

引入（α,β）-适度混合集值映像与条件I^*的概念,提出了用于寻求（α,β）-适度混合集值映像吸引点的一般迭代法.在一致凸Banach空间中,利用条件I^*与半紧性质,建立了所提（α,β）-适度混合集值映像的迭代格式的强收敛性.结论改进与修正了之前文献中已发布的相应结果.     

一类Cantor-Moran谱测度的极大正交集

该文讨论了一类Cantor-Moran 谱测度. 利用极大映射刻画了所对应的平方可积函数空间中所有的极大正交集, 这为寻找此函数空间更多类型的谱提供了很好的渠道, 也便于傅里叶级数收敛性的研究.     

基于知识图谱的我国农产品品牌研究述评

依据科学知识图谱相关理论,利用CiteSpace软件对农产品品牌相关文献进行可视化分析,再利用Netdraw软件描绘主要研究内容的网络关系,对我国农产品品牌研究的热点内容、演进历程和趋势进行分析.结果表明,农产品品牌研究内容主要集中在农产品品牌属性结构及效应、品牌评价、品牌建设运营及区域品牌/地理标志品牌等方面.研究内容的演进路径反映了不同阶段的研究特色,也契合了国家政策调整和经济社会发展需求变化.我国专注于农产品品牌研究的学者和机构较少,学者间或机构间也未建立起紧密的合作关系.未来研究应进一步完善农产品品牌基本理论及研究方法,拓展农产品品牌研究的深度与广度,建立合作紧密的学术研究网络.