-
公开(公告)号:CN109408389B
公开(公告)日:2020-10-16
申请号:CN201811278355.1
申请日:2018-10-30
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于深度学习的代码缺陷检测方法及装置,选取多个代码缺陷检测工具,分别对被检测代码进行检测,相应生成多个检测结果;将所述被检测代码通过预设的转换方法,转换为所述被检测代码的特征向量;所述特征向量包括所述被检测代码的结构特征和语义特征;将所述特征向量分别输入多个所述代码缺陷检测工具各自相对应的评估模型,输出多个所述代码缺陷检测工具分别对所述被检测代码检测缺陷结果的置信度;并结合检测工具对被检测代码的检测结果,可以有效判定代码是否真实存在某种缺陷,能够解决现有代码缺陷检测中误报较高的问题,有效提升代码审查的工作效率。
-
公开(公告)号:CN104881285B
公开(公告)日:2018-04-20
申请号:CN201510272310.3
申请日:2015-05-25
Applicant: 北京理工大学
Abstract: 本发明涉及一种基于本体的代码片段标注与重用系统,适用于高效软件集成开发环境的构建。该系统包括代码片段本体标注模型,代码片段本体标注模块,本体标注模型学习模块,服务器端管理模块,客户端管理模块。其中,代码片段标注模型用于对新提交的代码片段进行自动标注;本体标注模型学习模块学习并生成代码片段本体标注模型;客户端管理模块完成代码片段的采集、提交、查询功能;服务器端管理模块负责用户管理,接收客户端提交的代码片段并存入数据库中;代码片段本体标注模块负责对代码进行标注和重用。本发明实现了代码片段在不同的程序设计人员之间,以及不同的代码片段管理系统之间的相互理解、相互操作和相互共享。
-
公开(公告)号:CN104636085A
公开(公告)日:2015-05-20
申请号:CN201510040741.7
申请日:2015-01-27
Applicant: 北京理工大学
IPC: G06F3/06
Abstract: 本发明涉及一种片上网络消息缓冲区的存储管理模块,属于计算机体系结构及芯片设计领域,该模块负责片上网络计算节点各个端口接收和转发消息时缓冲区存储单元的分配与回收,本发明的存储管理模块采用多端口同步访问模式,多个端口可同时申请或释放消息缓冲区中的存储单元;申请存储单元过程采用预先分配策略,不是申请时才分配,而是在初始化时预先为每个端口分配存储单元,之后每次有端口申请存储单元时再预先为下一次申请提前分配好存储单元。对比现有技术,本发明通过多端口并发访问和预先分配策略缩短了存储单元分配和回收的时间,从而减小了消息存储转发的延迟,提高了存储效率,采用环形队列保存缓冲区空闲存储单元地址,简化了电路设计。
-
公开(公告)号:CN102314512A
公开(公告)日:2012-01-11
申请号:CN201110276472.6
申请日:2011-09-16
Applicant: 北京理工大学
IPC: G06F17/30
Abstract: 本发明提出的数据文件同步存储系统,包括:计算机、手机、同步软件A、同步软件B。计算机带有内建蓝牙设备或与蓝牙适配器连接;手机带有蓝牙设备和存储卡;同步软件A运行于计算机上;同步软件B运行于手机上。当手机靠近计算机且位于蓝牙通信范围内时,计算机上的同步软件A能够自动侦测到手机蓝牙设备的存在,并与手机上的同步软件B建立通信连接;然后计算机上的同步软件A读取手机上指定文件夹下所有文件的描述文件,并与计算机上指定文件夹下所有文件的描述文件进行比较,识别出计算机上的新文件和手机上的新文件并进行计算机和手机的数据同步。本发明具有避免USB插拔带来的设备损坏以及支持自动文件同步和更新等优点。
-
公开(公告)号:CN115827489A
公开(公告)日:2023-03-21
申请号:CN202211677803.1
申请日:2022-12-26
Applicant: 北京理工大学
Abstract: 本发明公开了一种基于集成学习和图神经网络的智能合约缺陷检测方法,包括:获取智能合约,提取所述智能合约的特征向量;获取若干个智能合约缺陷检测工具,基于深度神经网络分别对若干个所述智能合约缺陷检测工具构建置信度模型;基于若干个所述置信度模型与所述特征向量获取所述智能合约的检测结果。本发明使用集成学习的方式结合多个现有工具的检测优势获取更为准确的检测结果,减少了由于单一工具能力不足而造成的误报和漏报问题,同时本发明使用图神经网络表征合约图特征,避免重要信息的丢失。本发明能够在上线之前识别出含缺陷的智能合约,尽可能地保证区块链系统中智能合约的安全性,避免经济损失。
-
公开(公告)号:CN115242679A
公开(公告)日:2022-10-25
申请号:CN202210912314.3
申请日:2022-07-30
Applicant: 北京理工大学
IPC: H04L43/0817 , H04L41/14 , G06N3/08 , G06N3/04 , G06K9/62
Abstract: 本发明公开了一种通信网络中节点宕机的检测方法,步骤如下:S1、准备数据,根据通信逻辑链路进行建图,节点为服务器,边为逻辑通信链路,确定时间段begin‑time和end‑time,在该时间段内有通信的节点之间添加对应的边;S2、组合模型,将需要集成的模型进行组合,获得新的模型,使用GCN和graphsage模型进行集成,组合成集成模型;S3、进行模型训练,对于步骤S2获得的集成模型进行训练,学习模型中的参数通过计算loss,计算得到loss后,进行反向传播,更新模块中的参数;S4、预测阶段。本发明采用上述的一种通信网络中节点宕机的检测方法,能更好的适应复杂的数据,能有效的提高节点分类的准确性。
-
公开(公告)号:CN115238808A
公开(公告)日:2022-10-25
申请号:CN202210912334.0
申请日:2022-07-30
Applicant: 北京理工大学
Abstract: 本发明公开了一种基于多任务的通信网络中节点宕机的检测方法,步骤如下:S1、准备数据,根据通信逻辑链路进行建图;给定一个图G,该图G是通信网络,图G中的节点是服务器,边为逻辑通信链路,确定时间段begin‑time、end‑time,在该时间段内有通信的节点之间添加对应的边;S2、进行模型训练;利用GNN骨干网络进行训练,GCN输出是服务器节点的向量表示embedding,其中模型的参数是可学习的,调优方式通过计算loss并进行反向传播;S3、进行预测;将步骤S2获得的训练后GCN模型,输入待预测的节点的特征和整个网络的拓扑结构。本发明采用上述的一种基于多任务的通信网络中节点宕机的检测方法,明显的缓解数据不足的问题,提高节点分类的准确性。
-
公开(公告)号:CN114168863A
公开(公告)日:2022-03-11
申请号:CN202111528752.1
申请日:2021-12-14
Applicant: 北京理工大学
IPC: G06F16/9536 , G06Q50/00
Abstract: 本发明公开了一种基于k‑truss的面向超图的社区发现方法,具体步骤如下:S1、首先输入超图HG=(V,Eh)、S、r,计算超图中所有超边的support;S2、初始化超图的极大k‑truss下界low=0,上界up=0,当Size(|H|)>S时,进行以下操作;S3、计算当前超图中的三角形个数T=所有超边的support之和/3,令low=max(low,最小的超边support,T/超边总数),令up=max(up,最小的超边support,r*(T/超边总数));S4、将所有support小于上界up的超边从超图H中删除,得到一个新的超图H。本发明采用上述的一种基于k‑truss的面向超图的社区发现方法,在超图上实现了k‑truss分解和极大k‑truss的挖掘,大幅减少了不必要的计算内容,消除了传统算法的冗余计算过程,实现了对于超图的社区发现。
-
公开(公告)号:CN113434548A
公开(公告)日:2021-09-24
申请号:CN202110711332.0
申请日:2021-06-25
Applicant: 北京理工大学
IPC: G06F16/2455 , G06F16/2458 , G06F9/54
Abstract: 本发明公开一种基于Spark的大规模数据流分析方法及系统,方法包括,基于Spark构建分布式计算框架,通过分布式计算框架对目标代码进行分布式数据流分析,其中,分布式数据流分析,包括,过程内预处理阶段,分布式过程间数据整合阶段;系统包括,数据采集模块,数据处理模块,数据分析模块,数据存储模块,数据显示模块;本发明采取两级并行策略,多入口地进行并行计算,具有高度的可扩展性,同时考虑了分布式计算的负载均衡问题,能够充分利用分布式集群算力优势,加速静态数据流分析。
-
公开(公告)号:CN108763092B
公开(公告)日:2020-12-01
申请号:CN201810553230.9
申请日:2018-05-31
Applicant: 北京理工大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于交叉验证的代码缺陷检测方法及装置,选择多个代码缺陷检测工具,对被检测代码进行检测,生成第一检测结果;获取每个代码缺陷检测工具对与所述被检测代码相似的N个测试用例的准确率;根据所述准确率,对所述第一检测结果进行加权求和,生成第二检测结果;当所述第二检测结果大于预设阈值时,确定所述被检测代码存在缺陷。本发明提供的方法与现有的使用单个工具进行缺陷检测的方法相比,本发明基于被测代码与测试用例之间的相似性,并根据各个工具在已知测试用例上的准确率,对各个工具检测被测代码的测试结果进行综合计算和评判,具有较高的准确率,可以减少误报,提高代码缺陷检测和代码审核的工作效率。
-
-
-
-
-
-
-
-
-