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

  

为优化端到端神经布尔可满足性问题（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

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

下载全文  

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

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

基于Spark框架的RDD数据块增益感知缓存替换策略

下载全文  

缓存替换是Spark内存优化的一个研究热点和难点。然而;应用程序特征的多样性、内存资源的有限性以及缓存替换的不确定性对实现高系统执行性能构成了挑战。低效的缓存替换策略可能会导致不同的性能问题;如应用程序执行时间长;资源利用率低等。基于此;提出一种面向Spark大数据处理框架的弹性… …   相似文献

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

人工智能赋能地月空间感知技术现状及展望

下载全文  

随着深空探测的不断推进,地月空间已成为探月和深空任务的关键战略区域。面对日益增多的航天器及太空碎片数量,亟需先进的空间态势感知技术以实现对地月空间目标的精准监测与持续跟踪。传统方法因复杂动力学环境和远距离探测精度限制,难以满足高精度轨迹预测和目标识别的需求,制约了地月空间感知技术… …   相似文献

于登云;尹继豪;刘斯琦;王鹏;王汇娟;张余;姜鸿翔;陈培 《中国图象图形学报》2025,30(9):2899-2910

结合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

引入局部特征对齐和原型修正的少样本图像分类模型

下载全文  

少样本学习是目前机器学习领域研究的热点问题.其目标是学习一个具有良好泛化能力的模型,在面对新类别时,该模型能够利用少量的标注图像来掌握新类别的概念.本文针对现有少样本模型仅单独使用全局特征或单独使用局部特征导致的信息未能充分利用问题,以及未考虑噪声影响导致样本服从不同分布假设问题… …   相似文献

李平;宋琦;张锋 《小型微型计算机系统》2025,(9):2145-2152

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

下载全文  

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

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

随机计算应用与挑战概述

下载全文  

随机计算是一种以概率信号替代确定性二进制数值的新型计算范式,其核心在于将确定性数值映射为概率化比特数流,通过统计特性而非精确位权实现算术运算。相较于传统确定性数值计算,随机计算具有低硬件开销、高渐进精度与高容错性等优势,广泛应用于数字信号处理、神经网络加速及边缘计算。然而,该技术… …   相似文献

陈璐  王强源  钟坤材  张吉良 《电子与信息学报》2025,47(9):3010-3019