-
公开(公告)号：CN118096556B
公开(公告)日：2024-08-27
申请号：CN202410489562.0
申请日：2024-04-23
Applicant: 华东交通大学
IPC: G06T5/50 , G06N3/0464 , G06N3/08 , G06T3/4038 , G06T5/70
Abstract: 本申请涉及一种图像重构方法、系统、设备及介质，方法包括：对原始图像进行预处理，获得大小相同的多个测量图像块；针对多个测量图像块中的每个测量图像块，对每个测量图像块进行线性映射，获得对应的初步重构图像块；提取初步重构图像块的全局信息，获得对应的中间重构图像块；将多个测量图像块对应的各个中间重构图像块进行合并，得到中间重构图像；对中间重构图像进行去块滤波处理，获得目标重构图像。解决了现有技术中常使用残差网络对图像块进行重构处理，但是残差网络一般只能提取到图像块的主要特征信息，使得最终获得的重构图像中包含的原图像的特征信息较少，造成最终获得的重构图像精度较低的问题。
-
公开(公告)号：CN118277284B
公开(公告)日：2024-10-29
申请号：CN202410713333.2
申请日：2024-06-04
Applicant: 华东交通大学
Abstract: 本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。
-
公开(公告)号：CN118096556A
公开(公告)日：2024-05-28
申请号：CN202410489562.0
申请日：2024-04-23
Applicant: 华东交通大学
IPC: G06T5/50 , G06N3/0464 , G06N3/08 , G06T3/4038 , G06T5/70
Abstract: 本申请涉及一种图像重构方法、系统、设备及介质，方法包括：对原始图像进行预处理，获得大小相同的多个测量图像块；针对多个测量图像块中的每个测量图像块，对每个测量图像块进行线性映射，获得对应的初步重构图像块；提取初步重构图像块的全局信息，获得对应的中间重构图像块；将多个测量图像块对应的各个中间重构图像块进行合并，得到中间重构图像；对中间重构图像进行去块滤波处理，获得目标重构图像。解决了现有技术中常使用残差网络对图像块进行重构处理，但是残差网络一般只能提取到图像块的主要特征信息，使得最终获得的重构图像中包含的原图像的特征信息较少，造成最终获得的重构图像精度较低的问题。
-
公开(公告)号：CN118277284A
公开(公告)日：2024-07-02
申请号：CN202410713333.2
申请日：2024-06-04
Applicant: 华东交通大学
Abstract: 本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。
-
-
-
Search Results
4
records
(took 0.014 seconds)
