GC-MCR:有向图约束指导的并发缺陷检测方法

下载全文  

约束求解应用到程序分析的多个领域,在并发程序分析方面也得到了深入的应用.并发程序随着多核处理器的快速发展而得到广泛使用,然而并发缺陷对并发程序的安全性和可靠性造成了严重的影响,因此,针对并发缺陷的检测尤为重要.并发程序线程运行的不确定性导致的线程交织爆炸问题,给并发缺陷的检测带来… …   相似文献

李硕川  王赞  马明旭  陈翔  赵英全  王海弛  王昊宇 《软件学报》2023,34(8):3485-3506

基于动态分级的自适应运动目标处理SLAM算法

  

针对移动机器人在动态环境中视觉同时定位和地图构建（visual simultaneous localization and mapping,VSLAM）精度低、鲁棒性差的问题,提出了一种自适应运动目标处理SLAM算法（adaptive dynamic SLAM,AD-SLAM）。… …   相似文献

王富强  王强  李敏  杨盼 《计算机应用研究》2023,40(8)

一种基于张量理论的云制造资源服务化封装与发布策略

  

针对云计算环境下智能制造集中资源分散服务过程中存在的数据异构与资源统一描述问题,在分析现有云制造资源服务化封装与发布技术的基础上,利用张量理论在描述异构数据上的技术特点,提出了一种基于张量理论的云资源服务化封装与发布策略。首先将云制造资源进行分类,并就不同资源给出封装方法;其次基… …   相似文献

李州健  郭银章 《计算机应用研究》2023,40(8)

基于属性访问策略的批量零知识身份认证方案

  

隐私保护技术主要有属性基加密、同态加密、多方安全计算等,针对属性基加密的访问控制中双线性映射耗时问题、同态加密难以非公开地验证明文计算的结果问题以及多方安全计算需要可信第三方等问题,提出了一种基于属性访问策略的批量零知识身份认证方案。该方案是基于Aurora 协议提出的,具有良好… …   相似文献

周雨卫  薛庆水  孙晨曦  马海峰  鞠兴忠  崔墨香 《计算机应用研究》2023,40(8)

联合图的全局和局部互信息的重叠社团检测算法

  

图神经网络在学习节点表示中展现了其突出的能力,然而在社团检测方面,大多数图神经网络模型仍然使用K-means来定位社团中心,为了克服K-means不适用于高维空间下聚类的缺点,提出了联合图的全局和局部互信息的重叠社团检测算法（overlapping community detec… …   相似文献

陈燕兵  张应龙 《计算机应用研究》2023,40(8)

基于文本序列错误概率和中文拼写错误概率融合的汉语纠错算法

  

中文拼写纠错是一项检测和纠正文本中拼写错误的任务。大多数中文拼写错误是在语义、读音或字形上相似的字符被误用,因此常见的做法是对不同模态提取特征进行建模。但将不同特征直接融合或是利用固定权重进行求和,使得不同模态信息之间的重要性关系被忽略以及模型在识别错误时会出现偏差,阻止了模型以… …   相似文献

孙哲 《计算机应用研究》2023,40(8)

基于值函数估计的参数探索策略梯度算法

  

策略梯度估计方差大是策略梯度算法存在的普遍问题,基于参数探索的策略梯度算法（PGPE）通过使用确定性策略有效缓解了这一问题。然而,PGPE算法基于蒙特卡罗方法进行策略梯度的估计,需要大量学习样本才能保证梯度估计相对稳定,因此,梯度估计方差大阻碍了其在现实问题中的实际应用。为进一步… …   相似文献

赵婷婷  杨梦楠  陈亚瑞  王嫄  杨巨成 《计算机应用研究》2023,40(8)

基于传播树的微博推荐模型

  

针对目前微博推荐模型未考虑传播特征的问题,提出一种基于传播树的微博推荐模型。首先利用树结构对微博传播特征进行表示,由内容、时间和用户三方面特征构成树的节点,以微博的转发和评论关系作为树的边;然后基于节点间关联关系和层次关系分别计算待评估微博传播树与目标用户每棵微博传播树的传播路径… …   相似文献

徐建民  张钊源 《计算机应用研究》2023,40(8)

基于模运算的新颖离散差分演化算法求解多背包问题

  

多背包问题（MKP）是一个求解难度极大的背包问题。为了基于差分演化（DE）求解MKP,首先建立了MKP的整数规划模型,在利用模运算构造简单且有效的新型传递函数基础上,提出了一个新颖离散差分演化算法MODDE;基于贪心策略提出了消除MKP不可行解的一个有效算法GROA,由此利用MO… …   相似文献

