CASIA OpenIR

Browse/Search Results:  1-10 of 13 Help

Selected(0)Clear Items/Page:    Sort:
From Mind to Products:Towards Social Manufacturing and Service 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2018, 卷号: 5, 期号: 1, 页码: 47-57
Authors:  Xiong G(熊刚);  Feiyue Wang;  Timo R. Nyberg;  Xiuqin Shang;  Mengchu Zhou;  Zhen Shen;  Shuangshuang Li;  Chao Guo
View  |  Adobe PDF(4825Kb)  |  Favorite  |  View/Download:108/14  |  Submit date:2017/09/21
Social Manufacturing  Social Networks  3d Printing  Cloud Computing  Big Data  Intelligent System  
Metasynthesis: M-Space, M-Interaction, and M-Computing for Open Complex Giant Systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 5, 页码: 1007-1021
Authors:  Cao, Longbing;  Dai, Ruwei;  Zhou, Mengchu
Favorite  |  View/Download:39/0  |  Submit date:2015/11/08
Complex Systems  Human-computer Interaction  Metasynthesis Social Intelligence Engineering  Open Complex Giant Systems (Ocgss)  Social Cognitive Interaction  
On siphon computation for deadlock control in a class of Petri nets 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 3, 页码: 667-679
Authors:  Li, ZhiWu;  Zhou, MengChu
Favorite  |  View/Download:20/0  |  Submit date:2015/11/08
Automated Manufacturing System  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System (Fms)  Petri Net  Resource Allocation System  Siphon  
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
Authors:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
Favorite  |  View/Download:85/0  |  Submit date: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
Authors:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
Favorite  |  View/Download:22/0  |  Submit date:2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 卷号: 5, 期号: 1, 页码: 182-188
Authors:  Li, Zhiwu;  Zhou, MengChu;  Jeng, MuDer
Favorite  |  View/Download:22/0  |  Submit date:2015/11/08
Deadlock Prevention  Flexible Manufacturing System  Petri Net  Siphon  Theory Of Regions  
Control of elementary and dependent siphons in Petri nets and their application 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148
Authors:  Li, Zhiwu;  Zhou, MengChu
Favorite  |  View/Download:20/0  |  Submit date:2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net  
Deadlock resolution in automated manufacturing systems with robots 期刊论文
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 卷号: 4, 期号: 3, 页码: 474-480
Authors:  Wu, Naiqi;  Zhou, MengChu
Favorite  |  View/Download:15/0  |  Submit date:2015/11/08
Automated Manufacturing Systems (Ams)  Deadlock Avoidance  Modeling And Control  Petri Net  
Space and network diversity combination for masked node collision resolution in wireless ad hoc network 期刊论文
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2007, 卷号: 6, 期号: 2, 页码: 478-485
Authors:  Wang, Zhigang;  Liu, Lichuan;  Zhou, MengChu
Favorite  |  View/Download:25/0  |  Submit date:2015/11/08
Medium Access Control  Csma/ca  Collision Resolution And Separation  Wireless Adhoc Network  Diversity  
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets 期刊论文
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 卷号: 2, 期号: 4, 页码: 313-325
Authors:  Li, ZhiWu;  Zhou, MengChu
Favorite  |  View/Download:38/0  |  Submit date:2015/11/07
Deadlock Prevention  Elementary Siphon  Flexible  Manufacturing System  Petri Net  Siphon