基于符号权重的一阶逻辑前提选择方法

为增强自动定理证明器从一阶逻辑问题的大规模前提中选择相关前提的能力，首先，提出符号权重计算公式，基于符号在问题中出现的频率获取不同符号对应的权重；其次，提出相关度计算公式，利用分配的符号权重计算问题中前提和结论间的相关度；同时，研究自适应相关度边界，用于判断前提与给定的结论是否相关；最后，在自动定理证明器中交互地结合前提选择和自动推理两个过程，可在充分选择相关前提的情况下及时停止前提选择过程.实验结果表明：在最优情况下，新提出的前提选择方法能够把参与证明的平均前提数量从1 876个降低到174个；与广泛使用的前提选择方法 E-SInE和Vampire-SInE相比，使用新方法能够帮助自动定理证明器E在MPTP2078基准测试集上分别提高19.49%和10.49%的证明率.     

龙溪口航电枢纽仿自然生态鱼道施工技术

龙溪口航电枢纽的建设切断了原有河道鱼类迁徙通道。为保证枢纽上下游生态连通性，基于物理学、生态学原理布置仿自然生态鱼道，为河道鱼类提供良好的回溯通道。龙溪口航电枢纽工程仿自然生态鱼道具有超长、多弯折、藕节开挖难度大、施工强度高、工期紧等多个难点，鉴于仿自然生态鱼道水流控制、鱼类回溯水生态环境模拟要求高，通过模拟天然河床实况开挖、多种测量设备精准控制开挖体形、布置拟生态深潭休息室，创新应用喷混一体化、浆砌石砌筑一体化等多种新型施工工艺，提高鱼道施工精度及效率，为鱼类迁徙创造良好的水流环境，促进岷江流域生态环境循环稳定。     

基于2阶HMM的智能车视觉地图定位方法

本文中针对视觉地图匹配问题，将视觉地图匹配问题转化为基于图像序列的最优视觉地图节点匹配问题，并提出基于2阶隐马尔科夫模型（hidden Markov model,HMM）的视觉地图匹配方法。在该模型中，状态变量被定义为高精度视觉地图节点，查询图像被定义为观测数据。在状态转移模型中，引入2阶模型对短时间车辆运动进行匀速运动建模，与传统的1阶HMM相比，可以提高模型的适用性与准确性。提出利用全局图像特征建立查询图像与地图节点之间的匹配关系，并从匹配的汉明距离建立发射概率模型，可有效提高地图匹配的效率。最后，通过前向算法来求解最优匹配的地图节点。为了验证算法的性能，分别在封闭工业园区、开放道路和KITTI公开数据集对算法进行验证。实验结果表明：2阶HMM模型能够有效融合车辆运动信息和图像信息，提高匹配的稳定性和精确度，算法性能明显优于传统的基于单帧匹配和序列匹配算法。     

分数阶Schr?dinger-Poisson方程组解的存在性

研究了一类分数阶Schr?dinger-Poisson方程组非平凡解的存在性和多重性。在不同非线性项的假设条件下，通过变分法和对称山路定理得到了解的存在性和多重性。     

7自由度仿人机械臂工作空间求解的降密蒙特卡洛法

针对蒙特卡洛法和改进蒙特卡洛法在求解机械臂工作空间时存在精度不够准确和加密点云浪费的问题，提出一种降密蒙特卡洛法.首先，基于蒙特卡洛法中随机点分布不均的特性，对机械臂初始工作空间进行均匀加密，使空间的内部与边界区域分明；然后，采用扩展关节角度和循环加密随机点的方式，只对边界区域进行加密，达到降低工作空间随机点云密度的目的；同时，还研究了该方法中初始点云数量、各轴向分割体素数量、精度阈值、扩展关节角度和循环次数等参数对工作空间精度的影响；最后，通过仿真分析对降密蒙特卡洛法的有效性进行验证.结果表明：相比于蒙特卡洛法，降密蒙特卡洛法在工作空间平均误差率为0.022 42%时，总随机点云数量降幅为93.89%；相比于改进蒙特卡洛法，在循环次数为2次和4次时，降密蒙特卡洛法工作空间的平均误差率分别降低0.138 53%和0.113 29%，总随机点云数量降幅分别为44.83%和64.52%.     

基于DEMATEL与ISM融合的综合客运枢纽换乘流线影响因素研究

综合客运枢纽是实现多种轨道交通方式衔接换乘一体化的重要环节，为了找出影响综合客运枢纽换乘流线关键因素，合理布局枢纽换乘流线，采用决策与试验评价实验室(DEMATEL)与解释结构模型(ISM)融合方法，对综合客运枢纽换乘流线影响因素之间的关系进行分析。采用DEMATEL方法研究影响因素间的相互关系和影响程度，结合ISM模型建立影响因素之间的多级递阶结构模型，深入分析综合客运枢纽换乘流线影响因素之间的影响层次及影响路径。研究结果表明：换乘组织有序度是综合客运枢纽换乘流线的根本影响因素。     

纯电动客车后桥异响问题分析与改进

针对某纯电动客车在加、减速工况下的异常啸叫问题，利用阶次分析、阶次切片等方法确定异响源，提出改进方案并进行实车验证。