-
公开(公告)号:CN117828618A
公开(公告)日:2024-04-05
申请号:CN202410251367.4
申请日:2024-03-06
Applicant: 电子科技大学(深圳)高等研究院 , 电子科技大学
Abstract: 本发明涉及智能合约技术领域,尤其涉及一种许可链智能合约漏洞的检测方法,该方法包括:获取许可链智能合约的源代码,并根据所述源代码构建程序依赖图;对所述程序依赖图进行切片处理,得到切片集;对所述切片集进行符号执行处理,得到所述许可链智能合约的漏洞信息。该方法通过程序切片技术可以将复杂的许可链智能合约简化为多个切片,同时维持切片的可执行性,以删除不必要分析的分支和语句。再使用符号执行技术对每个切片进行漏洞探测,缓解由于传统符号执行技术考虑所有可能执行路径,导致分析规模过度膨胀、形成路径爆炸和内存过度消耗的问题,进而提高许可链智能合约漏洞的检测效率。
-
公开(公告)号:CN117828618B
公开(公告)日:2024-05-03
申请号:CN202410251367.4
申请日:2024-03-06
Applicant: 电子科技大学(深圳)高等研究院 , 电子科技大学
Abstract: 本发明涉及智能合约技术领域,尤其涉及一种许可链智能合约漏洞的检测方法,该方法包括:获取许可链智能合约的源代码,并根据所述源代码构建程序依赖图;对所述程序依赖图进行切片处理,得到切片集;对所述切片集进行符号执行处理,得到所述许可链智能合约的漏洞信息。该方法通过程序切片技术可以将复杂的许可链智能合约简化为多个切片,同时维持切片的可执行性,以删除不必要分析的分支和语句。再使用符号执行技术对每个切片进行漏洞探测,缓解由于传统符号执行技术考虑所有可能执行路径,导致分析规模过度膨胀、形成路径爆炸和内存过度消耗的问题,进而提高许可链智能合约漏洞的检测效率。
-
公开(公告)号:CN118534922B
公开(公告)日:2024-09-27
申请号:CN202410998670.0
申请日:2024-07-24
Applicant: 电子科技大学(深圳)高等研究院
IPC: G05D1/46 , G05D109/20
Abstract: 本申请公开了一种面向无人机编队飞行的任务管控方法及系统。解决无法对无人机编队进行任务管控的问题。其中,任务管控计算机包括白方子系统、红方子系统和蓝方子系统;所述红方子系统与所述蓝方子系统相互不感知对方配置信息;所述白方子系统用于展示所述红方子系统的任务全局态势;所述红方子系统用于管控无人机编队执行飞行任务,所述蓝方子系统用于管控靶车配置及通信干扰区配置。本申请可以对无人机编队进行任务管控,对各任务执行情况可视化,做到实时、精确显示无人机编队的飞状态和智能决策载荷状态,从而保障关键任务动作指令的正确下发和回传。
-
公开(公告)号:CN115274110A
公开(公告)日:2022-11-01
申请号:CN202210920204.1
申请日:2022-08-02
Applicant: 电子科技大学(深圳)高等研究院
Abstract: 本发明公开了一种基于时间序列的IgA肾病恶化预测分析报告生成系统,该系统包含数据采集模块、数据预处理模块、基于时间序列的IgA肾病恶化预测模型和诊疗报告生成模块;数据采集模块采集患者样本数据,数据预处理模块对患者样本数据进行剔除,基于时间序列的IgA肾病恶化预测模型得到预测结果,诊疗报告生成模块输出情况分析报告。本发明将传统IgA肾病检查中的时间序列规律利用起来,使检查效果更准确,运用人工智能算法自动比较分析,提高预测效率;通过不同历史阶段的患者病情分析,有助于医生掌握疾病发展规律,有利于治疗与预后。
-
公开(公告)号:CN118485692B
公开(公告)日:2024-10-15
申请号:CN202410939179.0
申请日:2024-07-15
Applicant: 电子科技大学(深圳)高等研究院
Abstract: 本发明公开了一种随机性人体运动预测方法、终端设备及存储介质,解决了现有技术预测的未来运动不够准确,且无法实现语义可控预测。涉及人体运动分析技术领域。其步骤包括:将获取的过去人体骨架序列对应的条件特征与根据查询条件得到的可学习运动查询向量耦合,得到耦合特征;将耦合特征进行拓扑空间压缩,抽象出全局特征;通过全局特征预测潜在空间中构建的正交基的系数;将预测的系数与正交基进行线性组合,将线性组合结果与条件特征耦合,将耦合结果解码,得到预测的多个未来人体骨架序列。本发明有效解决了现有技术预测不够准确且无法语义可控预测的问题。
-
公开(公告)号:CN118570878B
公开(公告)日:2024-10-11
申请号:CN202411031140.5
申请日:2024-07-30
Applicant: 电子科技大学(深圳)高等研究院
Abstract: 本发明实施例公开了一种不完全多模态行人重识别方法及系统,所述方法包括:数据集构建步骤:构建三种模态配对的行人图像数据集;模型构建步骤:构建基于互学习的不完全多模态行人重识别模型;训练步骤:使用所述数据集的数据训练所述模型,得到训练好的模型;识别步骤:将任意模态组合的行人图像输入训练好的模型,提取目标行人的外观特征,并与图库中的行人特征计算相似度,按照相似度排序输出结果,完成行人重识别。本发明同时利用可见光‑近红外‑热红外中的互补信息,在复杂光照条件和恶劣天气下表现良好。此外,本发明实现了缺失模态特征的精细化补偿,提高了模态完备和模态缺失两种场景下的性能。
-
公开(公告)号:CN118534922A
公开(公告)日:2024-08-23
申请号:CN202410998670.0
申请日:2024-07-24
Applicant: 电子科技大学(深圳)高等研究院
IPC: G05D1/46 , G05D109/20
Abstract: 本申请公开了一种面向无人机编队飞行的任务管控方法及系统。解决无法对无人机编队进行任务管控的问题。其中,任务管控计算机包括白方子系统、红方子系统和蓝方子系统;所述红方子系统与所述蓝方子系统相互不感知对方配置信息;所述白方子系统用于展示所述红方子系统的任务全局态势;所述红方子系统用于管控无人机编队执行飞行任务,所述蓝方子系统用于管控靶车配置及通信干扰区配置。本申请可以对无人机编队进行任务管控,对各任务执行情况可视化,做到实时、精确显示无人机编队的飞状态和智能决策载荷状态,从而保障关键任务动作指令的正确下发和回传。
-
公开(公告)号:CN119697456A
公开(公告)日:2025-03-25
申请号:CN202411758603.8
申请日:2024-12-03
Applicant: 电子科技大学(深圳)高等研究院
IPC: H04N21/854 , G06F18/214
Abstract: 本发明公开了一种文本生成视频方法、装置及存储介质,该方法包括步骤:S11:基于输入文本提示生成目标视频帧的第一噪声潜码;S12:基于该输入文本提示和该第一噪声潜码,生成该输入文本提示中每个主体标记的交叉注意力图;S13:对该交叉注意力图进行高斯滤波,使该交叉注意力图平滑;S14:基于该交叉注意力图更新该第一噪声潜码,生成第二噪声潜码,并将该第一噪声潜码替换成该第二噪声潜码;S15:用有帧间注意力控制的扩散模型对该第二噪声潜码去噪;S16:判断采样总步数是否达到预定的步数,且所有主体标记是否达到一个设定的最小注意力阈值,如未达到,则执行步骤S12;S17:基于该第二噪声潜码输出该目标视频帧。本发明的文生视频方法保证了语义准确。
-
公开(公告)号:CN118570878A
公开(公告)日:2024-08-30
申请号:CN202411031140.5
申请日:2024-07-30
Applicant: 电子科技大学(深圳)高等研究院
Abstract: 本发明实施例公开了一种不完全多模态行人重识别方法及系统,所述方法包括:数据集构建步骤:构建三种模态配对的行人图像数据集;模型构建步骤:构建基于互学习的不完全多模态行人重识别模型;训练步骤:使用所述数据集的数据训练所述模型,得到训练好的模型;识别步骤:将任意模态组合的行人图像输入训练好的模型,提取目标行人的外观特征,并与图库中的行人特征计算相似度,按照相似度排序输出结果,完成行人重识别。本发明同时利用可见光‑近红外‑热红外中的互补信息,在复杂光照条件和恶劣天气下表现良好。此外,本发明实现了缺失模态特征的精细化补偿,提高了模态完备和模态缺失两种场景下的性能。
-
公开(公告)号:CN119107392B
公开(公告)日:2025-03-14
申请号:CN202411591349.7
申请日:2024-11-08
Applicant: 电子科技大学(深圳)高等研究院
Abstract: 本发明公开一种基于多模态大语言模型的任意骨架运动生成方法及系统,涉及计算机技术领域,解决基于文本驱动骨架动画难以保证运动自然性和连贯性,准确性和效率较低的技术问题。该方法包括:基于多模态大语言模型理解给定的骨架结构;将给定的抽象运动描述细化为关键帧的每个关节的具体运动描述;将每个关键帧的运动描述和标准姿势进行对比,生成关键帧;对关键帧进行可视化,对可视化结果进行评价并反馈;根据关键帧的信息以及运动描述生成剩余帧;对骨架结构的全部帧进行可视化,再进行评价并反馈;将对象表面和骨架结构进行绑定,生成骨架运动。本发明通过多模态大语言模型推理并细化抽象运动描述,提高了生成任意骨架运动的准确性和效率。
-
-
-
-
-
-
-
-
-