用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8961-8980项 搜索用时 248 毫秒
[首页] « 上一页 [444] [445] [446] [447] [448] 449 [450] [451] [452] [453] [454] 下一页 » 末  页»
8961.
自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS, CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究具有重要意义.主要关注一类ω自动机——Stree… …   相似文献
王文胜  田聪  段振华 《软件学报》2023,34(8):3659-3673
8962.
  
随着人工智能应用的不断落地以及隐私保护法律法规的持续出台,机器学习中的隐私保护问题已成为目前信息安全领域的一个研究热点.文中针对现有的差分隐私线性回归算法全局敏感度大、模型可用性较差的问题,基于高斯机制代替传统的Laplace机制,并通过在算法的两个主要阶段分别添加噪声的方法,提… …   相似文献
8963.
  
当前骨骼动作识别任务中仍存在数据预处理不合理、模型参数量大、识别精度低的缺点。为解决以上问题,提出了一种基于特征交互与自适应融合的骨骼动作识别方法 AFFGCN。首先,提出一种自适应分池数据预处理算法,以解决数据帧分布不均匀和数据帧代表性差的问题;其次,引入一种多信息特征交互的方… …   相似文献
8964.
  
协同避障是无人机(UAV)系统的关键技术之一,而UAV集群避障期间存在队形丢失、任务失效和能源消耗增加等问题.为解决这些问题,提出了一种基于改进人工势场和一致性协议的协同避障算法.首先,根据多旋翼UAV的控制律来设计保持速度、位置一致的控制协议,并采用归一化和高阶指数缩放变换人工… …   相似文献
8965.
  
近年来,形式化验证技术受到了越来越多的关注,它在保障安全关键领域系统的安全性和正确性方面发挥着重要的作用.模型检测作为形式化验证中自动化程度较高的分支,具有十分广阔的发展前景.本文中我们研究并提出了一种新的模型检测技术,可以有效地对迁移系统进行模型检测,包括不安全性检测和证明安全… …   相似文献
于忠祺  张小禹  李建文 《软件学报》2023,34(8):3467-3484
8966.
本文介绍了一种新的基于YOLOv5s的目标检测方法,旨在弥补当前主流检测方法在小目标安全帽佩戴检测方面的不足,提高检测精度和避免漏检.首先增加了一个小目标检测层,增加对小目标安全帽的检测精度;其次引入ShuffleAttention注意力机制,本文将ShuffleAttentio… …   相似文献
8967.
近年来,随着电影、游戏、虚拟现实应用等对真实感要求的不断提高,针对人体组织、牛奶等半透明材质的实时渲染变得越发重要.针对当前大部分次表面散射计算方法难以正确估计散射范围的问题,提出了一种全新的次表面散射计算方法用以精确表示最大散射距离.首先,针对暴力蒙特卡洛光子追踪结果进行模拟,… …   相似文献
梁仕宇  高阳  丛宇  郝爱民 《软件学报》2023,34(8):3757-3773
8968.
  
如何增强系统一致性是多智能体系统研究中的一个重要问题。传统一致性协议通常未考虑拓扑中的关键节点,并且拓扑权重单一,从而导致系统更容易分裂。基于人际关系网络中的关键人物可以促进不同社区信息交流的思想,提出了一种影响力网络模型（influence network model,INM）… …   相似文献
8969.
  
飞行自组网（FANET）的拓扑结构蕴含着无人机之间以及无人机与基础设施之间通信的路径信息,是影响FANET性能的关键因素。对现有FANET拓扑控制研究进行综述,首先,介绍了FANET的网络架构以及FANET拓扑控制的研究框架和需求,并将FANET拓扑控制算法具体分为4类。在此基础… …   相似文献
8970.
太赫兹通信作为6G研究的关键技术之一,将在下一代巨型近地轨道(LEO)星座网络中与其他频段链路共存,在这样增量部署太赫兹的巨型LEO星座网络中,星间链路扭曲窗口期的路径次优问题将变得更加明显,现有的路由算法仅依赖于最短时延路径难以解决这个问题。为此该文提出一种增量部署太赫兹链路的… …   相似文献
8971.
针对航迹交叉条件下被动声呐目标跟踪困难的问题,该文将现有运动特征关联方法和信号特征辅助关联方法进行改进融合,提出一种基于历史运动特征约束和支持向量机(His-SVM)频谱分类的被动声呐目标关联跟踪方法。首先,利用目标的历史航迹点提取历史方位变化率,作为重合条件下点航迹关联的主要特… …   相似文献
8972.
针对现有脉冲神经网络(SNN)对动态视觉事件流识别精度低与实时性差等问题,该文提出一种基于动态视觉运动特征的脉冲神经网络识别方法。首先利用基于事件的运动历史信息表示与梯度方向计算提取事件流中的动态运动特征;然后引入时空池化操作来消除事件在时间和空间上的冗余,保留显著的运动特征;最… …   相似文献
8973.
  
针对现有研究通常假设云API推荐系统的服务质量数据是可靠的,忽略了开放网络环境中恶意用户对云API推荐系统的数据投毒攻击的问题,提出了一种基于多特征融合的数据投毒攻击检测方法。首先,依据设计的相似性度量函数构建用户连通网络图,并利用Node2vec捕获用户邻域特征;其次,采用稀疏… …   相似文献
8974.
为满足高速铁路智能化发展对铁路移动通信系统提出的新需求,基于第5代(5G)无线通信技术的高铁移动网络将采用宽带毫米波频段以提高传输容量。基于此,该文首先结合高铁传输需求及场景特殊性,分析了定向毫米波通信在网络覆盖鲁棒性、移动支持能力及链路稳定性与管理方面的问题。然后,探讨了通过融… …   相似文献
8975.
极化合成孔径雷达(Polarimetric Synthetic Aperture Radar, PolSAR)地物分类作为合成孔径雷达(Synthetic Aperture Radar, SAR)图像解译的重要研究内容之一,越来越受到国内外学者的广泛关注。不同于自然图像,PolS… …   相似文献
8976.
针对经典差分进化算法(DE)的优化性能容易受到变异策略和控制参数影响的问题,提出了一种参数自适应的精英变异差分进化算法(A parameter Adaptive Elite Mutation Eifferential Evolution algorithm, AMEDE).首先,… …   相似文献
8977.
多视角聚类能够整合多个视角的信息来提高聚类效果.目前很多研究都限于关注多视角一致性,得到的统一相似度图中仍存在许多非同簇之间的关系,甚至当某些簇的噪声达到一定程度时还可能导致统一相似度图难以形成簇的块对角结构.为此,本文提出一种块对角引导的多视角统一图聚类方法,该方法先将不同视角… …   相似文献
8978.
《小型微型计算机系统》2023,44(8):1665-1671
8979.
《小型微型计算机系统》2023,44(8):1827-1832
8980.
  
《电子学报》2023,51(8):2160-2167
[首页] « 上一页 [444] [445] [446] [447] [448] 449 [450] [451] [452] [453] [454] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持