中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共6条，第1-6条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Ensuring the Correctness of Regular Expressions: A Review 期刊论文
International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535
作者:  Li-Xiao Zheng;  Shuai Ma;  Zu-Xi Chen;  Xiang-Yu Luo
Adobe PDF(1076Kb)  |  收藏  |  浏览/下载：132/41  |  提交时间：2021/07/20
Regular expressions  correctness  string generation  learning  static checking  verification  visualization, repairing  
Model Predictive Control for Discrete and Continuous Timed Petri Nets 期刊论文
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 1, 页码: 25-38
作者:  Marwa Taleb;  Edouard Leclercq;  Dimitri Lefebvre
浏览  |  Adobe PDF(929Kb)  |  收藏  |  浏览/下载：217/91  |  提交时间：2021/02/23
Model predictive control  timed continuous Petri net (TCPN)  T-timed discrete Petri net (T-TDPN)  fluidification  optimization  constant control.  
Robust Disturbance Rejection Based Control with Extended-state Resonant Observer for Sway Reduction in Uncertain Tower-cranes 期刊论文
International Journal of Automation and Computing, 2019, 卷号: 16, 期号: 6, 页码: 812-827
作者:  Horacio Coral-Enriquez;  Santiago Pulido-Guerrero;  John Cortés-Romero
浏览  |  Adobe PDF(2214Kb)  |  收藏  |  浏览/下载：197/55  |  提交时间：2021/02/22
Active disturbance rejection control (ADRC)  extended state observer (ESO)  tower-crane control  resonant observer  disturbance observer  linear matrix inequality.  
A Creative Approach to Reducing Ambiguity in Scenario-based Software Architecture Analysis 期刊论文
International Journal of Automation and Computing, 2019, 卷号: 16, 期号: 2, 页码: 248-260
作者:  Xi-Wen Wu;  Chen Li;  Xuan Wang;  Hong-Ji Yang
浏览  |  Adobe PDF(2299Kb)  |  收藏  |  浏览/下载：138/57  |  提交时间：2021/02/22
Creative computing  vector clock algorithm  scenario-based analysis of software architecture  sequence diagram  Breeze/architecture description language (ADL).  
Fuzzy Behavior-based Control of Three Wheeled Omnidirectional Mobile Robot 期刊论文
International Journal of Automation and Computing, 2019, 卷号: 16, 期号: 2, 页码: 163-185
作者:  Nacer Hacene;  Boubekeur Mendil
浏览  |  Adobe PDF(3450Kb)  |  收藏  |  浏览/下载：147/56  |  提交时间：2021/02/22
Three wheeled omnidirectional mobile robot (TWOMR)  autonomous navigation  obstacle avoidance  fuzzy behavior-based control  dynamic target  dynamic environment.  
Bounded Evaluation: Querying Big Data with Bounded Resources 期刊论文
International Journal of Automation and Computing, 2020, 卷号: 17, 期号: 4, 页码: 502-526
作者:  Yang Cao;  Wen-Fei Fan;  Teng-Fei Yuan
浏览  |  Adobe PDF(2149Kb)  |  收藏  |  浏览/下载：130/33  |  提交时间：2021/02/22
Bounded evaluation  resource-bounded query processing  effective syntax  access schema  boundedness.