偏微分方程组的对称群及其在弹性力学方程组中应用

给出了非退化线性偏微分方程组及二次型泛函对称群的不变向量场的一般形式和一类特殊形式非线性偏微分方程组对称群的简化计算条件；利用以上结论及作者以往工作，借助符号运算语言ＭａｔｈｅｍａｔｉｃａＴＭ计算了平面弹性力学方程组一阶Ｌｉｅ－Ｂａｃｔｌｕｎｄ对称群的不变向量场，以及应力函数对应的三维弹性力学方程组的Ｌｉｅ代数．为构造弹性力学方程组的一类广泛精确解及守恒律提供了必要的基础，并说明了结论对计算偏微分方程组对称群时的简化作用     

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

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

基于矢量的建筑工程图中墙体符号的自动识别

分析了基于矢量的建筑工程图中墙体符号的几何特征，实现了建筑工程图中基本图元的自动数字化存储，提出了一种高效的基于矢量图形的墙体符号自动识别算法，并给出了算法的应用实例．     

浅谈图书馆期刊回溯建库工作的重要性

解释了回溯建库的含义,分析了期刊回溯建库工作的必要性,提出了期刊回溯建库工作中应注意的问题和对策。     

非遗文化“妈祖信俗”的符号学阐释——以妈祖蔗塔为例

从符号学的角度出发去分析妈祖蔗塔符号的能指和所指及其丰富的内涵意义和外延意义;并从符号的释码角度去解读其在融合不同文化背景下受众认识差异中的独特表现,挖掘其在跨文化交流中阐释和表达自身文化、塑造和统一不同文化背景中受众的认识等重要作用。     

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

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

含奇异网络元件的全符号网络函数分析

本文研究含有nullor元件的一般线性时不变网络的全符号网络函数。定义了电压图、电流图及公共树后,不需电路变换,也不需构成信号流图,就可以用数码运算产生符号网络函数.     

融合码盘和激光雷达的里程计与建图

提出了一种用于自动驾驶汽车的低漂移、低延迟的里程计与高精度建图的算法。该方法融合了多种传感器的测量结果，包括车轮编码器、转向盘转角编码器、激光雷达及可选GPS等的测量结果。里程计算法由车轮里程计和激光里程计组成：前者基于车辆运动学模型，高频、实时估计位姿增量，用于点云去畸变和为后者优化位姿提供可用的初值；后者以较低的频率估计车辆的精确位姿变化，以补偿前者累计的误差，其核心是一种基于角度度量的两阶段特征提取方法。建图算法基于因子图，包含激光里程计因子、回环因子和可选GPS因子，通过增量平滑和建图算法优化全局轨迹，在线生成全局地图，其中GPS因子能够自动对齐GPS坐标系和里程计坐标系，逐步融合GPS测量值，解除了算法初始化过程对于GPS的依赖。所提出的方法在自动驾驶汽车平台数据集上进行了评估，并和已开源的部分相关工作进行对比，结果表明它具有更低的漂移率，在本文进行的最大规模的测试中达到了0.53%。相关代码以开源形式供交流参考（https：//github.com/Saki-Chen/W-LOAM）。     

网络协议的形式化分析与设计

随着形式化方法和技术的日趋完善,网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础,渗透到网络协议分析、综合、测试等各环节的软件工程方法。本文从网络协议的基本要素、协议的形式化模型介绍了网络协议,并从协议的性质描述、不变性分析、可达性分析、基于有序二叉判决图的符号模型检验对网络协议进行了形式化设计与验证,最后进行了测试。     

我国中产阶层家用汽车消费对大学生就业的影响

随着我国经济不断发展,经济成分、利益格局、就业方式等日趋多样化,社会组织结构、社会价值理念、消费结构也发生了深刻的变化。中产阶层成为家用汽车消费主力军,以符号消费为特征的汽车消费文化,对人们的消费观念产生了深刻的影响,也影响着大学生就业价值观念等。倡导家用汽车的科学消费,加强汽车消费的政策引导,升级消费结构,对帮助大学生树立正确的就业价值观、提升大学生就业效应、缓解大学生就业压力具有重要意义。