用于神经布尔可满足性问题求解器的新型消息传递网络

  

为优化端到端神经布尔可满足性问题（SAT）求解器的消息传递神经网络（MPNN）结构、减少求解过程中的迭代次数并提升求解器性能,提出一种更多更深的消息传递网络（MDMPN）。该网络通过引入整体消息传递模块,在每次消息传递迭代中实现从文字节点到子句节点的额外的整体消息传递,从而传递更多的消息。同时,引入消息跳跃模块,实现从文字节点到它的二阶邻居的消息传递,从而传递更深的消息。为了评估MDMPN的性能与泛化能力,将它应用于目前先进的神经SAT求解器QuerySAT和基础神经SAT求解器NeuroSAT。实验结果表明,在困难随机的3-SAT数据集上,应用MDMPN的QuerySAT的求解性能优于标准的QuerySAT,在求解包含600个变量迭代次数上限为2¹²的困难3-SAT问题上的准确率提高了46.12个百分点;应用MDMPN的NeuroSAT的求解性能也优于标准的NeuroSAT,在求解包含600个变量迭代次数上限为2¹²的困难3-SAT问题上的准确率提高了35.69个百分点。… …   相似文献

梁永濠;李金龙 《计算机应用》2025,(9):2934-2940

基于异构合约图多维度特征深度融合的漏洞检测方法

  

智能合约是在区块链上自动执行的代码,具有不可逆性且与金融交易密切相关,故其安全问题至关重要。然而,当前智能合约漏洞检测技术仍面临特征提取效率低、检测精度低以及过度依赖专家规则等问题。对此,提出一种基于异构合约图多维度特征深度融合的漏洞检测方法。首先,针对智能合约数据集的代码进行去… …   相似文献

周涛;杜永萍;谢润锋;韩红桂 《计算机科学》2025,52(9):368-375

面向迈创3000异构处理器的多头注意力机制多重并行优化

  

针对迈创3000(MT-3000)异构多核处理器在带宽不足场景下多头注意力(Multi-Head Attention, MHA)计算效率低的问题,本文提出了一套涵盖算子优化、访存优化与调度优化的综合方案,以加速Py Torch框架中的MHA推理。通过融合MT-3000的VLIW指… …   相似文献

路瑶;栾钟治;李根;齐家兴;韩斌;杨海龙;钱德沛 《计算机学报》2025,(9):2049-2063

针对KASLR绕过的脆弱性指令挖掘

下载全文  

现代操作系统采用内核地址空间随机化(KASLR)技术来抵御内核代码重用攻击。处理器微架构侧信道能够泄露内核代码段的页表信息,进而可以被用来绕过KASLR保护,但是现有研究局限于MOV, CMASKMOV, PREFETCHNTA和CLDEMOTE等少数的几条指令来探测内核地址,攻… …   相似文献

李周阳  邱朋飞  卿昱  王春露  汪东升 《电子与信息学报》2025,47(9):3241-3251

ARIA算法量子电路最新实现及抗量子安全性分析

下载全文  

随着量子计算的兴起与飞速发展, 它以其独特的并行计算能力和叠加特性冲击着传统密码算法的安全性。评估经典密码算法在量子计算环境下的抗量子攻击能力并设计出相应改进策略,已成为当前密码学领域的研究热点。该文以韩国分组密码算法标准ARIA为研究对象,基于塔域分解完成ARIA算法4种S盒的… …   相似文献

李灵琛  李沛  莫申勇  韦永壮  叶涛 《电子与信息学报》2025,47(9):3333-3345

基于个性化联邦强化学习的异构多微网能量调度

下载全文  

针对多智能体强化学习中隐私泄露及联邦强化学习在多微网设备异构环境下失效的问题, 提出一种基于个性化联邦强化学习的异构多区域微电网能量调度方法. 该方法将状态−动作对拆分为“私有”和“共有”两类, 分别输入模块化Critic网络中的私有解构层和公有解构层, 仅在公有层中部署联邦框架… …   相似文献

郭方洪  伍泽芃  杨淏  王雷  李国齐 《自动化学报》2025,51(9):2072-2084

