基于分层Transformer的相同时间戳错误修复

下载全文  

在流程挖掘领域,众多流程操作高度依赖于事件日志中精确的时间戳信息.因此,与时间戳相关的质量问题影响尤为显著,特别是相同时间戳错误,这种错误会引发误导性的流程见解,进而造成严重的流程偏差.现有研究在处理此类错误时,缺乏对事件间长期依赖关系以及属性间潜在关联性的充分考量,在一定程度上… …   相似文献

徐猛  谢凯 《计算机系统应用》2025,34(8):217-227

因果时空语义驱动的深度强化学习抽象建模方法

下载全文  

随着智能信息物理融合系统(Intelligent Cyber-physical System, ICPS)的快速发展,智能技术在感知、决策、规控等方面的应用日益广泛.其中,深度强化学习因其在处理复杂的动态环境方面的高效性,已被广泛用于ICPS的控制组件中.然而,由于运行环境的开放… …   相似文献

田丽丽  杜德慧  聂基辉  陈逸康  李荥达 《软件学报》2025,36(8):3637-3654

可编程数据平面DDoS检测与防御机制

下载全文  

传统的分布式拒绝服务攻击(DDoS)检测与防御机制需要对网络流量进行镜像、采集以及远程集中式的攻击特征分析, 这直接造成额外的性能开销, 无法满足高性能网络的实时安全防护需求. 随着可编程交换机等新型网络设备的发展, 可编程数据平面能力得到增强, 为直接在数据面进行高性能的DDo… …   相似文献

武文浩  张磊磊  潘恒  李恩晗  周建二  李振宇 《软件学报》2025,36(8):3831-3857

基于联邦对比学习的航天器故障诊断

  

航天器故障诊断通常通过判读遥测参数实现,然而,遥测到的时间序列数据由航天器各个关键设备采集,呈非独立同分布（non-independent identically distribution,Non-IID）,传统的联邦学习方法在面对此类数据时,会因为局部模型更新导致模型偏移。针对… …   相似文献

杨夏洁  林子谦  徐丹丹  尤艳丽  樊重俊 《计算机应用研究》2025,42(8)

GhostFunc: 一种针对Rust操作系统内核的验证方法

下载全文  

操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分unsafe代码段,无法从根本上保证语言层面的安全性,因而针对unsafe代码段的验证对于保证Rust构建的内核正确可靠尤为重要.本文以某使用Rust构建的微内核为对象,提出了GhostFunc的safe和unsafe代码段组合验证方法,将两类代码段采用不同层级的抽象,使用GhostFunc进行组合验证.本文针对任务管理与调度模块,基于λ_Rust 形式化了Arc<T>等unsafe代码段,并给出了形式化GhostFunc的具体实现,完成了此方法的验证实例.本文所有验证工作基于定理证明的方法,在Coq中采用Iris分离逻辑框架完成了正确性的验证.… …   相似文献

何韬  董威  文艳军 《软件学报》2025,36(8):3494-3511

Fast-USYN:从酉矩阵到高质量量子电路的快速合成方法

下载全文  

当前的量子程序一般由量子电路表示,由多个量子门组成.如果程序包含了被直接表示为酉矩阵的门,需要将这些量子门转化为基本门所构成的量子电路.该步骤被称为量子电路合成.然而,当前的合成方法可能会生成包含数千个门的量子电路.这些量子电路的质量较低,在部署到真实含噪声的量子硬件时非常容易输出错误的结果.此外,在保证门数量较小的情况下,当量子比特数量增至8时,量子电路合成需要数周甚至数月的时间.在这项工作中,本研究提出了一种量子电路合成方法,实现了从酉矩阵到高质量量子电路的快速合成.本研究首先介绍了一种迭代方法,通过插入电路模块来逼近目标酉矩阵.在迭代中,文章提出一种具有奖励机制的前瞻策略减少冗余量子门.在量子电路合成的加速过程中,本研究为了减少候选电路模块的空间,提出了一种剪枝方法,其首先描述每个候选电路模块的闭包来刻画电路的表示空间,然后基于模块的表示空间重叠率进行剪枝,以此构建了一个小而高质量的候选集合.此外,为了减少搜索最优门参数的开销,本研究将选定的候选与目标酉矩阵打包成统一电路,然后通过计算其在基态上的期望来快速获得近似距离.实验证明,与当前的最优的量子电路合成方法QuCT^[1]和QFAST^[9]相比,本研究在5比特到8比特量子电路合成中实现了1.6-2.7倍的门数量减少和3.7-20.6倍的加速.… …   相似文献

