死锁预防相关论文
随着工业自动化技术的不断发展,移动机器人因其较高的柔性与可扩展性被广泛应用于制造业、物流业等多种工业场景中,成为运输货物的......
为了便于系统分析与综合,人们通常需要对物理系统进行一定层次的简化及抽象,并在此基础上建立相应的数学模型。离散事件系统是人们......
柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种建模分析工具,它能很方便地为柔性制造系统建模并分析和解......
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。对于一个网模型而言,找到死锁节点,利用一定办法对其死锁节点进......
计算机硬件的多核变革促使了多线程并行程序系统的出现。多线程软件的一大特点便在于程序的并发性,这导致多线程软件中容易出现并......
作为一类自动制造系统,柔性制造系统是由计算机数控机床与物料传输系统组成的,可以高效地制造中小型批量产品的计算机控制系统。然......
一类基于 Petri 网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小......
迭代控制算法是一种Pe tr i网死锁预防方法。基本的控制思想为,对于一个Pe tr i网,求取可被清空的极小信标,通过添加控制库所,直至......
柔性制造系统对有限资源的竞争会产生死锁现象。Petri网作为一种分析工具,可以有效地为柔性制造系统建模、分析并解决死锁问题。基......
本文针对Petri网的子类提出了一种新的建立控制器的方法，这种方法可以很好地建模控制许多柔性制造系统。在以前所做的工作中，我们要......
论文应用基本信标研究死锁预防策略，通过对柔性制造系统(FMS)的Petri网模型子类—RCN合并网的结构特性分析，将RCN合并网中存在问题的......
近年来，Petri网在FMS的建模、分析和控制过程中得到了广泛的应用。本文对Petri网模型的死锁控制问题进行了较为深入的研究。首先，论......
在柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种工具，它很方便的为柔性制造系统建模，分析并解决了这一死......
论文研究了Petri网的特殊子类S~4PR的死锁控制问题，提出了两种基于信标最大可控性的死锁预防策略，即参数化的死锁预防策略和基于非充......
自然世界及工程实际中的许多现象都可以归结为离散事件动态系统(DEDS)，这些系统无一例外的要求具有无阻塞性，及系统运行无死锁。科学......
一类基于Petri网来防止柔性制造系统出现死锁的方法是通过给每一个严格极小信标添加一个控制库所和连接弧来保证每一个严格极小信......
FMS是具有高度复杂性的系统，易发生故障。需建立能描述故障的Petri网模型，以便分析系统特性，选择合适的控制方法．ES~3PR网是Petri网的......
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。基于信标理论的死锁预防策略的前提要得到网中严格极小信标。在......
本文致力于柔性制造系统(FMS)中死锁预防问题的研究。传统的死锁预防策略要对每个可被清空的严格极小信(SMS)标添加一个控制库所从......
论文研究了Petri网的一种特殊子类G-system在柔性制造系统中的死锁问题,提出了基于信标最大可控性的死锁预防策略即参数化的监督控......
本文主要研究柔性制造系统中的死锁问题,利用Petri网对其建模,对一种网的子类-S3PR网,提出了几种新的死锁预防策略。网模型中的信......
信标的重要性在Petri网的死锁预防分析和控制中已经被充分地认识。本论文就是致力于研究一般Petri网系统,并以其一种特殊子类S4PR......
本文研究了柔性制造系统中的死锁预防问题，研究的目的是设计结构更简单、可达状态更多的优化的Petri网控制器.根据以前的工作，将Petr......
本文主要研究柔性制造系统中的死锁问题,基于Petri网中的一种子类S4R网给出了一种改进的死锁预防算法。Petri网中,信标作为一种结......
死锁是柔性制造系统控制设计时必须考虑和解决的问题。Petri网研究者提出多种方法来处理柔性制造系统中的死锁问题。作为一种基于......
迭代控制算法是一种Petri网死锁预防方法。本文对三种基于关键标识的极小信标覆盖集的Petri网迭代控制算法进行了分析。由于这三种......
死锁是自动制造系统控制系统设计时必须考虑和解决的问题。迭代控制算法是其中的一种Petri网死锁预防方法。本文对基于改进的混合......
柔性制造系统中,生产进程之间互相等待对方占有的资源会导致死锁,使系统性能恶化,给生产带来损失。S4PR网是一类具有良好建模能力......
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保......
