×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
自动化研究所 [12]
内容类型
期刊论文 [8]
学位论文 [4]
发表日期
2024 [1]
2021 [1]
2018 [1]
2009 [2]
1994 [2]
1993 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共12条,第1-10条
帮助
限定条件
专题:自动化研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:
Dan You
;
Shouguang Wang
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2024/01/02
Cyber-attacks
cyber-physical system (CPS)
liveness
non-deterministic supervisors
Petri net (PN)
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605
作者:
Bo Huang
;
MengChu Zhou
;
Cong Wang
;
Abdullah Abusorrah
;
Yusuf Al-Turki
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2021/04/09
Deadlock prevention
Petri nets
robotic manufacturing cells
structure-minimized supervisor
supervisory control
uncontrollability
unobservability
Parallel intelligence: toward lifelong and eternal developmental AI and learning in cyber-physical-social spaces
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2018, 卷号: 12, 期号: 3, 页码: 401-405
作者:
Wang, Fei-Yue
;
Zhang, Jun Jason
;
Wang, Xiao
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2018/10/09
Cpss
Parallel Intelligence
现代汉语新闻要素语义分析关键技术研究
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2009
作者:
赵毅强
收藏
  |  
浏览/下载:78/0
  |  
提交时间:2015/09/02
新闻要素
概念知识树
语义分析
语义语法
递归转移网络
elements of news
concept knowledge tree
semantic analysis
semantic grammar
recursive transition network
一类全方位移动机械手的建模与控制研究
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2009
作者:
谭湘敏
收藏
  |  
浏览/下载:70/0
  |  
提交时间:2015/09/02
全方位移动机械手
建模
控制
轨迹跟踪
不确定性
Omnidirectional mobile manipulator
Modeling
Control
Trajectory tracking
Uncertainty
标记逻辑程序理论研究:说明语义与过程语义
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994
作者:
周生炳
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2015/09/02
非单调推理
容错推理
标记逻辑程序
支持模型
诱导序列
不循环程序
多次极限
多重极限
表达式的复盖
分解和划分
SLD-博弈树
删除策略
依赖团
nonmonotonic reasoning
error-tolerated reasoning
annotated logic program
acyclic program
supported model
induced sequence
coveri
Task Translation and Integration Specification in Intelligent Machines
期刊论文
IEEE Transactions on Robotics and Automation, 1994, 卷号: RA(10), 期号: 4, 页码: 81
作者:
Fei-Yue Wang
;
G. N. Saridis
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2017/07/15
Intelligent Machines
Task Translation and Integration Specification in Intelligent Machines
期刊论文
IEEE Transactions on Robotics and Automation, 1993, RA-9 (3), pp. 257-271, 1993, 卷号: RA(9), 期号: 3, 页码: 257-271
作者:
Fei-Yue Wang
;
G. N. Saridis
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2017/07/15
Intelligent Machines
Task Translation and Integration Specification in Intelligent Machines
期刊论文
IEEE Transactions on Robotics and Automation, 1993, 卷号: 9, 期号: 3, 页码: 257-271
作者:
Fei-Yue Wang
;
George N. Saridis
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2017/03/14
Intelligent Machines
A Coordination Theory for Intelligent Machines
期刊论文
The IFAC Journal Automatica, 1990, 卷号: 26, 期号: 5, 页码: 833-844
作者:
Fei-Yue Wang
;
G. N. Saridis
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2017/03/14
Intelligent control
intelligent machines
robotics
entropy
coordination
coordination structure
Petri net transducer
Petri net language
synchronous composition.
©版权所有 ©2017 CSpace - Powered by
CSpace