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

计算机学报 2023年第7期46卷 1409-1426页

作者：孙昌爱曾国峰张守峰唐锦李宁张世永陈艳北京科技大学计算机与通信工程学院北京100083 华北计算技术研究所北京100083

变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于变异体数量多与变异执行时间长导致了高昂的计算开销,限制了其在测试实践中的应用.已有研究... 详细信息

变异测试是一种基于故障的软件测试技术,广泛用来评估测试用例集的充分性与软件测试技术的有效性.尽管变异测试具有较强的故障检测能力,但由于变异体数量多与变异执行时间长导致了高昂的计算开销,限制了其在测试实践中的应用.已有研究从两个维度研究如何降低变异测试的计算开销:(1)变异体精简.通过不同策略减少变异体的数量,往往减弱变异测试的故障检测能力;(2)变异执行加速.通过优化变异测试的执行过程,缩短变异执行的时间.通过分析变异测试过程的特点,不难发现多个变异体之间存在大量重复执行的代码.本文从缩短变异测试执行时间的角度出发,提出了并发弱变异测试,通过并发控制和程序合成相结合的手段优化变异体的执行过程,减少变异体的执行开销.具体说来,并发弱变异测试融合了并发与弱变异两种变异执行的加速机制:并发机制通过共享某个程序块的不同变异体在变异位置之前的程序状态来缩短变异位置前的执行时间;弱变异机制通过比较源程序与变异体在变异位置之后的程序状态确定测试是否通过来缩短变异位置后的执行时间.采用12个C程序以经验研究的方式评估了所提方法的有效性和优化效率,分析了影响优化效率的因素,并比较了所提方法与传统变异测试、弱变异测试、并发变异测试等3种基线技术的性能.实验结果表明,本文提出的并发弱变异测试技术显著提升了变异测试的效率,即减少90%以上的编译时间和70%以上的执行时间.

关键词：软件测试变异测试弱变异测试变异优化

来源：评论

学校读者我要写书评

暂无评论

基于融合距离的极化SAR图像非局部均值滤波

引用

系统工程与电子技术 2024年第5期46卷 1493-1502页

作者：曾顶殷君君杨健北京科技大学计算机与通信工程学院北京100083 清华大学电子工程系北京100084

在极化合成孔径雷达(synthetic aperture radar,SAR)图像降噪领域,常见的非局部均值滤波仅依靠像素间的统计距离进行相似性度量,忽略了像素点的空间信息。本文结合极化SAR数据统计特性和图像空间特征作为像素间的相似性度量,提出了一种... 详细信息

在极化合成孔径雷达(synthetic aperture radar,SAR)图像降噪领域,常见的非局部均值滤波仅依靠像素间的统计距离进行相似性度量,忽略了像素点的空间信息。本文结合极化SAR数据统计特性和图像空间特征作为像素间的相似性度量,提出了一种利用融合距离来计算相邻窗口权重的方法——基于融合距离的非局部均值滤波器。融合距离的引入使得滤波器能够更全面的评估像素间的相似性,从而得到更合适的像素权重。此外,本方法还引进变异系数对邻域窗口的权重进行评估,通过该参数可以控制滤波的程度。在多幅极化SAR图像上的实验结果表明,所提出的滤波器能够在有效抑制斑点噪声的同时保留较为完整的图像边缘信息和极化散射特性。

关键词：极化合成孔径雷达非局部均值滤波相似性度量变异系数

来源：评论

学校读者我要写书评

暂无评论

基于l1范数主成分分析的极化SAR图像变化检测

引用

系统工程与电子技术 2019年第10期41卷 2214-2220页

作者：黄晨霞殷君君杨健北京科技大学计算机与通信工程学院北京100083 清华大学电子工程系北京100084

为提高极化合成孔径雷达(synthetic aperture radar,SAR)图像变化检测算法的鲁棒性以及检测精度,提出基于范数主成分分析(linorm principal component analysis,l1-PCA)模型的变化检测算法。首先,采用基于Hotelling-Lawley复矩阵迹变化... 详细信息

