期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于程序语义与度量的代码缺陷检测
1
作者
卢跃
嵇友晴
+2 位作者
周礼亮
吕青
张迎周
《中北大学学报(自然科学版)》
2025年第1期105-115,共11页
软件中存在的代码缺陷严重影响了软件用户使用的体验感和安全性,传统的代码缺陷检测方法存在准确率较低的问题,而结合深度学习的现有方法的检测粒度较粗,检测效果也不够理想。为此,本文提出了一种基于程序语义与度量的代码缺陷检测方法...
软件中存在的代码缺陷严重影响了软件用户使用的体验感和安全性,传统的代码缺陷检测方法存在准确率较低的问题,而结合深度学习的现有方法的检测粒度较粗,检测效果也不够理想。为此,本文提出了一种基于程序语义与度量的代码缺陷检测方法。该方法采用基于LLVM IR的代码缺陷的兴趣点检测算法,使用轻量级符号化程序切片工具SymPas获取与缺陷兴趣点相关的程序切片。通过预训练模型将程序切片代码片段转化为向量表示,并融合指令级切片度量——认知复杂度度量,深入分析了切片语句之间的关系和特征。通过构建混合模型ResCNN-GRU进行训练,将提取的特征进行了有效融合和学习。实验结果表明,本文利用符号化程序切片技术细化了漏洞检测的粒度,在中间表示LLVM IR下融合的语义和度量信息能更好地表示缺陷代码语句间的关系和特征,构建的混合模型一定程度上解决了时间序列问题以及样本数量不均衡问题,相比其他先进方法,本文方法的准确率达到了94.1%。
展开更多
关键词
预训练模型
程序切片
切片认知域
残差网络
卷积神经网络
门控制神经网络
在线阅读
下载PDF
职称材料
一种反射内存网航电软件测试环境实时通讯协议
被引量：
3
2
作者
王立泽
刘斌
周礼亮
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2011年第3期122-127,共6页
为解决航电软件仿真测试环境中的通用异步和周期实时通讯问题,设计了一种反射内存网实时通讯协议(MSTP).基于反射内存网SCRAMNet设计协议,介绍了协议内存布局,描述并实现周期和异步数据的发送和接收过程,对协议进行测试以表明设计可行性...
为解决航电软件仿真测试环境中的通用异步和周期实时通讯问题,设计了一种反射内存网实时通讯协议(MSTP).基于反射内存网SCRAMNet设计协议,介绍了协议内存布局,描述并实现周期和异步数据的发送和接收过程,对协议进行测试以表明设计可行性.最后,给出了较为完善的系统开销计算模型.
展开更多
关键词
反射内存网
周期通讯
异步通讯
通讯协议
仿真测试环境
航电软件
在线阅读
下载PDF
职称材料
基于动态最小生成树的分布式协同目标跟踪算法
3
作者
肖林
陆科林
+3 位作者
王梦琦
姜博文
冉华明
周礼亮
《电讯技术》
北大核心
2024年第9期1459-1466,共8页
针对多连接通信拓扑传感器网络因可能存在信息冗余和未知相关性而造成融合估计偏差较大的问题,提出了一种具有通信层和融合层的基于最小生成树的分布式协同目标跟踪算法。在通信层,基于Bellman-Ford-Moore算法对多传感器网络进行动态配...
针对多连接通信拓扑传感器网络因可能存在信息冗余和未知相关性而造成融合估计偏差较大的问题,提出了一种具有通信层和融合层的基于最小生成树的分布式协同目标跟踪算法。在通信层,基于Bellman-Ford-Moore算法对多传感器网络进行动态配置,生成具有最小生成树结构的通信拓扑,消除分布式传感器网络中的冗余连接。在融合层,各传感器节点基于树形连接拓扑的通道滤波算法,对其存储的局部数据和从相邻节点接收到的数据进行分布式数据融合,实现协同目标跟踪。同时,以融合估计的动态均方差为性能评价标准设计了一种通用的数据融合评价方法,对该目标跟踪算法的性能进行了分析。该算法可以推广至任意类型的通信拓扑,并可消除冗余通信连接。仿真结果表明,该算法在理论边界范围内的估计误差的比例大于95%,具有良好的估计精度、跟踪性能和鲁棒性。
展开更多
关键词
传感器网络
分布式协同
目标跟踪
最小生成树
通道滤波
在线阅读
下载PDF
职称材料
题名
基于程序语义与度量的代码缺陷检测
1
作者
卢跃
嵇友晴
周礼亮
吕青
张迎周
机构
南京邮电大学计算机学院
中国电子科技集团公司第十研究所
出处
《中北大学学报(自然科学版)》
2025年第1期105-115,共11页
基金
国家自然科学基金资助项目(62272214)。
文摘
软件中存在的代码缺陷严重影响了软件用户使用的体验感和安全性,传统的代码缺陷检测方法存在准确率较低的问题,而结合深度学习的现有方法的检测粒度较粗,检测效果也不够理想。为此,本文提出了一种基于程序语义与度量的代码缺陷检测方法。该方法采用基于LLVM IR的代码缺陷的兴趣点检测算法,使用轻量级符号化程序切片工具SymPas获取与缺陷兴趣点相关的程序切片。通过预训练模型将程序切片代码片段转化为向量表示,并融合指令级切片度量——认知复杂度度量,深入分析了切片语句之间的关系和特征。通过构建混合模型ResCNN-GRU进行训练,将提取的特征进行了有效融合和学习。实验结果表明,本文利用符号化程序切片技术细化了漏洞检测的粒度,在中间表示LLVM IR下融合的语义和度量信息能更好地表示缺陷代码语句间的关系和特征,构建的混合模型一定程度上解决了时间序列问题以及样本数量不均衡问题,相比其他先进方法,本文方法的准确率达到了94.1%。
关键词
预训练模型
程序切片
切片认知域
残差网络
卷积神经网络
门控制神经网络
Keywords
pre-training model
program slicing
slice cognitive domain
residual network
convolution neural network
gate control neural network
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种反射内存网航电软件测试环境实时通讯协议
被引量：
3
2
作者
王立泽
刘斌
周礼亮
机构
北京航空航天大学工程系统工程系
出处
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2011年第3期122-127,共6页
基金
航空科学基金资助项目(20095551025)
文摘
为解决航电软件仿真测试环境中的通用异步和周期实时通讯问题,设计了一种反射内存网实时通讯协议(MSTP).基于反射内存网SCRAMNet设计协议,介绍了协议内存布局,描述并实现周期和异步数据的发送和接收过程,对协议进行测试以表明设计可行性.最后,给出了较为完善的系统开销计算模型.
关键词
反射内存网
周期通讯
异步通讯
通讯协议
仿真测试环境
航电软件
Keywords
reflective memory network
period communication
asynchronous communication
communication protocol
simulation testing environment
avionic software
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于动态最小生成树的分布式协同目标跟踪算法
3
作者
肖林
陆科林
王梦琦
姜博文
冉华明
周礼亮
机构
中国航空工业集团公司沈阳飞机设计研究所
东南大学自动化学院
空军装备部驻成都地区第三军事代表室
中国电子科技集团公司航空电子信息系统技术重点实验室
出处
《电讯技术》
北大核心
2024年第9期1459-1466,共8页
文摘
针对多连接通信拓扑传感器网络因可能存在信息冗余和未知相关性而造成融合估计偏差较大的问题,提出了一种具有通信层和融合层的基于最小生成树的分布式协同目标跟踪算法。在通信层,基于Bellman-Ford-Moore算法对多传感器网络进行动态配置,生成具有最小生成树结构的通信拓扑,消除分布式传感器网络中的冗余连接。在融合层,各传感器节点基于树形连接拓扑的通道滤波算法,对其存储的局部数据和从相邻节点接收到的数据进行分布式数据融合,实现协同目标跟踪。同时,以融合估计的动态均方差为性能评价标准设计了一种通用的数据融合评价方法,对该目标跟踪算法的性能进行了分析。该算法可以推广至任意类型的通信拓扑,并可消除冗余通信连接。仿真结果表明,该算法在理论边界范围内的估计误差的比例大于95%,具有良好的估计精度、跟踪性能和鲁棒性。
关键词
传感器网络
分布式协同
目标跟踪
最小生成树
通道滤波
Keywords
multi-sensor network
distributed collaborative
target tracking
minimum spanning tree
channel filtering
分类号
TP301 [自动化与计算机技术—计算机系统结构]
TN929.5 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于程序语义与度量的代码缺陷检测
卢跃
嵇友晴
周礼亮
吕青
张迎周
《中北大学学报(自然科学版)》
2025
0
在线阅读
下载PDF
职称材料
2
一种反射内存网航电软件测试环境实时通讯协议
王立泽
刘斌
周礼亮
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
3
基于动态最小生成树的分布式协同目标跟踪算法
肖林
陆科林
王梦琦
姜博文
冉华明
周礼亮
《电讯技术》
北大核心
2024
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
