一类带时滞的Duffing方程概周期解的存在性

运用压缩映射原理,研究如下非自治系统:x″(t)+cx′(t)-a(t)x(t)+b(t)x(″)(t-k(t))=p(t)的概周期解的存在唯一性,并给出其概周期解存在且唯一的充分条件.所得结果推广了冯春华的主要结果及ZhouQiyuan等的有关结果.     

锥度量空间中两个集值映射的公共不动点定理

在度量空间中引入了一种新的广义压缩条件,利用这种条件,在不要求正规锥的前提下,得到了满足广义压缩条件的集值映射的公共不动点的存在性结果.这些结果推广了一些锥度量空间中关于两个集值映射的最常见的公共不动点定理.     

关于映射的两个导出映射

设f：A→B是映射,任意C∈2^A,令f1（C）=f（C）,任意D∈2^B,令f2（D）=f^-1（D）,则称f1,f2是f的导出映射．研究了单射、满射、双射（及其逆）、映射的积的导出映射,并得到了相应的结果．     

Banach空间中2类压缩映射不动点的具误差的Ishikawa迭代序列的收敛性

讨论了Banach空间中拟压缩映射对和广义压缩映射的具误差的Ishikawa迭代序列的收敛性问题,得出了在一定条件下,这2类压缩映射分别强收敛于它们的不动点.这些结论推广和发展了已有的相关结果,使这些结果的适用范围更广.     

L-Fuzzy理想的L-Fuzzy剩余类的刻画

给出当L是完全分配格时L-fuzzy理想的L-fuzzy剩余类的定义及若干刻画,并证明了若f:X→Y是环满同态,B是Y的L-fuzzy理想,则X关于L-fuzzy理想f -1(B)的L-fuzzy剩余类做成的环X/f-1(B)与环Y同构.     

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

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

关于算子同胚映射

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

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

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

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

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

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

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