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

计算机研究与发展 2025年第1期62卷 119-131页

作者：石海鹤蓝孙文刘日明石海鹏王岚钟林辉江西师范大学计算机信息工程学院南昌330022 江西师范大学软件学院南昌330022

序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,... 详细信息

序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究.从生物序列比对问题的形式化规约出发,通过深入分析问题的性质,刻画问题求解的本质特征,借助形式化方法PAR(partition andrecursion)设计了序列比对动态规划算法的统一构造框架seqAlign;展示了应用该框架构造序列数为3的多序列比对算法的过程,并使用Isabelle定理证明器对构造结果进行形式化验证;利用PAR平台生成了该算法的C++可执行程序,进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程.通过严密的规约精化和形式验证,有效地保证了生成算法的可信性;开发的seqAlign框架提供了序列比对问题类的通用求解方案,显著提高了序列比对算法族生成的效率.研究结果在生物序列分析中序列比对问题上的成功应用,从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考.

关键词：序列比对 PAR方法形式构造 Isabelle定理证明器

来源：评论

学校读者我要写书评

暂无评论

深度学习策略下缓慢循环异味检测方法

引用

小型微型计算机系统 2024年第2期45卷 490-497页

作者：边奕心李禹齐张子恒赵松尹启天李文渊哈尔滨师范大学计算机科学与信息工程学院哈尔滨150025

缓慢循环是一种Android特有代码异味,对Android应用程序的可维护性产生负面影响.针对传统基于静态程序分析方法误检率较高的问题,本文提出基于深度学习的检测方法.首先,使用代码文本信息作为模型输入的特征集.然后,使用两种深度学习模... 详细信息

缓慢循环是一种Android特有代码异味,对Android应用程序的可维护性产生负面影响.针对传统基于静态程序分析方法误检率较高的问题,本文提出基于深度学习的检测方法.首先,使用代码文本信息作为模型输入的特征集.然后,使用两种深度学习模型进行异味检测.此外,为了快速、准确获得模型所需的大量样本数据,提出了一种基于开源Android项目构造正负样本的方法并实现工具ASSD.最后,使用开源Android数据集对提出的方法进行实验验证.实验结果表明,本文方法优于现有基于程序静态分析的检测方法,其中检测效果最好的是CNN模型,其F1值平均提高了28.7%.此外,本文方法优于基于机器学习的检测方法,相对于检测效果最好的随机森林模型,CNN模型的F1值平均提高了9.43%.

关键词： Android特有代码异味缓慢循环深度学习机器学习

来源：评论

学校读者我要写书评

暂无评论

单细胞测序分析病毒性肺炎患者T细胞受体基因差异

引用

中国免疫学杂志 2024年第4期40卷 796-801页

作者：马恩泽宁可朱晓哈尔滨师范大学计算机科学与信息工程学院哈尔滨150025 烟台大学计算机与控制工程学院烟台264005

目的:采用单细胞测序分析病毒性肺炎患者外周血T细胞受体(TCR)基因差异,探讨可能发病机制。方法:利用NCBI数据库获得数据,设置病例组和对照组进行实验。使用RStudio软件R语言分析单细胞测序数据,绘制表格和图片,得出结论。结果:病例组... 详细信息

目的:采用单细胞测序分析病毒性肺炎患者外周血T细胞受体(TCR)基因差异,探讨可能发病机制。方法:利用NCBI数据库获得数据,设置病例组和对照组进行实验。使用RStudio软件R语言分析单细胞测序数据,绘制表格和图片,得出结论。结果:病例组和对照组TCR有显著差异。对TCRα链和β链V、J基因片段使用频率进行分析,其中病例组TRAV1-2、TRAV29/DV5、TRAJ33、TRAJ48、TRBV20-1、TRBV2、TRBJ2-3、TRBJ1-1等基因使用频率明显高于对照组(P<0.05)。进一步V-J基因组合分析显示,病例组α链V-J对使用频率最高的是TRAV1-2-J33,β链V-J使用频率最高的是TRBV20-1-J2-1,αβ双链V-J使用频率最高的是TRAV30-J24-TRBV3-1-J2-7。结论:病毒性肺炎患者外周血TCR基因发生了明显改变,可能与病毒免疫发病机制有关。

关键词：单细胞测序病毒性肺炎 T细胞受体基因

来源：评论

学校读者我要写书评

