检索结果-内蒙古大学图书馆

软件学报 2024年第5期35卷 2289-2306页

作者：张卓雷晏毛晓光薛建新常曦广州商学院信息技术与工程学院广东广州510700 重庆大学大数据与软件学院重庆401331 国防科技大学计算机学院湖南长沙410073 上海第二工业大学计算机与信息工程学院上海200127

缺陷定位获取并分析测试用例集的运行信息,从而度量出各个语句为缺陷的可疑性.测试用例集由输入域数据构建,包含成功测试用例和失败测试用例两种类型.由于失败测试用例在输入域分布不规律且比例很低,失败测试用例数量往往远少于成功测... 详细信息

缺陷定位获取并分析测试用例集的运行信息,从而度量出各个语句为缺陷的可疑性.测试用例集由输入域数据构建,包含成功测试用例和失败测试用例两种类型.由于失败测试用例在输入域分布不规律且比例很低,失败测试用例数量往往远少于成功测试用例数量.已有研究表明,少量失败测试用例会导致测试用例集出现类别不平衡问题,严重影响着缺陷定位有效性.为了解决这个问题,提出基于对抗生成网络的缺陷定位模型域数据增强方法.该方法基于模型域(即缺陷定位频谱信息)而非传统输入域(即程序输入),利用对抗生成网络合成覆盖最小可疑集合的模型域失败测试用例,从模型域上解决类别不平衡的问题.实验结果表明,所提方法大幅提升了11种典型缺陷定位方法的效能.

关键词：缺陷定位测试用例对抗生成网络数据增强可疑值

来源：评论

学校读者我要写书评

暂无评论

基于数据流传播路径学习的智能合约时间戳漏洞检测

引用

软件学报 2024年第5期35卷 2325-2339页

作者：张卓刘业鹏薛建新鄢萌陈嘉弛毛晓光广州商学院信息技术与工程学院广东广州510700 国防科技大学计算机学院湖南长沙410073 上海第二工业大学计算机与信息工程学院上海200127 重庆大学大数据与软件学院重庆401331 中山大学软件工程学院广东珠海519082

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oye... 详细信息

智能合约是一种被大量部署在区块链上的去中心化的应用.由于其具有经济属性,智能合约漏洞会造成潜在的巨大经济和财产损失,并破坏以太坊的稳定生态.因此,智能合约的漏洞检测具有十分重要的意义.当前主流的智能合约漏洞检测方法(诸如Oyente和Securify)采用基于人工设计的启发式算法,在不同应用场景下的复用性较弱且耗时高,准确率也不高.为了提升漏洞检测效果,针对智能合约的时间戳漏洞,提出基于数据流传播路径学习的智能合约漏洞检测方法Scruple.所提方法首先获取时间戳漏洞的潜在的数据传播路径,然后对其进行裁剪并利用融入图结构的预训练模型对传播路径进行学习,最后对智能合约是否具有时间戳漏洞进行检测.相比而言,Scruple具有更强的漏洞捕捉能力和泛化能力,传播路径学习的针对性强,避免了对程序整体依赖图学习时造成的层次太深而无法聚焦漏洞的问题.为了验证Scruple的有效性,在真实智能合约的数据集上,开展Scruple方法与13种主流智能合约漏洞检测方法的对比实验.实验结果表明,Scruple在检测时间戳漏洞上的准确率,召回率和F1值分别可以达到0.96,0.90和0.93,与13种当前主流方法相比,平均相对提升59%,46%和57%,从而大幅提升时间戳漏洞的检测能力.

关键词：智能合约时间戳漏洞漏洞检测数据流传播路径预训练

来源：评论

学校读者我要写书评

暂无评论

基于迭代配准和感知损失的肺部伪CT合成深度学习算法

引用

中国医学物理学杂志 2025年第1期42卷 59-66页

作者：杨涛黄淼刘琮胡志华陶莉莉张淑平上海第二工业大学智能制造与控制工程学院上海201209 上海第二工业大学计算机与信息工程学院上海201209 上海商学院物联网工程系上海201400

目的:使用深度学习算法通过学习肺部CT域图像特征,将锥形束CT(CBCT)合成高质量伪CT(sCT)图像。方法:本研究提出一种基于感知损失的循环生成式对抗网络模型(CycleGAN)和迭代配准的sCT生成算法,首先,结合感知损失和循环一致性损失来训练Cy... 详细信息

