一阶逻辑定理证明器CSE中矛盾体分离式的简化方法

  

一阶逻辑自动定理证明器能够解决大量形式化后的实际问题,具有重要的应用价值。矛盾体分离演绎发展了自动定理证明领域经典的归结原理,具有更强的证明能力。在基于矛盾体分离规则的自动定理证明器CSE(Contradiction Separation Extension)的基础上,提出一种矛… …   相似文献

吴鑫;陈树伟;姜世攀 《计算机科学》2025,52(5):235-240

面向深度学习编译器TVM的算子融合优化

  

算子融合是深度学习编译器中的一种编译优化技术,能够将多个算子合并为一个大的算子,有效降低计算和访存的成本。深度学习编译器TVM的算子融合方案中将算子按照功能特性进行分类,并设计融合规则,最后采用贪心算法进行融合。这种融合方案存在以下问题:首先,功能特性的算子分类方式下的融合规则不… …   相似文献

《计算机科学》2025,52(5)

  

Considering the problem of traditional fractal (TF) features being difficult to achieve both high accuracy and fast speed in network traffic… …   相似文献

《通信学报》2025,46(5):258-271

  

To meet the strategic demand for independently controllable national information security and to ensure algorithm transparency and security,… …   相似文献

《通信学报》2025,46(5):15-28

基于BiLSTM-Attention的议论文篇章要素识别

下载全文  

篇章要素识别(discourse element identification)的主要任务是识别篇章要素单元并进行分类. 针对篇章要素识别对上下文依赖性理解不足的问题, 提出一种基于BiLSTM-Attention的识别篇章要素模型, 提高议论文篇章要素识别的准确率. 该模型利用… …   相似文献

刘佳旭  白再冉  张艳菊 《计算机系统应用》2025,34(5):202-211

基于增量信息交互的极小不可满足子集求解算法

  

极小不可满足子集（minimal unsatisfiable subset,MUS）的求解是理论计算机科学的重要问题. 由于MUS的个数随问题规模呈指数级增长,现有算法致力于在合适的时间限制内求解出尽可能多的MUS. 在庞大的搜索空间中,选择合适的节点来扩展可以大幅减小收缩和扩充… …   相似文献

蒋璐宇;欧阳丹彤;张奇;太然;张立明 《计算机研究与发展》2025,62(5):1226-1234

弹性梯度集成的概念漂移适应

  

随着流数据的大量涌现,概念漂移已成为流数据挖掘中备受关注且具有挑战性的重要问题. 目前,多数集成学习方法未针对性地识别概念漂移类型,并采取高效的集成适应策略,导致模型在不同漂移类型上的性能参差不齐. 为此,提出了一种弹性梯度集成的概念漂移适应（elastic gradient e… …   相似文献

郭虎升;张羽桐;王文剑 《计算机研究与发展》2025,62(5):1235-1247

以太网RDMA网卡综述

  

目前数据中心规模迅速扩大和网络带宽大幅度提升,传统软件网络协议栈的处理器开销较大,并且难以满足众多数据中心应用程序在吞吐、延迟等方面的需求. 远程直接内存访问（remote direct memory access,RDMA）技术采用零拷贝、内核旁路和处理器功能卸载等思想,能够高… …   相似文献

黄曼蒂;李韬;杨惠;李成龙;张毓涛;孙志刚 《计算机研究与发展》2025,62(5):1262-1289

基于改进YOLOv8的水稻病害检测

下载全文  

本研究提出了一种改进的YOLOv8模型(FCU-YOLOv8), 用于提升水稻病害检测的精度和效率, 以应对水稻病害种类繁多、背景复杂及病害间特征差异小等问题. 在YOLOv8主干网络的C2f模块基础上, 采用了FasterNeXt模块替换. FasterNeXt模块通过优化网络结构减少了计算量和内存访问量, 同时提高了特征提取的效率, 从而降低模型的推理成本. 设计了C3K模块(多尺度卷积模块)和CPSA模块(卷积注意力机制), 以进一步提升模型对病害区域的特征感知能力. C3K模块允许模型通过灵活的卷积核选择适应不同尺度的病害特征, 而CPSA模块利用注意力机制增强模型对关键信息的捕捉. 为了提升检测框的质量和对密集病害目标的检测效果, 模型采用了优化的UIoU (unified intersection over union)损失函数, 该函数在回归阶段通过平衡边界框的精确性与一致性来提升检测性能. 在自制的8种常见水稻病害图像数据集上, FCU-YOLOv8在多个性能指标上相较于原始YOLOv8有显著提升, 其中mAP@0.5指标达到94.7%, 相较于基线模型提升了2.4%, mAP@0.5:0.95指标达到了67.2%, 相较于基线模型提高3.3%, 在轻量化方面, 模型参数相较于基线模型降低了24.2%, 计算浮点数下降28.7%.与主流算法进行对比实验, 所提算法表现优于目前主流算法, 说明了该网络的有效性.… …   相似文献

聂俊  朱节中 《计算机系统应用》2025,34(5):124-137

基于主动−被动增量集成的概念漂移适应方法

下载全文  

