-
公开(公告)号：CN111754637A
公开(公告)日：2020-10-09
申请号：CN202010612054.9
申请日：2020-06-30
Applicant: 华东交通大学
Abstract: 本发明公开了一种样本相似度抑制的大尺度三维人脸合成系统，包括：三维扫描设备，用于获取三维人脸模型及其点云数据；第一处理模块，用于对所获取的三维人脸模型及其点云数据进行预处理；第二处理模块，用于进行人脸三维模型的合成，得到合成三维人脸模型；第三处理模块，用于对所述合成三维人脸模型与采样得到的三维人脸模型集进行相似度检测，以输出满足相似度要求的所述合成三维人脸模型。本系统在进行三维人脸模型合成的基础上，充分考虑到三维人脸模型合成技术所需兼顾的数据隐私性问题，通过设计一个相似度检验模型来抑制合成模型与真实采集人脸模型的相似度，使输出的三维人脸合成结果能够满足人脸数据私密性的特殊要求。
-
公开(公告)号：CN118277284A
公开(公告)日：2024-07-02
申请号：CN202410713333.2
申请日：2024-06-04
Applicant: 华东交通大学
Abstract: 本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。
-
公开(公告)号：CN115601232B
公开(公告)日：2023-03-10
申请号：CN202211597912.2
申请日：2022-12-14
Applicant: 华东交通大学
IPC: G06T3/00
Abstract: 本发明公开一种基于奇异值分解的彩色图像去色方法及系统，包括：获取具有三通道的彩色图像，并分别对彩色图像的各个通道图像进行奇异值分解，分别得到三通道的三组矩阵；分别将三组矩阵的S矩阵中的奇异值与其对应的矩阵、矩阵中的正交向量进行矩阵重组，得到三组奇异值重组矩阵；根据某一通道的S矩阵中的各个奇异值的能量贡献，对某一道中的各个奇异值重组矩阵进行加权，得到某一通道的一组加权重组矩阵；基于预设的全局对比度权重对各组加权重组矩阵进行再次加权并融合，得到目标灰度化图像。能够在获取到全局对比度的情况下，捕捉到图像的局部特征及对比度信息，从而细化灰度化结果。
-
公开(公告)号：CN113160367A
公开(公告)日：2021-07-23
申请号：CN202110508065.7
申请日：2021-05-11
Applicant: 华东交通大学
IPC: G06T13/40 , G06F30/28 , G06F113/08 , G06F119/14
Abstract: 本发明涉及鳞翅目昆虫模型仿真和控制方法、系统及可读存储介质，属于计算机图形及仿真技术领域；具体包括一种鳞翅目昆虫模型的仿真和控制方法；该方法采用三维mesh和层次化骨骼建立一个非刚体的虚拟鳞翅目昆虫模型，并实现了对其飞行的自动控制；在飞行控制时考虑了飞行速度、空间位置、所受的外力、环境等因素等对非刚体鳞翅目昆虫模型的飞行姿态影响，填补了现有技术中对非刚体鳞翅目模型飞行控制的空白；通过本发明提出的方法控制的鳞翅目模型，其飞行姿态更加真实，仿生性能更好。
-
公开(公告)号：CN112968917A
公开(公告)日：2021-06-15
申请号：CN202110543219.6
申请日：2021-05-19
Applicant: 华东交通大学
IPC: H04L29/06
Abstract: 本发明公开了一种用于网络设备的渗透测试方法和系统，涉及网络设备脆弱性分析与预测领域。该方法包括：获取网络设备脆弱性数据构建网络设备脆弱性知识库；通过预设关联规则挖掘算法对网络设备脆弱性数据进行挖掘，获得相应关联规则；基于网络设备脆弱性知识库和关联规则对待测试网络设备进行渗透测试，生成渗透性报文，预测出未知脆弱性漏洞。根据脆弱性知识库中设备与设备，漏洞与漏洞，设备与漏洞之间的关联规则，有选择的对设备和漏洞进行渗透报文生成，能够大大提高测试效率。
-
Patent Agency Ranking
公开(公告)号：CN118277284B
公开(公告)日：2024-10-29
申请号：CN202410713333.2
申请日：2024-06-04
Applicant: 华东交通大学
Abstract: 本发明涉及一种基于形式化验证的智能合约安全审核系统及方法，本发明集成了输入模块、静态分析模块、形式化验证模块、模拟执行模块以及报告与建议模块，能够在智能合约部署前，通过形式化验证等分析技术，精确地发现智能合约的安全漏洞和逻辑缺陷等问题，从而显著提升其安全性，减少因代码缺陷可能导致的经济损失。本发明大幅度提高了智能合约审核的效率，缩短了开发周期，同时生成易于理解的安全审计报告和提供实用的定制化修复建议，能够帮助开发者改进代码，建立用户信任，为整个区块链生态系统的稳定性和可靠性做出了重要贡献。
-
公开(公告)号：CN117714210A
公开(公告)日：2024-03-15
申请号：CN202410159998.3
申请日：2024-02-05
Applicant: 华东交通大学
Abstract: 本发明涉及一种用于自定义CoAP协议的自动分析验证方法及装置，包括：分别对标准CoAP协议和自定义CoAP协议进行形式化描述，并基于此分别构建标准CoAP协议公理化模型和自定义CoAP协议符号模型，将自定义CoAP协议与标准CoAP协议进行匹配，得到自定义CoAP协议的裁剪位置结果；基于裁剪位置结果，将标准CoAP协议公理化模型映射到自定义CoAP协议符号模型中，得到自定义CoAP协议公理化模型；依据自定义CoAP协议部署的网络环境选择威胁模型，并确定在威胁模型下自定义CoAP协议对应的安全属性；针对选择的威胁模型，进一步细化调整自定义CoAP协议公理化模型结构，得到Tamarin模型；将Tamarin模型与需要验证的安全属性输入Tamarin验证器，得到验证结果。本发明用于自定义CoAP协议的安全验证。
-
公开(公告)号：CN115601232A
公开(公告)日：2023-01-13
申请号：CN202211597912.2
申请日：2022-12-14
Applicant: 华东交通大学(CN)
IPC: G06T3/00
Abstract: 本发明公开一种基于奇异值分解的彩色图像去色方法及系统，包括：获取具有三通道的彩色图像，并分别对彩色图像的各个通道图像进行奇异值分解，分别得到三通道的三组矩阵；分别将三组矩阵的S矩阵中的奇异值与其对应的矩阵、矩阵中的正交向量进行矩阵重组，得到三组奇异值重组矩阵；根据某一通道的S矩阵中的各个奇异值的能量贡献，对某一道中的各个奇异值重组矩阵进行加权，得到某一通道的一组加权重组矩阵；基于预设的全局对比度权重对各组加权重组矩阵进行再次加权并融合，得到目标灰度化图像。能够在获取到全局对比度的情况下，捕捉到图像的局部特征及对比度信息，从而细化灰度化结果。
-
公开(公告)号：CN113160367B
公开(公告)日：2022-03-15
申请号：CN202110508065.7
申请日：2021-05-11
Applicant: 华东交通大学
IPC: G06T13/40 , G06F30/28 , G06F113/08 , G06F119/14
Abstract: 本发明涉及鳞翅目昆虫模型仿真和控制方法、系统及可读存储介质，属于计算机图形及仿真技术领域；具体包括一种鳞翅目昆虫模型的仿真和控制方法；该方法采用三维mesh和层次化骨骼建立一个非刚体的虚拟鳞翅目昆虫模型，并实现了对其飞行的自动控制；在飞行控制时考虑了飞行速度、空间位置、所受的外力、环境等因素等对非刚体鳞翅目昆虫模型的飞行姿态影响，填补了现有技术中对非刚体鳞翅目模型飞行控制的空白；通过本发明提出的方法控制的鳞翅目模型，其飞行姿态更加真实，仿生性能更好。
-
公开(公告)号：CN113726821A
公开(公告)日：2021-11-30
申请号：CN202111286377.4
申请日：2021-11-02
Applicant: 华东交通大学
IPC: H04L29/06
Abstract: 本发明涉及一种用于安全协议形式化的验证方法及系统，涉及网络安全技术领域，该方法包括：对待验证的安全协议描述，得到安全协议规范；解析安全协议规范，获得协议配置对象；根据协议配置对象构建协议模型；基于协议模型构建攻击者模型，并对攻击者模型进行优化；根据线性时态逻辑刻画安全协议的安全属性；基于优化后的攻击者模型构建通信环境，在通信环境中通过模型检测器SPIN验证协议模型是否满足安全属性，若不满足则由模型检测器SPIN输出攻击路径。本发明可以对不同类型的安全协议建模，具有通用性，能够自动对安全协议的安全性进行验证，具有自动性。
-
-
-
-
-
-
-
-
-
Search Results
28
records
(took 0.026 seconds)
