中文版 | English

在结果中检索

CASIA OpenIR

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

限定条件                    
已选(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
收藏  |  浏览/下载：234/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
收藏  |  浏览/下载：195/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
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
作者:  Li, Zhiwu;  Zhou, MengChu
收藏  |  浏览/下载：135/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Control  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System  Petri Net  
AdaBoost-based algorithm for network intrusion detection 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 卷号: 38, 期号: 2, 页码: 577-583
作者:  Hu, Weiming;  Hu, Wei;  Maybank, Steve
收藏  |  浏览/下载：199/0  |  提交时间：2015/11/08
Adaboost  Computational Complexity  Detection Rate  False-alarm Rate  Intrusion Detection  
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
作者:  Li, ZhiWu;  Zhou, MengChu
收藏  |  浏览/下载：128/0  |  提交时间：2015/11/08
Automated Manufacturing System  Deadlock Prevention  Elementary Siphon  Flexible Manufacturing System (Fms)  Petri Net  Resource Allocation System  Siphon  
Stratification approach for 3-D Euclidean reconstruction of nonrigid objects from uncalibrated image sequences 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 卷号: 38, 期号: 1, 页码: 90-101
作者:  Wang, Guanghui;  Wu, Q. M. Jonathan
收藏  |  浏览/下载：153/0  |  提交时间：2015/11/08
Constrained Power Factorization (Cpf)  Deformation Weight Constraint  Motion Analysis  Nonrigid Factorization  Stratified 3-d Reconstruction  Structure From Motion  
A new active visual system for humanoid robots 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 卷号: 38, 期号: 2, 页码: 320-330
作者:  Xu, De;  Li, You Fu;  Tan, Min;  Shen, Yang
浏览  |  Adobe PDF(1507Kb)  |  收藏  |  浏览/下载：363/82  |  提交时间：2015/11/08
Active Vision  Bionic Vision  Humanoid Robot  Positioning  Visual System  
A new active visual system for humanoid robots 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 卷号: 38, 期号: 2, 页码: 320-330
作者:  Xu, De;  Li, You Fu;  Tan, Min;  Shen, Yang
浏览  |  Adobe PDF(1507Kb)  |  收藏  |  浏览/下载：328/99  |  提交时间：2015/11/08
Active Vision  Bionic Vision  Humanoid Robot  Positioning  Visual System