基于下推自动机的同步数据流语言可信编译方法

下载全文  

同步数据流语言Lustre是安全关键系统开发中常用的开发语言,其现存的官方代码生成器和SCADE的KCG代码生成器既没有经过形式化验证,对用户也处于黑盒状态.近年来,通过证明源代码和目标代码的等价性间接证明编译器的正确性的翻译确认方法被证明是成功的.基于下推自动机的编译方法和基于… …   相似文献

于涛  王珊珊  徐芊卉  董晓晗  胡代金  罗杰  杨溢龙  吕江花  马殿富 《软件学报》2025,36(8)

面向指纹室内定位的高鲁棒性集成对抗训练方法

  

针对指纹室内定位模型容易遭受对抗样本攻击以及传统对抗训练资源开销大、泛化能力弱等问题,提出了一种基于数据增强与蒸馏技术的集成对抗防御方法EDEAD。该方法利用数据蒸馏技术改善增广数据的质量,融合提前停止算法节省训练成本,并引入相干性梯度对齐损失项增强子模型对抗响应一致性的同时保持… …   相似文献

张学军;李梅;陈惠;王国华 《通信学报》2025,46(8):105-118

  

Aiming at multiple challenges such as dynamic topology changes, difficulties in trust transmission, and privacy leakage faced by the space-a… …   相似文献

《通信学报》2025,46(8):256-275

基于跨尺度注意力网络的胸部疾病分类方法

  

从胸部X光片中自动识别胸部疾病是计算机辅助诊断的重要研究领域。然而;现有的许多胸部疾病分类方法在处理病变区域大小差异方面存在困难;并且无法准确识别和定位不同疾病的病变区域。针对上述问题;提出一种基于跨尺度注意力网络（CANet）的胸部疾病分类方法。该方法使用DenseNet-121作为特征提取网络;并集成自感知注意力（SAA）、向上聚焦注意力（UFA）和向下引导注意力（DGA）3个主要模块。SAA模块通过提取与胸部疾病相关的通道和异常区域信息;细化空间位置上的病理特征;并减少不相关区域的干扰。为了实现不同尺度空间上下文信息的跨尺度交互;使用UFA和DGA模块进行图像特征校准。此外;提出空间注意力金字塔池化（SAPP）模块用于融合不同特征图的多尺度特征;从而提高胸部疾病的检测性能。在ChestX-ray14和DR-Pneumonia数据集上的实验结果表明;所提方法的平均曲线下面积（AUC）值分别达到了83.4%和82.6%;优于DualCheXNet、A³Net和CheXGAT等方法。具体地;与CheXGAT方法相比;所提方法的平均AUC值分别提高了0.7和0.1个百分点。可见;所提方法可以识别胸部X光片中的重要信息;有效提高了胸部疾病分类的性能。… …   相似文献

《计算机应用》2025,45(8)

基于分布增强的深度变分文本聚类模型

  

针对深度变分文本聚类模型在实际应用中遇到的分布信息缺失和分布坍塌问题;提出一种基于分布增强的深度变分文本聚类模型（DVCMD）。该模型通过分布信息增强的方法;整合增强潜在语义分布至原始潜在语义分布;从而提高潜在分布的信息完整性和准确性;同时;采用分布一致性约束策略促使模型学习一致… …   相似文献

《计算机应用》2025,45(8)

面向主机入侵检测的多视图对抗攻击防御方法

  

主机入侵检测（HID）旨在通过分析主机日志识别攻击行为。针对图神经网络模型在主机入侵检测中易受对抗攻击的问题,提出一种多视图对抗防御方法。通过构建结构与行为双视图以融合多维特征,筛选低迁移性互补模型对,并设计分级投票机制集成异构模型决策,从而提升检测鲁棒性。基于真实的主机内核日志… …   相似文献

王飞;钱可涵;吕明琪;朱添田;陈鸿龙 《通信学报》2025,46(8):53-65