为提高极化合成孔径雷达(synthetic aperture radar,SAR)图像变化检测算法的鲁棒性以及检测精度,提出基于范数主成分分析(linorm principal component analysis,l1-PCA)模型的变化检测算法。首先,采用基于Hotelling-Lawley复矩阵迹变化检测算子构造差异图;其次,采用l1-PCA模型获取差异图的变化信息,使得每个像素以一个特征向量来表示;最后,使用k-means算法对变化信息进行聚类,得到变化检测结果。该方法是一种非监督变化检测方法,相比于基于2范数的PCA检测方法,l1-PCA在特征提取方面具有更高的鲁棒性,并且可以进一步提高变化检测精度。基于RADARSAT-2卫星获取的3幅图像进行的实验结果表明,相较于其他两种典型算法,所提算法更加稳定,精确度更高。

关键词：极化合成孔径雷达图像变化检测阈值分割 l1-PCA

来源：评论

学校读者我要写书评

暂无评论

基于Riemann核Fisher准则的极化SAR图像人造目标检测

引用

清华大学学报（自然科学版） 2016年第9期56卷 920-924,929页

作者：高伟殷君君杨健清华大学电子工程系北京100084 北京科技大学计算机与通信工程学院北京100083

人造目标检测是极化合成孔径雷达(synthetic aperture radar,SAR)图像自动解译中的重要环节。该文提出了一种基于Riemann核Fisher准则的人造目标检测方法。核函数通过Hermite正定矩阵流形上的Riemann度量来构造。极化协方差矩阵映射到... 详细信息

人造目标检测是极化合成孔径雷达(synthetic aperture radar,SAR)图像自动解译中的重要环节。该文提出了一种基于Riemann核Fisher准则的人造目标检测方法。核函数通过Hermite正定矩阵流形上的Riemann度量来构造。极化协方差矩阵映射到核函数诱导的高维特征空间后用Fisher准则进行判别。该方法考虑到了极化SAR数据特殊的矩阵结构,并且不需要任何统计模型假设,因而特别适于检测极化SAR图像中的人造目标。以舰船目标检测为应用背景验证了该方法的有效性。实验结果表明:该方法优于其他常用的检测器,特别是在低目标杂波比条件下。

关键词：极化SAR 人造目标检测 Riemann流形核Fisher准则

来源：评论

学校读者我要写书评

暂无评论

基于超像素与稀疏重构显著性的极化SAR舰船检测

引用

工程科学学报 2023年第10期45卷 1684-1692页

作者：罗嘉豪殷君君杨健北京科技大学计算机与通信工程学院北京100083 清华大学电子工程系北京100084

极化SAR舰船检测是极化SAR系统的重要应用之一,现有的极化SAR舰船检测方法在具有强背景杂波的条件下容易将强杂波误检为目标,造成虚警;在多尺度舰船检测情况下小尺寸的舰船容易淹没在背景杂波中,造成小尺寸目标的漏检.针对上述问题,本... 详细信息

极化SAR舰船检测是极化SAR系统的重要应用之一,现有的极化SAR舰船检测方法在具有强背景杂波的条件下容易将强杂波误检为目标,造成虚警;在多尺度舰船检测情况下小尺寸的舰船容易淹没在背景杂波中,造成小尺寸目标的漏检.针对上述问题,本文提出一种基于超像素与稀疏重构显著性的极化SAR舰船检测方法.该方法首先用超像素分割方法将大幅的极化SAR场景图像分割,在超像素级别上使用稀疏重构显著性方法保留含有舰船目标的超像素,再在这些保留下来的超像素中逐像素使用稀疏重构显著性检测方法,得到最终的舰船检测结果.本文选取强杂波场景和多尺度舰船检测场景的两个场景的ALOS-2卫星极化SAR数据进行对比实验,实验结果表明,本文方法在强杂波场景下品质因数达到94.87%,在多尺度舰船检测场景下品质因数达到94.05%.

关键词：极化SAR 舰船检测稀疏重构超像素分割显著性检测

来源：评论

