嵌入式软件IP通用模型

下载全文  

软件IP(intellectual property)是具有知识产权的可复用的软件知识实体,是软件智能合成的基石.针对嵌入式系统的关键特性,提出了面向嵌入式系统的软件IP通用模型,包括知识模型、形式模型和实现,并且讨论了它们三者之间的一致性关系.与目前的主流模型相比,该方法充分考… …   相似文献

徐雄  马旭  高强  计泽坤  王淑灵  詹博华  詹乃军  李晓锋  顾斌  董晓刚  杨孟飞  刘洋  冀振燕 《软件学报》2026,37(3):1240-1263

LSMDiskANN: 更新友好型磁盘向量索引框架

下载全文  

在大模型时代,向量数据库的广泛应用推动了向量索引规模的急剧膨胀.如何在磁盘级向量索引中高效支持大规模向量的更新操作,并同时提供高性能的查询服务,已成为近年来的重要研究课题.针对当前领先算法FreshDiskANN在查询与更新混合负载场景中面临的查询吞吐瓶颈和极端查询延迟过高等问题… …   相似文献

邱海浪  彭煜玮  彭智勇 《软件学报》2026,37(3):1058-1083

基于层次化特征融合的输电线路外破检测

下载全文  

输电线路通道环境复杂, 各类外破隐患目标在拍摄角度、观测距离等因素影响下尺度差异显著, 进而导致模型在多样化风险目标识别中精度较低, 错检与漏检问题突出. 为解决上述问题, 提出一种基于层次化特征融合的输电线路外破检测方法. 该方法以RT-DETR模型为基础, 通过引入轻量化的C… …   相似文献

朱跃飞  程旭  刘庆程 《计算机系统应用》2026,35(3):231-241

基于Transformer扩散模型的高动态通信信号生成

下载全文  

通信信号生成是小样本、少样本条件下智能通信系统设计与优化的重要支撑. 针对静态环境, 当前设计的信号生成方法具有较好效果, 但其固定生成机制难以有效捕捉动态场景中快速演变的细微时空特征, 导致生成信号的一致性与准确性下降. 针对该问题, 本文提出了一种基于Transformer扩… …   相似文献

丁泽全  魏祥麟  杨凌升 《计算机系统应用》2026,35(3):195-209

基于扩散模型的小样本入侵检测

下载全文  

针对新型网络攻击初始阶段样本稀缺导致入侵检测模型泛化能力不足、检测效果差等问题, 本文提出一种基于扩散模型的小样本入侵检测方法. 该方法在数据增强层面构建噪声感知的条件扩散模型, 采用余弦噪声调度平衡生成效率与样本质量, 并通过残差连接增强特征传播稳定性, 从而提升合成流量数据的… …   相似文献

王舒淋  林宏刚  李鹏亮 《计算机系统应用》2026,35(3):23-31

基于多源信息结构化序列建模的药物推荐方法

下载全文  

药物推荐旨在依据患者的临床问诊信息,制定出最适宜的药物治疗方案.然而,现有的药物推荐方法往往缺少对患者问诊序列中纵向和结构化特征的有效挖掘.针对这一问题,提出了一种端到端的基于多源信息结构化序列建模的药物推荐方法.具体地,该方法首先构建了高效的压缩编码器来刻画细粒度的EHR编码信… …   相似文献

邹鑫  唐厂  刘新旺  郑晓  刘袁缘  安山 《软件学报》2026,37(3):1374-1392

检索增强生成在软件工程中的应用综述

下载全文  

检索增强生成(retrieval-augmented generation, RAG)通过融合信息检索与语言生成模型,显著提升代码生成、补全、程序修复等软件工程下游任务的性能.随着RAG在软件工程领域的迅速发展,研究者难以全面掌握其最新的进展、面临的挑战及未来的潜在机遇.为此,系… …   相似文献

张犬俊  谢杨  房春荣  虞圣呈  赵源  陈振宇 《软件学报》2026,37(3):1316-1339

