-
公开(公告)号:CN106095443B
公开(公告)日:2019-04-05
申请号:CN201610412437.5
申请日:2016-06-14
Applicant: 电子科技大学
IPC: G06F8/30
Abstract: 没本发明公开了一种基于C/C++代码库的API调用模式挖掘方法。本方法的输入是C/C++代码库,首先通过开源的基于LLVM的clang编译器对输入代码库进行编译,利用clang提供的相关扩展接口完成API序列信息的提取;然后对API序列进行预处理,将相同的API序列合并成一条序列及将嵌套使用的序列进行关联处理;然后将预处理好的API序列存储到数据库中;然后计算数据库中API序列间的距离,得到距离矩阵;然后根据API序列间的距离矩阵,使用DBScan聚类算法对API序列进行聚类处理,将聚类结果存储到数据库中;最后用户输入函数片段信息,利用数据库查询技术将符合要求的API序列及对应的使用代码片段返回给用户。
-
公开(公告)号:CN115293334B
公开(公告)日:2024-09-27
申请号:CN202210963402.6
申请日:2022-08-11
Applicant: 电子科技大学
IPC: G06F30/27
Abstract: 本发明公开了基于模型的高样本率深度强化学习的无人设备控制方法,包括:获取轨迹数据,并将轨迹数据存入环境缓冲池中;对环境状态转移模型进行更新;进行多步交互轨迹预测生成预测数据,并将预测数据存入模型缓冲池;对Actor‑Critic策略模型进行更新;持续迭代更新环境状态转移模型和Actor‑Critic策略模型直至当前策略性能达到预期要求。本发明采用基于模型的深度强化学习的方法,构建一个环境状态转移模型来模拟无人设备与外界环境的交互,从而急剧减少无人设备与真实环境的交互次数,并且由环境状态转移模型产生的数据能够对无人设备行进控制策略进行有效的优化,使得对无人设备的控制变得高效。
-
公开(公告)号:CN107273294B
公开(公告)日:2020-07-28
申请号:CN201710464437.4
申请日:2017-06-19
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于神经网络语言模型的重复代码检测方法,属于重复代码检测方法技术领域,解决现有技术中的重复代码检测方法,不能检测出没有进行本质性改变的重复代码,造成检测的准确率,容易给代码原创者造成经济损失等问题。本发明包括步骤1:将所有的代码中的每个代码转换为相应的CFG图;步骤2:抽取每个CFG图中每一个结点的根子图;步骤3:将所有根子图采用向量表示;步骤4:将根子图的向量表示输入到深度图核函数中学习,得到所有CFG图两两间的相似度;步骤5:将CFG图两两间的相似度输入到AP关联聚类算法中进行CFG图的聚类得到多个聚类簇,在同一个聚类簇中的CFG图所对应的代码即为重复代码。本发明用于发现重复代码。
-
公开(公告)号:CN108073575A
公开(公告)日:2018-05-25
申请号:CN201610416770.3
申请日:2016-06-14
Applicant: 电子科技大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于改进Prefixspan算法的雷达数据频繁模式挖掘方法,属于数据挖掘的领域,解决现有挖掘算法需要多次扫描原始数据库、消耗大量内存等问题。本发明提出了一种基于改进Prefixspan算法的雷达数据频繁模式挖掘方法,改进算法采用位图思想,设计了一种链式存储结构,在读取数据时保存了频繁1-项集的支持度数及项在序列中的位置,有效的解决了Spam算法在挖掘大量数据集时内存不足以及Prefixspan算法需要扫描两次数据库及在挖掘过程中构造大量投影数据库的问题,可以较好地实现对雷达信号数据频繁模式的挖掘。将挖掘出的频繁模式构建一个模式库,可以用于分析雷达的模式周期以及预警,同时通过对模式进行时间验证分析,可以得到事件之间的关联关系。
-
公开(公告)号:CN104965788A
公开(公告)日:2015-10-07
申请号:CN201510390576.8
申请日:2015-07-03
Applicant: 电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种代码静态检测方法,具体涉及一种基于LLVM IR的符号执行算法——利用给予程序变量符号初值技术领域,解决现在技术中的静态检测方法支持语言单一、不能较好的处理指针和别名问题,探测潜在的程序漏洞等问题。本发明的步骤:(1)获取源代码,并将源代码进行预处理转换为LLVM汇编程序;(2)将转换得到的LLVM汇编程序,运用符号执行算法模拟解释执行LLVM汇编程序,并记录各个变量在不同路径上的符号值和各条路径的约束条件;(3)根据记录各个变量在不同路径上的符号值和各条路径的约束条件,调用SMT求解器Z3检查变量的符号值是否满足路径约束和漏洞约束,判断程序是否存在潜在漏洞。本发明应用于源代码中的数组越界,除零错误和空指针引用。
-
公开(公告)号:CN107273294A
公开(公告)日:2017-10-20
申请号:CN201710464437.4
申请日:2017-06-19
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于神经网络语言模型的重复代码检测方法,属于重复代码检测方法技术领域,解决现有技术中的重复代码检测方法,不能检测出没有进行本质性改变的重复代码,造成检测的准确率,容易给代码原创者造成经济损失等问题。本发明包括步骤1:将所有的代码中的每个代码转换为相应的CFG图;步骤2:抽取每个CFG图中每一个结点的根子图;步骤3:将所有根子图采用向量表示;步骤4:将根子图的向量表示输入到深度图核函数中学习,得到所有CFG图两两间的相似度;步骤5:将CFG图两两间的相似度输入到AP关联聚类算法中进行CFG图的聚类得到多个聚类簇,在同一个聚类簇中的CFG图所对应的代码即为重复代码。本发明用于发现重复代码。
-
公开(公告)号:CN103136751A
公开(公告)日:2013-06-05
申请号:CN201310045501.7
申请日:2013-02-05
Applicant: 电子科技大学
IPC: G06T7/00
Abstract: 本发明公开了一种改进型SIFT图像特征匹配算法,包括如下三大步骤:一、尺度空间极值点检测,二、特征描述符的生成,三、建立K-dtree二叉平衡树,用BBF在K-d树搜索最近邻特征点,欧氏距离判别匹配的特征点对,欧氏距离匹配后进行二次匹配。本发明将128维描述符降到48维,算法的执行效率提高了2/3,达到基于积分的SURF特征描述子算法的速度,克服了不能适合灰度和图像视角变化情况的弊端。
-
公开(公告)号:CN115293334A
公开(公告)日:2022-11-04
申请号:CN202210963402.6
申请日:2022-08-11
Applicant: 电子科技大学
Abstract: 本发明公开了基于模型的高样本率深度强化学习的无人设备控制方法,包括:获取轨迹数据,并将轨迹数据存入环境缓冲池中;对环境状态转移模型进行更新;进行多步交互轨迹预测生成预测数据,并将预测数据存入模型缓冲池;对Actor‑Critic策略模型进行更新;持续迭代更新环境状态转移模型和Actor‑Critic策略模型直至当前策略性能达到预期要求。本发明采用基于模型的深度强化学习的方法,构建一个环境状态转移模型来模拟无人设备与外界环境的交互,从而急剧减少无人设备与真实环境的交互次数,并且由环境状态转移模型产生的数据能够对无人设备行进控制策略进行有效的优化,使得对无人设备的控制变得高效。
-
-
-
-
-
-
-
-