目的:使用深度学习算法通过学习肺部CT域图像特征,将锥形束CT(CBCT)合成高质量伪CT(sCT)图像。方法:本研究提出一种基于感知损失的循环生成式对抗网络模型(CycleGAN)和迭代配准的sCT生成算法,首先,结合感知损失和循环一致性损失来训练CycleGAN模型生成高质量的sCT图像,然后,利用Elastix配准工具对所生成的sCT图像和计划CT(pCT)图像进行配准,并用来迭代CycleGAN生成器模型。结果:在获取到的70例肺部肿瘤患者的pCT与CBCT数据上进行实验,从定量指标上看,利用本算法生成的sCT与pCT对比的结构相似度指标比CBCT与pCT对比的提升了11.9%,由0.825上升到0.923,均方绝对误差由110.97 HU降至78.62 HU,峰值信噪比由32.21 dB上升到34.74 dB,互信息由1.187上升到1.418。可视化评估中可见该算法大幅度消除了CBCT切片的散射伪影,突显骨质结构同时也修复了软组织结构。通过与当下流行的U-CycleGAN,R-CycleGAN和CUT模型对比,说明了本算法的有效性。结论:本文算法生成sCT图像能够有效减小CBCT与pCT间的剂量误差与结构误差,使其应用于精准的剂量计算,辅助医生的临床放疗诊断成为可能。

关键词：锥形束CT CycleGAN 感知损失 Elastix 图像合成

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的X线造影中肾上腺血管关键帧识别算法

引用

中国医疗器械杂志 2024年第2期48卷 138-143页

作者：陶慧敏黄淼刘琮刘永田胡志华陶莉莉张淑平上海第二工业大学智能制造与控制工程学院上海市201209 上海第二工业大学计算机与信息工程学院上海市201209 上海商学院物联网工程系上海市201400 山东第一医科大学附属青州医院泌尿科青州市262500

原发性醛固酮增多症的分型诊断需进行肾上腺静脉取样,肾上腺静脉出现的帧称为关键帧。目前,关键帧的选取依赖于医生肉眼判断,耗时费力。该研究提出基于深度学习的关键帧识别算法。首先,采用小波去噪和多尺度血管增强滤波的方法,保留肾... 详细信息

原发性醛固酮增多症的分型诊断需进行肾上腺静脉取样,肾上腺静脉出现的帧称为关键帧。目前,关键帧的选取依赖于医生肉眼判断,耗时费力。该研究提出基于深度学习的关键帧识别算法。首先,采用小波去噪和多尺度血管增强滤波的方法,保留肾上腺静脉的形态特征。接着,结合自注意机制,得到改进的识别模型ResNet50-SA。与常用的迁移学习相比,新模型在准确率、精确度查准率、召回率、F1和AUC上都达到97.11%,优于其他模型,可帮临床医生快速识别肾上腺静脉中的关键帧。

关键词：迁移学习自注意机制小波变换关键帧识别肾上腺血管造影

来源：评论

学校读者我要写书评

暂无评论

基于机器视觉技术的农田杂草识别研究进展

引用

上海农业科技 2025年第3期 182-184页

作者：胡冬吴敏琪施莲莉王薇李振华袁涛上海市农业科学院农业科技信息研究所上海第二工业大学计算机与信息工程学院上海宏途卫星应用技术开发有限公司上海海洋大学信息学院

农田杂草是影响作物生长和制约农产品优质高产的重要因素之一，准确识别农田杂草是有效防除杂草的关键。随着计算机技术的迅速发展，机器视觉技术正逐步被应用于农田杂草识别领域，该应用显著提升了除草效率。为进一步推动机器视觉技术... 详细信息

农田杂草是影响作物生长和制约农产品优质高产的重要因素之一，准确识别农田杂草是有效防除杂草的关键。随着计算机技术的迅速发展，机器视觉技术正逐步被应用于农田杂草识别领域，该应用显著提升了除草效率。为进一步推动机器视觉技术在农田杂草识别领域的应用，现对图像识别技术和图像处理技术在农田杂草识别领域的应用现状进行总结，并针对机器视觉技术在杂草识别领域应用中存在的主要问题进行分析，在此基础上，在提高硬件运行效率、开发通用应用软件、优化人工智能算法等方面，提出了相关对策与建议。

关键词：杂草识别机器视觉技术图像处理图像识别人工智能算法

来源：评论

学校读者我要写书评

暂无评论

基于词频-逆文件频率的错误定位方法

引用

软件学报 2020年第11期31卷 3448-3460页

作者：张卓雷晏毛晓光常曦薛建新熊庆宇国防科技大学计算机学院湖南长沙410073 重庆大学大数据与软件学院重庆400044 上海第二工业大学计算机与信息工程学院上海200127

错误定位方法大多通过分析语句覆盖信息来标识出导致程序失效的可疑语句.其中,语句覆盖信息通常以语句执行或语句未执行的二进制状态信息来表示.然而,该二进制状态信息仅表明该语句是否被执行的信息,无法体现该语句在具体执行中的重要程... 详细信息

