摘要:在数据异构应用场景中,现有联邦学习存在客户端本地训练速度低、聚合后模型稳定性差等问题,基于此,提出一种面向数据异构的聚类抽样个性化联邦学习算法(Personalized Federated Learning with Clustered Sampling for non-IID dataset, pFedCS)加快其训练速度,提高模型准确度。该算法通过在本地训练过程中引入正则化损失函数,防止本地模型与全局模型参数产生较大偏差;并提出一种基于相似度的聚类方法将客户端进行聚类,根据每一类客户端样本数量,确定其抽样权重,然后,从该类中选出具有代表性的客户端参与模型聚合,当某一类样本数量较少时,对其进行抽样,增强样本的多样性,以便更好地捕捉全局数据分布的特征。实验结果表明,在MNIST和Synthetic两类数据集上,pFedCS相较于FedAvg、Per-FedAvg、FedProx和FedTC具有更高的准确率和更快的收敛速度。
摘要:为了解决不同管理域实体之间身份互认困难的问题,设计一种基于随机摆渡的跨链身份信息互认机制(Cross-blockchain Authenticating Mechanism based on Random Ferrying, CAMRF)。该机制首先通过改进的PageRank算法从普通节点中筛选高信誉候选摆渡节点;然后基于可验证随机函数(VRF)生成共识随机数,动态选举摆渡节点组作为公证人组;最后,由该组节点转发、签名和认证跨域消息,并采用BLS(Boneh-Lynn-Shacham)轻量级聚合签名技术验证消息的真实性与有效性,克服了传统机制存在的中心化依赖强、安全性低的问题。理论分析和实验表明,CAMRF机制具有高互操作性,能有效提高跨域身份认证的安全性和可靠性,具有一定的理论意义和较高的实用价值。
摘要:矛盾体分离规则,作为一种突破传统二元归结框架的多元演绎方法,为自动推理领域开辟了新的研究内容。为提高多元演绎的证明能力和效率,本文将子句集中的子句分为单元子句与非单元子句,给出了单元子句在矛盾体分离规则中的演绎性质,设计了一种单元子句选择策略,能较好地规划单元子句参与多元演绎的顺序;提出了一种基于单元子句的多元矛盾体分离动态演绎算法,有效提升单元子句进行多元演绎的推理能力。将提出的多元演绎算法应用于国际顶尖证明器Eprover3.2和国际知名证明器Prover9中,形成UCSDA_Eprover3.2证明器和UCSDA_P证明器,以2023年和2024年国际证明器竞赛例为测试对象(分别为500个)进行测试,结果表明,UCSDA_Eprover3.2在定理证明能力方面相较于Eprover3.2表现更优,分别多证明了15个和14个定理,且分别能证明Eprover3.2未能证明的17个和15个定理;针对2023年国际证明器竞赛例,UCSDA_P比Prover9多证明定理71个,占Prover9证明总数的53.38%;为进一步验证该算法能有效判定难问题,以TPTP(Thousands of Problems for Theorem Provers)库中rating为1的问题作为测试集,UCSDA_Eprover3.2证明了其他所有证明器未证明的8个定理。
摘要:目标检测是计算机视觉的基石,在医疗成像、工业缺陷检测、自动驾驶和农业监测等领域有着广泛的应用。YOLO(You Only Look Once)作为单阶段目标检测的开创性算法,以其卓越的实时性和高效性成为计算机视觉领域的核心技术。从2016年YOLOv1的首次亮相到2025年YOLOv12的发布,YOLO通过持续优化网络架构、改进损失函数设计和创新数据增强策略,显著提升了检测性能和应用适配性。本文系统回顾了YOLO长达十年的发展历程,分析了其在不同领域的应用,并探讨了其快速发展背后的驱动力,包括深度学习技术的突破、开源社区的广泛协作以及对实时性和边缘计算的迫切需求。与双阶段算法(如Faster R-CNN)和基于Transformer的方法(如DETR)相比,YOLO在速度和工程部署上展现出显著优势,但在小目标检测、密集场景处理和复杂背景下的鲁棒性方面仍面临挑战。未来YOLO或可通过整合轻量级Transformer模块、优化多任务学习框架以及引入生成式AI增强数据多样性,有望进一步提升精度和场景适应能力。