暂无评论

采用多部件学习的细粒度图像识别

引用

计算机辅助设计与图形学学报 2023年第7期35卷 1032-1039页

作者：蒋海浪刘建明江西师范大学计算机信息工程学院南昌330022

现有基于交叉熵损失函数的细粒度识别方法倾向于发现对象最具有判别性的部件,忽略其他同样关键的具有判别性的次要部件.为了发现尽可能多的、具有辨别性的局部部件,提出采用多部件学习的细粒度图像识别方法.首先提出一个无参数的基于语... 详细信息

现有基于交叉熵损失函数的细粒度识别方法倾向于发现对象最具有判别性的部件,忽略其他同样关键的具有判别性的次要部件.为了发现尽可能多的、具有辨别性的局部部件,提出采用多部件学习的细粒度图像识别方法.首先提出一个无参数的基于语义块混合的图像数据增强模块,通过交换图像对中最具有判别性的部件,在增广训练数据的同时避免引入无关背景噪声,提高网络对输入扰动灵敏度的鲁棒性和泛化能力;然后提出多部件对抗擦除模块,在注意力和伯努利分布引导下擦除特征图上最具判别性区域,迫使网络学习发现特征图上其他辨别性区域,注意力引导保证擦除区域具有足够的判别性,伯努利分布引导保证擦除区域的多样性;最后通过融合中层特征,进一步提升网络性能.所提方法具有模型无关特性,可以作为一种即插即用模块,与现有多种主干网络相结合.以ResNet-50为主干网络,在3个公开数据集CUB-200-2011,FGVC-Aircraft和Stanford Cars上的实验结果表明,所提方法的分类精度分别达到89.2%,95.5%和94.0%;该方法能够发现更多辨别性部件,且准确率优于相同主干网络下的对比方法.

关键词：细粒度图像识别数据增强语义块混合多部件对抗擦除

来源：评论

学校读者我要写书评

暂无评论

ADFuzz:使用异常检测筛选低频路径高效模糊测试

引用

计算机研究与发展 2023年第8期60卷 1912-1924页

作者：李航宇方浩然曲彦文郭帆江西师范大学计算机信息工程学院南昌330022

基于覆盖率引导的模糊测试(Fuzzing)是当前最有效的漏洞自动挖掘技术.目前大部分的模糊测试工具对于新产生的测试用例实施全追踪策略.但是随着时间的流逝,模糊工具生成的测试用例都集中在程序的高频路径,使能够产生新覆盖的测试用例远... 详细信息

基于覆盖率引导的模糊测试(Fuzzing)是当前最有效的漏洞自动挖掘技术.目前大部分的模糊测试工具对于新产生的测试用例实施全追踪策略.但是随着时间的流逝,模糊工具生成的测试用例都集中在程序的高频路径,使能够产生新覆盖的测试用例远少于已生成测试用例的总数,以至于全追踪策略花费了大量无意义的时间成本和运行开销.因此提出基于异常检测模型的模糊测试工具ADFuzz,筛选低频路径以减少高频路径的执行次数,从而加速模糊测试,持续引导模糊测试朝着低频路径方向变异运行,并扩大程序覆盖.通过ADFuzz,AFL,Untracer在12个真实程序上运行24 h的实验结果显示,相比AFL,ADFuzz平均速度提升23.8%,平均覆盖率增加11.78%,最高增加25.8%;相比Untracer,ADFuzz平均速度降低较少,但是漏洞数量和覆盖率都有较大提升.

关键词：漏洞挖掘模糊测试异常检测对抗生成网络路径频数

来源：评论

学校读者我要写书评

暂无评论

基于同态加密和群签名的可验证联邦学习方案

引用

电子与信息学报 2025年第3期47卷 758-768页

作者：李亚红李一婧杨小东张源牛淑芬兰州交通大学电子与信息工程学院兰州730000 电子科技大学计算机与工程学院成都610054 西北师范大学计算机工程学院兰州730000

在车载网络(VANETs)中,联邦学习(FL)通过协同训练机器学习模型,实现了车辆间的数据隐私保护,并提高了整体模型的性能。然而,FL在VANETs中的应用仍面临诸多挑战,如模型泄露风险、训练结果验证困难以及高计算和通信成本等问题。针对这些问... 详细信息

