面向星群场景下的卫星服务动态替换方法及系统

    公开(公告)号:CN119449145A

    公开(公告)日:2025-02-14

    申请号:CN202411559987.0

    申请日:2024-11-04

    Abstract: 本发明提供了一种面向星群场景下的卫星服务动态替换方法及系统,包括:建立了功能描述模型和资源描述模型对卫星的服务功能和资源载荷进行形式化描述,采用服务维护模块维护卫星的任务、资源和状态信息并排查故障服务,一旦发现故障服务就会调用服务替换模块中的多种替换算法筛选出单一卫星服务、一组并行执行的卫星服务或一组顺序执行的卫星服务对故障服务进行动态替换,并根据评估模型对每组严格满足功能和资源需求约束的可行解或约束放松的次优解进行评估排序,为生成最终替换方案提供可靠依据。

    一种基于环视语义图像的自动引导车导航定位方法及系统

    公开(公告)号:CN119693902A

    公开(公告)日:2025-03-25

    申请号:CN202411806212.9

    申请日:2024-12-09

    Abstract: 本发明公开了一种基于环视语义图像的自动引导车导航定位方法及系统,涉及智能运输技术领域,方法包括:根据车辆作业任务,生成车辆作业路径、车辆运行参考轨迹;车辆作业时,实时采集场景环视图像,通过语义网络将所述场景环视图像转换为实时语义图像;根据所述实时语义图像获取车辆精确位姿;建立车辆运动学模型,结合所述车辆精确位姿、所述车辆运行参考轨迹对车辆进行运动控制,以完成车辆作业任务。本发明通过结合语义特征信息,避免了工场环境下纹理缺失单一等使得传统视觉定位方法效果较差的因素的影响,结合全局地图消除累计误差,得到厘米级定位效果,成本低、精度高,能够适应更复杂的作业任务和作业环境。

    基于大语言模型的程序中循环不变量生成系统及方法

    公开(公告)号:CN117992347A

    公开(公告)日:2024-05-07

    申请号:CN202410150408.0

    申请日:2024-02-02

    Abstract: 一种基于大语言模型的程序中循环不变量生成系统及方法,包括:语境理解模块、自监督学习模块、验证和精化模块以及修正优化模块,其中:语境理解模块根据输入程序在不同迭代状态下的语法和语义信息,进行深度文本理解和表示学习,得到对程序语境的高度抽象表示;自监督学习模块通过大语言模型对高度抽象表示进行自监督预训练,生成循环不变量的初步猜测;验证和精化模块利用程序分析和验证技术对初步猜测进行验证和精化,得到更加准确的循环不变量;修正优化模块对循环不变量进行进一步的修正和优化,生成最终的循环不变量。本发明采用大语言模型与传统验证工具协同工作,使其具备对程序语法和语义的深度理解,能够针对任何程序软件进行内存安全性验证,且完全无需专家经验等人工操作,实现了程序软件验证的自动化实现。

    一种关节图像高性能分析方法

    公开(公告)号:CN108784705B

    公开(公告)日:2020-12-15

    申请号:CN201810524306.5

    申请日:2018-05-28

    Abstract: 本发明公开了一种关节图像高性能分析方法,包括以下步骤:软骨图像获取步骤、二值图像获取步骤、软骨内外层表面初始化,快速卷积求解拉普拉斯方程,快速距离转换;所述图像为软骨分割结果的二值图像;在软骨内外层表面初始化过程中,需要软骨对应软骨下骨分割结果图像提供位置参考信息。本发明可以应用在软骨分割结果的二值图像的处理上,例如可以通过对膝关节序列磁共振图像软骨分割结果进行分析,对骨关节炎病程中软骨的厚度变化分析提供辅助信息。软骨的结构和功能变化是骨关节炎临床诊断的重要特征。关于膝关节软骨厚度精准的计算,对于骨关节炎的治疗和诊断具有重要意义。

    基于动力电池的链式储能系统的自适应控制方法及系统

    公开(公告)号:CN109728369B

    公开(公告)日:2020-09-04

    申请号:CN201811573799.8

    申请日:2018-12-21

    Inventor: 蔡旭 刘畅 饶芳权

    Abstract: 本发明提供了一种基于动力电池的链式储能系统的自适应控制方法及系统,根据链式储能系统中电池组的剩余容量或开路电压‑荷电状态曲线得到电池组瞬时荷电状态;根据电池组瞬时荷电状态和有效量得到链式储能系统中各个功率模块的功率分配系数,及各个功率模块在充放电过程中需要承担的功率;采用链式变换器整体功率‑电流双闭环控制系统进行链式变换器的上层整体控制;在链式储能系统中各相第2~n个功率模块中引入n‑1个功率闭环控制模块功率,第2~n个功率模块调制波相位与各相参考电压相同,各相第1个功率模块的调制波由总调制波减去第2~n个功率模块调制波之和得到。在电池组参数差异较大的情况下仍能使各电池组同时达到设定的充放电截止状态,各功率模块实现独立的控制。

    基于叠合量检测的阀芯同步磨削去毛刺一体化方法及系统

    公开(公告)号:CN110549188A

    公开(公告)日:2019-12-10

    申请号:CN201910801794.4

    申请日:2019-08-28

    Abstract: 一种基于叠合量检测的阀芯同步磨削去毛刺一体化方法及及应用该方法的自动化去毛刺系统,由伺服阀芯同步磨削去毛刺磨床完成阀芯自动装夹和工作棱边的同步精密磨削与去毛刺,通过工业上下料机器人来抓取并运送阀芯工件,在视觉CCD工业相机检测辅助下完成伺服阀滑副自动装配,由电液伺服阀计算机气动配磨测试台进行伺服阀滑副自动装夹和伺服阀叠合量自动检测,系统工控操作台实现系统完整工作流程实时控制及加工参量自适应控制。本发明实现伺服阀芯同步磨削去毛刺加工和叠合量检测的自动化和一体化,具有无需人工辅助加工、加工效率高、制造精度高、成品率高等优点;系统单元功能分工明确,组装和调试灵活,柔性化程度高,适合与实际伺服阀工业生产线相结合。

    一种图像数据分析方法
    9.
    发明公开

    公开(公告)号:CN108305245A

    公开(公告)日:2018-07-20

    申请号:CN201711480587.0

    申请日:2017-12-29

    Abstract: 本发明公开了一种图像数据分析方法,包括以下步骤图像及图像数据获取步骤,用以获取图像中选定的特征区域以及所述特征区域的特征数据;所述图像包括测试图像和训练图像;所述训练图像被分成两个以上组别,同一组别的训练图像标识有相同的组别标签;数据模型建立及交叉验证步骤,用以根据所述训练图像中的特征数据和组别标签的映射关系构建数据模型,以及根据所述训练图像中的特征数据对所述数据模型进行至少一次交叉验证处理;测试图像组别判定,用以利用所述测试图像的特征数据及所述数据模型获取所述测试图像的组别标签。

    单向剪切流和双向剪切流下张力腿的涡激振动测试装置

    公开(公告)号:CN105547621B

    公开(公告)日:2018-05-04

    申请号:CN201510916926.X

    申请日:2015-12-10

    Abstract: 本发明提供了一种单向剪切流和双向剪切流下张力腿的涡激振动测试装置,包括:张力腿模型机构、测量分析模块、驱动模块、悬臂模块、底部支撑模块、挡流模块、滑槽模块以及张力腿可动搭载模块。张力腿模型机构通过特殊设计的固定端固定在悬臂模块上,底部支撑模块、驱动模块、悬臂模块两两垂直连接。挡流模块通过支架固定在悬臂模块上,张力腿可动搭载模块分别与悬臂模块和张力腿模型机构连接,底部支撑模块固定在水池钢制升降底上,滑槽模块通过螺栓固定在底部支撑模块上,通过驱动模块带动悬臂旋转,测量分析模块的各测量仪器分散布置于管件模型、悬臂模块之中。本发明便于拆装,复杂程度低,灵活性高,能够模拟实尺度张力腿、剪切流场。

Patent Agency Ranking