单分支线性约束循环程序的终止性分析

下载全文  

秩函数法是循环终止性分析的主要方法,秩函数的存在表明了循环程序是可终止的.针对单分支线性约束循环程序,提出一种方法对此类循环的终止性进行分析.基于增函数法向空间的计算,该方法将原程序空间上的秩函数计算问题归结为其子空间上的秩函数计算问题.实验结果表明,该方法能有效验证现有文献中大… …   相似文献

李轶  唐桐 《软件学报》2024,35(3):1307-1320

基于AMOWOA的区域综合能源系统运行优化调度

下载全文  

目前, 智能优化算法已广泛应用于工程优化中, 在当前多能耦合与互补的能源发展趋势下, 仅考虑系统经济指标的单目标优化模式已经不再适用于目前区域综合能源系统(Integrated energy system, IES)的运行优化调度, 需要研究一种多目标运行策略来解决区域综合能源系… …   相似文献

韩永明  王新鲁  耿志强  朱群雄  毕帅  张红斌 《自动化学报》2024,50(3):576-588

结合局部全局特征与多尺度交互的三维多器官分割网络

下载全文  

目的 高度适形放射治疗是常用的癌症治疗方法,该方法的有效性依赖于对癌组织和周边多个危及器官（organ at risk,OAR）解剖结构的精确刻画,因此研究三维图像多器官的高精度自动分割具有重要意义。以视觉Transformer(vision Transformer,ViT)和卷… …   相似文献

柴静雯  李安康  张浩  马泳  梅晓光  马佳义 《中国图象图形学报》2024,29(3):655-669

一种基于算法机制设计的社会法则合成方法

下载全文  

社会法则是在多Agent系统中为确立某种目标属性而对各个Agent实施的行为限制集合.在Agent具有“个体理性”及“私有信息”的“策略情况”下,社会法则合成问题不应建模成通常的优化问题,而应建模成算法机制设计问题.“最小化副作用”经常是社会法则需要满足的基本要求.从博弈论的角度来看,“最小化副作用”与“最大化社会福利”的概念紧密相关,可以将“最小化副作用的社会法则合成”建模为一种效率机制设计问题.不仅需要为给定目标属性找到有效且社会福利最大的社会法则,还需要向Agent支付适当的金额,以实现激励相容性和个体理性.首先基于VCG机制设计一种名叫VCG-SLM的效率机制,证明它可满足所有必需的形式属性.然而,由于发现可证明该机制的计算是一个FP^NP-完全问题,针对性地提出该机制的一种基于整数规划的实现方式VCG-SLM-ILP,基于ATL语义将分配及支付的计算转化为整数规划,并严格地证明其正确性,从而可有效利用目前已非常成熟的工业级整数规划求解器,成功解决棘手的机制计算问题.… …   相似文献

吴骏  曹杰  王崇骏  谢俊元 《软件学报》2024,35(3):1440-1465

基于多视图自编码器的多被试者脑影像功能校准

  

  相似文献

《计算机科学》2024,51(3)

解纠缠邻域信息聚合的知识图谱补全方法

下载全文  

针对现有基于图神经网络的知识补全模型在处理知识图谱异构性上的不足,及大部分模型采用单一静态实体表示方式导致的模型表达能力受限问题,提出一种基于图注意力网络的解纠缠邻域信息聚合模型。首先,该模型通过学习每个实体的解纠缠表示,对实体的潜在影响因子进行多组件表示。其次,利用注意力机制,… …   相似文献

马浩凯 《计算机应用研究》2024,41(3):772-778

云环境下实现容器部署的加速粒子群优化算法

下载全文  

基于容器的微服务部署是一个具有挑战性的问题,为获得更好的用户体验并给云供应商带来更多的利润,需要在降低微服务的故障率和减少响应时间的同时提高资源利用率。提出了一种改进的加速粒子群优化算法,用于解决集群中微服务容器部署的多目标优化问题。该算法通过考虑微服务之间的调用关系,使得容器聚… …   相似文献

陆海锋  赵嘉凌  欧阳学名  周娜琴  左利云 《计算机应用研究》2024,41(3):756-763

基于混沌反向学习和水波算法改进的白鲸优化算法

下载全文  

针对原始的白鲸算法(beluga whale optimization, BWO)在某些情况下,中后期的探索和开发能力不足、多样性和求解精度降低、容易陷入局部最优等问题,提出一种基于混沌反向学习和水波算法改进的白鲸优化算法(TWBWO),进一步提高白鲸算法的计算精度和收敛速度,增… …   相似文献

王亚辉  张虎晨  王学兵 《计算机应用研究》2024,41(3):729-735

结合对抗训练和特征混合的孪生网络防御模型

下载全文  

神经网络模型容易受到对抗样本攻击。针对当前防御方法侧重改进模型结构或模型仅使用对抗训练方法导致防御类型单一且损害模型分类能力、效率低下的问题,提出结合对抗训练和特征混合训练孪生神经网络模型(SS-ResNet18)的方法。该方法通过线性插值混合训练集样本数据,使用残差注意力模块搭… …   相似文献

张新君  程雨晴 《计算机应用研究》2024,41(3):905-910

基于注意力-生成对抗网络的任务分析方法研究

  

合理的任务分析可帮助分析者快速、准确地进行任务规划,目前使用案例推理方法进行任务分析存在分析时间长、分析结果准确性较低等问题。针对该问题,提出了基于注意力-生成对抗网络的任务分析方法。以长短时记忆网络(LSTM)为生成器、循环神经网络(RNN)为判别器,针对离散数据细微梯度的更新… …   相似文献

周琳茹  彭鹏菲 《计算机科学》2024,51(3):63-71

