实时系统中基于测量的概率时序分析:模型、方法与验证

下载全文  

随着嵌入式实时系统复杂度提升,传统最坏情况执行时间分析面临挑战,推动研究者采用概率统计技术解决时序分析问题.本文首先了概述概率时序分析方法的发展历程,探讨了验证模型选择对分析结果的影响.然后介绍极值理论在时序分析中的应用,并特别关注了从独立同分布到非独立同分布系统的理论扩展.由于… …   相似文献

《小型微型计算机系统》2025,46(11):2807-2816

基于粗糙超立方的联邦进化特征选择算法

下载全文  

特征选择是机器学习领域中数据降维的有效手段.在大数据时代,数据安全成为了当今社会中备受关注的问题,如何在隐私保护的前提下完成特征选择任务是亟需解决的一个挑战性科学问题.粗糙超立方是一种结合粗糙集理论和超立方学习的不确定性近似计算模型,通过引入有监督的信息粒化技术和多重特征评估准则… …   相似文献

陈雪颖;罗川;李天瑞;陈红梅 《计算机研究与发展》2025,62(11):2710-2724

外部知识增强的事件共指消解方法

下载全文  

由于语言表述的多样性和复杂性,事件共指关系有时是通过事件描述之间潜在的关联性体现的.已有方法大多仅基于触发词、论元等事件内部信息采用语义相似度计算方法进行事件共指消解,难以处理上述问题.为此,提出了一种外部知识增强的事件共指消解方法,通过运用大语言模型生成共指相关外部知识(主要包… …   相似文献

徐昇  李培峰  朱巧明 《软件学报》2025,36(11):5158-5177

基于异构图注意力网络的实体对齐

下载全文  

实体对齐(entity alignment, EA)旨在寻找不同知识图谱(knowledge graph, KG)中等价实体.目前,基于嵌入的EA方法存在以下局限性.首先, KG中的异构结构没有完全建模.其次,文本信息的使用受限于词嵌入.第三,对齐推理算法缺乏探索.针对上述限制,… …   相似文献

孙琛琛  金钰媛  申德荣  聂铁铮  寇月 《软件学报》2025,36(11):5197-5212

基于可编程交换机的网络安全研究进展

下载全文  

随着云计算、移动互联网和人工智能等网络应用的快速发展,网络攻击和威胁日益增多和复杂化,这要求网络安全防御技术能够有效地防御网络攻击,保障关键基础设施网络的安全.传统基于专有中间件的防御技术能够通过专有硬件实现高性能,然而这些防御措施成本高昂,部署新的防御通常需要升级设备.基于软件… …   相似文献

邹志凯  张梦豪  李冠宇  杨任宇  沃天宇  胡春明  徐明伟 《软件学报》2025,36(11):5274-5295

基于结构熵的属性图异常检测

下载全文  

属性图越来越多地用于描述带有关联关系的数据,其异常检测日益受到关注.由于属性图具有属性信息丰富、结构信息复杂等特点,存在全局、结构和社区等多种类型的异常,且异常特性往往隐藏于图的深度结构信息中,现有方法仍存在结构信息丢失、异常节点检测困难等问题.结构信息论使用编码树表示数据中的层… …   相似文献

吴江豪  段亮  岳昆  李昂生  杨培忠 《软件学报》2025,36(11):5031-5044

基于语义分析的小程序代码与隐私声明一致性检测

下载全文  

小程序需要为用户提供隐私声明,告知要使用的隐私信息种类和目的.代码与隐私声明不一致的小程序可能会欺骗用户导致用户隐私泄露.现有一致性检测方法中,将二者转为预设的标签进行一致性判断的方法会损失信息导致漏报,而仅依靠代码分析的方法也难以应对混淆处理的小程序代码.针对上述问题,提出基于… …   相似文献

刘力沛  毛剑  林其箫  吕雨松  李嘉维  刘建伟 《软件学报》2025,36(11):5102-5117

智能合约法律化原则与转化验证模型

下载全文  

日常民事纠纷中合同类案件占比高,数量多.传统纸质合同存在的查阅困难、管理不便等问题,已经严重影响了合同执行和纠纷处理的效率.作为一种执行合同条款的计算机协议,智能合约凭借其自动化执行,去中心化和不可篡改的优势,为法律合同的执行处理提供了新的可能.但智能合约依赖于严格的编程逻辑,缺… …   相似文献

李任翔  蒋忠元  高胜  钱肖  沈秀轩  刘柄呈  陶梅悦  马建峰 《软件学报》2025,36(11):5296-5333

时间触发的机载无线通信网络确定性调度理论

下载全文  

为了满足航空器经济性的制造需求,降低航空器内部的有效载荷,使用无线代替有线已经成为机载网络转型升级的重要方向,然而传统无线技术难以满足机载网络中时间敏感业务的实时性传输需求.因此,通过明确机载无线通信网络(airborne wireless communication netwo… …   相似文献

文秦  李士宁  许江炜  纪源  肖林杰  李一鸣  程涛 《软件学报》2025,36(11):5334-5355

基于偏差扩散与双流对比学习的工业异常检测方法

  

工业外观异常检测在智能制造与品质管控中具有重要意义,但受限于异常样本稀缺和分布多样化,现有方法在多类别场景中容易出现重建失真或特征混淆,导致异常定位不准确.为此,文中提出基于偏差扩散与双流对比学习的工业异常检测方法,在潜在空间中通过偏差扩散模型直接学习从含噪特征到正常特征的“偏离… …   相似文献

朱圣;张亚飞;李华锋 《模式识别与人工智能》2025,38(11):986-998

基于网络流量探测的加密矿池特征识别方法

下载全文  

针对目前国内隐匿型挖矿活动以加密流量为主,无法直接从报文流量解析发现加密矿池相关特征等问题,提出了一种基于网络流量探测的加密矿池或代理节点发现及其关键特征解析分析方法。通过模拟加密矿工实际的挖矿流量,将特定的多种流量注入至加密矿池或代理节点中,通过融合网络安全监测、区块链数据分析… …   相似文献

史博轩  毛洪亮  林绅文 《计算机应用研究》2025,42(11)

时空上下文感知的下一个POI推荐方法

下载全文  

随着基于位置的社交网络的快速发展,下一个PoI(point of interest)推荐已成为推荐领域的研究热点。然而现有研究模型忽略了PoI的时空特征以及上下文信息对下一个PoI推荐的效果。针对该问题,提出一种时空上下文感知的下一个PoI推荐方法。首先,利用图注意力网络(GAT… …   相似文献

海燕  王静  刘志中 《计算机应用研究》2025,42(11)

区块链辅助的电力物联网中可信小区域任务卸载

下载全文  

随着分布式能源的广泛普及和高效利用,电力物联网中智能终端的部署规模持续扩大,无序且多变的电力业务急剧增加,导致高优先级任务难以得到及时可靠的处理。针对这一问题,提出了一种基于区块链技术的电力物联网优化模型,引入了高优先级可信小区域机制,根据历史交互信息计算服务器的信任值,将高优先… …   相似文献

冷承凤  覃团发  郭文豪  冼世轩  胡永乐 《计算机应用研究》2025,42(11)

面向函数图像数据的多模态大模型训练策略

下载全文  

近年来,多模态大语言模型经历了快速发展,并在各种多模态下游任务中展现了卓越的性能。然而,当前主流的多模态大语言模型在函数图像推理任务中的表现仍不尽如人意,这要求模型不仅具备强大的视觉感知能力,还需进行链式思维推理,以准确理解和解答涉及数学函数的问题。为了解决这些问题,首先构建了一… …   相似文献

明一博  陈彦敏  赵嘉璐 《计算机应用研究》2025,42(11)

多分支骨架特征输入下的歧义行为识别

下载全文  

基于骨架的人体动作识别是计算机视觉中的一个重要研究课题,其核心在于提取和学习具有区分度的骨架特征,以实现高精度的动作分类。但是由于歧义行为的存在,严重影响了分类识别的准确性,为此,围绕数据优化与计算复杂度降低,以及时空特征精细化建模两个核心方向提出两项关键创新。首先在数据输入的初… …   相似文献

王超亚  韩华 《计算机应用研究》2025,42(11)

分槽聚合元路径信息的异质网络图对比学习方法

下载全文  

异质信息网络中由于节点类型各异,邻居信息在聚合前需投影到相同特征空间,这易导致语义混淆;同时,节点特征学习过程常面临局部拓扑结构特征与全局语义信息难以有效融合的问题。为此,提出一种分槽聚合元路径信息的异质网络图对比学习(stack-based metapath aggregati… …   相似文献

闫光辉  权思洁  罗浩 《计算机应用研究》2025,42(11)

基于Mamba空间注意力与通道交互注意力模块的双路径脑肿瘤分割方法

下载全文  

脑肿瘤病变区域的有效管理依赖于对脑肿瘤图像的精确分割。现有方法对全局空间信息建模能力有限,且未能充分捕捉不同模态特征间的内在联系。基于此,提出了一种基于Mamba空间注意力和通道交互注意力单元的双路径脑肿瘤分割方法,该方法的网络编码器由一系列空间-通道双路注意力单元组成;此单元包括三个子模块：双向Mamba空间位置信息注意力模块,旨在增强网络对长依赖的建模能力,同时保持较低的计算负担;通道交互注意力模块能够学习不同模态间的特征关系,提高对通道信息的敏感性;最后使用两级融合模块整合子模块输出。所提方法在公开数据集BraTs21上达到84.29%（Dice）、88.08%（F₁-score）、75.80%（MIoU）,优于多种主流分割方法,验证了该方法的有效性。… …   相似文献

李冰  刘彦 《计算机应用研究》2025,42(11)

混合专家大语言模型的系统与架构优化技术综述

下载全文  

混合专家已经成为当前进一步提升大语言模型推理能力的重要方法。当下,受限于算力与显存,通过扩大稠密大语言模型参数规模来提高模型推理能力的方法已经陷入瓶颈,即全参数激活带来了严重的显存与算力不足问题。混合专家机制通过构建由多个专家子网络组成的分布“知识库”,在提升大语言模型参数规模的… …   相似文献

王泽昊  朱振华  谢童欣  汪玉 《电子与信息学报》2025,47(11):4055-4078

空间-通道注意力协同的精炼特征知识蒸馏

下载全文  

知识蒸馏通过传递教师模型知识提升学生模型性能. 然而对于轻量化的学生模型而言, 全盘吸收教师特征图内的隐含知识是困难的, 为此本文提出一种基于空间-通道注意力精炼的协同蒸馏方法(SCAR-KD), 通过从原始特征图中提炼关键判别信息, 缓解学生与教师的语义分歧. 具体而言, 本文… …   相似文献

叶超越  钟良琪  闫胜业 《计算机系统应用》2025,34(11):270-278

FE-DARFormer:基于频域增强与退化感知路由Transformer的图像去雪模型

  

图像去雪的目标是从包含复杂雪景退化的图像中恢复清晰的场景信息。与雨的规律性和半透明性不同,雪具有各种退化形态和尺度,严重退化的区域会严重遮挡场景信息。近年来,许多方法通过自注意力机制来恢复不同的退化现象。然而,对图像所有区域进行全局自注意力计算成本较高。为了降低计算成本,这些方法… …   相似文献

秦溢;战鹏祥;鲜峰;柳晨龙;王明辉 《计算机科学》2025,(11):113-122