SMTLOC: 基于多源频谱的SMT求解器缺陷定位

下载全文  

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定位方面的研究,但尚未有系统的工作研究如何自动定位SM… …   相似文献

王笑爽  周志德  李晓晨  江贺  任志磊 《软件学报》2024,35(7):3314-3331

基于深度森林与异质集成的标记分布学习方法

下载全文  

作为一种解决标签模糊性问题的新学习范式, 标记分布学习(LDL)近年来受到了广泛的关注. 为了进一步提升标记分布学习的预测性能, 提出一种联合深度森林与异质集成的标记分布学习方法(LDLDF). 所提方法采用深度森林的级联结构模拟具有多层处理结构的深度学习模型, 在级联层中组合多… …   相似文献

王艺霏  祝继华  刘新媛  周熠炀 《软件学报》2024,35(7):3410-3427

基于掩码语言模型的中文BERT攻击方法

下载全文  

对抗文本是一种能够使深度学习分类器作出错误判断的恶意样本,敌手通过向原始文本中加入人类难以察觉的微小扰动制作出能欺骗目标模型的对抗文本.研究对抗文本生成方法,能对深度神经网络的鲁棒性进行评价,并助力于模型后续的鲁棒性提升工作.当前针对中文文本设计的对抗文本生成方法中,很少有方法将… …   相似文献

张云婷  叶麟  唐浩林  张宏莉  李尚 《软件学报》2024,35(7):3392-3409

面向合同信息抽取的动态多任务学习方法

下载全文  

对于合同文本中要素和条款两类信息的准确提取,可以有效提升合同的审查效率,为贸易各方提供便利化服务.然而当前的合同信息抽取方法一般训练单任务模型对要素和条款分别进行抽取,并没有深挖合同文本的特征,忽略了不同任务间的关联性.因此,采用深度神经网络结构对要素抽取和条款抽取两个任务间的相… …   相似文献

王浩畅  郑冠彧  赵铁军 《软件学报》2024,35(7):3377-3391

面向复杂软件的缺陷检测与修复技术专题前言

下载全文  

<正>在软件定义一切的信息时代,软件已经成为人们生产和生活的基石.由于软件系统规模不断扩大,应用环境越来越复杂,程序员在开发过程中难以避免引入软件缺陷.软件缺陷可能会引发不可预期的后果,甚至危及人们的生命财产安全.因此,及时且准确地检测并修复缺陷对于保障生产生活的正常运行具有重要意义.然而,在实践中软件缺陷的检测和修复面临着诸多挑战.例如,在庞大复杂的信息系统中,缺陷往往难以被准确检测,缺陷修复的速度难以跟上缺陷增长的速度,一旦发现缺陷也难以产生正确的修复.专题重点围绕软件缺陷检测与修复核心技术,探讨在复杂软件场景下的缺陷定位、预测、调试、修复和数据集构造等方面的相关研究内容.… …   相似文献

张路  刘辉  姜佳君  王博 《软件学报》2024,35(7):3069-3070

一种聚类分析驱动种子调度的模糊测试方法

下载全文  

作为当前被广泛应用的自动化软件测试技术,模糊测试的首要目标是尽可能多地探索被测程序的代码区域以达到更高的覆盖率,从而检测出更多的漏洞或者错误.现有的模糊测试方法大多是根据种子的历史突变数据来调度种子,实现起来比较简单,但忽略了种子所探索程序空间的分布情况,导致测试工作可能会陷入只… …   相似文献

张文  陈锦富  蔡赛华  张翅  刘一松 《软件学报》2024,35(7):3141-3161

基于改进U-Net的多流视网膜血管分割算法

下载全文  

针对传统U型网络特征冗余以及视网膜血管形态复杂、细血管分割困难等问题,提出一种基于改进U-Net的多流视网膜血管分割算法.算法包含两种特征流向,分别是全局分割流与边缘特化流.为了减少特征冗余,全局分割流在部分卷积的基础上采用快速提取模块替代传统的U-Net卷积块,构建了能够高效提… …   相似文献

陆锡恒  宣士斌 《计算机系统应用》2024,33(7):129-138

基于学习博弈和契约论的分层联邦学习隐私保护激励机制

下载全文  

分层联邦学习(hierarchical federated learning, HFL)旨在通过多层架构的协作学习,同时保护隐私和优化模型性能.但其效果需依赖于针对参与各方的有效激励机制及应对信息不对称的策略.为了解决上述问题,本文提出一种保护终端设备、边缘服务器及云服务器隐私的… …   相似文献

宋彪  薛涛  刘俊华 《计算机系统应用》2024,33(7):26-38

基于神经元统计建模分析的模型不确定性度量

下载全文  

神经网络的不确定性反映模型对自身预测结果的置信水平,能在决策不可靠时促使及时的人工干预,提升系统安全性.然而,现有度量方法常需要对模型或训练过程进行显著修改且实施复杂度高.为此,本文提出一种基于神经元统计建模分析的不确定性度量方法.该方法充分利用模型单次前向传播过程中的激活值,首… …   相似文献

雷雅婧 《计算机系统应用》2024,33(7):14-25

多样性引导的深度多视图聚类算法

下载全文  

多视图聚类旨在从不同视图的多样性信息中,学习到更加全面和准确的共识表示,以提高模型的聚类性能.目前大部分多视图聚类算法采用希尔伯特-施密特独立性准则(HSIC)或自适应加权方法从全局考虑各视图的多样性,忽略了各视图样本之间的局部多样性信息学习.针对上述问题,提出了多样性引导的深度… …   相似文献