基于渐进原型匹配的文本-动态图片跨模态检索算法

  

在社交和聊天场景中,用户不再局限于使用文字或emoji表情符号,而是采用语义更加丰富的静态或动态图片来进行交流。尽管现有的文本-动态图片检索算法取得了一定效果,但仍存在模态内和模态间缺乏细粒度交互,以及原型生成过程中缺乏全局引导的问题。为了解决上述问题,提出了一种全局敏感的渐进原… …   相似文献

彭姣;贺月;商笑然;胡塞尔;张博;常永娟;欧中洪;卢艳艳;姜丹;刘亚铎 《计算机科学》2025,52(9):276-281

基于细粒度知识选择的共情回复生成方法

  

共情对话任务在情感支持方面有着重要的作用,要求对话模型在生成流畅回复的同时体现对用户情感的共鸣。传统的共情对话工作往往更关注上下文级的粗粒度的情感信息,忽略话语级的情感意图信息,导致生成的回复与事实不符或共情效果不佳。为此,该文提出了一种基于细粒度知识选择的共情回复生成方法,该方… …   相似文献

林小龙;段瑞雪;张仰森;陈慧 《中文信息学报》2025,39(9):149-159

融合字形特征的法律文书命名实体识别方法

  

做好法律文书的实体识别可极大地帮助推动“智慧司法”,但目前对法律文书的命名实体识别存在着公共数据集缺乏、低频生僻和长实体识别效果不好、句法信息捕捉不足等问题。因此,该文针对民事案件提出了实体定义方案,构建了民事案件法律文书数据集,并且提出了GLYCE-ONLSTM-CRF（GOC）模型来识别法律文书的实体。该模型嵌入层基于BERT预训练模型并融合了汉字字形特征,再通过ONLSTM（Ordered Neuron Long Short Term Memory Networks）层学习句子的层级结构,最后通过条件随机场（CRF）算法输出结果。在构建的民事案件数据集上进行实验,测试集的F₁值提高了5.15%,证明了模型的优越性,为法律文书命名实体识别提供了新思路。… …   相似文献

杨长春;严鑫杰;顾晓清;马甜甜;贾音 《中文信息学报》2025,39(9):91-99

结合Kolmogorov-Arnold网络的高轨目标初轨确定

下载全文  

目的 作为空间态势感知的关键环节,高效且准确的初轨确定技术对于轨迹关联、卫星编目和异动感知等下游任务至关重要。传统方法通常依赖精确的动力学模型和充足的观测数据,但在短弧段条件下,物理约束不足易导致出现平凡解或方法不收敛的问题。尽管深度学习方法在数据拟合方面表现优异,但其对轨道动力… …   相似文献

刘宏宇;张余;张超群;陈果;尹继豪 《中国图象图形学报》2025,(9):2975-2987

基于跨模态图掩码和特征增强的推荐方法

  

提出了一种基于跨模态图掩码和特征增强的推荐方法;旨在减少传统多模态推荐系统中的数据噪声和解决多模态信息表达不足问题。该方法使用CLIP预训练模型提取语义一致性的文本和视觉特征;根据项目模态特征相似性建立项目-项目图;为项目表示提供语义丰富的上下文信息;设计跨模态图掩码重建方法;该… …   相似文献

《计算机科学与探索》2025,19(9)

以语言为媒介的遥感图像跨时空领域自适应语义分割

下载全文  

目的 随着视觉大模型的发展,利用多源无标注遥感影像预训练学习全局视觉特征,并在局部目标任务上进行迁移微调,已成为遥感影像领域自适应的一种新范式。然而,现有的全局预训练策略主要聚焦于学习低级的通用视觉特征,难以捕捉复杂、高层次的语义关联。此外,微调过程中使用的少量标注样本往往只反映… …   相似文献

陶超;郭鑫;胡柯彦;沈羽翔;王昊 《中国图象图形学报》2025,(9):3153-3170

结合多尺度注意力和自训练的超图聚类方法

下载全文  

