王晓峰
- 作品数：97 被引量：286H指数：9
- 供职机构：北方民族大学计算机科学与工程学院更多>>
- 发文基金：国家自然科学基金宁夏回族自治区自然科学基金贵州大学自然科学青年科研基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信电气工程更多>>
- 基于用户项目体验度的协同过滤推荐算法被引量：4
- 2017年
- 在用户相似度计算基础上,根据用户偏好以及项目特征对用户评分产生的影响,提出一种针对用户项目体验度的推荐算法。阐述项目体验度对用户产生的潜在影响,选择皮尔森相似性计算公式做进一步计算。通过用户对项目的好评数以及给项目的评分分别占该项目的总评数和总体项目评分中的比例,获得用户对项目的体验度权重。采用长尾理论平衡用户相似性和用户对流行项目的关注度,计算得出用户相似度并产生预测和推荐。实验结果表明,与传统协同过滤算法相比,该算法提高了相似度计算准确度,并能改善数据稀疏情况下的推荐效果。
- 郑苏洋姜久雷王晓峰
- 关键词：推荐系统协同过滤长尾理论
- 面向异构数据的个性化联邦多任务学习优化方法被引量：2
- 2024年
- 联邦学习是一种新兴的分布式机器学习范式,在保护数据隐私的同时协作训练全局模型,但也面临着在数据异构情况下全局模型收敛慢、精度低的问题。针对上述问题,提出一种面向异构数据的个性化联邦多任务学习优化(federated multi-task learning optimization,FedMTO)算法。在包含全局任务和本地任务的多任务学习框架下,考虑个性化联邦优化问题。首先,FedMTO采用参数分解的思想,通过学习自适应分类器组合权重来协调全局分类器和局部分类器,提取全局分类器知识,实现对本地任务的个性化建模;其次,由于本地任务的数据分布不同,FedMTO在本地更新时结合正则化多任务学习策略,关注任务之间的相关性,减小不同本地任务间的差异,从而保证联邦学习过程的公平性;最后,模拟不同的数据异构场景,在MNIST和CIFAR-10数据集上进行实验。实验结果表明,与现有算法相比,FedMTO实现了更高的准确率和更好的公平性,验证了该方法针对联邦学习中的异构数据问题有着良好的效果。
- 李可王晓峰王虎
- 关键词：个性化多任务学习
- 带时间窗的车辆路径问题元启发算法综述
- 2025年
- 带时间窗的车辆路径问题(VRPTW)是车辆路径优化问题(VRP)重要问题之一,广泛应用于物流配送等领域。随着物流需求和复杂性的增加,传统算法在求解VRPTW时表现出效率低和适应性不足等局限。近年来,元启发算法在该问题的求解上取得了显著进展,因此有必要对其求解算法进行系统梳理和深入研究。梳理了VRPTW的基本模型,对比了精确算法、启发算法及元启发算法的应用,重点分析了元启发算法的研究进展、优缺点及其改进策略。最后,探讨了算法未来研究方向和发展趋势,为进一步研究提供了理论支持。
- 张玉玺雷冰冰雷冰冰王晓峰宋家欢
- 关键词：车辆路径问题时间窗
- 基于DPLL的混合遗传算法求解SAT问题被引量：3
- 2010年
- 基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。
- 王晓峰许道云唐瑞雪
- 关键词：SAT问题遗传算法
- 求解网络最大流问题的信念传播算法被引量：3
- 2021年
- 为解决目前网络最大流问题求解效率低、数据溢出等问题,设计求解网络最大流问题的信念传播算法。根据网络最大流问题的特性,使最大流问题的线性规划方程与信念传播算法传递方程结合,得到描述函数,将带权随机有向图映射为对应的因子图模型;在此模型基础上,利用信念传播算法的信息迭代方程进行特征值收敛计算,提高寻优效率。选取若干随机有向图进行数值实验,实验结果表明,该算法在寻优速度上优于同类算法,验证了其可行性及有效性。
- 左逢源王晓峰任雪娇张丹丹
- 关键词：网络最大流线性规划因子图描述函数
- 可满足性模理论综述
- 2024年
- 可满足性模理论(SMT)是指判定一阶逻辑公式在特定背景理论下的可满足性问题。基于一阶逻辑的SMT相比SAT描述能力更强、抽象能力更高,能处理更加复杂的问题。SMT求解器在各个领域都有应用,已经成为重要的形式化验证引擎。目前,SMT已被广泛应用在人工智能、硬件RTL验证、自动化推理和软件工程等领域。根据近些年SMT的发展,首先阐述SMT基本知识和常见的背景理论;然后分析总结Eager方法、Lazy方法和DPLL(T)方法的实现流程,并进一步介绍主流求解器Z3、CVC5和MathSAT5的实现过程;接着介绍SMT的扩展问题#SMT、SMT应用在深度神经网络的SMTlayer方法和量子SMT求解器;最后对SMT的发展进行展望,并讨论其面临的挑战。
- 唐傲王晓峰何飞
- 关键词：一阶逻辑
- 一种基于图热核扩散卷积的网络入侵检测方法被引量：1
- 2025年
- 网络入侵检测是保护计算资源和数据免受网络攻击的重要手段。近年来,基于深度学习的方法在入侵检测领域取得了显著进展,但仍存在有效特征提取困难和过度依赖手工标注数据等问题。针对上述问题,提出一种基于图热核扩散卷积的半监督入侵检测方法,该方法在流量统计特征的基础上,以源IP和目标IP地址为节点,以它们之间的交互关系为边,构建入侵检测主机交互图。通过融合网络流量统计特征与潜在的图结构特征,该方法利用图热核扩散传播机制,聚合丰富的邻域信息以学习节点的特征表示,这些节点表示能够使得下游的入侵检测任务更准确地识别异常节点和恶意连接,提升入侵检测的性能。在CIC-IDS-2017和CIC-IDS-20182个数据集上进行的实验结果表明,该方法能够有效捕获网络流量数据中的复杂拓扑结构和节点之间的关系特征,仅通过少量的流量特征和标签信息就能够学习节点的低维向量表示。此外,通过对节点表示的聚类分析和可视化,能够揭示攻击节点在网络中的社区结构和连接特征,这为新型或变种攻击的预防提供了参考。
- 景永俊景永俊王浩邵堃
- 关键词：网络入侵检测
- 求解公式关键文字集的信息传播算法被引量：3
- 2011年
- 关键文字集影响判定布尔公式可满足性的判定难度。如果能找到公式的关键文字集或关键文字集的子集,就可使公式的可满足性判定变得容易。通过对警示传播算法的原理分析,发现高概率决定的部分变元对公式的求解难度有一定的影响。当某个子句与变元之间的警示信息具有一致性时,表明该子句的可满足性完全由该变元的取值决定,其它变元的取值都不能使得该子句可满足。进一步研究发现,当该算法收敛时,具有一致性的警示信息对应的变元集合是关键文字集的子集,这就佐证了警示传播算法可用于求解公式的关键文字集。基于该算法的特征,给出了一个寻找公式关键文字集的信息传播算法。
- 王晓峰许道云秦永彬
- 关键词：信息传递
- 一种形式化软件建模框架设计与实践
- 2022年
- 阐述一种形式化软件建模框架的设计,经过基于项目实训的多层次和多维度探索,得到了规范和优化,其工程应用有助于提升软件建模精度。
- 杨德仁王晓峰刘建平袁渊
- 关键词：计算机技术软件工程
- 基于改进的灰狼算法优化BP神经网络的入侵检测方法
- 2025年
- 当今世界的网络安全问题日益突出,入侵检测技术作为网络安全领域的重要组成部分得到迅速发展。目前,BP神经网络广泛应用于入侵检测。但传统BP神经网络权值选取不精确、学习效率低以及易陷入局部极小值,针对以上缺点,文中提出一种基于改进的灰狼算法优化BP神经网络的入侵检测方法。改进的灰狼算法通过改变线性控制参数,以及在灰狼位置更新公式中加入反余切惯性权重策略,以扩展狼群的搜索范围,从而避免陷入局部最优解。利用改进的算法优化BP神经网络的初始权值和阈值,将优化的BP神经网络应用于入侵检测。实验结果表明,改进的灰狼算法具有更好的稳定性、寻优效率和寻优精度,改进的入侵检测方法不易陷入局部极小值,泛化能力强,预测精度高和可靠性好。
- 彭庆媛王晓峰唐傲华盈盈何飞刘建平
- 关键词：惯性权重BP神经网络入侵检测