GoVector: I/O-高效的高维向量近邻查询缓存策略

下载全文  

基于图结构的高维向量索引(索引图)因其高效的近似最近邻搜索能力,已成为大规模向量检索的主流方法.索引图执行近似最近邻搜索(approximate nearest neighbor search, ANNS)的过程分为两个阶段:第1阶段从入口点出发快速定位到查询向量附近区域;第2阶… …   相似文献

周依杰  林圣原  巩树凤  余松  范书豪  张岩峰  于戈 《软件学报》2026,37(3):1021-1036

权重残差向量量化: 向量压缩与分层索引结构

下载全文  

随着多源异构数据、多模态等在大模型和数据湖等场景的广泛应用,基于向量的数据检索和存储管理显著增长.通过将异构数据映射为高维向量表示,并以向量索引为基础,向量数据库将多种数据类型统一管理和高质量相似性检索,成为生成式检索和AI数据库等重要基础.然而,现有向量数据库在存储索引效率、索… …   相似文献

江宇轩  姚俊杰  侯宇轩 《软件学报》2026,37(3):1104-1120

基于信息共享的改进双归档高维多目标进化算法

下载全文  

高维多目标优化问题(many-objective optimization problem, MaOP)广泛存在于科学研究和工程应用领域.受高维目标冲突引起的非支配解集数量呈指数增加影响,传统的多目标进化算法在求解MaOP时面临计算复杂度增加、解质量降低等困难.为此,提出一种基于… …   相似文献

丁炜超  李佳宁  顾春华  刘佳豪  董文波 《软件学报》2026,37(3):1143-1169

Top-k不相交对比模式挖掘

下载全文  

对比模式挖掘专注于识别不同类别数据库之间具有显著差异的模式,然而,现有的对比序列模式挖掘算法需要用户预先设置频繁阈值,导致最终的对比模式分类准确度难以达到理想效果;而且基于对比度的挖掘算法不满足反单调性,不能使用模式连接策略生成候选模式.为了解决上述问题,本文提出Top-k不相交… …   相似文献

王小丫;武优西;王月华;李艳 《小型微型计算机系统》2026,(3)

求助者动态模拟驱动的情感支持对话评估

下载全文  

近年来,许多研究关注情感支持模型的设计,但模型评估方法限于文本生成任务的通用指标,并不能直观反映真实交互中的情感支持能力.一些研究通过开展人工交互式评估弥补这一缺陷,然而需要的成本过大.为了自动化衡量情感支持能力,本文设计了一种能够模拟情感支持交互过程的评估方法,提出基于求助者状… …   相似文献

邵怡阳;张鹏;卢暾;顾宁 《小型微型计算机系统》2026,(3)

实体匹配策略驱动的增强社交网络表示学习框架

下载全文  

社交网络因其建模用户行为和关系的能力,被广泛应用于社交挖掘与推荐系统等领域.然而,仅依赖社交网络表示可能因缺乏用户背景信息而导致描述片面化,从而影响下游任务的性能.为此,本文引入知识图谱作为外部知识,与社交网络进行融合以实现信息补充.针对融合过程中存在的数据异质性和嵌入空间不一致… …   相似文献

温志鹏;杜航原;王文剑 《小型微型计算机系统》2026,(3)

ReL4:高性能异步微内核设计与实现

下载全文  

微内核在安全性、稳定性和模块化方面相比于宏内核有着极大的优势.然而以seL4为代表的现代微内核在设计上有3点缺陷：1)在支持同步进程间通信(IPC)的情况下冗余地支持了异步通知,这违背了微内核的最小化原则;2)通知机制依赖内核的转发;3)系统调用和同步IPC需要频繁地进出内核,后… …   相似文献

廖东海;陆慧梅;陈伟豪;赵方亮;向勇 《小型微型计算机系统》2026,(3)

融合条件独立采样与对数似然对数秩比机制优化的生成中文文本检测

下载全文  