在车载网络(VANETs)中,联邦学习(FL)通过协同训练机器学习模型,实现了车辆间的数据隐私保护,并提高了整体模型的性能。然而,FL在VANETs中的应用仍面临诸多挑战,如模型泄露风险、训练结果验证困难以及高计算和通信成本等问题。针对这些问题,该文提出一种面向联邦学习的可验证隐私保护批量聚合方案。首先,该方案基于Boneh-Lynn-Shacham(BLS)动态短群聚合签名技术,保护了客户端与路边单元(RSU)交互过程中的数据完整性,确保全局梯度模型更新与共享过程的不可篡改性。当出现异常结果时,方案利用群签名的特性实现车辆的可追溯性。其次,结合改进的Cheon-Kim-Kim-Song(CKKS)线性同态哈希算法,对梯度聚合结果进行验证,确保在联邦学习的聚合过程中保持客户端梯度的机密性,并验证聚合结果的准确性,防止服务器篡改数据导致模型训练无效的问题。此外,该方案还支持车辆在部分掉线的情况下继续更新模型,保障系统的稳定性。实验结果表明,与现有方案相比,该方案在提升数据隐私安全性和结果的可验证性的同时,保证了较高效率。

关键词：隐私保护联邦学习车载自组网可验证聚合群签名

来源：评论

学校读者我要写书评

暂无评论

基于交比不变性的同心圆迭代中心定位方法

引用

光学技术 2025年第3期51卷 330-338页

作者：李百峰杨建柏哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨150025

圆形目标在增强现实、摄影测量和结构光投影测量系统等视觉测量领域应用广泛。然而,透视投影引起的圆形目标偏心误差严重影响测量精度。为了提高投影中心定位精度,提出了一种以同心圆为目标的精确投影中心定位方法。研究主要包括改进的... 详细信息

圆形目标在增强现实、摄影测量和结构光投影测量系统等视觉测量领域应用广泛。然而,透视投影引起的圆形目标偏心误差严重影响测量精度。为了提高投影中心定位精度,提出了一种以同心圆为目标的精确投影中心定位方法。研究主要包括改进的投影中心定位方法以及考虑镜头畸变的迭代补偿。使用交比不变性避免了圆形目标因透视投影带来的偏心误差,随后将改进的投影中心坐标加入迭代求取相机参数的过程,消除镜头畸变对中心定位的影响,从而精确定位投影中心。实验结果表明,所提方法能够准确定位投影中心并且在相机标定中也具有良好表现。

关键词：偏心误差交比不变性相机标定视觉测量

来源：评论

学校读者我要写书评

暂无评论

MaOEA/A2R:一种基于A2R支配关系的高维多目标进化算法

引用

电子学报 2024年第8期52卷 2758-2772页

作者：谢承旺付世炜华南师范大学数据科学与工程学院广东汕尾516600 南宁师范大学计算机与信息工程学院广西南宁530100

