基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式,把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式,给出全功能联结词集的判定条件。     

面向残差网络多元特征的轻量级虹膜分类

针对传统虹膜分类需手工设计滤波器提取虹膜特征,提取特征单一,且通常需大量手工调参,泛化能力较差的问题,提出一种面向残差网络下多元特征的虹膜分类算法.一方面将虹膜图像与Gabor特征相结合,另一方面在网络结构中使用多个尺度的卷积核,使学习到的虹膜特征更丰富,从而提高图像特征的表征能力.实验结果表明,在固定类别中,使用So...     

FC-空间中的KKM型定理与截口定理

在没有任何凸性结构和线性结构的有限连续空间中引入了FC-KKM映象的概念,并在FC-空间中证明了一个新的非空交定理,利用该非空交定理证明了一个新的不动点定理,再利用该不动点定理以及B rouwer不动点定理和连续单位分解定理在FC-空间中证明了一个具有FC-KKM映象的FC-KKM定理和FC-空间截口定理,并将所得结果应用于重合点问题的研究,证明了一个FC-空间中新的重合点定理,推广了近期的相关文献。     

半分离空间的映射性质

将分离公理推广为半分离公理，讨论了半分离空间在同胚映射、强半开映射、弱半开映射、半开映射和弱连续映射下的有关性质。     

一种移动机器人SLAM中的多假设数据关联方法

针对移动机器人同时定位与建图(SLAM)中的局部数据关联问题,提出一种基于粒子滤波的多假设数据关联方法.该方法将数据关联问题转换成离散优化问题,利用多个粒子来维持多种数据关联假设,通过计算关联代价来获得粒子权重,用基本剪枝技术在粒子重采样过程中滤除错误的数据关联假设.研究结果表明:该方法弥补了经典的数据关联方法中关联假设一旦确定就不能修改的不足;与ICNN和JCBB数据关联方法相比,该方法能获得更正确的数据关联结果和更高的定位精度.     

GFC-空间中的参数型KKM定理及其应用

首先证明了GFC-空间的一个特征性质,然后通过引进线性序空间,在非紧的GFC-空间中证明了一个参数型KKM定理.应用参数型KKM定理得到了一些新的非紧的极大极小不等式.     

小麦品质性状的QTL定位研究进展

本文系统地总结了国内外小麦品质性状QTL定位研究的主要性状、所用群体、标记类型、QTL定位所在的染色体位置及贡献率的大小,提出了小麦品质性状QTL定位中存在的问题,展望了小麦品质性状QTL定位的发展方向。     

基于primal RankRLS方法的本体映射算法

本体映射作为实现多本体间相互操作的重要手段,已广泛应用于诸多领域.应用原始RankRLS算法,将多本体图映射到实数轴,由此将本体图中每个顶点都映射成实数.通过比较两概念对应实数间的差值得到本体映射.实验表明,该算法有较高的效率.     

新混沌系统的动力学分析及计算机仿真

构造了一类新的含有包含绝对值的非线性项的三维二次自治混沌系统,根据稳定性理论分析了系统的定性行为,并借助Matlab软件进行了数值模拟,得到了系统的部分动力学特性。通过Lyapunov指数谱讨论了系统参数对系统混沌特性的影响,结果表明随着系统参数的变化,系统的动力学行为也发生了变化。进一步通过分岔图、Poincare截面图以及相图验证了上述结论。     

高效数字化测图方法——拼音简码法

拼音简码法是编码测图的一个分支，是在外业采集细部点时，采用点名拼音简码形式快速记录点位的信息属性，单位时间测绘效率是全野外采点绘制草图法的1．5倍。介绍了拼音简码法的操作方法，并与传统誊集方法做了比较。