一种针对Rust编程语言中UNSAFE代码片段缺陷的检测方法

    公开(公告)号:CN116089302A

    公开(公告)日:2023-05-09

    申请号:CN202310142983.1

    申请日:2023-02-21

    Applicant: 东北大学

    Abstract: 本发明设计一种针对Rust编程语言中UNSAFE代码片段缺陷的检测方法,首先基于rustc_lint模块,利用HIR判断程序语言中表达式是否包含在开发者编写的unsafeblock中;利用HIR对表达式的结构进行解析;然后利用MIR分析识别不安全的操作;最后对在开发者编写的unsafeblock中的安全表达式或语句进行报告;本发明提出了针对函数参数的数据流分析技术,找出函数参数的别名传播链;是对函数或方法进行判断是否标记unsafe关键字所需要的关键技术,并结合fuzz测试技术对目标函数进行测试以判断函数是否必须标记unsafe关键字。

    一种基于比特联动的图像加密方法

    公开(公告)号:CN114615392A

    公开(公告)日:2022-06-10

    申请号:CN202210267933.1

    申请日:2022-03-18

    Applicant: 东北大学

    Abstract: 本发明提供了一种基于比特联动的图像加密方法,属于图像加密技术领域。该方法包括假定待加密图像P为行数为m,列数为n的256级灰度图,将P转换为大小为(m×n)×8的二维比特数组Q;生成加密过程中所需的若干混沌序列;对Q按比特位进行循环位移操作得到大小为(m×n)×8的二维比特数组V;对V进行比特联动操作,得到二维比特数组L3和H3;对L3和H3分别进行扩散操作分别得到二维比特数组L4和H4;通过将H4与L4合并获得最后的加密图像。通过将H4与L4合并获得最后的加密图像。该方法中的置乱过程以图像数组的行和列为单位,能更快速地完成置乱操作;在扩散过程中可将明文图像中的微小变化影响到密文的所有像素。且实验结果表明该方法满足安全性要求,即该方法能在保证图像信息安全性的同时减少加密时间。

    一种Java软件依赖冲突问题自动化修复的方法

    公开(公告)号:CN112965913A

    公开(公告)日:2021-06-15

    申请号:CN202110338522.2

    申请日:2021-03-26

    Applicant: 东北大学

    Abstract: 本申请公开一种Java软件依赖冲突问题自动化修复的方法,该方法通过分析Java软件项目的依赖关系找出依赖冲突的问题,在加以静态分析得到程序实现的类和方法以及其之间可能的调用路径。本发明设置了4种修复策略,根据风险类型选择不同的策略将无风险的版本加载到当前项目中,根据项目的调用路径关系选择合适的依赖版本进行自动的版本置换,从而帮助开发者有效的规避依赖冲突问题。并且在修复的同时能够评估是否会为项目带来更多会造成运行时错误的依赖冲突,最终自动的形成修复补丁和修复报告给开发者。减少了开发者在开发过程中遇到运行时错误的机率以及解决运行时错误的时间,节约了开发成本。

    用于图像超分辨率的比特级数据增强方法

    公开(公告)号:CN112614052A

    公开(公告)日:2021-04-06

    申请号:CN202011555544.6

    申请日:2020-12-24

    Applicant: 东北大学

    Abstract: 本发明公开用于图像超分辨率的比特级数据增强。本发明是为解决现存用于超分辨率的数据增强方法利用图片信息不足的问题。比特级数据增强方法包括:图像RGB通道内比特变换数据增强,图像RGB通道间比特交换数据增强,高分辨率、低分辨率图像通道间比特交换数据增强。本发明通过变换图像比特平面发掘隐藏的光感信息,充实图片纹理细节和色彩信息,链接高分辨率和低分辨率图像的相关性。主要步骤为:1)获取图像比特平面;2)图像比特平面变换;3)图像重塑;4)模型训练。本发明在数据集有限的情况下能偶扩展训练集,并在最佳的比特平面变换组合中增强超分辨率恢复效果。

    一种基于改进在线喷泉码的图像传输方法

    公开(公告)号:CN109274462B

    公开(公告)日:2021-01-01

    申请号:CN201811157505.3

    申请日:2018-09-30

    Applicant: 东北大学

    Abstract: 本发明提供一种基于改进在线喷泉码的图像传输方法,涉及无线网络多媒体数据的可靠性传输领域。包括,编码端操作:统计待传输图像大小并分组;持续发送度为1的编码符号,持续产生度为2的编码符号,产生度为d的编码符号;译码端操作:初始化译码图并仅接收度为1的编码符号,将译码图中对应节点变成黑色;判断恢复输入符号数并接收度为2的编码符号;判断接收编码符号组成、连通分量规模、连通分量中是否全部为黑色节点;接收度为d的编码符号并判断其组成;访问缓存的编码符号并确认译码图中的符号全部为黑色,停止译码并发送“译码成功”给发送端。本方法给出度为1的编码符号数量,并将其用于编码过程,同时通过缓存部分节点,提高译码性能。

    基于高维混沌系统和算术编码的联合编码方法

    公开(公告)号:CN107896143B

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

    申请号:CN201710946565.2

    申请日:2017-10-12

    Applicant: 东北大学

    Abstract: 一种基于高维混沌系统和算术编码的联合编码方法,结合了低维混沌系统Logisitc map和高维混沌系统Chen系统各自的特点,结合了正向逆向双向扩散机制和细胞自动机的代间扩散机制。本算法具有加密效果好,安全性高等特点。可应用于各种数字多媒体终端和服务器端,实时对单张数字图像或批量数字图像进行加密。

    一种峰值时空表情识别的方法

    公开(公告)号:CN110309791A

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

    申请号:CN201910599506.1

    申请日:2019-07-04

    Applicant: 东北大学

    Abstract: 本发明公开一种峰值时空表情识别的方法,属于图像识别技术领域。该方法将视频序列固定为长度为n的序列,得到视频图像序列的灰度原始图像序列G、光流图像序列Ft和光流应变图像序列St;堆叠G、Ft、St这3个图像序列输入训练好的VGG16网络;使用峰值帧和非峰值帧对网络进行微调,得出视频序列的表情预测结果。该方法输入光流图像携带了物体的运动信息,光流应变图像能够准确地表示两个连续帧之间存在物体的微小移动量,帮助简化网络学习高级特征,有更好的易用性和鲁棒性。该方法还提出了一种新型的梯度下降的方法,使非峰值图像特征向峰值图像的特征靠近。

    一种基于业务驱动的图像差异传输协议设计系统及方法

    公开(公告)号:CN108040041A

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

    申请号:CN201711265665.5

    申请日:2017-12-05

    Applicant: 东北大学

    Abstract: 本发明属于图像数据传输领域,提出了一种基于业务驱动的图像差异传输协议设计系统及方法。该协议结合实际需求以及图像压缩编码对图像传输过程进行了分析设计,利用网络协议工程设计了一个具有图像差异传输功能,可高效、灵活解决共享问题的应用层协议;由于下层为TCP可靠协议提供支持,对于定长参数的控制信息报文的传输非常稳定,不存在需解决的关键问题,但该协议的传输重点即图像差异传输过程,在内容无错的情况下进行性能调优,是提高整个系统使用过程的稳定性与交互体验的关键。

    一种基于Chen系统和细胞自动机的数字图像加密方法

    公开(公告)号:CN107886463A

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

    申请号:CN201710947062.7

    申请日:2017-10-12

    Applicant: 东北大学

    Abstract: 本发明提出一种基于Chen系统和细胞自动机的数字图像加密方法。通过结合低维混沌系统Logisitc map和高维混沌系统Chen系统各自的特点,结合正向逆向双向扩散机制和细胞自动机的代间扩散机制,使得本算法具有加密效果好,安全性高等特点。可应用于各种数字多媒体终端和服务器端,实时对单张数字图像或批量数字图像进行加密。

    高维安全算术编码方法
    100.
    发明公开

    公开(公告)号:CN107819573A

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

    申请号:CN201710964900.1

    申请日:2017-10-17

    Applicant: 东北大学

    Abstract: 本发明提出了一种高维安全算术编码方法,该方法为能够快速的执行压缩和加密过程,能够在保证原始信息压缩率的同时,提供较高的安全性机制。原始的算术编码方法依赖于一维的线段收缩过程,本发明将编码过程扩展到了N维空间中。在更高的维度上,通过引入非线性系统密码算法,使得算术编码在保持高压缩率的前提下,提供了额外的信息安全性机制。该方法具有加密效果好,效率高,压缩性好等特点。能够应用于实时信息的传输过程。

Patent Agency Ranking