王晓峰
- 作品数：84 被引量：224H指数：8
- 供职机构：北方民族大学更多>>
- 发文基金：国家自然科学基金宁夏回族自治区自然科学基金贵州大学自然科学青年科研基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信电气工程更多>>
- 基于用户项目体验度的协同过滤推荐算法被引量：4
- 2017年
- 在用户相似度计算基础上,根据用户偏好以及项目特征对用户评分产生的影响,提出一种针对用户项目体验度的推荐算法。阐述项目体验度对用户产生的潜在影响,选择皮尔森相似性计算公式做进一步计算。通过用户对项目的好评数以及给项目的评分分别占该项目的总评数和总体项目评分中的比例,获得用户对项目的体验度权重。采用长尾理论平衡用户相似性和用户对流行项目的关注度,计算得出用户相似度并产生预测和推荐。实验结果表明,与传统协同过滤算法相比,该算法提高了相似度计算准确度,并能改善数据稀疏情况下的推荐效果。
- 郑苏洋姜久雷王晓峰
- 关键词：推荐系统协同过滤长尾理论
- 面向异构数据的个性化联邦多任务学习优化方法
- 2024年
- 联邦学习是一种新兴的分布式机器学习范式,在保护数据隐私的同时协作训练全局模型,但也面临着在数据异构情况下全局模型收敛慢、精度低的问题。针对上述问题,提出一种面向异构数据的个性化联邦多任务学习优化(federated multi-task learning optimization,FedMTO)算法。在包含全局任务和本地任务的多任务学习框架下,考虑个性化联邦优化问题。首先,FedMTO采用参数分解的思想,通过学习自适应分类器组合权重来协调全局分类器和局部分类器,提取全局分类器知识,实现对本地任务的个性化建模;其次,由于本地任务的数据分布不同,FedMTO在本地更新时结合正则化多任务学习策略,关注任务之间的相关性,减小不同本地任务间的差异,从而保证联邦学习过程的公平性;最后,模拟不同的数据异构场景,在MNIST和CIFAR-10数据集上进行实验。实验结果表明,与现有算法相比,FedMTO实现了更高的准确率和更好的公平性,验证了该方法针对联邦学习中的异构数据问题有着良好的效果。
- 李可王晓峰王虎
- 关键词：个性化多任务学习
- 基于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的发展进行展望,并讨论其面临的挑战。
- 唐傲王晓峰何飞
- 关键词：一阶逻辑
- 求解公式关键文字集的信息传播算法被引量：3
- 2011年
- 关键文字集影响判定布尔公式可满足性的判定难度。如果能找到公式的关键文字集或关键文字集的子集,就可使公式的可满足性判定变得容易。通过对警示传播算法的原理分析,发现高概率决定的部分变元对公式的求解难度有一定的影响。当某个子句与变元之间的警示信息具有一致性时,表明该子句的可满足性完全由该变元的取值决定,其它变元的取值都不能使得该子句可满足。进一步研究发现,当该算法收敛时,具有一致性的警示信息对应的变元集合是关键文字集的子集,这就佐证了警示传播算法可用于求解公式的关键文字集。基于该算法的特征,给出了一个寻找公式关键文字集的信息传播算法。
- 王晓峰许道云秦永彬
- 关键词：信息传递
- 一种形式化软件建模框架设计与实践
- 2022年
- 阐述一种形式化软件建模框架的设计,经过基于项目实训的多层次和多维度探索,得到了规范和优化,其工程应用有助于提升软件建模精度。
- 杨德仁王晓峰刘建平袁渊
- 关键词：计算机技术软件工程
- 一种基于肺部CT影像的COVID-19分类识别方法
- 本发明公开了一种基于肺部CT影像的COVID‑19分类识别方法，包括：采集正常肺部CT影像、肺部肿瘤CT影像、COVID肺部CT影像，得到三个样本子集，并构成样本集；采用迁移学习法，分别对AlexNet、GoogleNe...
- 周涛陆惠玲朱立军王晓峰霍兵强任海玲董雅丽
- 文献传递
- 图着色问题的算法研究综述
- 2024年
- 图着色问题(graph coloring problem,GCP)是一个经典的组合优化问题,已广泛应用于数学、计算机科学和生物科学等多个领域。由于图着色问题的NP难特性,目前还没有多项式时间内的精确算法求解该问题,为了给出求解该问题的高效算法,需要对现有算法进行梳理。主要分为智能优化算法、启发式算法、强化学习算法等,从算法原理、改进思路、性能和精度等方面进行对比分析,归纳出算法的优缺点,并指出GCP的研究方向和算法设计路径,对于相关问题的研究有指导意义。
- 宋家欢王晓峰胡思敏贾璟伟颜冬
- 关键词：图着色问题智能优化算法启发式算法强化学习算法
- 求解Max-Re-SAT的离散混沌量子蝙蝠算法
- 2024年
- 针对最大正则可满足性问题求解算法的研究空缺,以及提升求解最大可满足性问题的智能优化算法的精度,基于蝙蝠算法(bat algorithm,BA),提出了一种基于离散混沌量子的蝙蝠算法。在该算法中,将连续数值转化为离散的二进制编码,对算法进行了离散化处理。该研究运用量子理论、引入量子比特编码和启发式量子变异,通过量子旋转门改变非最优个体的概率振幅来实现变异,解决了早熟和收敛速度慢的问题。在位置更新中,使用混沌映射替代固定参数,增强了灵活性和多样性,提高了全局寻优能力和求解效率。实验结果表明:在随机正则可满足性问题实例产生模型产生的不同规模算例上,所提算法的求解精度远远高于传统启发式算法;同时,与获奖的求解器相比,也具有一定的竞争力,验证了该算法的有效性。
- 杨澜王晓峰杨易谢志新赵星宇庞立超
- 关键词：混沌映射