错误定位方法大多通过分析语句覆盖信息来标识出导致程序失效的可疑语句.其中,语句覆盖信息通常以语句执行或语句未执行的二进制状态信息来表示.然而,该二进制状态信息仅表明该语句是否被执行的信息,无法体现该语句在具体执行中的重要程度,可能会降低错误定位的有效性.为了解决这个问题,提出了基于词频-逆文件频率的错误定位方法.该方法采用词频-逆文件频率技术识别出单个测试用例中语句的影响程度高低,从而构建出具有语句重要程度识别度的信息模型,并基于该模型来计算语句的可疑值.实验结果表明,该方法大幅提升了错误定位的效能.

关键词：错误定位词频逆文件频率可疑值

来源：评论

学校读者我要写书评

暂无评论

基于5G与边缘计算的发热病人智能排查系统

引用

电子技术与软件工程 2021年第15期 150-153页

作者：姚驰甫沈富可何印蕾上海第二工业大学计算机与信息学院上海市201209 华东师范大学信息化办公室上海市200062 上海宜驰网络科技有限公司上海市201318

本文在讨论5G网络新特性和边缘计算优势的基础上,分析了人流密集场所出入口进行人工检测疑似急性传染病发热病人和来自主要疫区人员的难度;设计的系统通过智能机器人的红外体温检测,进行发热人员报警;通过虹膜识别或刷身份证,读到的信... 详细信息

本文在讨论5G网络新特性和边缘计算优势的基础上,分析了人流密集场所出入口进行人工检测疑似急性传染病发热病人和来自主要疫区人员的难度;设计的系统通过智能机器人的红外体温检测,进行发热人员报警;通过虹膜识别或刷身份证,读到的信息通过5G网络快速传递到边缘计算服务器识别是否来自重点疫区,能快速决定是否对过往人员进行隔离或疑似观察处理;该系统能较大提高检测速度、减少安检人力,可实现从发现到决定截流的全过程智能化,大大减少安检人员感染的概率。

关键词： 5G 虹膜识别边缘计算智能排查智能机器人

来源：评论

学校读者我要写书评

暂无评论

增强上下文的错误定位技术

引用

软件学报 2019年第2期30卷 266-281页

作者：张卓谭庆平毛晓光雷晏常曦薛建新国防科技大学计算机学院湖南长沙410072 重庆大学大数据与软件学院重庆400044 信息物理社会可信服务计算教育部重点实验室(重庆大学) 重庆400044 上海第二工业大学计算机与信息工程学院上海200127

错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式... 详细信息

错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句之间传播依赖关系;然后,基于可疑值度量来区分上下文片段中不同语句的可疑度;最后,Context-FL以标记可疑值的上下文作为定位结果.实验结果表明,Context-FL优于8种典型错误定位方法.

关键词：错误定位上下文动态切片 SFL 可疑值

来源：评论

学校读者我要写书评

暂无评论

面向收敛的并发程序执行轨迹静态简化方法

引用

软件学报 2017年第5期28卷 1107-1117页

作者：常曦薛建新张卓毛晓光上海第二工业大学软件工程系上海201209 国防科学技术大学计算机学院湖南长沙410073

轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此... 详细信息

轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错.

关键词：并发程序执行轨迹轨迹等价轨迹简化调试

来源：评论

学校读者我要写书评

暂无评论

系统与软件工程　性能测试方法

系统与软件工程　性能测试方法

引用

作者：龚家瑜李文鹏蔡立志张旸旸简炜卢俊文孙凤丽康京山郭澍王凤玲张峻李军高猛王建强郝璟璐陆澄澹胡芸杨隽赵毅易晶晶孙肖于泉王威沈颖杨玲萍滕俊元许颖媚白万芳谢晓园吴克寿巩韶飞贾素田李丽萍孟宪伟上海计算机软件技术开发中心深圳赛西信息技术有限公司国家应用软件产品质量监督检验中心中国电子技术标准化研究院中国电子科技集团公司第十研究所厦门理工学院中国电子科技集团公司第五十四研究所内蒙古自治区电子信息产品质量检验院山东道普测评技术有限公司北京轩宇信息技术有限公司中国航天系统科学与工程研究院中电莱斯信息系统有限公司广东省科技基础条件平台中心北京京航计算通讯研究所浙江省电子信息产品检验所西宁市大数据服务管理局上海第二工业大学武汉大学

标准类型：国家标准

本标准规定了系统与软件性能测试的测试过程、测试需求模型和测试类型。本标准适用于系统与软件性能测试的分析、设计和执行。

标准号: GB/T 39788-2021

本标准规定了系统与软件性能测试的测试过程、测试需求模型和测试类型。本标准适用于系统与软件性能测试的分析、设计和执行。

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：