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

西安电子科技大学学报 2020年第4期47卷 117-123页

作者：黄昱铭马建峰刘志全冯丙文魏凯敏暨南大学信息科学技术学院广东广州510632 西安电子科技大学网络与信息安全学院陕西西安710071 中国科学院信息工程研究所信息安全国家重点实验室北京100093 广东省信息安全技术重点实验室广东广州520006 广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室广东深圳518060

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进... 详细信息

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率。

关键词：自动程序修复基于规则静态分析测试集

来源：评论

学校读者我要写书评

暂无评论

自动程序修复中的安全隐患场景及解决方案

引用

西安电子科技大学学报 2019年第6期46卷 147-154页

作者：黄昱铭马建峰刘志全魏凯敏冯丙文暨南大学信息科学技术学院广东广州510632 西安电子科技大学网络与信息安全学院陕西西安710071 中国科学院信息工程研究所信息安全国家重点实验室北京100093 广东省信息安全技术重点实验室广东广州520006 广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室广东深圳518060

为提高自动程序修复方法的修复质量,指出在自动程序修复方法修复程序缺陷过程中存在的两种安全隐患场景,即脏补丁源场景和脏测试集场景,并为两种安全隐患场景分别提出相应的解决方案,即补丁校验方案和测试集校验方案。实验结果表明,所... 详细信息

为提高自动程序修复方法的修复质量,指出在自动程序修复方法修复程序缺陷过程中存在的两种安全隐患场景,即脏补丁源场景和脏测试集场景,并为两种安全隐患场景分别提出相应的解决方案,即补丁校验方案和测试集校验方案。实验结果表明,所提出的补丁校验方案能够促使自动程序修复方法获取安全性更高的补丁,所提出的测试集校验方案能够准确地定位测试集中的脏测试用例,误报率为7.20%。

关键词：自动程序修复静态分析测试集软件安全

来源：评论

学校读者我要写书评

暂无评论

物联网感知层一种基于属性的访问控制机制

引用

西安电子科技大学学报 2012年第2期39卷 66-72页

作者：任方马建峰郝选文西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 陕西省物联网实验研究中心陕西西安710071

为了实现物联网感知层的细粒度访问控制和用户的匿名数据访问,提出了一种基于用户属性的访问控制机制,并利用双线性映射给出了具体的算法实现.该方案中,用户以其属性证书为依据向传感器节点发起数据访问请求,传感器节点根据门限原则决... 详细信息

为了实现物联网感知层的细粒度访问控制和用户的匿名数据访问,提出了一种基于用户属性的访问控制机制,并利用双线性映射给出了具体的算法实现.该方案中,用户以其属性证书为依据向传感器节点发起数据访问请求,传感器节点根据门限原则决定是否允许用户访问.该方案可以实现灵活的细粒度访问控制和匿名的数据访问,用户和传感器节点的信息交互次数达到了最少,节点运算量少,只需要进行一次公钥加密.与现有的传感器网络访问控制方案相比,该方案传感器节点开销较小,可扩展性良好,可以适应物联网感知层的访问控制需求.

关键词：物联网传感器网络访问控制匿名性

来源：评论

学校读者我要写书评

暂无评论

面向大规模优化问题的精英贡献两阶段动态分组算法

引用

计算机工程 2024年第7期50卷 154-163页

作者：王彬张娇李薇王晓帆金海燕西安理工大学计算机科学与工程学院陕西西安710048 西安理工大学陕西省网络计算与安全技术重点实验室陕西西安710048

协同进化框架是解决大规模全局优化问题的有效方法,设计合理的决策变量分组方法是提高协同进化算法性能的关键,而利用精英决策变量动态构建精英子组件可以有效提高进化效率,但在进行大规模优化时,其可能将无关的变量分配到同一子组件,... 详细信息

协同进化框架是解决大规模全局优化问题的有效方法,设计合理的决策变量分组方法是提高协同进化算法性能的关键,而利用精英决策变量动态构建精英子组件可以有效提高进化效率,但在进行大规模优化时,其可能将无关的变量分配到同一子组件,从而无法充分利用分组提高协同进化效率。针对该问题,提出一种精英贡献两阶段动态分组算法(EC-TSDG)。在分组前阶段,对变量进行随机分组,评估变量的贡献程度,从众多变量中寻找精英贡献变量;在分组后阶段,利用变量的相关关系寻找与精英决策变量存在相互作用的剩余变量,并将其合并形成精英子组件,使得精英子组件内部的变量两两相关,以此提高变量分组的准确性以及算法的收敛速度,避免子组件之间的相关干扰。最后,采用具有外部存档的自适应差分进化算法作为优化器进化各个子组件。在CEC'2013测试集上与其他先进算法进行比较,实验结果表明,EC-TSDG收敛速度快于对比算法,Friedman检验值为1.43,平均排序较对比的动态分组算法DCC平均提升36.78%。

关键词：协同进化大规模优化问题两阶段动态分组贡献信息精英子组件

来源：评论

学校读者我要写书评

