中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
合肥物质科学研究院 [3]
自动化研究所 [2]
沈阳自动化研究所 [2]
过程工程研究所 [1]
生态环境研究中心 [1]
更多
采集方式
OAI收割 [15]
内容类型
期刊论文 [10]
学位论文 [5]
发表日期
2024 [1]
2023 [1]
2021 [1]
2018 [1]
2017 [1]
2016 [1]
更多
学科主题
物理学::光学::应... [1]
环境工程::水处理工... [1]
计算机科学技术::人... [1]
计算机科学技术::人... [1]
筛选
浏览/检索结果:
共15条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
面向大范围场景的高效点云目标检测
学位论文
OAI收割
2024
作者:
范略
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2024/06/17
目标检测
三维点云数据
大范围场景
实时效率
基于图像重构的异常检测方法研究
学位论文
OAI收割
2023
作者:
王姝媛
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2023/06/21
异常检测
异常漏检
异常过检
检测效率
图像重构
空间天文光学望远镜辐射定标技术研究
学位论文
OAI收割
北京: 中国科学院大学, 2021
作者:
潘越
  |  
收藏
  |  
浏览/下载:49/0
  |  
提交时间:2021/07/01
空间天文望远镜
电荷耦合器件(CCD)
辐射定标
参数检测
增益
量子效率
在轨定标
山西某电厂燃煤烟气SO_3与颗粒物排放特征
期刊论文
OAI收割
环境工程, 2018, 2018, 卷号: 36, 期号: 01, 页码: 83-87
作者:
杨玮
;
孙彬彬
;
王雪
;
朱廷钰
;
王佳男
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2019/06/17
污染物排放检测
SO3
脱除效率
六氟化硫气体质量在线检测和分析系统的设计及应用
期刊论文
OAI收割
大气与环境光学学报, 2017, 卷号: 012
作者:
袁小芳
;
马凤翔
;
赵跃
;
宋玉梅
;
王海飞
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2020/11/25
SF6气体质量
在线检测
检测效率
制导弹药智能总装生产线研制与推广应用
期刊论文
OAI收割
自动化博览, 2016, 期号: 5, 页码: 72-73,75
作者:
中国科学院沈阳自动化研究所
收藏
  |  
浏览/下载:45/0
  |  
提交时间:2016/08/14
智能制造
行业传统
共性技术
生产效率
质量参数
制造模式
在线自动检测
自动化生产
可重构性
工艺装备
养猪场抗生素污染浓度水平调查及生物转化研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2011
潘寻
收藏
  |  
浏览/下载:191/0
  |  
提交时间:2011/08/30
抗生素
畜禽养殖业
粪污
同步检测方法
资源化处置
生物处理工 艺
去除效率
Antibiotics
Stockbreeding industry
Manure and wastewater
Simultaneous detection methods
Resourceful disposition
Biological treatment processes
Removal efficiency
异步电机非侵入式效率检测与节能控制
学位论文
OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2009
作者:
李延峰
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2010/11/29
异步电机
转速检测
效率检测
节能控制
系统节能
一种基于离散时间自动机的LTL性质检测工具
期刊论文
OAI收割
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮
;
彭云全
收藏
  |  
浏览/下载:69/2
  |  
提交时间:2011/06/10
离散时间自动机
非空性检测
线性时序逻辑性质
时间自动机
检测工具
Timed Automata
状态空间爆炸
线性时序逻辑
利用模型
指数增长
压缩存储
性质验证
系统规模
时间空间
检测效果
检测速度
检测过程
检测方法
存储延迟
效率
算法
实验
技术
结合搜索空间划分和抽象进行LTL模型检测
期刊论文
OAI收割
中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520
蒲飞
;
张文辉
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/07/01
搜索空间划分
求精
抽象
LTL模型检测
应用模型
状态空间爆炸
方法
空间复杂度
逐步求精
数值实验
检测
工业系统
障碍
验证
效率
消减
内存