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

下载全文  

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

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

鲁棒的前后向隐私联合对称可搜索加密方案

下载全文  

动态对称可搜索加密允许用户安全地搜索和动态更新存储在半可信云服务器中的加密文档, 近年来备受关注. 然而, 现有多数对称可搜索加密方案仅支持单关键词搜索, 无法在实现联合搜索的同时满足前向和后向隐私. 此外, 多数方案不具有鲁棒性, 即无法处理客户端重复添加或删除某个关键词/文件… …   相似文献

张文琪  李雄  尹智明  梁伟  黄可  张小松 《软件学报》2025,36(8):3858-3882

面向混合负载的图存储系统

下载全文  

图在各种应用中扮演着至关重要的角色,广泛用于建模实体之间的关系.图面临的工作负载可分为事务型工作负载和分析型工作负载.许多应用场景需要同时处理这两类工作负载.然而,大多数现有的图存储系统只针对其中一种工作负载进行了优化,无法同时高效地处理两类工作负载.为了解决这一问题,本文提出了… …   相似文献

赵鹏程  吕敏 《计算机系统应用》2025,34(8):93-104

基于双重扩散模型的图像恢复模型

下载全文  

由于扩散模型对数据分布建模的卓越能力,基于扩散模型的图像恢复方法表现出色并获得了广泛关注。针对当前基于扩散模型的图像恢复方法中存在的噪声随机扰动以及数据一致性等问题,提出了一种图像恢复模型rddIRM,在传统的噪声扩散的基础上加入残差扩散,实现双重扩散效果。噪声扩散对待恢复图像的… …   相似文献

李鹏  惠健  朱佩佩 《计算机应用研究》2025,42(8)

生物启发的运动人群瓶颈效应感知视觉神经网络

下载全文  

在大型活动中,人群瓶颈效应是常导致拥挤甚至踩踏等灾难事件的重要前兆。然而目前针对人群瓶颈效应检测的计算模型研究工作较少,且由于这种效应随机性强、人群状态复杂多变,传统的计算模型检测效果并不理想。为解决这一问题,在借鉴蝗虫视觉系统神经结构特性的基础上,结合蝗虫LGMD危险感知机理,… …   相似文献

陆显佩  胡滨 《计算机应用研究》2025,42(8)

基于二跳邻居的分布式大规模混合多智能体系统一致性协议

下载全文  

分布式多智能体系统(MAS)一致性是实现协调控制的首要条件。多智能体一致性协议通常使用一跳邻域信息进行收敛,每个智能体仅通过有限的局部信息导致收敛速度缓慢。为解决上述问题提出了一种基于二跳邻居的分布式一致性协议。首先,提出方法综合一跳和二跳的邻域信息作为计算智能体的下一状态的基础… …   相似文献

谢光强  冯衍达  李杨 《计算机应用研究》2025,42(8)

基于辅助行为去噪的多行为推荐

下载全文  

多行为推荐(MBR)系统通过辅助行为分析用户偏好,以缓解数据稀疏性并提高推荐准确性。然而,先前工作使用随机初始化的用户和物品嵌入,无法提供良好的信息价值,也未考虑到在行为嵌入聚合中存在的噪音,以及辅助行为交互序列中的噪声。为了解决这些问题,提出了一种基于辅助行为去噪的多行为推荐模… …   相似文献

陈文浩  陈媛  朱小飞 《计算机应用研究》2025,42(8)

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

下载全文  

航天器故障诊断通常通过判读遥测参数实现,然而,遥测到的时间序列数据由航天器各个关键设备采集,呈非独立同分布（non-independent identically distribution, Non-IID）,传统的联邦学习方法在面对此类数据时,会因为局部模型更新导致模型偏移。针对上述问题,提出联邦优化算法——联邦对比时序诊断FclTAD,主要通过分析航天器Non-IID时序数据,判断某时刻航天器是否存在异常,能及时进行干预。首先建立了联邦对比时序诊断算法,算法分为局部更新和全局聚合两阶段,局部更新利用自编码器,有效捕捉时间序列中的长期依赖和非线性关系,引入联合对比正则化损失,增强模型故障诊断的判别能力;其次考虑传感器之间的差异,全局聚合阶段,通过规范化和加权聚合策略,适当修正不一致的局部更新,减少错误更新对全局模型的负面影响。最后,利用NASA公开数据集MSL和SMAP以及机器预测服务器数据集（PSM）进行仿真实验。实验结果表明,所提出的方法与其他方法相比,在航天器Non-IID时序数据故障诊断精确度可提高约14.37%,调整后F₁值提高约7.82%,在保护航天器数据隐私的同时,既考虑了“客户漂移”问题,又较好地利用了局部和全局模型的内在关系。… …   相似文献

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

智能物联网中高效安全的自适应量化联邦学习

下载全文  

针对现有自适应量化联邦学习存在参与者本地模型参数隐私泄露的问题,提出一种适合智能物联网的高效安全的自适应量化联邦学习方案。该方案利用自适应量化技术减少参与者的通信开销,设置两个聚合服务器,将Diffie-Hellman密钥交换协议、秘密共享方案和不经意传输协议相结合,构造一种保护… …   相似文献

马海英  沈金宇  杨天玲  仇健  王占君b 《计算机应用研究》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