基于深度学习的眼底血管图像分割研究进展

下载全文  

眼底血管图像分割对青光眼、糖尿病视网膜病变等多种眼部疾病有较好的辅助诊断作用,目前深度学习因其强大的抽象特征发现能力,有望满足人们从眼底血管图像中提取特征信息进行图像自动分割的需求,成为眼底血管图像分割领域的研究热点.为更好把握该领域的研究进展,本文对相关数据集和评价指标整理归纳… …   相似文献

贺鑫  王晓燕  周启香  张文凯 《计算机系统应用》2024,33(3):12-23

基于JAYA算法的紫外光通信无人机编队路由优化

下载全文  

紫外光通信由于其灵活性高、安全性好和全天候工作等优点,被认为是应急通信用无人机编队(UAV)的有潜力通信解决方案。为了提升紫外光通信无人机编队的有效作业时间,该文基于低功耗自适应集簇分层(LEACH)算法,并结合JAYA智能优化算法提出一种新颖的路由优化算法(RJLEACH)。该… …   相似文献

郝锐  王建萍  陈丹阳  路慧敏 《电子与信息学报》2024,46(3):848-857

基于信息熵与闭合频繁序列的密码协议逆向方法

  

未知密码协议被广泛用于敏感信息的安全传输,对其进行逆向分析对攻防双方都具有重要意义.为从网络流量中推断结构复杂的密码协议格式,提出了一种基于信息熵与闭合频繁序列的密码协议逆向方法.利用字节信息熵划分报文的明文域与密文域,使用BIDE算法挖掘闭合频繁序列,划分报文的动态域和静态域;… …   相似文献

梁晨  洪征  吴礼发  吉庆兵 《计算机科学》2024,51(3):326-334

抽象语义表示解析方法研究综述

  

句子级语义分析是自然语言处理(NLP)的核心任务,面临复杂语义的表示问题。抽象语义表示(AMR)突破浅层局限,实现了领域无关的整句通用语义表示,具备准确表征句子完整语义的能力。因为AMR解析效果会影响下游NLP任务的表现,所以解析方法成为近年的国内外研究热点。由于时效性因素,既有… …   相似文献

尹华  卢懿亮  季跃蕾  吴梓浩  彭亚男 《中文信息学报》2024,38(3):1-23

云边端架构下边缘智能计算关键问题综述：计算优化与计算卸载

下载全文  

近年来,随着入网设备数量与数据体量的急剧增加,以云计算为代表的中心式计算模式的缺点越来越显露出来。边缘计算,即让计算尽量靠近数据源,以减少数据传输时间和网络延迟,作为云计算的补充,已经成为学术界和工业界关注的焦点。该文面向边缘计算中应用较广的实例架构—云边端架构,以及边缘计算的典… …   相似文献

董裕民  张静  谢昌佐  李子扬 《电子与信息学报》2024,46(3):765-776

基于多维动态拓扑学习图卷积的骨架动作识别

  

图卷积由于其对图数据的强大表示能力被广泛应用于基于骨架的动作识别任务中.但是现有的图卷积方法在所有帧或通道上都使用共享的图拓扑进行特征聚合,这极大限制了图卷积网络的表示能力.为了解决这些问题,本文提出多维动态拓扑学习图卷积用于动态建模具有时序与通道特异性的拓扑结构.多维动态拓扑学… …   相似文献

罗会兰  曹立京 《电子学报》2024,52(3):991-1001

HMFuzzer:一种基于人机协同的物联网设备固件漏洞挖掘方案

  

模糊测试是一种针对物联网设备固件漏洞挖掘的主流方法,能够先攻击者一步发现安全威胁,提升物联网设备的安全性.但是目前大部分的模糊测试技术关注于如何自动化地实现漏洞挖掘,忽略了专家经验对于设备固件漏洞挖掘工作的优势.本文提出一种基于人机协同的物联网设备固件漏洞挖掘方案HMFuzzer… …   相似文献

况博裕  张兆博  杨善权  苏铓  付安民 《计算机学报》2024,47(3):703-716

结合注意力和多路径融合的实时肺结节检测算法

  

现有单阶段目标检测算法在肺结节检测中结节检出不敏感,卷积神经网络(CNN)在特征提取时多次上采样导致微小结节特征提取困难、检测效果差,并且现存肺结节检测算法模型复杂,不利于实际应用部署落地.针对上述问题,提出一种结合注意力机制和多路径融合的实时肺结节检测算法,并在此基础上改进上采… …   相似文献

赵奎  仇慧琪  李旭  徐知非 《计算机应用》2024,44(3):945-952

模糊认知图学习算法及应用综述

下载全文  

模糊认知图(Fuzzy cognitive map, FCM)是建立在认知图和模糊集理论上的一类代表性的软计算理论, 兼具神经网络和模糊决策两者的优势, 已成功地应用于复杂系统建模和时间序列分析等众多领域. 学习权重矩阵是基于模糊认知图建模的首要任务, 是模糊认知图研究领域的焦… …   相似文献

刘晓倩  张英俊  秦家虎  李卓凡  梁伟玲  李宗溪 《自动化学报》2024,50(3):450-474

基于在线学习稀疏特征的大规模多目标进化算法

  

大规模稀疏多目标优化问题(Sparse Multiobjective Optimization Problems,SMOPs)广泛存在于现实世界.为大规模SMOPs提出通用的解决方法,对于进化计算、控制论和机器学习等领域中的问题解决都具有推动作用.由于SMOPs具有高维决策空间和… …   相似文献

高梦琦  冯翔  虞慧群  王梦灵 《计算机科学》2024,51(3):56-62