胡虹  李学俊  廖竞 《计算机系统应用》2024,33(7):161-169

基于深度强化学习的能源高效VNF放置和链接方法

下载全文  

网络功能虚拟化(NFV)技术的出现使得网络功能由虚拟网络功能(VNF)提供,从而提高网络的灵活性,可扩展性和成本效益.然而, NFV面临一个重要挑战是,如何有效地将VNF放置不同的网络位置并链接起来引导流量,同时最大限度减少能源消耗.此外,面对网络服务质量要求,提高服务接受率对于… …   相似文献

赵耀鹏  徐九韵  脱颖超 《计算机系统应用》2024,33(7):230-238

基于CFL的去中心工控系统签名认证方案

下载全文  

近来,工业控制系统的身份认证和数字签名等安全问题受到越来越多的关注.本文将去中心化的CFL认证体制引入到工控系统身份认证中,提出了基于CFL的工控系统签名认证方案,建立了基于CFL认证体制的工控系统认证模型CFL-SYS,引入UKey作为证书载体,实现了签名验证过程去中心化;通过… …   相似文献

谢云飞  赵东东  石乐义 《计算机系统应用》2024,33(7):84-93

融合CNN和Transformer的图像去噪网络

下载全文  

目前基于深度学习的图像去噪算法无法综合考虑局部和全局的特征信息,进而影响细节处的图像去噪效果,针对该问题,提出了融合CNN和Transformer的图像去噪网络(hybrid CNN and Transformer image denoising network, HCT-Net… …   相似文献

姜文涛  卜艺凡 《计算机系统应用》2024,33(7):39-51

基于对比学习和焦点损失的持续关系抽取

下载全文  

持续关系抽取旨在训练模型从不断变化的数据流中学习新关系,同时保持对旧关系的准确分类.然而,由于神经网络的灾难性遗忘问题,模型在学习完新关系之后,对旧关系的识别能力往往会大幅度降低.为了缓解灾难性遗忘对模型性能的影响,本文提出了一种基于对比学习和焦点损失的持续关系抽取方法.首先,在… …   相似文献

王苏越  马丽丽  陈金广 《计算机系统应用》2024,33(7):180-187

基于两级对准模型的运载火箭自动转载

下载全文  

固体运载火箭作为我国航天运输系统的重要组成部分,具有整箭贮存运输、快速发射响应等特点,在军民商发射领域受到广泛青睐.针对车载起重设备在自动化转载运载火箭中面临的执行机构变形所导致的对准误差问题,本文提出了基于两级对准模型的运载火箭自动转载方法,以解决常规转载方法无法应对的机构变形… …   相似文献

孙长军  闫欣鹏  王帅旗  王磊 《计算机系统应用》2024,33(7):248-255

程序算法识别研究综述

  

了解程序代码所描述的算法,能帮助程序员理解程序从而开展各项软件工程任务。由于人工理解程序算法要求程序员具备丰富的专业知识并且十分耗时耗力,程序算法识别任务以实现程序算法理解的自动化为主要研究目标,与人工理解相比更为高效、准确。系统整理了程序算法识别领域的相关工作。首先,梳理程序算… …   相似文献

张雅雯  张丽萍  闫盛  魏敏 《计算机应用研究》2024,41(7)

一种在线更新的单目视觉里程计

  

现有的基于深度学习的视觉里程计（visual odometry,VO）训练样本与应用场景存在差异时,普遍存在难以适应新环境的问题,因此提出了一种在线更新单目视觉里程计算法OUMVO。其特点在于应用阶段利用实时采集到的图像序列在线优化位姿估计网络模型,提高网络的泛化能力和对新环境的… …   相似文献

王铭敏  佃松宜  钟羽中 《计算机应用研究》2024,41(7)

深度掩膜布朗距离协方差小样本分类方法

  

针对小样本学习中,布朗距离协方差通过改善特征嵌入提升分类精度,但未聚焦分类中样本相关性特征的问题,提出了深度掩膜布朗距离协方差方法。该方法通过每对查询集与支持集之间的高维语意关系,生成查询引导掩膜,并将掩膜后的布朗距离协方差矩阵用作图像特征表示。分别在5way-1shot和5wa… …   相似文献

苟光磊  朱东华  李小菲  韩岩奇 《计算机应用研究》2024,41(7)

增强型野马优化算法及其工程应用

  

针对野马优化算法易陷入局部最优、收敛速度慢等缺点,提出增强型野马优化算法。首先,在种群初始化阶段,采用Sinusoidal映射,增加种群的多样性;其次,在阶段更新过程中,设计出非线性收敛性更强的自适应权重,调节全局搜索和局部优化能力;然后,在更新领导者位置阶段加入扰动因子,平衡局… …   相似文献

马志海  刘升 《计算机应用研究》2024,41(7)

基于知识表示学习的KBQA答案推理重排序算法

  

现有的知识库问答（KBQA）研究通常依赖于完善的知识库,忽视了实际应用中知识图谱稀疏性这一关键问题。为了弥补该不足,引入了知识表示学习方法,将知识库转换为低维向量,有效摆脱了传统模型中对子图搜索空间的依赖,并实现了对隐式关系的推理,这是以往研究所未涉及到的。其次,针对传统KBQA… …   相似文献

晋艳峰  黄海来  林沿铮  王攸妙 《计算机应用研究》2024,41(7)