王丽娜  张寒崧  孙菲  高泽贤  贺毅朝 《计算机应用研究》2023,40(8)

一种影像增强注射方案智能推荐及其控制系统的研究与开发

  

为了解决现有影像增强检查过程中存在的造影剂注射方案不优化、注射器控制不智能,各操作环节不连通的问题,本文提出了一种基于JAVA开发一体化的注射方案智能推荐与控制系统。通过智能化注射方案推荐,建立智能化的注射方案推荐模型,实现自动推荐最合适注射方案,提高注射效果和安全性;通过结合注… …   相似文献

田宸宇  张涛  李真林  于泽源 《计算机应用研究》2023,40(8)

融合改进ASPP和极化自注意力的自底向上全景分割

下载全文  

目的 针对ASPP（atrous spatial pyramid pooling）在空洞率变大时空洞（atrous）卷积效果会变差的情况,以及图像分类经典模型ResNet （residual neural network）并不能有效地适用于细粒度图像分割任务的问题,提出一种基于改进ASPP和极化自注意力的自底向上全景分割方法。方法 重新设计ASPP模块,将小空洞率卷积的输出与原始输入进行拼接（concat）,将得到的结果作为新的输入传递给大空洞率卷积,然后将不同空洞率卷积的输出结果拼接,并将得到的结果与ASPP中的其他模块进行最后拼接,从而改善ASPP中因空洞率变大导致的空洞卷积效果变差的问题,达到既获得足够感受野的同时又能编码多尺度信息的目的;在主干网络的输出后引入改进的极化自注意力模块,实现对图像像素级的自我注意强化,使其得到的特征能直接适用于细粒度像素分割任务。结果 本文在Cityscapes数据集的验证集上进行测试,与复现的基线网络Panoptic-DeepLab（58.26%）相比,改进ASPP模块后分割精度PQ（panoptic quality）（58.61%）提高了0.35%,运行时间从103 ms增加到124 ms,运行速度没有明显变化;通过进一步引入极化自注意力,PQ指标（58.86%）提高了0.25%,运行时间增加到187 ms;通过对该注意力模块进一步改进,PQ指标（59.36%）在58.86%基础上又提高了0.50%,运行时间增加到192 ms,速度略有下降,但实时性仍好于大多数方法。结论 本文采用改进ASPP和极化自注意力模块,能够更有效地提取适合细粒度像素分割的特征,且在保证足够感受野的同时能编码多尺度信息,从而提升全景分割性能。… …   相似文献

李新叶  陈丁 《中国图象图形学报》2023,28(8):2410-2419

基于端到端的多任务商标分卡模型

下载全文  