学校读者我要写书评

暂无评论

基于邻域一致性的极化SAR图像仿射配准

引用

雷达学报（中英文） 2021年第1期10卷 49-60页

作者：朱庆涛殷君君曾亮杨健清华大学电子工程系北京100084 北京科技大学计算机与通信工程学院北京100083

极化SAR图像的配准是极化SAR图像处理的基础,需要具备较高的精度与速度。基于深度学习的极化SAR图像配准大多数是结合图像块特征的匹配与基于随机抽样一致性的参数迭代估计来实现的。目前尚未实现端到端的基于深度卷积神经网络的一步仿... 详细信息

极化SAR图像的配准是极化SAR图像处理的基础,需要具备较高的精度与速度。基于深度学习的极化SAR图像配准大多数是结合图像块特征的匹配与基于随机抽样一致性的参数迭代估计来实现的。目前尚未实现端到端的基于深度卷积神经网络的一步仿射配准。该文提出了一种基于弱监督学习的端到端极化SAR图像配准框架,无需图像切块处理或迭代参数估计。首先,对输入图像对进行特征提取,得到密集的特征图。在此基础上,针对每个特征点保留k对相关度最高的特征点对。之后,将该4D稀疏特征匹配图输入4D稀疏卷积网络,基于邻域一致性进行特征匹配的过滤。最后,结合输出的匹配点对置信度,利用带权最小二乘法进行仿射参数回归,实现图像对的配准。该文采用RADARSAT-2卫星获取的德国Wallerfing地区农田数据以及PAZ卫星获取的中国舟山港口地区数据作为测试图像对。通过对升降轨、不同成像模式、不同极化方式、不同分辨率的极化SAR图像对的配准测试,并与4种现有方法进行对比,验证了该方法具有较高的配准精度与较快的速度。

关键词：邻域一致性仿射变换极化SAR 图像配准稀疏卷积神经网络

来源：评论

学校读者我要写书评

暂无评论

基于区域划分的自适应可见光定位算法研究

引用

光子学报 2022年第3期51卷 215-227页

作者：冯越冯莉芳金建力黄顺义北京科技大学计算机与通信工程学院北京100083 北京扬华基业科技有限公司北京100038

为了提高传统可见光定位算法的定位精度,提出一种基于区域划分的新型自适应可见光定位算法。在对单光源和多光源定位算法的研究基础上,设计基于对称结构接收机的两光源定位算法来弥补边缘区域的定位误差。依据上述三种算法在不同区域的... 详细信息

为了提高传统可见光定位算法的定位精度,提出一种基于区域划分的新型自适应可见光定位算法。在对单光源和多光源定位算法的研究基础上,设计基于对称结构接收机的两光源定位算法来弥补边缘区域的定位误差。依据上述三种算法在不同区域的定位误差分布特性,构建公平性函数,并结合朗伯辐射模型,将定位区域划分为多个子区域。在定位阶段,先根据接收信号特征粗略判断接收机所处区域,实现粗定位,再自适应选择性能更优的定位算法实现精准定位。仿真结果表明,在5 m×5 m×3 m的室内环境下,算法的平均定位误差约为2.5 cm,相比单光源、两光源和多光源定位算法分别改善了46%,24%,55%。在室内1.5 m×1.5 m×2 m的环境下搭建可见光定位系统平台并测试算法性能,结果表明,提出的算法在较低的复杂度代价下能够明显改进定位精度。

关键词：可见光通信室内定位区域划分定位性能高精度

来源：评论

学校读者我要写书评

暂无评论

基于局部特征的图像分类方法

引用

电子科技大学学报 2017年第1期46卷 69-74页

作者：曹健魏星李海生蔡强北京工商大学计算机与信息工程学院北京海淀区100048 北京科技大学计算机与通信工程学院北京海淀区100083

为了有效地组织、管理和浏览大规模的图像资源,提出了一种利用局部特征进行图像分类的方法。通过深入分析和比较常见的局部特征,选用合适的局部特征构建视觉单词库。这些视觉单词具有很好的平移、旋转、尺度不变性,并对噪声有一定的抵... 详细信息

