中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件                
已选(0)清除 条数/页：   排序方式：
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：232/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：190/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A fuzzy Actor-Critic reinforcement learning network 期刊论文
INFORMATION SCIENCES, 2007, 卷号: 177, 期号: 18, 页码: 3764-3781
作者:  Wang, Xue-Song;  Cheng, Yu-Hu;  Yi, Jian-Qiang
Adobe PDF(762Kb)  |  收藏  |  浏览/下载：805/395  |  提交时间：2015/11/08
Reinforcement Learning  Actor-critic Learning  Fuzzy Inference System  Radial Basis Function Neural Network  
Performance modeling and analysis of workflow 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 卷号: 34, 期号: 2, 页码: 229-242
作者:  Li, JQ;  Fan, YS;  Zhou, MC
收藏  |  浏览/下载：190/0  |  提交时间：2015/11/08
Performance  Petri Nets  Turnaround Time  Workflow Model  Workload Analysis  
New methodology for analytical and optimal design of fuzzy PID controllers 期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1999, 卷号: 7, 期号: 5, 页码: 521-539
作者:  Hu, B;  Mann, GKI;  Gosine, RG
浏览  |  Adobe PDF(474Kb)  |  收藏  |  浏览/下载：263/127  |  提交时间：2015/11/08
Fuzzy Logic Control  Genetic Algorithms  Nonlinear Control  Optimal Control  Pid Control  
Coordination Specification for CIRSSE Robotic Platform System Using Petri Net Transducers 期刊论文
Journal of Intelligent and Robotic Systems, 1994, 卷号: 9, 期号: 2, 页码: 209-233
作者:  FEI-YUE WANG;  MICHAEL MITTMANN;  GEORGE N. SARIDIS
浏览  |  Adobe PDF(1316Kb)  |  收藏  |  浏览/下载：291/123  |  提交时间：2017/03/17
Petri Net Transducer  Coordination Structure  Command Language  Communication  Intelligent Machines.