死锁控制相关论文
由于庞大的用户需求和激烈的市场竞争,自动制造系统已经经历了实质性的变化。自动制造系统通过减少成本、改善产品质量和增加生产......
本文致力于研究S3PR网的死锁控制问题,得到具有最大行为许可性和多项式复杂度的控制策略是死锁研究的主要目的。本文提出为每个严......
Petri网是公认的描述并发性、不确定性、同步性、冲突性和资源共享性等重要行为概念的基础理论之一。它在柔性制造系统(flexible m......
Petri网是一种适合于描述异步并发的形式化系统模型。Petri网不仅有严格的数学表达形式与直观的图形表现形式,还具备对异步与并发......
目前,柔性制造系统(FMSs)广泛应用于生产制造业中。在一个柔性制造系统中,不同进程利用有限系统资源去完成各式各样的工作。在这种......
本课题的研究工作以自动化医学分析系统为研究对象和应用背景,在离散事件系统的层面上,从系统资源分配的角度展开研究。本文使用一......
死锁是柔性制造系统必须考虑和解决的问题。由于Petri网具有可以检测死锁并建立死锁控制策略来处理死锁的能力,它们适合建模和控制......
基于Petri网,人们研究了很多自动制造系统死锁问题的求解方法。但大部分解决方案在研究过程中假定一个自动制造系统拥有稳定可靠的......
作为当代先进制造系统不可或缺的一部分,柔性制造系统具有传统制造系统所不具备的柔性和灵捷性。一个典型的柔性制造系统通常由拾......
为解决柔性制造系统中的死锁问题,以受控系统的许可行为作为指标,根据Petri网基本信标理论,提出了一种次优化的活性控制器设计方法......
基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁......
本文基于Petri网模型,讨论柔性制造系统的死锁控制问题.为了建立结构简单的Petri网控制器,本文在以前的工作中提出了信标基底的概......
利用Petri网为一类柔性制造建模,并讨论避免系统死锁问题,通过Petri网膜型的结构分析,证明了系统产生死锁的一个充分必要条件,给出了避免死锁的最......
由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策......
针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlockcontrolpolicy,DCP).第1步,该策略求解原网......
在半导体芯片制造中必须保证组合设备运行时不存在死锁,本文研究了多组合设备的无死锁运行问题。引入了着色令牌和受控变迁,用面向资......
Petri网作为一种强大的数学建模工具,广泛应用在柔性制造系统(Flexible Manufacturing Systems,FMS)的建模、分析、控制和仿真中。......
针对具有特定资源库所的S3PR网,提出了一种基于P不变式和严格极小信标的计算可达标识集的新方法.首先计算出由P不变式所确定的不变......
基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法.该算法首先从死标识的定义出发,结合结构不变式(P-不变式),求出P......
AVS/RS系统是未来自动化立体仓库发展的趋势,目前对于它的研究还处于概念模型设计阶段。为了进一步推广AVS/RS的实际应用,研究其运......
由于存在有限资源的共享与竞争,资源分配系统在运行过程中容易出现资源的循环等待,这样就会产生死锁。而在高度自动化的系统中,死锁的......
作为当代先进制造系统不可或缺的一部分,柔性制造系统具有传统制造系统所不具备的柔性和灵捷性。一个典型的柔性制造系统通常由拾......
柔性制造系统(FMSs)是由数控机床、缓冲器、夹具、机器人、自动导向小车(AGV)以及其它材料处理设备构成的计算机控制系统。其中一......