卫星定位和精度因子的改进方法

在卫星导航定位系统中,在精度因子计算和采用最小二乘法进行定位求解时,传统上采用测量矩阵直接求逆方法来进行.为了克服矩阵求逆带来的计算量大和数值稳定性差的不足,利用测量矩阵的对称正定性,提出了一种基于矩阵 UTDU 分解的定位解算和精度因子计算方法.改进方法具有严格的数学理论基础,保证了方法的正确性和有效性.数值分析结果表明,相对直接求逆的传统方法而言,在定位解算时,该方法能降低约 60%的运算量,而在精度因子计算中,约能降低36%的运算量.且改进方法能大大降低求解矩阵的条件数,提高了求解的数值稳定性.      

小波包分析在摩擦焊超声检测信号消噪中的应用

采用小波包对摩擦焊缺陷超声检测信号进行消噪,结果表明,该方法不仅能有效抑制噪声,而且能明显提高信噪比。     

软芯三明治梁受移动点载荷作用的动力响应

为了得到软芯三明治梁在移动集中载荷下的动力响应,基于扩展的高阶三明治梁理论和Hamilton原理,建立了任意节点的弱形式求积三明治梁单元,利用微分求积法的权系数显式表达式给出了单元刚度矩阵和质量矩阵的公式,并验证了刚度矩阵和简化质量矩阵的正确性和方法的有效性,结果表明弱形式的求积单元法具有精度和计算效率高的优点。然后,采用中心差分法首次给出了两端固支软芯三明治梁在移动集中载荷作用时的动力响应。本文的研究拓展了弱形式求积法的应用范围。     

喷液式高速走丝电火花线切割高效切割研究

研究了高速走丝电火花线切割在浇注式与喷液式冷却条件下不同脉宽、放电峰值电流、脉间及喷液压力、喷距、运丝速度等因素对大能量高效放电切割的影响规律,分析认为大能量高效切割极间放电状况恶化的原因主要是极间工作液在巨大放电热量作用下产生汽化造成的,并验证了喷液式冷却方式是改善大能量条件下高效切割极间冷却状态恶化的有效手段,采用喷液方式突破了切割效率长期徘徊在200 mm2/m in的局面,最高切割效率可以提高20%,并且切割表面质量有很大改善。文中还针对喷液冷却体现出的高效切割工艺规律对今后喷液式高速走丝电火花线切割的设计提出了指导原则。     

基于轻量级卷积神经网络的人证比对

在证件审核场景中,常规的深度学习人脸识别方法人证比对精度低且在嵌入式设备运行效率差。为解决上述问题,本文提出了改进的轻量级卷积神经网络Lightnet,并采用了迁移学习方法。Lightnet是结合深度可分离卷积、线性瓶颈结构和注意力模块构成的轻量级卷积神经网络模块,引入附加角度裕量的损失函数AM-Softmax监督训练后,网络模型能够保持较高的验证精度,并有效解决标准卷积神经网络参数冗余、计算量大的问题。迁移学习通过冻结预训练模型的卷积层权重,并在自制的人证数据集微调,提高了网络模型的人证场景的识别性能。实验结果表明,所设计的轻量级人证比对算法在验证精度、参数量以及运行效率等方面取得了很好的效果,且对生活场景有较好的鲁棒性。     

空气龄的数值解法

提出了用ＣＦＤ法求解空气龄的具体方法，其步骤为先求解Ｎ－Ｓ方程，后求解空气龄。为求解Ｎ－Ｓ方程，采用了改进型ＨＳＭＡＣ法，并给出了压力和速度同时修正的方法。为求解空气龄，推出了空气龄输送方程式和给出了空气龄和速度成分的边界条件。计算机模拟验证了求解方法的有效性并由空气龄求出了通风效率。     

飞机结构X射线裂纹图像智能评定

飞机结构X 射线图像评定过程存在复杂背景下裂纹分割不准、检出难等问题。基于高效层聚合网络提出一种飞机结构X 射线裂纹图像智能评定模型（ELAN-Seg）,将ELAN-Seg 模型和DeepLabv3+模型的射线图像裂纹分割能力进行对比,结合图像处理技术对模型分割的裂纹长度进行评估,利用飞机强度试验及外场维护过程采集的X 射线图像对模型进行验证。结果表明：分割的最小裂纹长度约为3 mm,ELAN-Seg 模型对复杂背景射线图像裂纹分割更加准确,裂纹漏检率小于3.8%,该模型具有工程适用性。     

纤维增强叠层圆柱壳的8阶方程及其解

 关于叠层圆柱壳的问题,本文首先引入一个广义位移函数,并针对叠层圆柱壳的弯曲、稳定和振动问题,推导出关于广义位移函数的8阶偏微分方程。对于A（i6）=B_i6=D_i6=O（i=1,2）的典型情形,讨论了其精确解的一般形式。     

各向异性矩形板横向弯曲一般解析解

采用复级数方法首次建立了基于一阶剪切变形理论的各向异性矩形板横向弯曲一般解析解。引入（Φｘ，Φｙ，Ｗ）＝∑∞－∞（ｉＡ，ｉＢ，Ｃ）ｅｉｍπξｅｉｍπηｒ（ｍ为整数，ｒ为控制方程特征根），并代入矩形板平衡方程组，推出实数型级数解，将其回代入平衡方程组中任两个，可确定待定系统（Ａ、Ｂ、Ｃ）之间关系。一般解析解还补充了厚板在ｘ、ｙ方向的梁函数。本文引入将三个平衡方程归并为一个６阶偏微分方程的方法给出问题特解。将一般解析解代入边界条件，用正弦数加角点条件的方法确定待求系数。数值计算表明本文求解是成功的。     

二阶中立型方程周期解的存在性

利用Ｆｏｕｒｉｅｒ级数理论研究二阶常第数线性中立型方程的周期解，得到了在｜ｃ｜＝１的条件下，二阶中立型方程周期解存在的充要条件；在｜ｃ｜＝１条件下，方程周期解存在的充分条件，并给出了具有特殊时滞的方程周期解存在的充分条件。