图灵斑图动力学的数学机制

给出图灵斑图动力学数学机制的描述，即常微系统的稳定常数平衡态在加入扩散后发生稳定性反转，在其附近会产生图灵斑图．然后用具体的例子实现这一过程，给出产生图灵斑图所需的参数条件．     

3-边连通图与4-匹配

设G是阶为n的3-边连通简单图,M4是G的一个4-匹配,设∑（M4）表示和M4关联的8个顶点的度数和。本文证明了：若对G的每个4-匹配M4有,∑(M4)≥2n 3,则G是可折的或者G是Petersen图。     

k部图的符号控制数的一个下界

研究图的符号控制数,得到了n阶k部图的符号控制数的一个下界,当δ=2时这个界是精确的。并且给出了δ=2时一个达到下界的图例．王春香等得到的结果(引言中的定理B)是本文结果当δ=2且k=2时的一个特例。     

给定最大度的极大拉普拉斯谱单圈偶图

通过图的移接变形对拉普拉斯谱半径的影响,研究了给定最大度为Δ2的n阶极大拉普拉斯谱单圈偶图的性质,得到了它的规范拉普拉斯谱向量中绝对值最大的分量对应的顶点的度均等于Δ且这些顶点的位置均在圈上。     

考虑连接性的路网划分算法

针对传统K均值聚类算法在非均质路网划分应用中的不足,将路网连接性融入算法,解决其在路网划分应用中聚类结果不连续的问题.先使用最大最小距离算法确定初始聚类中心和路段差异性,并以聚类评价指标ANSK确定K值;然后统计连续时间间隔下路网划分结果的动态频数,合并和拆分不稳定的“噪声”路段,提高划分子区内路网的紧凑性.最后,基于现实路网中的车牌照自动识别实测数据,对改进的聚类方法进行了验证.将算法得到的划分效果与K均值聚类算法和Ncut算法进行对比,并对子区做宏观基本图分析.结果表明,改进后的K均值聚类算法在保证自身原有聚类优势下,可以有效实现连接性约束下的路网划分.     

油气悬架MAP计算软件开发

基于Matlab开发的油气悬架MAP计算软件,利用GUI Layout Toolbox工具箱开发了易于使用的交互界面,基于面向对象思想,以模型-视图-控制器的模式设计完成,较好地实现了数据与界面的解耦,提高了软件系统的可维护性、可扩展性、可移植性和类的可复用性。     

基于卷积神经网络优化回环检测的视觉SLAM算法

传统视觉即时定位与建图（SLAM）算法若无回环检测可能会存在累积误差无法消除的现象,即使有回环检测,也因准确率和效率比较低而无法应用于轻量级设备上,为此,研究一种回环检测优化的视觉SLAM算法. 前端估计时,对相邻帧图像进行ORB （oriented fast and rotated brief）特征提取与匹配,对匹配成功的特征点进行PnP （perspective-n-point）求解,获得相机运动估计并筛选出关键帧图像;后端优化时,利用SqueezeNet卷积神经网络 （CNN）提取图像的特征向量,计算余弦相似度判断是否出现回环,若出现回环则在位姿图中增加相应约束,利用图优化理论对全局位姿进行整体优化;最后利用项目组制作的数据集和TUM （technical university of munich）公开数据集进行测试与对比. 研究结果表明:相比于无回环检测算法,本文方法可以成功检测到回环并为全局轨迹优化增添约束;相比于传统词袋法,在回环检测准确率相同的情况下,本文方法召回率可提高21%且计算耗时减少74%;与RGB-D （red green blue-depth） SLAM算法相比,本文方法建图误差可降低29%.      

基于飞机最大起飞重量、商载与航程关系的飞机选型研究

飞机选型与机队规划是航空公司发展与决策的核心内容.本文从航空公司运营角度出发,围绕飞机的最大起飞重量、商载和航程的匹配关系进行深入研究,依据商载航程图,重点分析了其限制条件和最大起飞重量的改变对商载、航程能力的影响.针对16个机型关于商载、航程、起飞重量等10个影响因子建立了商载、航程能力比较算法,进而最终确定最大起飞...     

机械CAD环境下凸轮轮廓的图解法设计

在工程实践中，象凸轮、水泵叶轮等一些复杂曲线零件的设计，一些机构的运动设计等，采用图解法是一种常用设计方法，与解析法相比，图解法直观、速度快，但是精度较低，随着计算机发展与CAD的普及，高精度、快速的图解法设计成为现实。     

理想AND/OR图搜索策略的推广

SUB和COM是专家系统推理网络图中常见的关系算子，AND和OR分别是SUB和COM算子的特例．建立在理想AND／OR图上的半景搜索法和最大优势搜索法可以推广到包含SUB和COM算子的理想非AND／OR图的搜索，而最大超越搜索法则可推广到包含回路结构的非理想AND／OR图的搜索．