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

发布时间：2020-04-22 17:18

【摘要】：作为当代先进制造系统不可或缺的一部分,柔性制造系统具有传统制造系统所不具备的柔性和灵捷性。一个典型的柔性制造系统通常由拾取和放置机械手系统、若干加工中心、物流系统和先进控制系统等部分构成。其中一些部分可以被视作是该柔性制造系统中的共享资源,而这些共享资源正是其具有柔性的根源,但在某些情况下也会导致死锁现象的出现。死锁是资源分配系统中的经典问题,当它出现在高度自动化的柔性制造系统中时,会产生一系列负面的影响,从降低系统性能和生产能力到导致系统中部分重要和昂贵资源的低使用率,甚至导致长时间的系统停滞。因此,不论从理论研究还是实际应用方面,对死锁问题的分析与解决都势在必行。系统无死锁意味着柔性制造系统中一个或者多个并发加工进程始终可以完成。更进一步,系统活性是另一个重要的行为性能,它意味着系统中每一个加工进程或早或晚终究可以完成。活性意味着无死锁性,但并非反之亦然。实现系统活性是对死锁控制的更高要求。 本文从系统行为逻辑的角度出发,重点研究建模柔性制造系统的一般Petri网模型中的内在活性结构与死锁控制问题。不同于现有的基于信标的控制方法,内在活性结构的概念成为设计、分析和优化本文中一系列新死锁控制和活性实现方法的起点。本文从建模具有复杂资源使用方式的柔性制造系统的一般Petri网模型子类中辨识和提取出内在活性结构的特征和本质。本文充分研究了一般Petri网模型的初始标识与连接弧权值之间的数值关系,以此来设计特殊的约束条件来实现全局或局部的内在活性结构。借助于Petri网结构理论、图论和数论,本文中关于死锁控制和活性实现的研究成果,在降低计算复杂度(或提高计算效率),降低结构复杂性或改善受控系统行为许可性方面显著优于传统基于信标的方法。
【学位授予单位】：西安电子科技大学
【学位级别】：博士
【学位授予年份】：2012
【分类号】：TH165

【共引文献】

相关期刊论文 前10条

1 张亮;金茂忠;姚淑珍;;一种支持工作流模式的扩展工作流网[J];北京航空航天大学学报;2007年01期

2 章汉武;龚俊;吴华意;;地理空间信息服务质量评价的概念与方法[J];测绘科学;2012年01期

3 Jong-sun CHOI;Jae-young CHOI;Yong-yun CHO;;Context-aware Workflow Model for Supporting Composite Workflows[J];Journal of Measurement Science and Instrumentation;2010年02期

4 李征;李昭;何克清;王健;冯在文;;Research on Evolution of Goal-Driven Service Composition Patterns[J];Journal of Donghua University(English Edition);2012年01期

5 张华;王茜;;面向服务工作流补偿机制的研究与实现[J];东南大学学报(自然科学版);2009年01期

6 于素萍;毛伟伟;;基于抽象服务流程的Web服务组合的重用[J];电脑知识与技术;2010年33期

7 尹毅伟;刘敏;孙斗;赵永望;;Web服务标准及互操作性分析(六) Web服务业务流程相关标准的互操作性分析[J];信息技术与标准化;2009年08期

8 顿海强;赵文;邓鹏鹏;张世琨;王立福;谭杰;;一种基于RFID数据集的物品工作流挖掘方法[J];电子学报;2008年S1期

9 朱学伟;孙奎;路鹏;殷兆麟;;工作流模式的概述[J];福建电脑;2007年12期

10 傅琴;潘孝铭;;基于Pi演算的工作控制流模式研究[J];福建电脑;2008年10期

相关会议论文 前7条

1 扬小军;郑应平;;离散事件系统监控与状态反馈的关系[A];1992年中国控制与决策学术年会论文集[C];1992年

2 颜文俊;孙优贤;;基于事件反馈的DES监控理论[A];1994中国控制与决策学术年会论文集[C];1994年

3 陈娇娇;薛岗;何象林;何婧;;基于DSC的工作流模式描述研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集（下册）[C];2009年

4 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

5 周建涛;叶新铭;李平;;网格环境中基于SOA的工作流系统架构研究[A];第二十四届中国数据库学术会议论文集（技术报告篇）[C];2007年

6 ;Representation of Supervisory Controls using State Tree Structures, Binary Decision Diagrams, Automata, and Supervisor Reduction[A];第24届中国控制与决策会议论文集[C];2012年

7 李昌志;付晓东;田强;王威;夏永滢;;一种费用最小化的Veb服务组合可靠性优化分配方法[A];第25届中国控制与决策会议论文集[C];2013年

相关博士学位论文 前10条

1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年

2 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年

3 崔毓剑;基于网络化的林业工程装备制造业供应链协同研究[D];中南林业科技大学;2010年

4 林东亮;温室环境控制混合系统建模与分析[D];上海大学;2010年

5 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年

6 董存祥;应急事件处置流程建模及其过程协同研究[D];天津大学;2010年

7 刘灿灿;科学工作流管理及调度研究[D];国防科学技术大学;2011年

8 蔡章利;基于BPMN的业务流程一体化建模方法研究与实现[D];重庆大学;2011年

9 黄红梅;基于同步管理器的柔性工作流建模方法的研究[D];广东工业大学;2011年

10 闵帆;基于试探的任务分配算法研究[D];电子科技大学;2003年

相关硕士学位论文 前10条

1 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

2 李占峻;基于Pi演算的网格工作流形式化描述及有效性检测[D];解放军信息工程大学;2009年

3 汪成英;S~3PR网的严格极小信标计算及活性控制器设计[D];浙江工商大学;2011年

4 朱琴;放射流程监控与自动排班技术研究[D];浙江大学;2011年

5 刘雅琪;基于工作流的网上协同OA系统的设计与研究[D];湖北工业大学;2011年

6 周欣;工作流技术在科研管理信息系统中的应用研究与实现[D];北京交通大学;2011年

7 马伟;面向服务的工作流系统研究与实现[D];曲阜师范大学;2011年

8 王芳;基于JBPM的林权证管理系统研建[D];北京林业大学;2011年

9 刘伟跃;基于工作流的张航校园网OA系统的设计与开发[D];中南大学;2010年

10 张少轩;基于SOA的动物卫生监督系统的设计与实现[D];华北电力大学;2011年

，

本文编号：2636739