中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [7]
自动化研究所 [4]
长春光学精密机械与物... [2]
电子学研究所 [2]
沈阳自动化研究所 [2]
计算技术研究所 [1]
更多
采集方式
OAI收割 [19]
内容类型
学位论文 [12]
期刊论文 [7]
发表日期
2034 [1]
2021 [2]
2019 [1]
2016 [1]
2015 [2]
2013 [1]
更多
学科主题
Remote sen... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
遥感技术 [1]
筛选
浏览/检索结果:
共19条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
开颅手术机器人颅骨钻铣控制方法研究
学位论文
OAI收割
2034
作者:
韦柄廷
  |  
收藏
  |  
浏览/下载:99/0
  |  
提交时间:2023/06/19
机器人辅助开颅手术,颅骨-脑膜边界检测,钻孔约束控制,力位混合控制,离体动物实验
智能合约的时间约束模式及其形式化验证
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2021
作者:
赵颖琪
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2021/12/09
智能合约,模型检测,时间约束模式,时间自动机,可靠性
自动驾驶场景中的三维目标检测方法研究
学位论文
OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2021
作者:
李培玄
  |  
收藏
  |  
浏览/下载:86/0
  |  
提交时间:2021/06/12
自动驾驶
单目三维目标检测
双目三维目标检测
多模态融合感知三维目标检测
可微几何约束
多尺度红外超像素图像模型的小目标检测
期刊论文
OAI收割
中国图象图形学报, 2019, 卷号: 24, 期号: 12, 页码: 2159-2173
作者:
刘忠林
;
吴一全
;
邹宇
  |  
收藏
  |  
浏览/下载:44/0
  |  
提交时间:2020/03/12
小目标检测
红外图像
低秩约束
稀疏表示
超像素
多尺度
元数据存储库系统中违背良格式约束潜在操作的推理
期刊论文
OAI收割
计算机研究与发展, 2016, 卷号: 53.0, 期号: 005, 页码: 1095
作者:
赵晓非
;
高阳
;
史颖欢
;
史忠植
  |  
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2023/12/04
存储库系统
良格式约束
元对象设施
约束检测
构造活动
内部活动
基于部件模型的高分辨率光学遥感图像目标检测方法研究
学位论文
OAI收割
博士, 北京: 中国科学院大学, 2015
张万层
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2015/05/30
高分辨率光学遥感图像
目标检测
部件模型
旋转不变性
空间约束关系
特征子
用等效应力法分析温度变化对胶粘反射镜面形的影响
期刊论文
OAI收割
光子学报, 2015, 期号: 12, 页码: 101-106
作者:
李文杰
;
王少鑫
;
穆全全
;
杨程亮
;
曹召良
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2016/07/06
光学检测
光学元件
面形分析
胶粘反射镜
温度变化
强迫位移约束
ZYGO干涉仪
行星表面非规则陨石坑检测与识别方法
期刊论文
OAI收割
宇航学报, 2013, 期号: 03, 页码: 320-326
作者:
马冬梅
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2014/03/07
陨石坑检测
基于背景的Hopfield网络(CHNN)
多约束
抗差线性估计
最小误差中值椭圆
最优化约束满足问题的复杂性与近似性研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2011
唐林清
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/06/08
群上同态的去随机化图检测系统
最优化约束满足问题
标签割集问题
最小感染问题
近似算法与困难性
带时间约束的LTL性质的模型检测的实现
期刊论文
OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/10/10
时间自动机
模型检测
线性时序逻辑性质
时间约束
空性检测