中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
上海微系统与信息技术... [3]
长春光学精密机械与物... [2]
自动化研究所 [2]
沈阳自动化研究所 [2]
过程工程研究所 [1]
更多
采集方式
OAI收割 [16]
内容类型
期刊论文 [11]
学位论文 [5]
发表日期
2023 [1]
2019 [1]
2018 [1]
2017 [1]
2016 [1]
2007 [2]
更多
学科主题
计算机应用::计算机... [1]
筛选
浏览/检索结果:
共16条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
无人机反应式扰动流体路径规划
期刊论文
OAI收割
自动化学报, 2023, 卷号: 49, 期号: 2, 页码: 272-287
作者:
吴健发
;
王宏伦
;
王延祥
;
刘一恒
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2024/05/09
无人机
反应式路径规划
受约束扰动流体动态系统
深度强化学习
训练环境
协作机器人的障碍物检测与避碰方法研究
学位论文
OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2019
作者:
康杰
  |  
收藏
  |  
浏览/下载:54/0
  |  
提交时间:2019/07/14
人机协作
骨骼跟踪
高斯混合模型
分层预测框架
反应式运动规划
动态非结构环境冗余机械臂感知与规划
学位论文
OAI收割
沈阳: 中国科学院沈阳自动化研究所, 2018
作者:
杜惠斌
  |  
收藏
  |  
浏览/下载:246/0
  |  
提交时间:2018/06/16
动态非结构
协作型机器人
在线环境建模
反应式避障规划
运动学反解
复杂实时反应式系统中的调度研究
学位论文
OAI收割
博士, 北京: 中国科学院大学, 2017
作者:
王娟娟
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2017/12/22
安全攸关
反应式
实时调度
小卫星集群自主任务调度技术研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2016
吴进
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2016/06/01
小卫星集群
自主任务调度
预测反应式调度
链路状态约束
遗传算法
一种基于监控理论的软件设计方法:状态性质变换方法
期刊论文
OAI收割
控制理论与应用, 2007, 卷号: 24, 期号: 2
王向云
;
张文辉
;
王鹏
;
李永超
;
蔡开元
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2010/08/24
反应式系统
软件设计
离散事件动态系统
监控理论
软件控制论
工作流过程图形建模及基于自动机的动态语义
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13
董广智
;
田勇
;
柳军飞
收藏
  |  
浏览/下载:137/5
  |  
提交时间:2011/07/01
工作流过程
图形建模
反应式控制
自动机
动态语义
工作流
图形建模
有限状态自动机
动态语义
Dynamic Semantics
过程元模型
语义正确性
图形表示
过程执行
过程模型
运行时
可表示
反应式
中心
应用
行为
活动
时态逻辑形式化描述并发系统性质
期刊论文
OAI收割
海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13
肖美华
;
薛锦云
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/29
形式化方法
并发系统
时态逻辑
模型检测
时态逻辑
形式化描述
系统性质
并发系统
状态迁移序列
形式化方法
逻辑描述
反应式
运用
语义
语法
应用
验证
模型
检测
基础
多机器人系统协调协作理论与应用的研究
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2001
作者:
王硕
收藏
  |  
浏览/下载:208/0
  |  
提交时间:2015/09/02
多机器人系统
协调协作
反应式控制结构
避碰
Multi-robot System
Coordination and Cooperation
Reactive Control Architecture
Collision Avoidance
对铸造铝合金无毒精炼剂及变质剂的机理和效果的商榷意见
期刊论文
OAI收割
特种铸造及有色合金, 1987, 期号: 01, 页码: 5-10
李凤鸣
收藏
  |  
浏览/下载:127/0
  |  
提交时间:2013/03/11
精炼剂:6490
变质剂:5479
化学反应式:2796
硝酸钠:2199
铸造铝合金:2166
商榷意见:2123
石墨:1919
操作位:910
氧化还原反应:862
生化学:856