一阶逻辑定理证明器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

基于长期注意力的多维时间序列形态表征

下载全文  

多维时间序列数据广泛应用于多个领域, 对其有效的表征对下游分析与挖掘任务至关重要. 传统形态元变换方法通过将单维时间序列投影到形态元空间再行融合的方式进行特征提取, 未考虑不同维度时序间的复杂的耦合关系, 同时形态元长度的限制也妨碍了序列上长程依赖关系的获取. 针对这些问题, 提… …   相似文献

朱潇凌  陈黎飞 《计算机系统应用》2025,34(5):96-106

OpenPlanner：一个开源的时间敏感网络流量规划器

  

时间敏感网络（time-sensitive networking, TSN）在工业控制、航空电子和车载网络中具有广泛的应用前景.TSN流量规划是在拓扑结构、网络资源、设备能力和业务需求等多维约束下,为TSN交换机计算关键帧的无冲突发送时刻的过程,规划问题是一个NP完全问题. 目前… …   相似文献

姜旭艳;全巍;付文文;张小亮;孙志刚 《计算机研究与发展》2025,62(5):1307-1329

四元数神经网络的通用近似与逼近优势

  

四元数神经网络将实值神经网络推广到了四元数代数中,其在偏振合成孔径雷达奇异点补偿、口语理解、机器人控制等任务中取得了比实值神经网络更高的精度或更快的收敛速度. 四元数神经网络的性能在实验中已得到广泛验证,但四元数神经网络的理论性质及其相较于实值神经网络的优势研究较少. 从表示能力… …   相似文献

吴锦辉;姜远 《计算机研究与发展》2025,62(5):1205-1215

基于深度哈希的多模态临床数据相似病例检索

下载全文  

随着电子健康档案(EHR)的普及, 相似患者检索已成为支持辅助诊断和制定治疗计划等临床决策的重要任务. 然而, EHR 数据具有高维度、异构性且数量大的特点. 为了有效整合多模态临床数据并实现高效检索, 本文提出了一种基于深度哈希的多模态临床数据相似病例检索模型——MCDF. 该模型根据不同模态数据的特性, 将结构化文本数据、非结构化文本数据、图像数据分别使用多层感知机(multi-layer perceptron, MLP)模型、BioBERT、BioMedCLIP进行特征提取, 并通过自注意力机制模块进行特征融合. 利用三元组损失函数引导模型直接生成能够有效代表样本的哈希码, 通过哈希码快速比对实现样本检索, 不仅能提高检索的准确性, 还能显著提升检索效率. 本文基于公开数据集MIMIC-III, 采用归一化折扣累计收益均值(MNDCG)和均值平均精度(MAP)作为评价指标, 将MCDF模型与传统哈希方法(如spectral hashing)和先进哈希方法(如deep hashing network)进行比较. 实验结果显示, MCDF模型的表现优于所有基线模型, 验证了本文提出模型的优越性.… …   相似文献

谢明朗  袁贞明  施军平  田昕 《计算机系统应用》2025,34(5):173-184