×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [1]
上海健康医学院 [1]
贵州大学 [1]
沈阳自动化研究所 [1]
内容类型
期刊论文 [3]
会议论文 [1]
发表日期
2014 [1]
2012 [1]
2011 [1]
2010 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共4条,第1-4条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于状态反馈的多水下机器人队形控制研究
会议论文
11th World Congress on Intelligent Control and Automation (WCICA 2014), Shenyang, China, June 29 - July 4, 2014
作者:
李一平
;
阎述学
收藏
  |  
浏览/下载:60/0
  |  
提交时间:2014/12/29
自主水下机器人
队形控制
状态反馈
有限状态自动机(FSA)
基于FSA的模型检测算法研究
期刊论文
2012, 卷号: 29, 期号: 5, 页码: 58-62
作者:
王扣武
;
张珺铭
;
龙士工
;
董方
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2020/01/05
有限状态自动机
语言
字
模型检测
采用动作时序逻辑的Web服务组合方法
期刊论文
计算机科学与探索, 2011, 卷号: 5, 期号: 3
作者:
周宁
;
刘慧
;
王红兵
;
谢俊元
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/06
网络服务组合
动作时序逻辑(TLA)
网络服务描述语言(WSDL)
有限状态自动机(FSA)
基于层次自动机的应用软件行为建模
期刊论文
2010, 2010
杨涛
;
肖田元
;
张林鍹
;
YANG Tao
;
XIAO Tian-yuan
;
ZHANG Lin-Xuan
收藏
  |  
浏览/下载:4/0
©版权所有 ©2017 CSpace - Powered by
CSpace