本技术公开了一种履带车辆侧滑状态估计方法、设备、介质及产品，涉及履带车辆智能驾驶技术领域，该方法包括:获取车辆试验数据；建立履带经验模型，并基于车辆试验数据，对履带经验模型的经验参数进行模型校准；基于履带经验模型，建立三自由度履带车辆动力学模型；基于三自由度履带车辆动力学模型，分别建立离散形式的状态估计系统和参数估计系统的状态转移方程和量测方程；并利用双扩展卡尔曼滤波算法对车辆进行行驶状态参数估计，得到车辆各时刻的状态估计值和参数估计值；基于车辆各时刻的状态估计值和参数估计值，计算得到车辆侧滑状态估计。本发明可提高侧滑角估计的精度，进而可提高行驶稳定性和行驶安全性。

 本技术提出一种具有低功耗增推特性的扑动翼设计方法及扑动翼和长续航扑翼飞行器。扑翼飞行器飞行时，驱动机构驱动扑动翼进行单自由度扑动运动，翼面在气动力的作用下产生与飞行速度匹配的最佳被动变形，模仿了自然界鸟类飞行过程中羽翼的变形与运动，实现了大推力高升力低功耗仿生翼设计；扑动翼具有更好的推力特性，降低了配平频率，从而大幅降低功耗，机身外壳形状满足空气动力学要求，减少了机身带来的阻力效应，而且机身的截面形状、材料以及结构形式使机身具有重量轻、抗冲击效果好等特点，满足巡航飞行和机腹降落着陆等典型飞行状态的要求。

 本技术公开了基于三维地质建模和数值模拟的深部煤层二氧化碳地质封存效果的定量化评价方法，属于碳达峰、碳中和技术领域。该方法包括:首先分析原始煤田地质资料明确深部煤储层空间展布和物性特征；其次，构建目标煤层三维地质模型，高精度大分辨率明确深部煤层空间展布特征；之后，充分利用Eclipse和Comet3模拟软件进行二氧化碳地质封存模型构建，从地质和工程因素两方面进行二氧化碳封存量和甲烷驱替量的敏感性分析；综合主观和客观权重探讨影响二氧化碳地质封存效果影响因素，确定主控因素。最后，在计算二氧化碳封存量基础上，进行二氧化碳封存效果总体评价。本发明实现了目标赋煤区深部煤层二氧化碳地质封存效果的定量化评价。

 本技术公开了一种紧聚焦圆偏振激光场中高能电子的三维运动轨迹分析方法，包括如下步骤:S1.矢量势模型确定：根据相对论电子的幅度参数、相位参数、焦点直径、脉冲宽度和激光脉冲宽度，构建描述了激光脉冲的电场和磁场分布的飞秒紧聚焦高斯激光脉冲的矢量势模型；S2.确定运动方程：根据矢量势模型，推导出描述带电粒子在电磁场中运动的洛伦兹方程，描述电子在激光场中的能量变化；S3.确定电子在电磁场中的速度分量，基于这些速度分量，进一步分析电子的运动轨迹;S4.轨迹模拟：将速度分量代入直角坐标系中，模拟电子的三维运动轨迹，通过数值计算，得到电子在激光场中的运动路径。

 本技术公开了一种面向Armv8‑a汇编代码的形式化验证方法，对Armv8‑a的处理器架构和指令集系统进行分析，提取出需要建模的各个模块构件，包括异常级别、执行状态、数据值、寄存器组、内存、指令集、汇编代码，对各个模块构件进行建模；根据汇编代码中每个汇编指令的功能和安全规范确定对应汇编指令的非形式化要求，然后结合定义的模型生成每个汇编指令的形式化逻辑表达式，从而得到形式化规约；最后采用定理证明器进行形式化验证。本发明对物理机器的各个模块构件进行建模，然后基于构建的模型生成汇编代码中每个汇编指令的形式化逻辑表达式，使用定理证明器完成Armv8‑a汇编代码的形式化验证。

