死锁预防相关论文
随着工业自动化技术的不断发展,移动机器人因其较高的柔性与可扩展性被广泛应用于制造业、物流业等多种工业场景中,成为运输货物的......
为了便于系统分析与综合,人们通常需要对物理系统进行一定层次的简化及抽象,并在此基础上建立相应的数学模型。离散事件系统是人们......
柔性制造系统中对有限资源的竞争会使系统产生死锁现象。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网子类保......
自动化制造系统属于资源分配系统,在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器,达到避免死锁之目的.另外,良好的受......
针对一类含有并发执行装配过程的柔性制造系统G-systems，提出一种新的死锁预防策略保证该系统的非阻塞性，即在控制下，受控系统从任意......
为解决自动制造系统中的死锁问题，提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中，混合整数规划算法中的0......
针对Petri网的S^3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构......
针对S3PR网的死锁预防问题,提出一种基于信标的最大许可死锁控制策略。采用迭代方法对网系统中存在的所有可清空严格极小信标添加......
该文以一实际应用为背景提出了多移动机器人避碰及死锁预防算法,该算法将机器人的运行环境形式化地描述为初等运动集、冲突图、总......
基于资源顺序提出了一种多项式复杂度的死锁控制策略,保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性。首先对系......
随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做......
针对柔性制造系统（FMS）中的死锁问题，根据矩阵理论给出了Petri网中基本信标的概念，进而提出一种基于基本信标和混合整数规划法（MIP）的死......
本文讨论了分布式数据库系统中基于时戳的死锁预防策略,分析了预防死锁问题的两种可行的动态优先级方案--等待-死亡方案和伤害-等......
针对一类柔性制造系统的ES3PR网模型提出了一种死锁预防策略.基于Petri网和信标的理论,我们将可被清空的信标分为基本信标和从属信......
为解决一类自动制造系统的死锁问题，利用有效变迁覆盖提出了一种新的死锁预防策略．利用严格极小siphon与极大完备资源变迁回路之间的......
针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,......
针对时延Petri网的死锁预防问题，提出了一个有效的预防控制算法，将信标控制死锁预防的方法应用到时延Petri网中，不需要列举全部可达状......
基于Petri网．研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标......
对于一类网系统ES^3PR提出了一种有效的死锁控制策略．严格极小信标分为基本信标和从属信标，对每个基本信标通过添加控制库所，保证其能......