数字孪生辅助下基于D3QN的车载网络协同卸载算法

  

为应对车辆边缘计算中拓扑高动态、任务多样性及低时延约束等挑战,提出一种数字孪生辅助下基于D3QN的车载网络协同卸载算法。首先,构建数字孪生网络以实现交通状态的动态建模,融合车辆时空与资源信息,区别于传统静态聚类策略,提升协作分簇稳定性并缩小策略搜索空间。其次,基于任务的可分解性构… …   相似文献

陈赓;宋政翰;夏聪慧;曾庆田 《通信学报》2025,(8):90-104

双粒度空间存储位置调整的历史轨迹索引

下载全文  

为了支持历史轨迹数据的查询,通过学习型索引取代传统索引以减小索引存储代价和提升查询效率受到广泛关注.时空轨迹数据的分布不均匀,单粒度的模型不能兼容疏密不一致的轨迹数据;如果为每个周期数据分别构建一个模型,模型总存储大小线性增长;如果只维护一个模型,模型性能通常会随着历史轨迹的增多… …   相似文献

李彩云;韩京宇;缪祝青;王彦之;毛毅;张怡婷 《小型微型计算机系统》2025,46(8):1838-1846

结合对比学习和提示调优的层次文本分类方法

下载全文  

层次文本分类是文本分类领域一项重要的子任务,但复杂的标签层次结构使其具有挑战性.目前最先进的方法通过预训练语言模型对文本进行编码,并结合图编码器处理标签结构信息.但是,独立建模文本和标签信息可能导致信息利用率不高,预训练和微调阶段的不同策略也限制了模型挖掘预训练模型的知识.本文提… …   相似文献

郑诚;纪子威 《小型微型计算机系统》2025,46(8):1878-1885

融合胶囊网络的双向自适应序列推荐算法

下载全文  

序列推荐算法可以通过对用户的交互序列进行建模来预测用户下一步交互的项目.但是现有的大多数序列推荐算法仅仅简单地将项目的位置嵌入和时间嵌入相加,这并不能体现位置和时间在不同场景下对于项目的重要性.此外,目前已有的研究经常忽视用户的多样化兴趣,未能有效捕捉他们的多种潜在兴趣.因此,该… …   相似文献

张睿琦;汪海涛;贺建峰;陈星 《小型微型计算机系统》2025,46(8):1893-1900

结合多尺度特征增强与记忆引导Transformer的遥感图像描述算法

下载全文  

为解决传统的遥感图像描述算法对图像多尺度信息利用不充分的问题,本文提出了结合多尺度特征增强与记忆引导Transformer的遥感图像描述生成算法（MFE MGT）.首先,利用预训练的视觉特征提取器提取图像特征,并将卷积神经网络中浅层与深层的特征进行拼接;其次,通过多尺度特征增强模… …   相似文献

姚志远;桑国明;张益嘉 《小型微型计算机系统》2025,46(8):1978-1985

采用三输入和混合注意力机制的残差颌骨囊肿分类网络

下载全文  

锥形束CT（Cone Beam CT,CBCT）对诊断成釉细胞瘤与牙源性角化囊肿至关重要,两种疾病在影像学上的表现较为相似,在鉴别诊断上非常困难.针对这一问题,本文提出了一种基于三通道输入和混合注意力机制的残差颌骨囊肿分类网络（THRNet）.该方法以ResNet50作为基线网络… …   相似文献

周克伟;王远军;刘玉 《小型微型计算机系统》2025,46(8):2000-2006

基于情感引导-扩散模型的藏族音乐生成网络

  

人工智能技术在音乐创作领域取得了显著进展,但针对藏族音乐自动生成的研究仍相对匮乏。现有研究在藏族音乐生成中主要面临三个挑战：缺乏特定情感的表达能力、高维特征处理效率低下,以及音乐上下文一致性不足。为解决上述问题,提出一种基于情感引导的扩散模型（emotion-driven dif… …   相似文献