目前商标分卡处理方法是先进行文本检测再进行区域分类, 最后对不同的区域进行拆分组合形成商标分卡. 这种分步式的处理耗时长, 并且因为误差的叠加会导致最终结果准确率下降. 针对这一问题, 本文提出了多任务的网络模型TextCls, 通过设计多任务学习模型来提升商标分卡的检测和分类模块的推理速度和精确率. 该模型包含一个特征提取网络, 以及文本检测和区域分类两个任务分支. 其中, 文本检测分支采用分割网络学习像素分类图, 然后使用像素聚合获得文本框, 像素分类图主要是学习文本像素和背景像素的信息; 区域分类分支对区域特征细分为中文、英文和图形, 着重学习不同类型区域的特征. 两个分支通过共享特征提取网络, 像素信息和区域特征相互促进学习, 最终两个任务的精确率得以提升. 为了弥补商标图像的文本检测数据集的缺失以及验证TextCls的有效性, 本文还收集并标注了一个由2000张商标图像构成的文本检测数据集trademark_text (https://github.com/kongbailongtian/trademark_text), 结果表明: 与最佳的文本检测算法相比, 本文的文本检测分支将精确率由94.44%提升至95.16%, 调和平均值F1 score达92.12%; 区域分类分支的F1 score也由97.09%提升至98.18%.… …   相似文献

张贞  #;  苏海  余松森 《计算机系统应用》2023,32(8):105-115

改进YOLOv5的瓷砖表面缺陷检测

下载全文  

现有瓷砖表面缺陷检测存在识别微小目标缺陷能力不足、检测速度有待提升的问题, 为此本文提出了基于改进YOLOv5的瓷砖表面缺陷检测方法. 首先, 由于瓷砖表面缺陷尺寸偏小的特性, 对比分析YOLOv5s的3个目标检测头分支的检测能力, 发现删除大目标检测头, 只保留中目标检测头和小… …   相似文献

余松森  张明威  杨欢 《计算机系统应用》2023,32(8):151-161

以双目图像互为监督的相容解迭代优选算法

下载全文  

在计算机视觉领域的双目立体匹配方向, 基于神经网络的深度学习算法需要场景数据集进行训练, 泛化能力差. 针对这两个问题, 根据神经网络能够模拟函数的特点, 提出一种无需在数据集上训练, 以双目图像互为监督的深度场景相容解迭代优选算法. 该算法使用场景位置猜测网络模拟关于当前双目图… …   相似文献

翟记锋 《计算机系统应用》2023,32(8):19-30

基于Kubernetes的AI调度引擎平台

下载全文  

文中介绍了基于Kubernetes的AI调度引擎平台的设计与实现, 针对当前人工智能调度系统中存在的服务配置复杂, 集群中各节点计算资源利用率不均衡以及系统运维成本高等问题, 本文提出了基于Kubernetes实现容器调度和服务管理的解决方案. 结合AI调度引擎平台的需求, 从功… …   相似文献

刘祥  胡瑞敏  王海滨 《计算机系统应用》2023,32(8):86-94

基于YOLOv5的交通标志识别

下载全文  

交通标志识别是自动驾驶技术中的关键一部分.针对交通标志在道路场景中目标较小且识别精度较低的问题,提出一种改进的YOLOv5算法.首先在YOLOv5模型中引入全局注意力机制(GAM),提高网络捕获不同尺度交通标志特征的能力;其次将YOLOv5算法中使用的GIoU损失函数更换为更具回… …   相似文献

郑红彬  宋晓茹  刘康 《计算机系统应用》2023,32(8):230-237

基于模函数与像素值差值的高质量双图像可逆信息隐藏

下载全文  

为解决在一些一对二的交流场景中使用信息隐藏技术来传递信息时对载密图像的视觉质量和载体图像的精确度的高要求问题. 在本文中提出了一种基于模函数和像素值差值(pixel value difference , PVD)的双图像可逆信息隐藏方案, 通过模函数和对数函数确定了PVD范围表, 从而确定在单位面积上的信息嵌入位数以及模函数的系数. 所提出的方案可以在信息嵌入位数不断增加的情况下仍然保持像素值的修改量与信息嵌入位数之比不大于0.5, 所以与目前一些基于PVD的方案相比在像素对差值越大的图像中越占有优势. 实验结果表明与现有的一些在载密图像质量方面优质的方案相比, 具有更高的PSNR和SSIM, 此外本方案在抗RS隐写分析和PDH隐写分析的静态攻击方面上具有良好的性能, 并且避免了大多数在基于像素值差值的信息隐藏方案中对溢出问题的解决方案复杂繁琐的情况.… …   相似文献

李越  唐聃  许源平  孙敏钧  蔡红亮  曾琼 《计算机系统应用》2023,32(8):259-268

基于FMCW雷达的多人心率呼吸检测

下载全文  

针对目前毫米波雷达应用于多人生命体征检测效果不佳, 检测范围小等缺点, 提出了一种多人心率呼吸提取分离方法, 首先采用Capon波束成形技术对非目标区域信号形成零陷, 对目标区域进行提取相位、相位解缠绕操作; 其次利用自适应谐波跟踪算法滤除噪声; 最后使用粒子群算法和样本熵改进的… …   相似文献

李牧  杨恒  张一朗 《计算机系统应用》2023,32(8):198-206

基于Spark和三路交互信息的并行深度森林算法

  

针对并行深度森林在处理大数据时存在冗余及无关特征过多、类向量过长、模型收敛速度慢以及并行化训练效率低等问题,提出了基于Spark和三路交互信息的并行深度森林（PDF-STWII）算法。首先,提出基于特征交互的特征选择（FSFI）策略过滤原始特征,剔除无关及冗余特征;其次,提出多粒… …   相似文献

毛伊敏  周展  陈志刚 《通信学报》2023,44(8):228-240

Massive MIMO中通信高效的分布式预编码设计

  

针对多BBU基带处理架构,提出一种通信高效的分布式预编码方案,旨在降低BBU间前传交互和计算复杂度。首先,提出基于R-WMMSE算法的分布式框架,利用最优解的子空间特性无损压缩交互数据,降低数据交互量。然后设计了2种基于矩阵乘法的可学习压缩模块,通过优化的计算结构和矩阵参数减少参… …   相似文献

李勉  李洋  张纵辉  史清江 《通信学报》2023,44(8):37-48