基于神经网络的车辆交通协调性评价模型

为了研究自动驾驶汽车交通协调性的主客观映射评价模型,以高速公路匝道汇入为研究场景,首先基于自然驾驶数据的交互样本数据,以自车平均行驶速度、并线时刻侧向速度、并线时刻车头TTC、并线时刻两车相对侧向速度和对手车减速程度等客观指标数据和交通协调性主观评价结果作为模型输入和输出,构建映射评价模型;然后设计2×2交叉对比实验,...     

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

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

关于算子同胚映射

在算子开集理论中给出了算子同胚映射的概念,得到了算子同胚映射的若干性质.     

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

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

一类非线性发展方程差分法的稳定性

研究了用差分法求解自治的发展方程时稳定性和收敛性这两个基本概念之间的联系,利用计算时间的有限性和紧致性,在可解集为开集的条件下,得出方程解的邻近也可解的结论.当近似方法同时具备收敛性和稳定性时,方程解必然具备逐点Lipschitz条件.方程解的邻近如果可解并具备逐点Lipschitz条件,则差分法收敛必有稳定界存在,从而差分格式收敛性保证其稳定性,因此可以放弃线性这一重要条件.     

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

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

基于多本体的煤炭调度集成系统的研究

针对公司煤炭调度系统中总调度系统与下属分矿的子调度系统中存在异构数据源导致难以实现数据共享,设计了一个基于多本体的煤炭调度集成系统架构。重点研究了系统查询处理过程,首先根据全局本体到局部本体的映射,把针对全局本体的查询语句分解为对局部本体的子查询,再将子查询进一步重写为关系数据源的查询语句并给出了RDQL—to—SQL查询重写算法,最后把对关系数据源的SQL子查询结果进行集成返回给用户。     

有限个一致李普希兹渐近拟非扩张映像强收敛定理

在任意Banach空间中,给出了有限个一致李普希兹渐近拟非扩展映像强收敛于其公共不动点的问题,此结果推广了以前的结论.     

拟共形映照的双曲面积偏差

进一步研究拟共形映照f(z)=ρ(r,θ)eiφ(θ),z=reiθ,0相似文献   

可数meso紧空间的一些性质

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