首页--工业技术论文--机械、仪表工业论文--机械制造工艺论文--柔性制造系统及柔性制造单元论文

柔性制造系统一般Petri网模型内在活性结构与死锁控制研究

作者简介第1-7页
摘要第7-8页
Abstract第8-12页
1 Introduction第12-18页
   ·Flexible manufacturing systems,deadlock control,and Petri nets第12-15页
   ·Thesis organization第15-18页
2 Preliminaries of Petri Nets第18-22页
3 Systems of Simple Sequential Processes with Weighted Resource Allocation第22-32页
   ·WS~3PR第22-26页
   ·Circuilar wait and circular blocking in WS~3PR第26-32页
4 Intrinsically Live Structure第32-52页
   ·Introduction第32-33页
   ·Intrinsically live structure第33-40页
   ·Algorithm and examples第40-49页
   ·Discussion第49-51页
   ·Summary第51-52页
5 Hybrid Liveness-enforcing Method for WS~3PR第52-68页
   ·Introduction第52-53页
   ·Liveness-enforcement in WS~3PR第53-62页
     ·Liveness-enforcement based on elementary siphons第53-55页
     ·Liveness-enforcement based on intrinsically live structures第55-62页
   ·Hybrid liveness-enforcing policy第62-67页
   ·Summary第67-68页
6 Parameterized Liveness and Ratio-enforcing Supervisor for WS~3PR第68-86页
   ·Introduction第68-70页
   ·Liveness and ratio-enforcement in WS~3PR第70-81页
     ·Resource usage ratio第70-73页
     ·Ratio analysis of an intrinsically live structure第73-77页
     ·Synthesis of liveness and ratio-enforcing supervisors第77-81页
   ·Discussion第81-84页
   ·Summary第84-86页
7 Liveness-enforcement for WS~3PR Using a Divide-and-Conquer Paradigm第86-102页
   ·Introduction第86-88页
   ·Dived-and-conquer strategy第88-98页
     ·Primary separation of toparchies第89-92页
     ·Advanced separation of toparchies第92-96页
     ·Toparch and controlled WS~3PR synthesis第96-98页
   ·Discussion第98-101页
   ·Summary第101-102页
8 Iterative Liveness-enforcement for WS~3PR第102-108页
   ·Introduction第102-103页
   ·Live-ess and ratio-enforcing supervisor第103-104页
   ·MIP and LRS第104-107页
   ·Summary第107-108页
9 On Intrinsically Live Structure of GS3PR Modeling FMS第108-120页
   ·Introduction第108-109页
   ·GS3PR第109-112页
   ·ILS in GS3PR第112-119页
   ·Summary第119-120页
10 Conclusion第120-124页
   ·Research contributions第120-123页
   ·Future work第123-124页
Acknowledgements第124-126页
References第126-136页
Research Achievements第136-140页
Awards and Professional Activities第140-141页

论文共141页,点击 下载论文
上一篇:(k,n)门限密钥共享技术研究
下一篇:GEPON技术在平顶山煤业集团中的应用