×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [10]
沈阳自动化研究所 [8]
山东大学 [6]
湖南大学 [6]
软件研究所 [5]
北京大学 [4]
更多...
内容类型
期刊论文 [39]
会议论文 [12]
学位论文 [7]
其他 [2]
会议 [1]
发表日期
2018 [2]
2017 [6]
2016 [2]
2015 [8]
2014 [2]
2013 [4]
更多...
学科主题
Optics [1]
Transporta... [1]
physical g... [1]
空间技术 [1]
计算机软件::软件工... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共61条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
一种基于有限状态机模型的局部转向避碰路径规划算法
期刊论文
海洋科学, 2018, 卷号: 42, 期号: 1, 页码: 119-127
作者:
汪栋
;
张杰
;
金久才
;
毛兴鹏
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2018/12/07
无人船
局部避碰
路径规划
位点导航
有限状态机
Design of online control and monitoring software for the CPPF system in the CMS Level-1 trigger upgrade
期刊论文
NUCLEAR SCIENCE AND TECHNIQUES, 2018, 卷号: 29, 期号: 11, 页码: 166
作者:
Liu, ZA
;
Cheng LB(程立波)
;
Cao PC(曹鹏程)
;
Zhao JZ(赵京周)
;
Liu ZA(刘振安)
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2019/09/24
CPPF
CMS
Level-1 trigger
SWATCH
Monitor
IPbus
悬垂绝缘子清扫机器人设计与实验研究
学位论文
博士, 沈阳: 中国科学院沈阳自动化研究所, 2017
作者:
王林
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2017/06/29
绝缘子清扫机器人
机构设计
行为规划
控制系统设计
悬垂绝缘子
A Formal Framework for Integrated Environment Modeling Systems
期刊论文
ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, 2017, 卷号: 6, 期号: 1-2
作者:
Zhang, GF
;
Li, Y
;
Chen, C
;
Zhou, R
;
Chen, D
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/05/09
Integrated Environment Modeling (IEM)
formal method
operational semantics
unified view
Finite State Machine (FSM)
Enhancing the MxCuBE User Interface by a Finite State Machine (FSM) Model
会议论文
Spain, 2017
作者:
I.Karpics
;
G.Bourenkov
;
T.R.Schneider
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2018/04/17
基于有限状态机的农机导航多任务调度研究
期刊论文
农机化研究, 2017, 期号: 5, 页码: 26-31
作者:
白晓平
;
王卓
;
胡静涛
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2016/10/04
农机
导航系统
有限状态机
多任务调度
Research on Implementation of an Improved Finite State Machine Model in Satellite Simulated System
会议论文
Changchun, PEOPLES R CHINA, 2017-07-23
作者:
Feng Xu-bin(冯旭斌)
;
Su Xiu-qin(苏秀琴)
;
Wang Chen(王晨)
;
Han Jun-feng(韩俊锋)
;
Yang Yong-qing(杨永清)
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2018/03/28
Finite State Machine
Satellite Simulated System
Payload
Energy consumption modeling of machining transient states based on finite state machine
期刊论文
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 卷号: 88, 期号: 5-8, 页码: 2305-2320
作者:
Jia, Shun
;
Tang, Renzhong
;
Lv, Jingxiang
;
Yuan, Qinghe
;
Peng, Tao
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/11
Transient state
Energy consumption modeling
Finite state machine
(FSM)
State transition chart
Sustainable machining
FSM-F: Finite State Machine Based Framework for Denial of Service and Intrusion Detection in MANET.
期刊论文
PLoS One, 2016, 卷号: Vol.11 No.6, 页码: e0156885
作者:
Malik N. Ahmed
;
Abdul Hanan Abdullah
;
Omprakash Kaiwartya
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/02/27
Refining operation guidelines with model-checking-aided FRAM to improve manufacturing processes: a case study for aeroengine blade forging
期刊论文
COGNITION TECHNOLOGY & WORK, 2016, 卷号: 18, 页码: 777-791
作者:
Zheng, Zixia
;
Tian, Jin
;
Zhao, Tingdi
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
Functional Resonance Analysis Method (FRAM)
Manufacturing processes
Finite State Machine (FSM)
Model checking
©版权所有 ©2017 CSpace - Powered by
CSpace