一种计及最大供电能力提升的多层级柔性互联装置配置方法，属于配电网优化运行技术领域。本技术的目的是通过优化模型求解得到柔性互联装置最优配置策略，在优化互联系统多层级负载均衡率的同时提升系统最大供电能力的计及最大供电能力提升的多层级柔性互联装置配置方法。本发明步骤是:基于配电网安全运行边界提出了负荷增长空间分析法，构建了基于多层级负载均衡的SOP选址优化模型，构建了基于最大供电能力提升的SOP定容优化模型，实现了配电网供电潜力的最大化挖掘。本发明分析了计及最大供电能力提升的多层级柔性互联装置配置方法，探究了柔性互联装置接入位置和容量对配电网多层级负载均衡度以及负荷增长空间的影响，希望对于指导柔性互联配电网的优化配置提供借鉴和参考。

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

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

 本技术属于人工智能和生物医学影像技术领域，具体涉及一种基于互补先验和隐式神经表示的稀疏CT重建方法，包括S1:将稀疏CT重建问题解耦为基于物理模型驱动的数据项子问题和基于先验驱动的先验项子问题；S2：通过去噪正则化方法将隐式的深度图像先验和显示的自相似性、稀疏性先验知识相结合，构造为互补先验模型以求解先验项子问题；S3：将互补先验模型嵌入到隐式神经表示的网络结构中，通过使用带有先验嵌入的隐式神经表示来求解数据项子问题；S4：在半二次分裂法的基础上，本发明通过引入超参数细化区间平衡两个子问题在整体过程中的权重，从而在数据保真度和分布先验两个子问题之间进行高效的优化，确保在逆问题求解过程中逐步收敛到最佳解。

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

 一种基于改进的MOTR的野生动物多目标跟踪方法，步骤包括:1)利用卷积神经网络从采集到的鹿视频中提取不同分辨率的多尺度鹿特征；2)利用改进后的高效混合编码器对前述的多尺度特征进行特征融合，输出融合后的多尺度特征；3)将融合后的多尺度特征输入到基于先验知识的查询初始化模块，输出带有鹿初步位置信息的检测查询；4)检测查询与融合后的多尺度特征一起输入到解码器中，最后输出当前视频帧的预测结果。本技术采用改进的编码器代替MOTR原有的编码器，实现低计算量的同时提升小目标跟踪能力；初始化检测查询策略，减少复杂背景的影响，降低了漏检现象，并提高了模型应用于不同野外场景的泛化能力等。

 本技术提供一种船舶撞击引发的桥梁损伤评估方法、系统及介质，涉及桥梁健康监测技术领域，包括:采集桥墩的不同高度和位置的加速度响应信号阵列，并生成时间序列矩阵；绘制不同基函数下的时频相干谱，并获得相干谱熵；基于信息熵原则，确定最优的基函数；获得时间序列矩阵在最优的基函数下时频空间中的局部相关系数，并绘制时频相干谱；根据局部相关系数和时频相干谱评价时间序列间的关联依赖程度，判断船桥撞损是否发生；若撞损发生，计算时间序列矩阵不同位置时频相干折损因子，根据时频相干折损因子轨迹曲线中突凸最大值处来确定撞损位置和撞损程度。该方法可有效分离环境因素的影响，为建立船桥碰撞损伤评估技术提供了基础性方法支持。

 本技术属于图像处理技术，特别涉及一种人脸深度伪造主动检测方法及检测系统，方法包括将可学习的保护信息通过深度图像融合网络嵌入原始图像中得到受保护的图像，深度图像融合网络对受保护图像进行逆向处理得到隐秘保护信息，并计算隐秘保护信息与嵌入图像的可学习的保护信息的残差；将得到的残差输入联合训练的判决器判断待检测图像是否被篡改。本发明一方面对多种类型的深度伪造方法都能有很好的检测性能，另一方面本发明嵌入的保护信息能够不受图像传播中良性图像变换。

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

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