本文章公开了一种电脑终端外壳，该外壳旨在解决现有的电脑机箱防尘网一般固定在机箱内，需要拆除机箱的侧板，由拆除漏出的空间进入到机箱进行清洁，导致清洁时费时费力的问题。该外壳包括机箱和侧板，所述机箱的左侧通过第一螺钉固定连接有散热盖板，所述防护盖板与机箱之间设置有散热防尘组件，所述机箱的左侧顶端固定连接有固定箱，所述固定箱的前后两侧均滑动连接有两个竖杆。本实用新型通过取下散热盖板露出散热防尘组件，接着拉动把手卡块从防尘网板上的卡槽内脱离，然后取出散热防尘组件即可将灰尘进行清理，由于无需取出机箱上的侧板进入到机箱内部进行清洁，操作空间更大，使其清洁更加的方便。

本文章公开了一种耐腐蚀便于更换的射频标签，属于射频识别技术领域，其包括保护底座，所述保护底座下表面的四角均固定安装有支撑块，所述保护底座的上表面设有密封盖板，所述保护底座的正面和背面均开设有圆形通孔，所述保护底座的内部固定安装有挤压固定装置，所述保护底座底部内壁固定安装有放置平板。该耐腐蚀便于更换的射频标签，通过设置转动螺杆带动移动横架和移动杆带动连接支架和稳定横柱推动定位插块插入到椭圆形套管和椭圆形立柱的内部进行定位操作，使得对椭圆形套管和椭圆形立柱具有更好的限位固定效果，在保证固定效果的同时有助于更好对密封盖板进行安装和拆卸操作，有助于人们更好的进行使用。

本文公开了一种平板电脑后盖散热结构，涉及电脑后盖散热结构技术领域。本申请包括框架，框架的一侧固定连接有背板，且框架的内部固定连接有导热安装板，背板的一侧开设有散热孔，且背板靠近导热安装板的一侧对称安装有静音风扇，框架的两端对称开设有进风口，背板的远离导热安装板的一侧开设有多个引风槽。本申请首先通过设置散热孔与引风槽的配合使用，使得背板的背面与桌面贴合时，散热孔可以通过引风槽的引导与外界连通，从而使得启动静音风扇可以将框架内部热气，通过散热孔与引风槽的引导排出背板与桌面之间，有效增大了框架内部的排气面积，提高了平板电脑的散热效果。

 本技术公开了一种基于域相似元学习的小样本锂电池SOH估计方法，包括以下步骤:S1、设计动态‑静态特征提取模块，采用动态‑静态特征提取模块从电池数据集中提取动态特征和静态特征，通过灰色关联系数将得到的特征联系起来；S2、设计基于域相似的任务排序模块，任务排序模块利用最大均值差异MMD算法计算训练任务之间的域相似度，对训练任务进行排序；S3、在元学习框架中加入LSTM元学习模块，LSTM模型作为学习器，捕捉SOH与电压时间序列之间的依赖关系，并将排序后训练任务嵌入元训练过程。本发明采用上述一种基于域相似元学习的小样本锂电池SOH估计方法，将数学工具和元学习框架相结合，用于在不同工况下精确估计锂电池SOH。

 本技术公开了基于主动学习代理模型的机械结构可靠性分析方法及系统，属于机械结构可靠性分析技术领域，所述方法包括:分析待进行可靠性分析机械结构的工作条件和受载情况，结合结构的安全工作要求，确定机械结构的功能函数；基于等概率转换的原则，将输入变量转换到标准正态空间，生成蒙特卡洛可靠性分析样本；在标准正态空间中，使用中心十字法生成4n初始拟合样本，计算样本的功能函数值，得到初始响应矩阵，拟合初始代理模型；基于已有的代理模型和拟合样本，建立距约束学习函数，结合先验可靠圆环样本缩减方法，迭代更新代理模型、拟合样本、响应值矩阵和失效概率，直到获取足够精度的可靠性分析结果则可靠性分析系统结束。