宋子牛  彭春燕  王龙辉  郑钰辉 《计算机应用研究》2025,42(8)

增强现实机器人的虚实同步手势交互方法

  

针对增强现实场景下,动态人机交互的感知能力差、同步精度低、执行效率低等问题,建立了增强现实机器人虚实同步交互架构,提出了虚实同步手势交互方法。首先,提出手势识别与虚实坐标映射方法,利用姿态解析与正/逆运动学矩阵将手势姿态映射到机器人关节,完成虚实同步的双向控制,提升系统的可操作性… …   相似文献

王振宇  许驰  李琳  洪悦 《计算机应用研究》2025,42(8)

基于污点分析的移动端深度学习模型泄露自动分析方法

  

现有的移动端深度学习模型泄露分析方法依赖于移动端应用动态运行和人工触发深度学习功能,具有不稳定性且需要大量人工参与,限制了分析方法的使用范围。为了更加自动化地分析更多深度学习模型,提出了一种基于污点分析的移动端深度学习模型泄露自动分析方法。该方法综合使用关键字匹配和熵值判定技术提… …   相似文献

朱文天  林璟锵  管乐 《计算机应用研究》2025,42(8)

基于多智能体深度强化学习的海上风电传感器节点能效优化

  

海上风电场的高效运行依赖于无线传感器网络提供的监测数据。通过对现有研究中传感器节点部署与通信进行调查,指出了当前海上风电场景下无线传感器节点部署通信时能效优化研究不充分的问题。针对海上风电机组无线传感器网络的能效优化问题,设计了一种基于多智能体深度确定性策略梯度算法的优化方案。考… …   相似文献

贾林朋  王霄  何志琴  吴钦木  尹曜华 《计算机应用研究》2025,42(8)

基于多分辨率模块度的约束Louvain社区检测算法

  

针对Louvain算法的分辨率存在极限的问题,提出一种基于多分辨率模块度（multi-resolution modularity,MRQ）的Louvain社区检测算法,在Louvain算法中加入一个可变分辨率模块MRQ,有效解决了Louvain算法分辨率存在极限的问题。在此基础上… …   相似文献

张震  靳金帅 《计算机应用研究》2025,42(8)

融合知识图谱的大语言模型研究综述

  

大语言模型在多个垂直领域应用中展现出卓越性能,但其生成内容存在可解释性不足与幻觉问题,严重制约实际部署。而知识图谱以结构化语义网络形式存储事实知识,为增强大语言模型的可控性与知识约束提供了新路径。为此,系统梳理知识图谱与大语言模型融合的技术路线,从预训练、模型架构改造、微调优化三… …   相似文献

曹荣荣  柳林  于艳东  王海龙 《计算机应用研究》2025,42(8)

一种融合数据新鲜度的联邦学习动态激励机制

  

在多轮联邦学习中,训练环境不断变化,基于多智能体强化学习（MARL）的激励机制通过自适应动态调整数据贡献策略,能够更好地适应动态环境。然而,现有基于MARL的激励机制在贡献评估时主要关注数据量,忽视了数据新鲜度,导致贡献评估不全面,限制了整体收益和模型性能。针对这一问题,提出了一… …   相似文献

达吾列·金恩斯别克  王轶  周喜  王晓博 《计算机应用研究》2025,42(8)

基于动态时间窗格的数据仓库流批一体优化方法

  

数据仓库是企业数据管理核心,批处理和流处理是大数据分析的两种核心数据处理范式。为了解决传统批处理技术产出时延和资源消耗高的问题,以及流处理技术在处理多流数据关联和历史数据计算时面临的数据质量挑战,提出了一种流批一体处理方法。所提方法通过分析数据集在不同时间窗格中的变化,融合了基于… …   相似文献

陈滨林  唐小勇 《计算机应用研究》2025,42(8)