•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第1241-1260项 搜索用时 132 毫秒
[首页] « 上一页 [58] [59] [60] [61] [62] 63 [64] [65] [66] [67] [68] 下一页 » 末  页»
1241.
信息物理融合系统(Cyber-Physical Systems, CPS)在安全攸关领域具有广泛的应用,保障其安全性至关重要.形式化验证是证明系统安全性的有效手段,但在现实世界中的复杂CPS系统上应用仍面临挑战.因此,反例生成的方法被提出,旨在通过寻找系统中违背安全规约的反例行为… …   相似文献
王佳宛  刘熹橦  卜磊  李宣东 《软件学报》2025,36(8):3587-3603
1242.
单球驱动平衡机器人是一种具有全向运动性的机器人, 其灵活性能在狭小或复杂环境中得到充分体现, 因此受到广泛关注. 在该型机器人运动学和动力学设计过程中, 保证其模型的正确性至关重要. 基于测试和仿真的传统方法难以穷尽系统所有状态, 因此可能无法捕捉到某些设计缺陷或潜在的安全风险.… …   相似文献
1243.
随着城市规模不断增加, 城市交通系统面临着越来越多的挑战, 如交通拥堵、交通安全等问题. 交通仿真是一种解决城市交通问题的方法, 其采用虚实结合的计算技术, 以处理实时交通数据、优化城市交通效率, 是平行城市理论在智能交通的重要实现方法. 然而, 传统的计算系统在运行大规模城市交… …   相似文献
1244.
  