暂无评论

自然语言水印鲁棒性分析与评估

引用

计算机学报 2012年第9期35卷 1971-1982页

作者：何路桂小林田丰武睿峰房鼎益西安交通大学计算机科学与技术系西安710049 陕西省网络重点实验室西安710049 西北大学信息学院西安710127

自然语言与图像、音频信号的性质截然不同,图像水印等的鲁棒性分析方法不适用于自然语言水印,但是直到目前还没有专门针对自然语言水印鲁棒性的研究和评估工作.文中针对自然语言的特点,提出适合自然语言水印的敌手模型.然后将现有的自... 详细信息

自然语言与图像、音频信号的性质截然不同,图像水印等的鲁棒性分析方法不适用于自然语言水印,但是直到目前还没有专门针对自然语言水印鲁棒性的研究和评估工作.文中针对自然语言的特点,提出适合自然语言水印的敌手模型.然后将现有的自然语言水印分类,并总结各类的一般算法模型.利用文本提出的敌手模型分析自然语言水印编码算法的鲁棒性,并通过实验验证鲁棒性的理论模型.本项工作为对比、评估自然语言水印算法的鲁棒性提供了理论依据.

关键词：自然语言水印鲁棒性主动攻击水印攻击自然语言信息隐藏

来源：评论

学校读者我要写书评

暂无评论

物体检测驱动下的三维室内场景重建方法

引用

计算机辅助设计与图形学学报 2024年

作者：宁小娟赵昊罡巩亮金海燕石争浩王映辉西安理工大学计算机科学与工程学院陕西省网络计算与安全技术重点实验室江南大学人工智能与计算机学院

由于室内场景中的物体种类具有多样性、密集性以及物体间存在遮挡导致数据缺失等问题，增加了计算机对室内场景环境感知与重建的难度. 以复杂的室内点云场景为研究对象，在充分分析场景物体的语义及实例信息的基础上，提出一种物体... 详细信息

由于室内场景中的物体种类具有多样性、密集性以及物体间存在遮挡导致数据缺失等问题，增加了计算机对室内场景环境感知与重建的难度. 以复杂的室内点云场景为研究对象，在充分分析场景物体的语义及实例信息的基础上，提出一种物体检测驱动下的三维室内场景重建方法. 首先以VoteNet为基础，通过融合卷积池化模块提取更为丰富的局部特征，并根据注意力机制设计投票权重模块，增强了对前景特征的关注，同时利用物体关系模块学习空间关系特征，以此优化室内物体的检测结果; 然后根据包围盒的重叠交并比提取有效物体点云，并使用最优模型检索算法从模型库中获得更加准确的匹配模型; 最后以物体的实例信息和模型的检索信息作为输入，利用周围环境的几何空间约束对模型位姿进行优化，获得更加合理、精细的室内场景重建结果. 在ScanNet数据集上的实验结果表明，所提方法的平均精度达到63.8%，比VoteNet提高7.0个百分点. 该方法能够准确地进行场景重建，尤其在处理因物体残缺而导致匹配精度较低的问题时，表现出了良好的鲁棒性和准确性.

关键词：点云室内场景物体检测三维重建位姿优化

来源：评论

学校读者我要写书评

暂无评论

面向对抗样本干扰的人脸识别隐私保护方案

引用

西安电子科技大学学报 2024年第02期 190-200页

作者：马彩霞贾春福蔡智鹏杜瑞忠李明月哈冠雄南开大学网络空间安全学院天津市网络与数据安全技术重点实验室河北大学网络空间安全与计算机学院河北省高可信信息系统重点实验室

人脸识别技术的广泛应用给人们带来了极大的便利，但也面临着身份等隐私信息被泄露的风险。针对人脸识别的攻击可通过重构人脸图像来获取原始图像的隐私信息，为防范此类攻击，提出了一种面向对抗样本干扰的人脸识别隐私保护方案（PPFR-... 详细信息

人脸识别技术的广泛应用给人们带来了极大的便利，但也面临着身份等隐私信息被泄露的风险。针对人脸识别的攻击可通过重构人脸图像来获取原始图像的隐私信息，为防范此类攻击，提出了一种面向对抗样本干扰的人脸识别隐私保护方案（PPFR-ASP）。该方案采用频域技术中的协同推理机制，首先将人脸图像转换为频域特征，并分成高频成分特征和低频成分特征，然后在频域特征上添加对抗样本干扰。其次，为每个原始图像准备一个目标图像，对目标图像做和原始图像相同的频域特征转换处理，然后使用目标图像的频率成分通道遮盖原始图像中的相应成分，使攻击者将重构图像识别为目标图像，从而隐藏原始图像的真实身份。最后，本方案在多个数据集上进行了大量的实验，结果表明其人脸图像隐私保护性能高于对比方案，本方案的查询精确度和计算开销与无隐私保护的ArcFace方案相接近。

关键词：人脸识别隐私保护频域技术对抗样本干扰

来源：评论

学校读者我要写书评

暂无评论

面向目标覆盖的无线传感器网络确定性部署方法

