-
公开(公告)号：CN114693504A
公开(公告)日：2022-07-01
申请号：CN202210388537.4
申请日：2022-04-11
Applicant: 武汉大学
Abstract: 本发明涉及一种基于FPGA的混合高斯模型的图像处理方法，步骤S1：构建FPGA模块设计和ARM系统的初始化配置；步骤S2：一组DMA控制器将DDR上的像素和背景模型参数转化成数据流，传入混合高斯模型的核心计算模块；步骤S3：混合高斯模型的核心计算模块分别计算出每一个像素属于背景或前景，然后更新背景模型的参数；步骤S4：另一组DMA控制器将核心计算模块的计算结果和更新后的背景模型参数储存在DDR上。本发明用于在边缘计算场景下进行运动目标检测任务，本发明结合了FPGA的硬件特性与混合高斯模型的计算模式，通过软硬件协同的优化方法，提高了混合高斯模型在FPGA硬件上的性能，在占用更少的FPGA片上资源情况下获得更高的处理速度。
-
公开(公告)号：CN114693504B
公开(公告)日：2024-07-26
申请号：CN202210388537.4
申请日：2022-04-11
Applicant: 武汉大学
Abstract: 本发明涉及一种基于FPGA的混合高斯模型的图像处理方法，步骤S1：构建FPGA模块设计和ARM系统的初始化配置；步骤S2：一组DMA控制器将DDR上的像素和背景模型参数转化成数据流，传入混合高斯模型的核心计算模块；步骤S3：混合高斯模型的核心计算模块分别计算出每一个像素属于背景或前景，然后更新背景模型的参数；步骤S4：另一组DMA控制器将核心计算模块的计算结果和更新后的背景模型参数储存在DDR上。本发明用于在边缘计算场景下进行运动目标检测任务，本发明结合了FPGA的硬件特性与混合高斯模型的计算模式，通过软硬件协同的优化方法，提高了混合高斯模型在FPGA硬件上的性能，在占用更少的FPGA片上资源情况下获得更高的处理速度。
-
公开(公告)号：CN113204679A
公开(公告)日：2021-08-03
申请号：CN202110391338.4
申请日：2021-04-13
Applicant: 武汉大学
IPC: G06F16/903 , G06F40/194 , G06K9/62
Abstract: 本发明提供了一种代码查询模型的生成方法和计算机设备，代码查询模型的生成方法包括：在训练集中选取匹配语句对和非匹配语句对；基于初始词嵌入模块匹配词嵌入向量集和非匹配向量集，基于初始Transformer模块确定匹配词嵌入矩阵集以及非匹配词嵌入矩阵集；基于初始交互注意力模块确定第一相似度和第二相似度；基于第一相似度和第二相似度训练得到代码查询模型。本发明通过初始词嵌入模块和初始Transformer模块学习查询语句和代码语句多层面语义信息，使得训练得到的代码查询模型可以在程序代码数据库庞大、结构繁杂时准确匹配查询语句对应的匹配代码语句。
-
公开(公告)号：CN119180327A
公开(公告)日：2024-12-24
申请号：CN202411084621.2
申请日：2024-08-08
Applicant: 武汉大学
IPC: G06N5/022 , G06F16/36 , G06N3/096 , G06N3/0455
Abstract: 公开了一种知识图谱构建方法、装置、设备及存储介质，属于数据处理领域，该方法包括：获取第一谓语集合，第一谓语集合中包括目标领域中的多个谓语，谓语为知识图谱的三元组中的谓语，三元组包括主体、谓语、客体；基于第一谓语集合，训练教师大语言模型，教师大语言模型用于从目标领域知识文本中提取多个三元组，且教师大模型提取出的任一个三元组中的谓语均在第一谓语集合中；基于教师大语言模型，对学生大语言模型进行知识蒸馏；基于知识蒸馏后的学生大语言模型，构建目标领域知识图谱。该方法能够在低资源的环境下实现基于大语言模型构建知识图谱。
-
公开(公告)号：CN101872322A
公开(公告)日：2010-10-27
申请号：CN200910061837.6
申请日：2009-04-27
Applicant: 武汉大学
IPC: G06F11/36
Abstract: 一种基于系统需求模型的软件特性检测方法，所述系统需求模型由系统内所有视点的视点行为模型构成，视点行为模型由视点内的所有场景行为模型构成，场景行为模型由场景内所有有效行为根据行为间关系联结成，其特征是：对系统需求模型进行视点一致性检测和行为有效性验证；所述视点一致性检测通过将视点行为模型的行为模型表达式转换为动态操作语义模型表达式，判断两个视点的视点行为模型是否观察等价来实现；所述行为有效性验证实现方式为，将系统需求模型转换为等价的动态操作语义模型，将与行为有效性有关的软件特性表示为时序逻辑公式，根据动态操作语义模型和时序逻辑公式进行自动检测得到行为有效性验证结果。
-
Patent Agency Ranking
公开(公告)号：CN119271277A
公开(公告)日：2025-01-07
申请号：CN202411260241.X
申请日：2024-09-10
Applicant: 武汉大学
Abstract: 本发明提供一种指令编译预处理的分支转换方法及装置，其方法包括：确定待处理的IR结构中实际存在控制依赖关系的基本块；将所述待处理的IR结构中的条件分支指令转换为对应的预测码的比较赋值指令；基于所述比较赋值指令将所述实际存在控制依赖关系的基本块的指令提升为谓词执行指令。本发明通过确定实际存在控制依赖关系的基本块，进而在编译器后端的处理过程中对存在同时存在控制依赖和数据依赖的函数进行分支转换，从而将控制依赖转换为数据依赖，为提高指令级别并行度的调度算法提供更多优化空间。
-
公开(公告)号：CN113204679B
公开(公告)日：2023-08-01
申请号：CN202110391338.4
申请日：2021-04-13
Applicant: 武汉大学
IPC: G06F16/903 , G06F40/194 , G06F18/22
Abstract: 本发明提供了一种代码查询模型的生成方法和计算机设备，代码查询模型的生成方法包括：在训练集中选取匹配语句对和非匹配语句对；基于初始词嵌入模块匹配词嵌入向量集和非匹配向量集，基于初始Transformer模块确定匹配词嵌入矩阵集以及非匹配词嵌入矩阵集；基于初始交互注意力模块确定第一相似度和第二相似度；基于第一相似度和第二相似度训练得到代码查询模型。本发明通过初始词嵌入模块和初始Transformer模块学习查询语句和代码语句多层面语义信息，使得训练得到的代码查询模型可以在程序代码数据库庞大、结构繁杂时准确匹配查询语句对应的匹配代码语句。
-
公开(公告)号：CN108519890B
公开(公告)日：2021-07-20
申请号：CN201810306806.1
申请日：2018-04-08
Applicant: 武汉大学
Abstract: 本发明公开了一种基于自注意力机制的鲁棒性代码摘要生成方法，首先是编程社区高质量的代码及其描述语料对(查询描述的文本，回复代码的文本)的抽取；然后是代码及其描述语料对的冗余信息滤除；接着将代码对应的查询描述文本转换成陈述性语句；最后是基于自注意力机制序列模型的代码摘要生成。本发明能够有效的去除冗余信息和噪声内容，并且生成的摘要在自动评测和人工评测准确率上均有提高，评测结果优于现有的基线方法。
-
公开(公告)号：CN120066474A
公开(公告)日：2025-05-30
申请号：CN202510083830.3
申请日：2025-01-20
Applicant: 武汉大学
IPC: G06F8/30 , G06F8/33 , G06F40/151 , G06F40/126
Abstract: 公开了一种RISC‑V仿真器格式化输出函数实现方法、装置、设备及存储介质，属于仿真器技术领域，该方法包括：获取待仿真的RISC‑V源码，并将待仿真的RISC‑V源码输入至编译器，得到编译器翻译后的第一代码文件；在第一printf函数的格式化字符串包括字符串占位符%s的情况下，将第一代码文件翻译为第二代码文件包括基于第一跳转表和与第一printf函数的格式化字符串中的%s对应的第二跳转表，将第一printf函数翻译为IR形式；在第一代码文件被翻译为第二代码文件后，采用即时编译器执行第二代码文件。该方法能够准确且有效地在RISC‑V仿真器中实现printf函数。
-
公开(公告)号：CN119248482A
公开(公告)日：2025-01-03
申请号：CN202411281454.0
申请日：2024-09-13
Applicant: 武汉大学
IPC: G06F9/50 , G06F9/48 , G06F16/901
Abstract: 本发明提供一种计算资源分配方法及装置，其方法包括：在待分配的计算任务于当前时间周期的有向无环图中确定叶子节点，并将依赖任务已经完成的计算任务对应的叶子节点作为候选节点；在所述候选节点的数量大于可用计算资源数的情况下，基于预先确定的测度指标评估每个候选节点的边际成本，所述测度指标为优化有向无环图中任务调度效率的相关指标；按照所述边际成本由大到小的顺序依次为所述候选节点分配计算资源。本发明通过确定测度指标从而确定调度每个候选节点的边际成本，按照边际成本由大到小的顺序依次为候选节点分配计算资源，从而在任意数量的计算资源限制下都能实现近似最优分配。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.017 seconds)
