以活动为中心的软件过程建模及其作用的研究

从分析以活动为中心的软件过程的特点以及活动之间的规则、关系和分类出发,抓住了过程活动的特点与度量活动的难点.通过实例研究将以活动为中心的软件过程模型特点应用到软件过程度量中,通过活动图抓住度量关键域,并分析了两种方法具体结合对企业实际项目开发过程中的过程度量与改进的意义,不仅简化了软件过程度量,同时避免了过程度量的盲目性.     

无翼平底弹头的属性散射中心模型改进与参数估计

针对传统属性散射中心模型在描述散射中心幅度随方位的变化存在不足,本文依据目标的逼真散射数据对属性散射模型中的方位依赖关系进行了修正,并通过图像匹配结合遗传算法对散射中心的各个参数进行了估计. 为了验证模型的有效性,文中给出了修正模型的仿真结果与传统模型仿真结果以及全波法计算结果的比较. 结果表明,相对于传统的属性散射中心模型,改进后的模型能更准确地描述真实散射中心的幅度随方位的变化关系.      

一种改进的地下车库弱纹理下智能汽车即时定位与建图算法

地下车库中纯视觉的即时定位与建图(simultaneous localization and mapping, SLAM)方法无法克服光线不足和弱特征纹理两大不利因素,为此,提出一种基于VINS-Mono框架下改进的视觉惯导融合算法,把原算法中提取Harris角点的方法改进为提取灰度值陡变的像素点,并使用非线性优化方法在初始化阶段进行视觉位姿估计。后端采用滑动窗口的形式建立先验估计残差、惯性测量单元(inertial measurement unit, IMU)残差以及基于灰度值不变原理构建的视觉残差的联合残差模型,进一步提升了系统底层变量的优化效果,从而提高算法的定位准确度。通过基于EuRoc数据集的仿真实验和地下车库实际场景的实车实验,验证了所提算法的鲁棒性和精确性。     

关于圈对完全图的多色Ramsey数

证明了关于k个偶圈对完全图的多色Ramsey数的上界.     

冲击式采煤机温升计算与仿真

介绍了冲击式采煤机液压冲击系统,利用功率键合图建立了数学模型,得出温度变化曲线,并据此提出了控制温度的具体措施。     

关于蕴含Pk可图序列的ERDOS—JAOBSON—LEHEL猜想

设σ（ｋ,ｎ）是具有下述性质的最小正偶数,每个度和至少为σ（ｋ,ｎ）具没有零项的ｎ项可图序列都是蕴含Ｐｋ可图的。ｇｑ     

联图的邻点可区别无圈边染色

根据图的邻点可区别无圈边染色的定义,利用构造的方法讨论联图Pm∨Wn、Pm∨Fn、Pm∨Pn、Pm∨Sn和Cm,n的邻点可区别无圈边染色,并给出它们的邻点可区别无圈边色数及其证明,且均满足图的邻点可区别无圈边染色猜想.     

彩色图像分割中基于图上半监督学习算法研究

提出一种新的基于图上半监督学习的彩色图像前景/背景分割模型与算法.该算法的目的是利用人工标定的部分像素点分割信息以实现对整幅图像的分割.通过结合像素点颜色特征和像素点颜色与前景/背景颜色的相似性特征,构造了新的图节点之间的双高斯权重函数,并对此提出自适应的参数选择策略与彩色图像半监督分割的能量模型,通过优化该能量模型将...     

均衡二分图中存在哈密顿因子的条件

研究了在均衡二分图中包含给定哈密顿圈的[k,k+1]因子的存在性问题.根据图论中因子和临界图理论,并结合代数知识,针对均衡二分图,研究图的阶数,顶点的度和因子之间的关系,分情况讨论,通过对均衡二分图的临界条件的限制,给出均衡二分图中存在包含给定的哈密顿圈的[k,k+1]因子的充分条件.该条件在很大程度上改进了已有的包含哈密顿圈的度条件,进一步完善了包含哈密顿圈的因子理论.算例表明所用方法的有效性,所得结论的正确性.     

对数图算法中的校正线

以酸碱平衡的对数浓度图为例,讨论了图算法中校正线的作法,提出了作校正线的一般条件。