用户名:
密码:
找回密码
中文版
English
本站信箱
收藏本站
本网介绍
省份
北京
天津
河北
山西
山东
内蒙古
湖北
湖南
河南
江西
上海
江苏
浙江
安徽
广东
广西
海南
福建
黑龙江
吉林
辽宁
陕西
甘肃
新疆
青海
宁夏
四川
重庆
贵州
云南
西藏
港澳台
城市
首页
加盟期刊
收录期刊
评价中心
文献导读
期刊动态
博客美文
问题解答
在线订阅
新浪微博
RSS
网站动态:
中国计算机期刊网介绍
欢迎关注中国计算机期刊网微信订阅号!
中国计算机期刊网正式发布,欢迎访问!
如何申请成为收录期刊和加盟期刊
按
任意字段
标题
关键词
摘要
作者姓名
作者单位
基金项目
杂志名称
ISSN号
分类号
被引次数
DOI
文章编号
检索 检索词:
高级检索
排序:
相关度
OA
时间
被引次数
点击次数
下载次数
共有10000条符合
的查询结果,以下是第891-900项 搜索用时 69 毫秒
[首页]
« 上一页
[85]
[86]
[87]
[88]
[89]
90
[91]
[92]
[93]
[94]
[95]
下一页 »
末 页»
891.
融合移位卷积与边缘检测的图像动态超分辨率重建
下载全文
针对固定网络架构和深度网络层导致的信息无法完全表达复杂场景预测高质量图像、高计算成本及部署困难等问题, 提出了一种具有宽网络结构的图像动态超分辨率网络(wide dynamic super-resolution network, W-SDNet). 首先, 设计了一个由移位卷积残… …
相似文献
沈学利
朱晓铭
金海波
《计算机系统应用》
2024,33(9):65-76
892.
基于自适应特征融合和注意力机制的变电设备红外图像识别
下载全文
针对变电设备红外图像复杂背景下多目标、小目标及遮挡目标识别效果差的问题,该文提出一种基于中心点网络(CenterNet)的变电设备红外图像识别方法。通过将自适应特征融合模块(ASFF)和特征金字塔(FPN)相结合, 构建ASFF+FPN结构的特征融合网络,增强了模型对多目标和小目… …
相似文献
王媛彬
吴冰超
《电子与信息学报》
2024,46(9):3749-3756
893.
双STAR-RIS辅助下行NOMA系统中最大化和速率的方法
下载全文
对于两个同时透射和反射的智能可重构表面(STAR-RIS)辅助的下行非正交多址接入(NOMA)系统,该文提出一种最大化和速率的方法。首先构建最大化和速率的优化问题,优化参数为STAR-RIS相移、功率分配和时间分配;然后用半正定规划法(SDP)优化双STAR-RIS相移;最后,用… …
相似文献
田心记
孟浩然
李兴旺
张辉
《电子与信息学报》
2024,46(9):3537-3543
894.
功率谱密度消频散变换被动估计脉冲声源距离
下载全文
浅海中传播的低频声波具有多模态特征和频散效应。对接收声信号消频散变换(DDT)可以消除频散效应,实现被动估计声源距离。针对消频散变换存在的测距多值问题,该文提出一种利用功率谱密度消频散变换的被动测距方法(PSD-DDT)。首先使用声场模型KRAKEN计算模态的水平波数;其次在只知… …
相似文献
刘建设
朱广平
殷敬伟
陈文剑
孙辉
《电子与信息学报》
2024,46(9):3592-3601
895.
一种双重积累自反馈优化的三维多目标检测前跟踪算法
下载全文
针对3维微弱多目标检测问题,该文提出一种双重积累自反馈优化的3级平行线坐标变换(PT)检测前跟踪(TBD)算法。通过将平行线坐标变换引入至TBD技术,依次在规格化的径向距离-时间、方位角-时间和俯仰角-时间平面对量测点进行投影变换和双重非相参积累,同时利用功率累积结果反馈优化二值… …
相似文献
薄钧天
张嘉毫
王国宏
于洪波
张翔宇
王万田
王衡峰
《电子与信息学报》
2024,46(9):3629-3636
896.
微多普勒辅助的城市环境无人机编队检测方法
下载全文
针对城市复杂环境下电磁环境复杂、多径杂波和干扰信号密集等现象,传统的无人机(UAV)检测方法通过获取回波信号提取目标多普勒信息进行检测,易受到环境影响导致检测效果不理想。该文提出微多普勒辅助的城市环境无人机编队检测方法,充分利用无人机的微动特征,能够在复杂环境下提高检测精度。首先… …
相似文献
张杰
朱宇
王洋
《电子与信息学报》
2024,46(9):3583-3591
897.
全局感知与稀疏特征关联图像级弱监督病理图像分割
下载全文
弱监督语义分割方法可以节省大量的人工标注成本,在病理全切片图像(WSI)的分析中有着广泛应用。针对弱监督多实例学习(MIL)方法在病理图像分析中存在的像素实例相互独立缺乏依赖关系,分割结果局部不一致和图像级标签监督信息不充分的问题,该文提出一种全局感知与稀疏特征关联图像级弱监督的… …
相似文献
张印辉
张金凯
何自芬
刘珈岑
吴琳
李振辉
陈光晨
《电子与信息学报》
2024,46(9):3672-3682
898.
命令式动态规划类算法程序推导及机械化验证
下载全文
动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态… …
相似文献
左正康
孙欢
王昌晶
游珍
黄箐
王唱唱
《软件学报》
2024,35(9):4218-4241
899.
Büchi自动机确定化分析工具
下载全文
无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手… …
相似文献
马润哲
田聪
王文胜
段振华
《软件学报》
2024,35(9)
900.
基于DH标定的机器人正向运动学形式化验证
下载全文
DH坐标系在机器人运动学分析中发挥着重要的作用。在基于DH坐标系构建的机器人控制系统中,机器人结构的复杂性使得构建安全的控制系统成为一个难题,仅仅依靠人工方法可能导致系统漏洞和安全风险,从而危及机器人的安全。形式化方法通过演绎推理与代码抽取实现了对软硬件系统的设计、开发及验证。基… …
相似文献
谢果君
杨焕焕
石正璞
陈钢
《软件学报》
2024,35(9):4160-4178
[首页]
« 上一页
[85]
[86]
[87]
[88]
[89]
90
[91]
[92]
[93]
[94]
[95]
下一页 »
末 页»