×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [12]
湖南大学 [7]
软件研究所 [7]
北京大学 [5]
西安交通大学 [3]
北京航空航天大学 [3]
更多...
内容类型
期刊论文 [43]
会议论文 [12]
其他 [1]
发表日期
2022 [1]
2019 [1]
2018 [1]
2017 [5]
2016 [1]
2015 [2]
更多...
学科主题
Computer S... [3]
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共56条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
A fully coupled crystal plasticity-cellular automata model for predicting thermomechanical response with dynamic recrystallization in AISI 304LN stainless steel
期刊论文
MECHANICS OF MATERIALS, 2022, 卷号: 167, 页码: 19
作者:
Park, Jinheung
;
Rout, Matruprasad
;
Min, Kyung-Mun
;
Chen, Shuai-Feng
;
Lee, Myoung-Gyu
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2022/07/01
Thermomechanical process
Dynamic recrystallization
Crystal plasticity finite element method
Cellular automata model
Analysis on Hybrid Automata Model of Three-Phase Grid Inverter
期刊论文
Journal of Shanghai Jiaotong University, 2019, 卷号: Vol.53 No.3, 页码: 348-354
作者:
Li, D.
;
Zheng, H.
;
Yao, L.
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/11/21
Controller
Current harmonics
Finite time stabi-lity
Hybrid automata model
Three-phase inverter
CSE: Parallel Finite State Machines with Convergence Set Enumeration
会议论文
2018 51ST ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2018-01-01
作者:
Zhuo, Youwei
;
Cheng, Jinglei
;
Luo, Qinyi
;
Zhai, Jidong
;
Wang, Yanzhi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Computer architecture
Cutting
Finite automata
Leakage currents
Particle accelerators
State assignment
Convergence properties
Data dependencies
Hardware implementations
Parallelism
Software and hardwares
Specific state
Speculation
State transitions
Reachability in Fuzzy Game Graphs
期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Li, Dechao
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Fuzzy automaton
fuzzy logic
fuzzy transition system (FTS)
game graph
reachability
DISCRETE-EVENT SYSTEMS
COMPUTATION TREE LOGIC
OMEGA-REGULAR GAMES
MODEL CHECKING
TRANSITION-SYSTEMS
SUPERVISORY CONTROL
FINITE AUTOMATA
MOBILE ROBOT
APPROXIMATION
SIMULATION
Nondeterministic fuzzy automata with membership values in complete residuated lattices
期刊论文
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2017
Pan, Haiyu
;
Li, Yongming
;
Cao, Yongzhi
;
Li, Ping
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2017/12/03
Fuzzy automaton
Complete residuated lattice
Heyting algebra
Language equivalence
Formal verification
DISCRETE-EVENT SYSTEMS
TRANSITION-SYSTEMS
FINITE AUTOMATA
CATEGORICAL APPROACH
SUPERVISORY CONTROL
LOGIC
SIMULATION
WORDS
MODEL
BISIMULATIONS
Clock finite state automata model and its evolution algorithm
期刊论文
Computer Engineering and Science, 2017, 卷号: Vol.39 No.2, 页码: 378-384
作者:
Fan Linjun
;
Shi Xiangning
;
Ling Yunxiang
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/31
computer application
distributed systems
clock consistency evolution
factors quantification analysis
finite state automata
formal methods
Derivatives and Finite Automata of Expressions in Star Normal Form
会议论文
11th International Conference on Language and Automata Theory and Applications (LATA), Umea, SWEDEN, 2017-03-06
作者:
Chen, Haiming
;
Lu, Ping
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Regular expressions
Finite automata
Derivatives
Partial derivatives
Star normal form
Matrix Approach to Detectability of Discrete Event Systems under Partial Observation
会议论文
13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20, 2017 - August 23, 2017
作者:
Han, Xiaoguang*
;
Chen, Zengqiang
;
Zhao, Jiemei
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/27
Discrete event systems (DESs)
finite automata
state estimation
detectability
semi-tensor product (STP) of matrices
Decentralized multi-UAV flight autonomy for moving convoys search and track
期刊论文
IEEE Transactions on Control Systems Technology, 2016, 卷号: No.99
作者:
Meng, W.
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/02/25
Finite
state
automata
mission
planning
road
map
target
search
target
tracking
unmanned
aerial
vehicle
(UAV)
On hybrid models of quantum finite automata
期刊论文
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158
作者:
Li, Lvzhou
;
Feng, Yuan
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2018/07/30
Quantum computing
Automata theory
Quantum finite automata
Hybrid model of QFA
©版权所有 ©2017 CSpace - Powered by
CSpace