引用

西安交通大学学报 2010年第6期44卷 6-9,15页

作者：何欣桂小林安健西安交通大学计算机科学与技术系西安710049 河南大学计算中心河南开封475001 陕西省计算机网络重点实验室西安710049

针对无线传感器网络中随机部署节点集划分法不能保证离散目标点优化部署的问题,利用目标点最多层交叠域及遗传算法设计了一种面向目标覆盖的最优确定性部署方法.该方法通过目标点最多层交叠域寻找监测目标点集的传感器节点候选位置,基... 详细信息

针对无线传感器网络中随机部署节点集划分法不能保证离散目标点优化部署的问题,利用目标点最多层交叠域及遗传算法设计了一种面向目标覆盖的最优确定性部署方法.该方法通过目标点最多层交叠域寻找监测目标点集的传感器节点候选位置,基于候选位置点并利用遗传算法找出实现目标监测的最少节点数及节点位置.所提算法中候选位置点的选取简化了遗传算法中的编码工作,且与适应度函数相结合加速了算法的收敛,而遗传算法提供了最佳位置点的寻求方式.仿真试验表明,所提方法在满足用户感知需求的基础上具有较少的部署节点数,通常被控制在目标点个数的30%以内,极大地降低了网络部署成本,实现了无线传感器网络空间资源的优化分配.

关键词：无线传感器网络目标覆盖优化部署

来源：评论

学校读者我要写书评

暂无评论

基于改进特征子集区分度的行为识别特征选择方法

引用

计算机科学 2020年第S02期47卷 204-208页

作者：王瑞杰李军怀王侃王怀军商珣超徒鹏佳西安理工大学计算机科学与工程学院西安710048 陕西省网络计算与安全技术重点实验室西安710048

基于传感器的人体行为识别方法在健康监测、运动分析和人机交互等方面得到了广泛应用。特征选择是准确识别人体行为的关键环节,其目的是在提高分类性能的基础上从高维特征空间中筛选出与分类相关的特征,以降低特征维数和计算复杂度。然... 详细信息

基于传感器的人体行为识别方法在健康监测、运动分析和人机交互等方面得到了广泛应用。特征选择是准确识别人体行为的关键环节,其目的是在提高分类性能的基础上从高维特征空间中筛选出与分类相关的特征,以降低特征维数和计算复杂度。然而,传统的特征选择方法面临着未考虑所选特征冗余性的挑战。因此,针对基于特征子集区分度(Discernibility of Feature Subsets,DFS)衡量准则的特征选择方法仅考虑多个特征的相关性而忽视特征之间冗余性对分类结果影响等缺陷,提出一种基于冗余性的特征子集区分度衡量准则的特征选择方法(Redundancy and Discernibility of Feature Subsets,R-DFS),在特征选择的过程引入冗余性分析,删除冗余特征,以提高分类准确率和降低计算复杂度。实验结果表明,改进方法可有效降低特征维数并提高分类准确度。

关键词：加速度传感器行为识别特征选择特征子集区分度特征相关性和冗余性

来源：评论

学校读者我要写书评

暂无评论

多尺度分割和误差引导生成对抗网络的神经元分割方法

引用

计算机辅助设计与图形学学报 2024年

作者：尤珍臻姜明石争浩都双丽赵明华西安理工大学计算机科学与工程学院陕西省网络计算与安全技术重点实验室西安电子科技大学雷达信号处理国家重点实验室

神经元语义分割是实现神经元精确实例分割的关键环节. 然而，大脑结构复杂，全脑神经元语义分割自动化非常具有挑战性. 针对神经元类内差异大、类间差异小、在不同解剖区域分布不均匀的特征，提出一种多尺度分割和误差引导生成对抗... 详细信息

神经元语义分割是实现神经元精确实例分割的关键环节. 然而，大脑结构复杂，全脑神经元语义分割自动化非常具有挑战性. 针对神经元类内差异大、类间差异小、在不同解剖区域分布不均匀的特征，提出一种多尺度分割和误差引导生成对抗网络的神经元分割模型. 首先应用基于双注意力门的多尺度分割和误差引导的框架作为生成器，预测神经元分割结果、假阴错误和假阳错误，根据三者结果通过迭代的方式改善神经元语义分割结果; 然后将生成的分割结果、真值图分别与原始图像相乘，作为判别器的两个输入，通过多层卷积操作计算二者差异，区分生成的分割结果和真值图. 在猕猴大脑数据集上的实验结果表明，与U-Net等其他模型相比，该模型得到的全脑神经元分割性能指标均有不同程度的提升，尤其对于浅色神经元，神经元分割性能得到了较大的提升，与8种参考模型相比， Dice值分别提升了20.3%， 1.2%， 15.5%， 2.5%， 8.2%， 159.2%， 0.8%和13.1%. 应用所提模型得到的全脑神经元的分割结果，可以进一步用于神经元的实例分割、形态学分析等研究.

关键词：神经元语义分割生成对抗网络猕猴大脑显微图像

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：