诱导空间的分子网收敛特征

研究了诱导空间的分子网收敛理论,给出诱导空间的几个与分子网收敛有关的刻画,从本质上揭示了诱导空间分子网收敛的特征及与之相关的闭包运算的内部结构。另外,作为应用,解决了《L-fuzzy拓扑空间论》中提出的关于序列式空间的几个问题。     

正规BCI-代数的“拟-广结并”构造

本文进一步讨论BCI—代数的拟结合部分的特征性质,引入正规BCI—代数的概念。同时给出一种构造正规BCI—代数的“拟—广结合并”方法。     

改进位姿估计环节的ORB-SLAM稠密建图算法

为了提高ORB-SLAM2系统的位姿估计精度并解决仅能生成稀疏地图的问题,提出了一种融合ICP算法与曼哈顿世界假说的位姿估计策略并在ORB-SLAM2系统中加入稠密建图线程来实现稠密建图。首先通过ORB特征点法、LSD算法和AHC方法进行点、线、面特征的提取,其中点、线特征跟上一帧匹配,面特征在全局地图中匹配。然后采用基于surfel的稠密建图策略将图像划分为非平面与平面区域,非平面采用ICP算法计算位姿,平面则通过面与面的正交关系确定曼哈顿世界从而使用不同的位姿估计策略,其中曼哈顿世界场景通过位姿解耦实现基于曼哈顿帧观测的无漂移旋转估计,而曼哈顿世界场景下的平移以及非曼哈顿世界场景位姿采用追踪的点、线、面特征进行估计和优化;最后根据关键帧和相应位姿实现稠密建图。采用TUM数据集对所提建图方法进行验证,实验结果与ORB-SLAM2算法比较,最终均方根误差RMSE平均减少0.24cm,平均定位精度提高7.17%,验证了所提方法进行稠密建图的可行性和有效性。     

直接分配到弹的双层反导火力规划模型

反导作战火力运用是反导力量建设的核心内容之一,末段双层反导火力规划是一个复杂的不确定多约束条件优化问题,对火力规划进行了问题分析、弹-目分配时机分析和模型假设;分2个阶段建立了直接分配到弹的末段双层反导火力规划模型,模型重点考虑拦截目标与拦截弹杀伤时间窗口的对应关系,建立起武器系统拦截弹与来袭目标的弹-目对应分配关系,提供一种新的、快速的双层反导火力规划方法。     

Hamilton图的代数刻划

运用矩阵方法,给出了连通图是Ｈａｍｉｌｔｏｎ图的一个代数刻划     

组合合成阵的不可约性

本文讨论了布尔矩阵的组合合成的基本性质,用图论方法找出了２级组合合成阵为不可约的一些充分条件。     

基于图搜索算法的探讨

讨论了图搜索的非启发式和启发式算法,着重分析了它们各自的复杂性、优缺点及其相互关系,提出了改进要点．这对于如何选用一个合适的搜索算法是十分有益的．     

最小度为3k／2—1（k为偶数）的k连通图的可收缩边

最小度δ（Ｇ）＝３ｋ／２－１（ｋ为偶数）的ｋ连通图Ｇ至少有｜Ｇ｜＋５（ｋ＾２－１０ｋ）／４条可收缩边,且当｜Ｇ｜是ｋ的整数倍时,这一界是最好的。     

Ramsey数R（6,n）的两个下界

构造了２个新的素数阶循环图,从而得到了２个Ｒａｍｓｅｙ数的下限：Ｒ（６,１６）≥２７８,Ｒ（６,１７）≥３９８。此结果已经计算机验证,填补了Ｒａｍｓｅｙ数下界的２个空白。     

K 16Mn连铸坯热装炉轧制对轧材组织性能影舷

采用高温固溶加热法,在φ300轧机上模拟现场连铸坯热装炉轧制工艺,分别考察了K16Mn钢不同热装温度和开轧温度对轧材组织性能的影响.结果表明,热装轧制和常规冷装轧制屈服、抗拉强度相当,热装轧制成品塑性、韧性均较好.热装轧制工艺对K16Mn钢组织的影响,随着热装温度的提高,轧前奥氏体晶粒变得粗大,并且轧后组织混晶程度提高.这可通过提高开轧温度,首道次采用大压下量促使铸坯发生完全再结晶来消除.从而细化晶粒.改善成品组织性能.