为了有效地组织、管理和浏览大规模的图像资源,提出了一种利用局部特征进行图像分类的方法。通过深入分析和比较常见的局部特征,选用合适的局部特征构建视觉单词库。这些视觉单词具有很好的平移、旋转、尺度不变性,并对噪声有一定的抵抗能力。借鉴文本分类领域的向量空间模型进行图像的表示,并设计出了相应的分类算法。标准图像库上的实验结果表明,该方法在图像分类中有效,有较高的实用价值。

关键词：凝聚聚类分类器图像分类局部特征视觉单词

来源：评论

学校读者我要写书评

暂无评论

新型可见光成像通信信号解调方案研究

引用

光学学报 2021年第23期41卷 60-66页

作者：李攀攀冯莉芳黄顺义北京科技大学计算机与通信工程学院北京100083 北京扬华基业科技有限公司北京100038

可见光成像通信(OCC)是利用手机摄像头的卷帘快门工作方式拍摄快速闪烁的发光二极管(LED),接收明暗相隔的条纹图像,并通过对该图像进行解码恢复,实现数据通信的一种新兴的无线光通信技术。然而数据传输过程中出现的灰度值波动会影响通... 详细信息

可见光成像通信(OCC)是利用手机摄像头的卷帘快门工作方式拍摄快速闪烁的发光二极管(LED),接收明暗相隔的条纹图像,并通过对该图像进行解码恢复,实现数据通信的一种新兴的无线光通信技术。然而数据传输过程中出现的灰度值波动会影响通信过程中的误码率(BER)、传输距离和数据速率。提出了一种新型的OCC信号解调方案。利用基于膨胀腐蚀的自适应图像增强算法消除灰度值整体波动,利用膨胀算法消除灰度值局部波动,从整体和局部两个方面综合处理,最大程度上消除灰度值波动,提高判决的准确性,从而提高系统的通信性能。为验证所提方案的性能,评估了该方案在不同传输距离和数据速率环境下的BER。实验结果表明,所提方案的平均误码率较传统信号解调算法低两个数量级。

关键词：光通信可见光成像手机摄像头晕染效应解调算法

来源：评论

学校读者我要写书评

暂无评论

覆盖率制导的灰盒模糊测试研究综述

引用

计算机学报 2024年第7期47卷 1665-1696页

作者：崔展齐张家铭郑丽伟陈翔北京信息科技大学计算机学院北京100101 北京科技大学计算机与通信工程学院北京100083 南通大学信息科学技术学院江苏南通226019

由于部署简单、可扩展性强、挖掘到大量真实漏洞等原因,模糊测试得到了科研和工程人员的广泛关注。其中,覆盖率制导的灰盒模糊测试(Coverage-guided Greybox Fuzzing,简称CGF)以被测程序代码覆盖率为反馈信息,可对软件进行较为充分的自... 详细信息

由于部署简单、可扩展性强、挖掘到大量真实漏洞等原因,模糊测试得到了科研和工程人员的广泛关注。其中,覆盖率制导的灰盒模糊测试(Coverage-guided Greybox Fuzzing,简称CGF)以被测程序代码覆盖率为反馈信息,可对软件进行较为充分的自动化测试,有效地保障软件质量,是目前最为流行的一类模糊测试技术.研究人员为改进CGF投人了大量精力,产生了许多研究成果.然而,目前并未有研究针对CGF的已有研究工作进行系统性综述.为此,本文分析了近年来CGF的相关重要研究成果,将CGF流程划分为4个阶段:预处理、测试用例选择、测试用例演化和测试用例评估,并系统地分阶段分析了已有研究进展.此外,针对现有工作中评估分析设置不一致的问题,本文整理了CGF领域中常用的测试对象、实验设置及评估指标。最后,基于对已有研究进展的分析,阐述了CGF目前在预处理、测试用例选择等阶段存在的局限性、可能的解决方案以及未来的研究方向。

关键词：模糊测试灰盒测试覆盖率测试用例

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：