用户名:
密码:
找回密码
中文版
English
本站信箱
收藏本站
本网介绍
省份
北京
天津
河北
山西
山东
内蒙古
湖北
湖南
河南
江西
上海
江苏
浙江
安徽
广东
广西
海南
福建
黑龙江
吉林
辽宁
陕西
甘肃
新疆
青海
宁夏
四川
重庆
贵州
云南
西藏
港澳台
城市
首页
加盟期刊
收录期刊
评价中心
文献导读
期刊动态
博客美文
问题解答
在线订阅
新浪微博
RSS
网站动态:
中国计算机期刊网介绍
欢迎关注中国计算机期刊网微信订阅号!
中国计算机期刊网正式发布,欢迎访问!
如何申请成为收录期刊和加盟期刊
按
任意字段
标题
关键词
摘要
作者姓名
作者单位
基金项目
杂志名称
ISSN号
分类号
被引次数
DOI
文章编号
检索 检索词:
高级检索
排序:
相关度
OA
时间
被引次数
点击次数
下载次数
共有10000条符合
的查询结果,以下是第1241-1260项 搜索用时 132 毫秒
[首页]
« 上一页
[58]
[59]
[60]
[61]
[62]
63
[64]
[65]
[66]
[67]
[68]
下一页 »
末 页»
1241.
基于混成自动机路径过滤与动态选择的CPS系统反例生成
下载全文
信息物理融合系统(Cyber-Physical Systems, CPS)在安全攸关领域具有广泛的应用,保障其安全性至关重要.形式化验证是证明系统安全性的有效手段,但在现实世界中的复杂CPS系统上应用仍面临挑战.因此,反例生成的方法被提出,旨在通过寻找系统中违背安全规约的反例行为… …
相似文献
王佳宛
刘熹橦
卜磊
李宣东
《软件学报》
2025,36(8):3587-3603
1242.
单球驱动平衡机器人运动学和动力学形式化验证
下载全文
单球驱动平衡机器人是一种具有全向运动性的机器人, 其灵活性能在狭小或复杂环境中得到充分体现, 因此受到广泛关注. 在该型机器人运动学和动力学设计过程中, 保证其模型的正确性至关重要. 基于测试和仿真的传统方法难以穷尽系统所有状态, 因此可能无法捕捉到某些设计缺陷或潜在的安全风险.… …
相似文献
张善强
张景芝
施智平
王国辉
关永
《软件学报》
2025,36(8):3462-3476
1243.
面向天河新一代超算的大规模平行城市交通仿真
下载全文
随着城市规模不断增加, 城市交通系统面临着越来越多的挑战, 如交通拥堵、交通安全等问题. 交通仿真是一种解决城市交通问题的方法, 其采用虚实结合的计算技术, 以处理实时交通数据、优化城市交通效率, 是平行城市理论在智能交通的重要实现方法. 然而, 传统的计算系统在运行大规模城市交… …
相似文献
何贤浩
胡逸騉
李毅晨
严宇威
吕宜生
廖清
李勇
李肯立
《软件学报》
2025,36(8):3693-3708
1244.
多模态序列推荐场景下融合多维感知的自蒸馏多任务学习
作为推荐系统的一个重要应用场景,多模态序列推荐已成为当前工业界与学术界研究的焦点之一.然而,现有面向多模态序列推荐的多任务学习方法未充分考虑模态内部的高阶关系及短期序列的增强作用,在语义表达和兴趣表征学习方面能力有限,导致个性化程度不高.因此,文中提出多模态序列推荐场景下融合多维… …
相似文献
《模式识别与人工智能》
2025,38(8):669-683
1245.
融合强化学习与注意力机制的联合关系抽取模型
下载全文
关系抽取(RE)是信息抽取的核心任务.近年来,CasRel模型通过实体映射来解决具有重叠三元组的复杂场景,该模型在关系抽取中的良好表现引发了人们的对相关研究的兴趣.但是该模型具有以下缺点:对文本中句子连续性考虑不充分、输入样本不平衡以及数据噪声对模型影响较为明显.针对以上缺点,本… …
相似文献
秦文硕;李智杰;李昌华;张颉;介军
《小型微型计算机系统》
2025,46(8):1942-1949
1246.
云边协同下支持等值测试的属性基广播签密方案
下载全文
边缘计算的内容感知、实时计算、并行处理等开放特性,加剧了原本在云计算环境中就已存在的数据安全与隐私保护挑战。针对边缘计算环境中日益凸显的隐私数据泄露风险等安全问题,提出了一个支持等值测试的轻量级属性基广播签密方案。该方案运用属性基加密机制,实现了对数据的细粒度访问控制,确保仅当用… …
相似文献
牛淑芬;王卫芳;董润园;张岩;南兴兴;胡林
《计算机科学与探索》
2025,(8):2241-2250
1247.
求解最小度约束最小生成树的强化粒子群优化算法
下载全文
为解决最小度约束最小生成树问题,提出一种结合强化学习求解的粒子群优化(PSO)算法。在搜索区域初始化过程中,利用生成树结构特征信息,设计基于短边聚类的结构生长方法,为后续搜索提供优质初始解空间;在PSO算法框架内,利用群体协同进化和保留历史信息的特点,设计不同进化速度的学习算子,… …
相似文献
吴良成;杨凯;钟一文;林娟
《计算机科学与探索》
2025,(8):2110-2122
1248.
面向6G的最优和次优毫米波大规模波束成形阵列架构
下载全文
波束成形(Beamforming)阵列技术是现代无线电系统的核心使能技术,其发展历程贯穿电磁学理论突破、半导体工艺革新和系统体制迭代3个维度。移动通信的演进进一步驱动了波束成形阵列技术的发展,特别地,混合波束成形阵列技术在5G 3GPP Release 15标准中被确立为5G毫米… …
相似文献
洪伟;徐俊;陈继新;郝张成;周健义;于志强;杨广琦;蒋之浩;余超;胡云;侯德彬;朱晓维;陈喆;周培根
《电子与信息学报》
2025,47(8):2405-2415
1249.
面向红外目标检测的显著特征测试样本排序方法
下载全文
红外目标检测是指在红外图像中确定目标对象的位置和类别,在自动驾驶、安防监控和电气设备检修等领域应用广泛.然而,由于深度模型存在脆弱性,红外目标检测模型容易受到对抗样本的攻击,因此对其展开安全性测试至关重要.测试样本优先级排序方法可通过对待测样本的优先级排序实现高效测试,并通过样本… …
相似文献
陈晋音;严云杰;郑海斌
《小型微型计算机系统》
2025,46(8):2007-2015
1250.
时序信息驱动的并行交互式多模型水下目标跟踪算法
下载全文
随着水下目标运动形式的多样化和复杂化,现有的交互式多模型算法(IMM)在面对目标状态切换时存在模型切换缓慢及跟踪精度不足的问题。为此,该文在经典IMM算法的基础上,提出一种基于时序信息的并行交互式多模型目标跟踪算法(TIP-IMM)。该算法通过比较相邻时刻的模型概率变化趋势,动态… …
相似文献
兰朝凤;张桐基;陈欢
《电子与信息学报》
2025,47(8):2685-2693
1251.
多源特征融合增强的虚假新闻检测方法
下载全文
针对现有虚假新闻检测方法在提取和利用新闻多层次特征及捕获新闻传播高阶结构特征方面的局限性,该文提出一种多源特征融合增强(MSFFE)的虚假新闻检测方法。该方法利用多层次注意力机制,从结构、时序和内容3个维度提取新闻特征:首先,通过增强型超图神经网络提取新闻传播的结构特征;其次,利… …
相似文献
胡泽;陈志南;杨宏宇
《电子与信息学报》
2025,47(8):2919-2934
1252.
基于强化学习动态特征驱动的可靠路由算法研究
下载全文
飞行自组织网络FANET的高度动态性和不稳定性,导致通讯节点易失效、易受到攻击、欺骗等,为飞行自组织网络的可靠通信带来了巨大挑战.针对飞行自组织网络的高动态性以及链路不可靠问题,提出了一种基于强化学习动态特征驱动的可靠路由发现算法,并设计了一种基于强化学习的可靠路由协议RR-AO… …
相似文献
李姝;谢睿;冯永新
《小型微型计算机系统》
2025,46(8):1861-1868
1253.
改进GMM的高分辨率光学遥感影像土地覆盖分类
下载全文
针对高分辨率光学遥感影像地表覆盖复杂性增加、同质区域异质性增加、不同区域相似性增加导致分类难度增加等问题.对高斯混合模型(Gaussian mixture model, GMM)进行改进,提出一种基于双邻域关系的高斯回归混合模型(Gaussian regression mixtu… …
相似文献
王春艳
付开欣
王祥
《计算机系统应用》
2025,34(8):116-124
1254.
操作系统内核权能访问控制的形式验证
下载全文
操作系统内核是构建安全攸关系统软件的基础. 任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作… …
相似文献
徐家乐
王淑灵
李黎明
詹博华
吕毅
代艺博
崔舍承
吴鹏
谭宇
张学军
詹乃军
《软件学报》
2025,36(8):3570-3586
1255.
基于边缘计算的工业视频网络智能感知: 挑战与进展
下载全文
工业视频网络是由工业网络系统现场层的视觉感知终端组成的网络, 是实现工业网络系统泛在感知的重要基石. 通过支持边缘计算层和现场设备层之间的交互和物联, 工业视频网络将独立的视觉传感器单元无线连接、边缘处理, 以实现空间分散下的协作监控和精确感知. 它具有感知维度高, 网络动态性强… …
相似文献
涂静正;温晓婧;陈彩莲;关新平
《自动化学报》
2025,51(8):1715-1738
1256.
基于边缘引导与交叉融合的红外小目标检测
下载全文
红外小目标检测旨在从红外图像中将小目标与背景进行像素级别的分离,在军事、安防和航天等领域具有重要应用.然而,由于低对比度和低信噪比的影响,现有方法容易丢失红外小目标的边缘信息,也未能有效利用红外图像中低级和高级特征间的关系.为此,本文提出了一种边缘引导与交叉融合的红外小目标检测方… …
相似文献
张楠
乔钢柱
朱磊
《计算机系统应用》
2025,34(8):207-216
1257.
基于频段跟踪性能差异的对抗检测方法
下载全文
针对跟踪模型存在被对抗攻击的风险且当前缺少相关的对抗检测方法,利用频域手段解决这一问题.结合扰动噪声视觉不可见的特点,首先理论证明了扰动噪声主要存在于图像的中高频段.然后定量地分析出视频序列的低频分量对跟踪性能的贡献最大且受对抗攻击的影响最小.最后根据上述理论证明和定量分析,提出… …
相似文献
周泽;孙颖慧;孙权森;沈肖波;郑钰辉
《计算机研究与发展》
2025,62(8):2098-2110
1258.
基于多臂赌博机遗传算法的无人机与卡车协同配送
下载全文
无人机与卡车协同配送新模式凭借其高效、环保、不受地形限制等优势,正在改变传统的物流配送方式。带无人机的旅行商问题(TSP-D)是上述配送新模式中的一种经典问题,比纯卡车物流配送更为复杂,需要从无人机和卡车间的协同交互中寻找最优的配送组合,带来了新的挑战。提出了一种基于多臂赌博机的… …
相似文献
朱烨娜;刘敏;赵肄江;陈萱霖
《计算机科学与探索》
2025,(8):2261-2272
1259.
针对自动驾驶系统目标检测器的迁移隐蔽攻击方法
下载全文
基于深度学习的目标检测算法已广泛应用,与此同时最近的一系列研究表明现有的目标检测算法容易受到对抗性攻击的威胁,造成检测器失效. 然而,聚焦于自动驾驶场景下对抗攻击的迁移性研究较少,并且鲜有研究关注该场景下对抗攻击的隐蔽性. 针对现有研究的不足,将对抗样本的优化类比于机器学习模型的… …
相似文献
郑君豪
蔺琛皓
赵正宇
贾子羿
吴黎兵
沈超
《计算机研究与发展》
2025,18(8):2111-2124
1260.
Siam-STM: 用于卫星视频目标跟踪的时空孪生网络
下载全文
随着卫星视频成像技术的显著进步,卫星视频中的目标跟踪任务引起了越来越多研究人员的关注.然而之前的研究大多通过全局注意力机制获得空间信息,这种方法使得模型关注背景部分从而忽略目标;而且只利用视频帧中目标的空间信息,目标定位不准确.本文对现有的孪生网络目标跟踪模型SiamCAR进行改… …
相似文献
顾权炜
王洁
《计算机系统应用》
2025,34(8):53-61
[首页]
« 上一页
[58]
[59]
[60]
[61]
[62]
63
[64]
[65]
[66]
[67]
[68]
下一页 »
末 页»