作为推荐系统的一个重要应用场景,多模态序列推荐已成为当前工业界与学术界研究的焦点之一.然而,现有面向多模态序列推荐的多任务学习方法未充分考虑模态内部的高阶关系及短期序列的增强作用,在语义表达和兴趣表征学习方面能力有限,导致个性化程度不高.因此,文中提出多模态序列推荐场景下融合多维… …   相似文献
1245.
关系抽取(RE)是信息抽取的核心任务.近年来,CasRel模型通过实体映射来解决具有重叠三元组的复杂场景,该模型在关系抽取中的良好表现引发了人们的对相关研究的兴趣.但是该模型具有以下缺点:对文本中句子连续性考虑不充分、输入样本不平衡以及数据噪声对模型影响较为明显.针对以上缺点,本… …   相似文献
1246.
边缘计算的内容感知、实时计算、并行处理等开放特性,加剧了原本在云计算环境中就已存在的数据安全与隐私保护挑战。针对边缘计算环境中日益凸显的隐私数据泄露风险等安全问题,提出了一个支持等值测试的轻量级属性基广播签密方案。该方案运用属性基加密机制,实现了对数据的细粒度访问控制,确保仅当用… …   相似文献
1247.
为解决最小度约束最小生成树问题,提出一种结合强化学习求解的粒子群优化(PSO)算法。在搜索区域初始化过程中,利用生成树结构特征信息,设计基于短边聚类的结构生长方法,为后续搜索提供优质初始解空间;在PSO算法框架内,利用群体协同进化和保留历史信息的特点,设计不同进化速度的学习算子,… …   相似文献
1248.
波束成形(Beamforming)阵列技术是现代无线电系统的核心使能技术,其发展历程贯穿电磁学理论突破、半导体工艺革新和系统体制迭代3个维度。移动通信的演进进一步驱动了波束成形阵列技术的发展,特别地,混合波束成形阵列技术在5G 3GPP Release 15标准中被确立为5G毫米… …   相似文献
1249.
红外目标检测是指在红外图像中确定目标对象的位置和类别,在自动驾驶、安防监控和电气设备检修等领域应用广泛.然而,由于深度模型存在脆弱性,红外目标检测模型容易受到对抗样本的攻击,因此对其展开安全性测试至关重要.测试样本优先级排序方法可通过对待测样本的优先级排序实现高效测试,并通过样本… …   相似文献
1250.
随着水下目标运动形式的多样化和复杂化,现有的交互式多模型算法(IMM)在面对目标状态切换时存在模型切换缓慢及跟踪精度不足的问题。为此,该文在经典IMM算法的基础上,提出一种基于时序信息的并行交互式多模型目标跟踪算法(TIP-IMM)。该算法通过比较相邻时刻的模型概率变化趋势,动态… …   相似文献
1251.
针对现有虚假新闻检测方法在提取和利用新闻多层次特征及捕获新闻传播高阶结构特征方面的局限性,该文提出一种多源特征融合增强(MSFFE)的虚假新闻检测方法。该方法利用多层次注意力机制,从结构、时序和内容3个维度提取新闻特征:首先,通过增强型超图神经网络提取新闻传播的结构特征;其次,利… …   相似文献
1252.
飞行自组织网络FANET的高度动态性和不稳定性,导致通讯节点易失效、易受到攻击、欺骗等,为飞行自组织网络的可靠通信带来了巨大挑战.针对飞行自组织网络的高动态性以及链路不可靠问题,提出了一种基于强化学习动态特征驱动的可靠路由发现算法,并设计了一种基于强化学习的可靠路由协议RR-AO… …   相似文献
1253.
针对高分辨率光学遥感影像地表覆盖复杂性增加、同质区域异质性增加、不同区域相似性增加导致分类难度增加等问题.对高斯混合模型(Gaussian mixture model, GMM)进行改进,提出一种基于双邻域关系的高斯回归混合模型(Gaussian regression mixtu… …   相似文献
1254.
操作系统内核是构建安全攸关系统软件的基础. 任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作… …   相似文献
1255.
工业视频网络是由工业网络系统现场层的视觉感知终端组成的网络, 是实现工业网络系统泛在感知的重要基石. 通过支持边缘计算层和现场设备层之间的交互和物联, 工业视频网络将独立的视觉传感器单元无线连接、边缘处理, 以实现空间分散下的协作监控和精确感知. 它具有感知维度高, 网络动态性强… …   相似文献
1256.
红外小目标检测旨在从红外图像中将小目标与背景进行像素级别的分离,在军事、安防和航天等领域具有重要应用.然而,由于低对比度和低信噪比的影响,现有方法容易丢失红外小目标的边缘信息,也未能有效利用红外图像中低级和高级特征间的关系.为此,本文提出了一种边缘引导与交叉融合的红外小目标检测方… …   相似文献
1257.
针对跟踪模型存在被对抗攻击的风险且当前缺少相关的对抗检测方法,利用频域手段解决这一问题.结合扰动噪声视觉不可见的特点,首先理论证明了扰动噪声主要存在于图像的中高频段.然后定量地分析出视频序列的低频分量对跟踪性能的贡献最大且受对抗攻击的影响最小.最后根据上述理论证明和定量分析,提出… …   相似文献
1258.
无人机与卡车协同配送新模式凭借其高效、环保、不受地形限制等优势,正在改变传统的物流配送方式。带无人机的旅行商问题(TSP-D)是上述配送新模式中的一种经典问题,比纯卡车物流配送更为复杂,需要从无人机和卡车间的协同交互中寻找最优的配送组合,带来了新的挑战。提出了一种基于多臂赌博机的… …   相似文献
1259.
基于深度学习的目标检测算法已广泛应用,与此同时最近的一系列研究表明现有的目标检测算法容易受到对抗性攻击的威胁,造成检测器失效. 然而,聚焦于自动驾驶场景下对抗攻击的迁移性研究较少,并且鲜有研究关注该场景下对抗攻击的隐蔽性. 针对现有研究的不足,将对抗样本的优化类比于机器学习模型的… …   相似文献
1260.
随着卫星视频成像技术的显著进步,卫星视频中的目标跟踪任务引起了越来越多研究人员的关注.然而之前的研究大多通过全局注意力机制获得空间信息,这种方法使得模型关注背景部分从而忽略目标;而且只利用视频帧中目标的空间信息,目标定位不准确.本文对现有的孪生网络目标跟踪模型SiamCAR进行改… …   相似文献
[首页] « 上一页 [58] [59] [60] [61] [62] 63 [64] [65] [66] [67] [68] 下一页 » 末  页»