数据流是一组随时间连续到来的数据序列, 在数据流不断产生的过程中, 由于各种因素的影响, 数据分布随时间推移可能以不可预测的方式发生变化, 这种现象称为概念漂移. 在漂移发生后, 当前模型需要及时响应数据流中的实时分布变化, 并有效处理不同类型的概念漂移, 从而避免模型泛化性能下… …   相似文献

祁晓博  陈佳明  史颖  亓慧  郭虎升  王文剑 《自动化学报》2025,51(5):1131-1144

无人飞行器集群自主控制专题序言

  

  相似文献

段海滨 《自动化学报》2025,51(5):903-904

EG-DPoS:基于演化博弈的DPoS优化共识算法

  

针对委托权益证明算法（DPoS）共识过程中;投票节点积极性不高、恶意节点贿赂拉票和代理节点按序出块易被攻击的问题;提出了一种基于演化博弈的DPoS优化共识算法（EG-DPoS）。引入信用机制构建节点投票激励模型;根据节点的投票情况给予信用值奖励;有效提高了节点的投票积极性;基于演… …   相似文献

刘勇;邓小鸿;刘力汇;石亦燃;张丽 《计算机科学与探索》2025,19(5):1379-1394

高速铁路多列车运行态势推演方法

下载全文  

多列车运行态势是列车调度员和司机分别调整运行图和列车驾驶策略的关键信息和重要依据, 表征各列车在未来运行各位置处的速度、加速度、通过时刻等信息. 然而, 由于高铁信号系统的交互信息利用率较低, 列车调度员和司机只能凭经验推演多列车运行态势, 基于此给出的运行图和列车驾驶策略的自动… …   相似文献

王荣笙  袁志明  闫璐  吕宜生  丁舒忻 《自动化学报》2025,51(5):1067-1079

基于Transformer和多关系图卷积网络的行人轨迹预测

  

在自动导航应用领域,行人轨迹相对复杂,有效且合理地预测行人未来轨迹对自动驾驶和出行安全至关重要。行人轨迹随机性和动态性极高且与交通环境有着复杂相互作用,因此需要对行人的时间依赖性和空间相互作用进行合理建模。为了解决该问题,提出了一种基于Transformer和多关系图卷积网络（G… …   相似文献

刘桂红;周宗润;孟祥福 《计算机科学与探索》2025,(5):1353-1364

融合自适应超图的自监督知识感知推荐模型

  

为缓解传统协同过滤推荐系统存在的冷启动问题,知识图谱作为一种辅助知识被引入到推荐系统中。然而,现有的知识图谱推荐模型在充分地建模高阶相互作用方面存在局限性,难以捕获来自高阶邻居的重要信息。此外,监督信号的稀疏性问题也影响着推荐系统性能。为了解决上述问题,提出一种融合自适应超图的自… …   相似文献

周家旋;柳先辉;赵晓东;侯文龙;赵卫东 《计算机科学与探索》2025,(5):1217-1229

草类植物无人机遥感图像中深度学习应用综述

  

草类植物入侵后争夺农作物生长所需的资源,严重影响农作物的产量和品质;蒿属植物等草类植物释放过敏性花粉引起人体过敏反应,影响人们的身体健康。因此将深度学习与无人机遥感技术相结合,并对草类植物进行高效识别与检测,在植物入侵预防、过敏原监测、农业生产管理等方面具有重要的现实意义。目前遥… …   相似文献

李少波;王晓强;郭利彪;红英;王志国 《计算机科学与探索》2025,(5):1157-1176

  

To address the challenges of excessive feature parameter redundancy and insufficient scene correlation in terahertz (THz) channel scenario r… …   相似文献

《通信学报》2025,46(5):91-102

基于双向拟合掩码重建的多模态自监督点云表示学习

下载全文  

点云自监督表示学习以无标签预训练的方式,探索三维拓扑几何空间结构关系并捕获特征表示,可应用至点云分类、分割以及物体探测等下游任务.为提升预训练模型的泛化性和鲁棒性,提出基于双向拟合掩码重建的多模态自监督点云表示学习方法,主要由3部分构成:(1)逆密度尺度指导下的“坏教师”模型通过… …   相似文献

程浩喆  祝继华  史鹏程  胡乃文  谢奕凡  李仕奇 《软件学报》2025,36(5):2094-2113

面向卷积神经网络泛化性和健壮性权衡的标签筛选方法

下载全文  

虽然卷积神经网络凭借优异的泛化性能被广泛应用在图像识别领域中,但被噪声污染的对抗样本可以轻松欺骗训练完全的网络模型,带来安全性的隐患.现有的许多防御方法虽然提高了模型的健壮性,但大多数不可避免地牺牲了模型的泛化性.为了缓解这一问题,提出了标签筛选权重参数正则化方法,在模型训练过程… …   相似文献

王益民  龙显忠  李云  熊健 《软件学报》2025,36(5):2114-2129

基于高斯混合多层自编码器的情感漂移检测模型

下载全文  

社交网络情感数据最为显著的特征是其动态性.针对群体文本情感漂移分析任务,提出一种高斯混合多层自编码器(GHVAE)用于情感漂移检测. GHVAE将高斯混合分布作为潜在分布的假设先验,对应潜在分布的多中心性质从而提高模型性能.此外,还对原始HVAE模型内建的漂移度量算法进行改进,改… …   相似文献

张文跃  李旸  王素格  廖健 《软件学报》2025,36(5):2064-2078