随着人工智能技术的飞速发展,以ChatGPT为代表的生成式人工智能大模型深刻地改变了人类的生活,同时也对生成内容检测技术提出了更高要求.相较英文生成文本,中文生成文本检测研究起步较晚,资源相对匮乏.基于零样本学习思想,提出融合条件独立采样与对数似然对数秩比(LRR)机制优化的人工… …   相似文献

朴明庆;罗文华;杨凯杰 《小型微型计算机系统》2026,(3)

融合参考向量更新的约束高维多目标进化算法

下载全文  

为有效解决约束高维多目标优化问题,本文提出了一种新型的融合参考向量更新的双种群双阶段进化算法WDPEA-RVU,旨在高维空间中有效平衡可行性、收敛性和多样性.首先,算法采用双种群双阶段机制,通过辅助种群与主要种群的信息交流,实现全局搜索与局部集中的有效协作.其次,针对在高维空间中… …   相似文献

李俊;刘伟康;吴颖波;陈黎 《小型微型计算机系统》2026,(3)

多模态注意力机制驱动的恶意代码检测方法

下载全文  

传统恶意代码检测方法难以应对多样化变体问题.为此,本文提出了一种基于多模态特征融合与注意力机制的恶意代码检测模型.该模型首先将恶意代码样本转化为灰度图像和对应文本表示,充分保留其静态特征.接着,利用卷积神经网络和多头自注意力机制分别提取图像和文本的多层次特征进行特征级融合,并通过… …   相似文献

赵学健;王文浩;王浩然;蒋应瑞 《小型微型计算机系统》2026,(3)

基于虚拟力鲸鱼算法的船舶无线传感器网络覆盖优化方法

下载全文  

在船舶制造环境中,无线信号容易受金属墙壁屏蔽和多路径效应影响,导致船舱内的无线传感器网络覆盖率下降,影响节点对环境信息的有效感知.为优化传感器节点部署以最大化网络覆盖率,本论文针对船舶制造环境中的无线传感器网络信号覆盖问题,提出一种基于虚拟力鲸鱼融合算法的优化方法.首先,建立了考… …   相似文献

尹震宇;李硕;张飞青;徐光远;马雷乐;李东吉 《小型微型计算机系统》2026,(3)

PCS-TransUNet:基于多维度注意力机制与空间金字塔池化的医学图像分割

下载全文  

医学图像分割在疾病诊断与治疗中具有关键作用,精准分割可为临床医生提供重要决策支持.然而,传统U-Net架构及其Transformer变体在捕获图像位置信息、通道特征和空间信息方面存在局限性,同时在参数效率和计算精度上仍有改进空间.为此,本文提出了一种基于多维度注意力机制与空间金字… …   相似文献

颜美丽;瞿绍军 《小型微型计算机系统》2026,(3)

超椭球障碍下移动机器人预定义时间跟踪控制

下载全文  

针对复杂环境下移动机器人轨迹跟踪与避障控制问题,提出了一种基于控制障碍函数（Control Barrier Functions, CBF）—控制李雅普诺夫函数（Control Lyapunov Functions, CLF）优化框架的预设时间轨迹跟踪控制方法.在安全区域,基于预定义时间收敛定理设计一种光滑、有界的时变虚拟控制律,给出具有预定义时间收敛特性的控制律解析解.在避障区域,引入超椭球约束拟合复杂几何障碍,并构建线性化CBF,以降低求解复杂性.其次,引入松弛变量改进CLF,结合CBF将问题转化到线性凸二次规划框架下求解,实现避障与跟踪性能的平衡.仿真结果表明,该方法能在预设时间T_c内将跟踪误差收敛到μm级（1.3μm内）,同时在安全裕度内避开复杂障碍,在规避障碍后跟踪误差限制在1.2T_c内收敛.对比实验进一步验证了该方法的精准度和控制效率.… …   相似文献

寇雯彬;张奇祥;罗晶;沈国鑫;唐必伟 《小型微型计算机系统》2026,(3)