死锁预防相关论文
随着工业自动化技术的不断发展,移动机器人因其较高的柔性与可扩展性被广泛应用于制造业、物流业等多种工业场景中,成为运输货物的......
为了便于系统分析与综合,人们通常需要对物理系统进行一定层次的简化及抽象,并在此基础上建立相应的数学模型。离散事件系统是人们......
该文主要研究Petri网在FMS建模及死锁控制中的应用.与已有的这方面工作的区别是:以往所讨论的资源共享FMS虽然允许同一种资源可以......
柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种建模分析工具,它能很方便地为柔性制造系统建模并分析和解......
在自动化生产系统的实际运行过程中,可能会存在资源分配不当的情况,使得系统陷入死锁状态,进而导致系统无法运行,严重时会造成重大......
计算机硬件的多核变革促使了多线程并行程序系统的出现。多线程软件的一大特点便在于程序的并发性,这导致多线程软件中容易出现并......
作为一类自动制造系统,柔性制造系统是由计算机数控机床与物料传输系统组成的,可以高效地制造中小型批量产品的计算机控制系统。然......
介绍了制造系统中的死锁问题,特点及控制策略.总结了近十年来制造系统中死锁问题的研究成果,将死锁问题的研究方法,按照建模方法......
一类基于 Petri 网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小......
迭代控制算法是一种Pe tr i网死锁预防方法。基本的控制思想为,对于一个Pe tr i网,求取可被清空的极小信标,通过添加控制库所,直至......
作为一种基于可达图的死锁预防策略,区域理论能够保证网系统的最大许可行为。但是利用它对Petri网进行死锁控制的瓶颈在于网模型状......
柔性制造系统对有限资源的竞争会产生死锁现象。Petri网作为一种分析工具,可以有效地为柔性制造系统建模、分析并解决死锁问题。基......
本文针对Petri网的子类提出了一种新的建立控制器的方法，这种方法可以很好地建模控制许多柔性制造系统。在以前所做的工作中，我们要......
论文应用基本信标研究死锁预防策略，通过对柔性制造系统(FMS)的Petri网模型子类—RCN合并网的结构特性分析，将RCN合并网中存在问题的......
近年来，Petri网在FMS的建模、分析和控制过程中得到了广泛的应用。本文对Petri网模型的死锁控制问题进行了较为深入的研究。首先，论......
在柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种工具，它很方便的为柔性制造系统建模，分析并解决了这一死......
论文研究了Petri网的特殊子类S~4PR的死锁控制问题，提出了两种基于信标最大可控性的死锁预防策略，即参数化的死锁预防策略和基于非充......
自然世界及工程实际中的许多现象都可以归结为离散事件动态系统(DEDS)，这些系统无一例外的要求具有无阻塞性，及系统运行无死锁。科学......
一类基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小信......
FMS是具有高度复杂性的系统，易发生故障。需建立能描述故障的Petri网模型，以便分析系统特性，选择合适的控制方法．ES~3PR网是Petri网的......
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。基于信标理论的死锁预防策略的前提要得到网中严格极小信标。在......
论文研究了Petri网的一种特殊子类G-system在柔性制造系统中的死锁问题,提出了基于信标最大可控性的死锁预防策略即参数化的监督控......
本文主要研究柔性制造系统中的死锁问题,利用Petri网对其建模,对一种网的子类-S3PR网,提出了几种新的死锁预防策略。网模型中的信......
信标的重要性在Petri网的死锁预防分析和控制中已经被充分地认识。本论文就是致力于研究一般Petri网系统,并以其一种特殊子类S4PR......
本文研究了柔性制造系统中的死锁预防问题，研究的目的是设计结构更简单、可达状态更多的优化的Petri网控制器.根据以前的工作，将Petr......
本文主要研究柔性制造系统中的死锁问题,基于Petri网中的一种子类S4R网给出了一种改进的死锁预防算法。Petri网中,信标作为一种结......
死锁是柔性制造系统控制设计时必须考虑和解决的问题。Petri网研究者提出多种方法来处理柔性制造系统中的死锁问题。作为一种基于......
迭代控制算法是一种Petri网死锁预防方法。本文对三种基于关键标识的极小信标覆盖集的Petri网迭代控制算法进行了分析。由于这三种......
死锁是自动制造系统控制系统设计时必须考虑和解决的问题。迭代控制算法是其中的一种Petri网死锁预防方法。本文对基于改进的混合......
应用Petri网建模与分析柔性制造系统，死锁预防是一个不可回避的问题。行为许 可性、结构复杂性与计算复杂性是衡量一个活性控制器......
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保......
为了解决S4PR网的信标求解问题,提出了一种计算网中全部极小信标的方法.该方法通过分析资源库所内工作环与资源库所集合之间的关系......
自动化制造系统属于资源分配系统,在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器,达到避免死锁之目的.另外,良好的受......
针对一类含有并发执行装配过程的柔性制造系统G-systems，提出一种新的死锁预防策略保证该系统的非阻塞性，即在控制下，受控系统从任意......
S4R网作为一种特殊的Petri网子类,与S3PR网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对S4R网提出了一种综......
为解决自动制造系统中的死锁问题，提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中，混合整数规划算法中的0......
针对Petri网的S^3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构......
针对S3PR网的死锁预防问题,提出一种基于信标的最大许可死锁控制策略。采用迭代方法对网系统中存在的所有可清空严格极小信标添加......
该文以一实际应用为背景提出了多移动机器人避碰及死锁预防算法,该算法将机器人的运行环境形式化地描述为初等运动集、冲突图、总......
基于资源顺序提出了一种多项式复杂度的死锁控制策略,保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性。首先对系......
本文介绍了计算机操作系统中检测死锁的充分必要条件,即"死锁定理",同时还介绍和讨论了预防计算机出现死锁的几个方法.......
S~4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模......
随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做......
针对柔性制造系统（FMS）中的死锁问题，根据矩阵理论给出了Petri网中基本信标的概念，进而提出一种基于基本信标和混合整数规划法（MIP）的死......