传统的Pareto支配关系在高维目标空间存在固有缺陷,而一些改进的支配方法在平衡高维目标解群的收敛性与多样性上尚有提升空间.基于此,提出一种参考向量关联区域(小生境)自动缩减的支配关系A2R(dominance relation based on the Automati... 详细信息

传统的Pareto支配关系在高维目标空间存在固有缺陷,而一些改进的支配方法在平衡高维目标解群的收敛性与多样性上尚有提升空间.基于此,提出一种参考向量关联区域(小生境)自动缩减的支配关系A2R(dominance relation based on the Automatically reduced region Associated with the Reference vector).该支配方法在进化全过程中逐代缩减小生境规模,从而实现收敛性与多样性自动平衡,而且不引入额外参数.另外,提出利用基于L_(p)-范式(p=1/M,M为目标数)的拥挤距离度量高维目标解群的多样性.将上述两种策略嵌入到经典的NSGA-II(Nondominated Sorting Genetic Algorithm II)框架,设计一种基于A2R支配关系的高维多目标进化算法MaOEA/A2R(Many-Objective Evolutionary Algorithm base on A2R).该算法与其他5种代表性的高维多目标进化算法一同在5-、10-、15-和20-目标的DTLZ(benchmark MOP proposed by Deb,Thiele,Lau-manns,and Zitzler)和WFG(benchmark MOP pro-posed by Walking Fish Group)基准测试问题上进行IGD(Inverted Generational Distance)和HV(Hyper Volume)性能测试.结果表明,MaOEA/A2R算法总体上具有较好的收敛性和多样性.由此表明,MaOEA/A2R是一种颇具前景的高维多目标进化算法.

关键词：进化算法高维多目标优化问题改进支配关系高维多目标进化算法

来源：评论

学校读者我要写书评

暂无评论

OpenPerf:面向开源生态可持续发展的数据科学基准测试体系

引用

计算机学报 2025年第3期48卷 632-649页

作者：韩凡宇毕枫林张琰彬李晖游兰王伟钱卫宁周傲英华东师范大学数据科学与工程学院上海200062 贵州大学计算机科学与技术学院贵阳550025 湖北大学计算机与信息工程学院武汉430062

基准测试是指通过设计科学的测试方法、测试工具和测试系统,实现对一类测试对象的某项性能指标进行定量的和可对比的测试。随着人工智能时代的到来,诸如ImageNet、DataPerf等这类新型的AI基准测试数据集逐步成为学术界和工业界的共识性... 详细信息

基准测试是指通过设计科学的测试方法、测试工具和测试系统,实现对一类测试对象的某项性能指标进行定量的和可对比的测试。随着人工智能时代的到来,诸如ImageNet、DataPerf等这类新型的AI基准测试数据集逐步成为学术界和工业界的共识性标准。当前,关于开源生态的研究大多基于某一项具体的研究点展开分析而缺少对开源生态基准体系的构建,一个开源项目处于怎样的发展位置、企业开源程序办公能力处于行业什么位置、开发者活跃度、项目影响力等基础数据与评价,都是数据使用方迫切需要的开源领域知识。为了解决开源领域“有数据无基准”的局面,本文提出一种面向开源生态可持续发展的数据科学基准测试体系(OpenPerf)。该体系自下而上主要包含数据科学任务类基准、指数类基准以及标杆类基准,旨在为学术界、工业界提供不同的基准参考。本文定义了9个数据科学任务类基准,给出了3项典型的数据科学任务类基准测试结果、2项指数类基准以及1项标杆类基准,其中2项指数类基准被中国电子技术标准化研究院作为开源社区治理的评估标准。数据科学任务类基准主要应用于学术界,为不同研究方向的研究者提供自己擅长的研究领域的基准。指数类基准主要面向企业界,企业界可以通过影响力和活跃度等基准数据了解当前企业开源程序办公能力所处的行业位置以及旗下开源项目所处的发展位置。标杆类基准是一种可测量的业界最佳水平的成绩,用来比较参考尺度。最后,通过3个应用在阿里、蚂蚁以及华东师范大学等国内知名公司和高校的实际案例验证了OpenPerf在推动开源生态可持续发展中所起到的关键作用。

关键词：基准测试开源生态可持续发展基准任务应用案例

来源：评论

学校读者我要写书评

暂无评论

基于多元信息引导的人工蜂群算法

引用

电子学报 2024年第4期52卷 1349-1363页

作者：周新宇刘颖吴艳林郭京蕾江西师范大学计算机信息工程学院江西南昌330022 长沙理工大学计算机与通信工程学院湖南长沙410114 华中师范大学计算机学院湖北武汉430079

利用优秀个体增强解搜索方程的开采能力是改进人工蜂群算法的一种主流思路.然而,现有相关工作往往仅以适应度信息作为评价个体的唯一标准,易导致算法出现早熟收敛等问题.本文提出一种多元信息引导的人工蜂群算法,分别设计了基于适应度... 详细信息

利用优秀个体增强解搜索方程的开采能力是改进人工蜂群算法的一种主流思路.然而,现有相关工作往往仅以适应度信息作为评价个体的唯一标准,易导致算法出现早熟收敛等问题.本文提出一种多元信息引导的人工蜂群算法,分别设计了基于适应度、位置以及相似度信息的3种解搜索方程,并在雇佣蜂阶段和观察蜂阶段采用了不同的使用方式.同时,为保存侦察蜂阶段的搜索经验,采用一种微调后的邻域搜索机制用于处理被放弃蜜源.在CEC2013测试集和一个实际优化问题上进行了大量实验验证,与6种衍生算法和5种知名的相关改进人工蜂群算法进行了对比,结果表明本文算法性能竞争优势明显,在结果精度和收敛速度上均有更好表现.

关键词：人工蜂群算法优秀个体多元信息解搜索方程邻域搜索

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：