谭思危  卢丽强  郎聪亮  陈明帅  尹建伟 《软件学报》2025,36(8)

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

下载全文  

同步数据流语言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)

区块链边缘节点安全架构P-Dledger

  

针对区块链边缘节点的部署环境开放、安全措施薄弱、易受到安全攻击;以及计算和网络资源不足等问题;提出一种基于可信执行环境（TEE）的区块链安全架构P-Dledger。该架构通过构建两阶段的信任链;在满足软件便捷迭代的基础上;确保加载部件的可信;通过实现智能合约可信执行框架以及基于串… …   相似文献

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

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

  

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

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

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

  

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

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

基于多尺度卷积融合编码网络的调制识别方法

  

为了解决现有调制识别方法因特征提取不足而难以获得高准确率的问题,提出了一种基于Transformer架构的调制识别方法。该模型通过使用不同尺寸的卷积核,增强了对信号多尺度特征的提取能力,并将这些特征进行融合,以提升模型的特征学习能力,降低后续处理对计算资源的需求。同时,利用多头自… …   相似文献

李国军;朱思源;郑建忠;王杰;叶昌荣 《通信学报》2025,46(8):78-89

水下无线传感器网络节点定位方案综述

  

水下无线传感器网络中节点的高精度定位技术是保障海洋监测与灾害预警等关键任务数据可靠性的基础,但其定位误差可能引发数据偏差甚至系统功能失效等连锁风险。为此,系统梳理了当前水下定位技术的研究进展,围绕传统算法、深度学习模型与强化学习策略3类代表性方法展开综述,对其基本原理、性能特点及… …   相似文献

羊秋玲;唐智超;朱荣鑫;李文洁;程亮亮;黄向党 《通信学报》2025,46(8):225-240

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

  

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

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

基于边缘动态事件触发的在线分布式复合Bandit优化算法

下载全文  

研究带宽受限的非平衡有向多智能体网络环境下的在线分布式复合Bandit优化问题.该问题中每个智能体的局部目标函数具有复合结构:其一为梯度信息不可获取的时变损失函数,其二为具有特定结构的正则化项.为应对网络带宽的受限,设计具有控制因子的边缘动态事件触发通信协议,以降低通信开销.同时,针对局部损失函数梯度信息难以获取的挑战,分别引入单点和两点梯度估计方法,以支撑损失函数梯度信息的获取.基于此,结合近端算子,分别设计仅要求加权邻接矩阵满足行随机性质的在线分布式复合单点和两点Bandit优化算法,并使用动态遗憾指标分析两种算法的收敛性.结果表明,在合理的假设和参数设定下,两种算法在期望意义下分别可获得■的动态遗憾上界,其中K是总迭代次数,P_K是路径变差度量.进一步,当P_K能够被提前估计时,两种算法分别可获得■的期望动态遗憾上界.最后,通过对在线分布式岭回归问题的仿真实验,验证了算法的收敛性以及理论结果的正确性.… …   相似文献

熊梦辉;杨春雨;赵建国;张保勇;袁德明 《自动化学报》2025,(8):1811-1828

基于伪影提示的稀疏角度CT金属伪影校正方法

下载全文  

联合稀疏角度CT重建和金属伪影校正任务旨在通过受金属迹污染的少视角投影数据重建高质量的CT图像.现有稀疏角度CT重建方法和金属伪影校正方法通常依赖于CT图像或投影数据,但其存在临床投影数据难以获取和校正精度差的问题.为解决这些问题,提出一种基于伪影提示Transformer的图像… …   相似文献

石保顺;舒元飞;姜轲;苏月明 《自动化学报》2025,(8):1800-1810

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

下载全文  

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

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

自适应学习图结构的多模态会话情感识别算法

下载全文  

会话是一种时序性与内部关联性极强的数据类型,不合理的建模方式往往会对会话情感识别任务的效果产生负面影响.由于会话具有天然的图结构,将会话建模为图,并使用图卷积神经网络（GCN）来提取会话信息是一种常用方法,但是天然获得的图结构往往存在大量噪声或者有缺失连接的情况,这会损害GCN的… …   相似文献

董嘉巍;刘娜;袁野;李磊;胡云鑫;任钦泽;李清都 《小型微型计算机系统》2025,46(8):1886-1892