单个较大的非均匀超图聚类旨在将非均匀超图包含的节点划分为多个簇,使得簇内节点越相似越好,簇间节点越不相似越好,具有广泛的应用前景.目前最优的基于超图神经网络的非均匀超图聚类模型MADC(Non-uniform hypergraph clustering combining mul… …   相似文献

刘志成;王慧颖;林晓丽;朱峰冉;郭宇恒;闫炳鑫;庞俊 《小型微型计算机系统》2025,(9):2066-2074

月球探测遥感影像匹配方法研究综述

下载全文  

  相似文献

杨义成;彭嫚;万文辉;邸凯昌;刘召芹;李禄 《中国图象图形学报》2025,30(9):2911-2942

多尺度信息系统下基于证据理论的三支多属性决策建模

下载全文  

多尺度信息系统为智能决策提供多个粒度层次的数据信息.本文旨在克服单尺度信息系统的局限,改进三支决策的主观性缺陷,并解决D-S证据理论在处理高度冲突证据时的矛盾问题,进而探索三支多属性决策方法.首先,提出基于熵权法的多尺度信息系统融合模型,以综合考虑各尺度的重要性.其次,将灰色关联… …   相似文献

李瑞;张超;李德玉 《小型微型计算机系统》2025,(9):2082-2089

FedDis: 异构灾难场景下联邦学习的生命监测系统

下载全文  

针对灾难动态变化场景中设备异构性导致模型训练效率低下,通信开销大限制下的实时响应能力,模型漂移使得全局模型在资源受限设备上表现不佳等问题提出了一种基于自适应蒸馏的联邦学习框架FedDis. FedDis采用ResNet-34作为基础生命监测模型,通过蒸馏反馈环引导的动态知识蒸馏机… …   相似文献

任世杰  赵长名  黄科荣  李善超 《计算机系统应用》2025,34(9):79-91

基于KLSTM的互信息视听情绪识别

下载全文  

针对视听情绪识别中如何高效融合音视频特征并准确提取时间依赖性情绪信息的问题,本研究提出了一种基于KLSTM(Kolmogorov-Arnold long short-term memory)的互信息视听情绪识别模型.利用互信息方法进行特征选择和自适应窗口处理,从音频和视频信号中提… …   相似文献

罗志鑫  刘知贵  唐荣  潘志祥  李理 《计算机系统应用》2025,34(9):112-119

基于时序注意力与交互动态图卷积的交通流预测

下载全文  

交通流预测是智能交通管理和缓解拥堵的重要任务.传统预测方法主要依赖统计方法,难以捕捉交通流中复杂的时空相关性.近年来,图神经网络(GNN)作为一种强有力的工具,在建模和预测交通流方面取得了显著进展.然而,现有的基于GNN的方法在捕捉交通流的动态时空相关性及其隐性交互关系上存在一定… …   相似文献

姚佳禹  徐文进  杨洪宁  杜珍珍 《计算机系统应用》2025,34(9):141-150

面向复杂可行域约束多目标优化问题的双种群协同进化算法

下载全文  

约束多目标优化问题主要考虑如何在复杂约束条件下同时优化多个相互冲突的目标, 其广泛存在于工程实践中. 解决多目标优化问题的关键在于约束满足和目标优化之间的平衡. 然而, 当问题具有复杂可行域时, 现有算法往往存在选择压力大小的矛盾: 若算法的选择压力较大, 种群容易陷入局部最优;… …   相似文献

丁炜超  孙立烨  罗飞  顾春华  董文波 《自动化学报》2025,51(9):2037-2057

利用循环预测执行机制实现新型瞬态执行攻击

下载全文  

现代处理器广泛采用的分支预测技术虽然提升了指令流水线效率,但其推测执行机制产生的瞬态执行窗口已成为攻击的突破口。该文对现代处理器的分支预测技术进行了详细的分析,并对X86指令集中的指令进行了瞬态窗口的测量,发现X86架构中基于RCX寄存器值进行分支预测的循环指令(LOOP, LO… …   相似文献

郭佳益  邱朋飞  苑洁  蓝泽如  王春露  张吉良  汪东升 《电子与信息学报》2025,47(9):3363-3373