导读:本文包含了死锁控制论文开题报告文献综述及选题提纲参考文献，主要关键词:柔性制造系统,Petri网,不可靠资源,鲁棒控制
死锁控制论文文献综述
冯彦翔,陈泽宾,张为元[1]（2019）在《基于变迁覆盖的柔性制造系统的鲁棒死锁控制策略》一文中研究指出研究拥有一类不可靠柔性制造系统的鲁棒死锁控制问题。基于不可靠系统的Petri网模型,利用变迁覆盖理论,为系统建立了结构规模较小的鲁棒死锁控制策略,保证即使不可靠资源发生故障,系统仍然能持续性地加工所有类型的工件。(本文来源于《咸阳师范学院学报》期刊2019年06期）
李绍勇,孙智冬,蔡颖,厚彩琴,韩喜莲[2]（2019）在《应用控制变迁的柔性制造系统死锁控制策略》一文中研究指出不同于目前许多文献中基于添加控制库所的死锁预防策略,本文提出了控制变迁方程(CTE)的概念和相应的基于添加控制变迁(CT)的死锁控制策略(DCP).通过分析存在死锁的原网(N0, M0)的可达图(RG),该DCP求解出所有死锁标识(DM).基于CTE,构造出所需的控制变迁.然后,对每个DM添加相应的CT,进而消除了原网(N_0, M_0)中的死锁标识,得到了活性受控网系统(N~?, M~?).通过理论分析和相关算例的应用,该DCP的正确性和有效性得到了验证.此外,该DCP获取的活性受控网系统(N~?, M~?)可达数目与原网(N_0, M_0)是相同的,即最大可达数(MRN).(本文来源于《控制理论与应用》期刊2019年05期）
刘苗[3]（2015）在《柔性制造系统活性分析与死锁控制》一文中研究指出作为当代制造业不可或缺的一部分,柔性制造系统(Flexible Manufacturing Systems-FMSs)具有传统制造过程所不具备的柔性和灵捷性。柔性制造系统通常是由数控机床、缓冲器、夹具、机器人、自动导向小车以及其它材料处理设备构成的计算机控制系统,其中一部分设备被视为柔性制造系统的共享资源。从形式化的角度来看,柔性制造系统属于资源分配系统。根据多变的产品规格,柔性制造系统可以动态地配置和分配资源。通过资源共享,柔性制造系统可以同时加工多个不同的原始工件,从而满足多品种小批量的生产需求。但由于并发系统中对有限资源的竞争,导致柔性制造系统中死锁的出现,进而引发一系列不良的后果。目前,针对自动制造系统中出现的死锁问题,已研发出了多种死锁控制策略,分析和控制柔性制造系统中的死锁问题势在必行。柔性制造系统无死锁意味着系统中的一个或者多个并发加工进程始终可以完成。此外,活性是柔性制造系统的一个重要性质。非活性是制造系统中不希望出现的一种状况。需要注意的是活性意味着无死锁,但非反之亦然。一旦系统不活,系统中某些事件可能永远无法执行,导致局部或全局死锁。对于一些与生命和基础设施安全密切相关的系统,一旦出现死锁,必将造成巨大的生命和财产损失。Petri网作为一类有力的数学工具,广泛应用于柔性制造系统的建模、分析和控制。Petri网模型的活性意味着在一个系统中,从任意状态开始的每一个操作都是可执行的,意味着不存在全局死锁或局部死锁。本文致力于研究Petri网建模的柔性制造系统的活性检测以及死锁控制问题。主要研究成果如下：1.对于一类加权的S3PR网,简称WS3PR,充分利用该类网的结构特性对其进行分析。通过研究资源库所标识与其输入输出弧权值之间的约束关系,给出了α-变迁和β-变迁的概念。根据强连通子网和树结构的相关性质,导出了资源库所标识与其相关输入输出弧权值之间的数值组合关系,进而提出了判断网活性的充分条件并给出了一种简单图示的活性检测算法。2.作为WS3PR活性检测方法的一种拓展和应用,针对S3PR网的一类子网-LS3PR,提出了一种通过资源配置保证网系统活性的方法。利用LS3PR网的结构特征以及资源子网的相关知识,通过分析资源库所标识与闲置库所标识之间的约束关系,进而对系统中的资源进行配置。在充分利用资源子网结构特性的基础上给出了计算LS3PR网中每个资源库所标识的算法,并证明所给出的算法是多项式复杂的。3.从技术角度来说,大多数死锁控制策略都是通过对Petri网状态空间分析或结构分析而提出的。本文给出一种基于资源重配以及控制器重构的死锁预防策略。首先给定一个网模型,对其中的每个资源库所的标识进行重新分配使其均为一,在此标识下的网模型的可达状态与原网相比大大减少,在此情况下利用区域理论设计该网的控制器。此后,将该控制系统当中的资源标识重新设置到最初给定值。在不需要改变控制器结构的情况下,通过逐步改变控制器的标识来实现原网的死锁控制进而使其为活。通过实例验证,所给出的死锁预防策略使系统的许可行为达到接近最优。4.针对S3PR网,首先给出了关键资源库所和与其相关的多路径资源持有库所的概念。通过分析关键资源库所和环资源子网的结构特性,给出了环资源子集导出严格极小信标的充分条件。根据该条件,可以计算出给定S3PR网中所有的严格极小信标。最后,在总结全文的基础上,对柔性制造系统活性分析与死锁控制的未来工作进行了展望。(本文来源于《西安电子科技大学》期刊2015-09-01）
肖海宁,楼佩煌[4]（2015）在《自动导引车系统避碰及环路死锁控制方法》一文中研究指出为了避免单向导引路径网络中各自动导引车间发生碰撞及系统死锁,以基于单向导引路径网络的自动导引车系统为研究对象,提出一种避免自动导引车间碰撞的避碰方法。针对基于单向导引路径的自动导引车系统特点,建立了基于有向图的自动导引车系统运行状态模型,基于该模型提出一种环路死锁搜索方法。定义了包括单环路和多环路死锁临界状态的环路死锁临界状态概念,针对两种环路死锁临界状态,设计了对应的死锁控制策略。通过仿真证明了所提方法的有效性。(本文来源于《计算机集成制造系统》期刊2015年05期）
方彦军,唐猛[5]（2014）在《AVS/RS系统冲突与死锁控制策略》一文中研究指出针对多小车多升降机自动小车存取系统的安全性需求,提出一种基于迭代时间窗的系统冲突与死锁控制策略。通过改进的Banker算法分别完成小车2个作业阶段的最短路径检测,同时对系统冲突与死锁类型进行了分类,给出了基于迭代时间窗法的冲突与死锁控制策略,并通过具体实例进行详细验证。结果表明,该文提出的系统冲突及死锁控制策略,能够在提高小车运行效率的同时,增强系统的安全性能。(本文来源于《自动化与仪表》期刊2014年12期）
张秀艳[6]（2014）在《基于Petri网的柔性制造系统可达性分析与死锁控制》一文中研究指出柔性制造系统(FMSs)是由数控机床、缓冲器、夹具、机器人、自动导向小车(AGV)以及其它材料处理设备构成的计算机控制系统。其中一部分被视为该柔性制造系统的共享资源。而并行加工过程对这些有限资源的竞争会导致死锁的出现,会极大地降低生产效率。因此,对死锁的分析与控制势在必行。Petri网由于具有简约和规范的表达形式,在柔性制造系统的建模、分析和控制中得到了广泛的应用和发展。近年来,研究者提出了大量基于Petri网的控制策略。通常,评价这些策略的性能指标主要有叁个：行为许可性、结构复杂度以及计算复杂度。从技术角度看,这些策略主要通过结构分析和可达图分析来实现死锁控制。基于结构分析通过信标或资源变迁环路来获得活性控制器,通常计算效率较高但却限制了系统的部分许可行为。而基于可达图分析往往可以获得具有较高许可行为的次优或最优活性控制器。但由于要枚举部分或全部可达图而存在状态爆炸问题。本论文致力于研究柔性制造系统可达状态的高效求解方法及活性控制器设计。主要的研究成果如下：1.针对一类被称作Pipe-line Nets(PLNs)的子网,提出了一种高效的基于P-不变式和严格极小信标计算可达标识集的新方法。首先,根据极小P-半流求得系统的不变式标识集,其中由于系统共享资源的存在而可能包含伪标识,并由资源环路求得严格极小信标。其次,通过分析严格极小信标中操作库所的标识数与其界的关系,给出判定伪标识的一个充分必要条件,并根据该条件求得所有的伪标识。最后,通过剔除不变式标识集中的所有伪标识来获得PLNs的可达标识集。试验结果验证了基于P-不变式和严格极小信标计算可达标识集的高效性。2.将基于P-不变式和严格极小信标计算可达标识集的方法扩展到比PLNs更一般的具有特定资源库所的LS3PR网系统中。通过分析严格极小信标中操作库所的标识数与其界的关系,给出判定伪标识的一个更一般的充分必要条件,并根据该条件求得不变式标识集中所有的伪标识。最后,通过剔除不变式标识集中的所有伪标识来获得LS3PR网的可达标识集。实例分析验证了该方法的有效性。3.大多数已有的Petri网死锁预防策略都是通过添加控制库所来解决死锁问题。基于可达图分析,可以获得最大许可行为的活性控制器使得所有合法标识可达并禁止所有首遇坏标识。本文基于可达图分析,提出了一种通过添加控制变迁来将死标识转化为合法标识的死锁控制策略,其中保留了所有的系统行为而不引入新的系统状态。为了降低控制器的结构复杂度,本文提出了一种集合覆盖方法来减少控制变迁的数目。该控制器保留了系统的所有的行为并将死标识转化为合法标识,保证了系统活性并且可达状态最多,因此是一个最优的活性控制器。与已有的基于控制库所的死锁预防策略相比,该策略下系统具有更多的许可行为。4.针对S3PR网,提出了一种死锁避免策略,其中只禁止使严格极小信标清空的变迁发射。通过分析可达图中的标识,给出该策略可以获得最大许可行为活性控制器的充分必要条件。最后得出当一类被称作弱从属S3PR网的子网满足一定的结构条件时,该策略可以获得最大许可行为的活性控制器。(本文来源于《西安电子科技大学》期刊2014-09-01）
李绍勇,安爱民,蔡颖,厚彩琴,韩喜莲[7]（2013）在《Petri网的子类G–system网的死锁控制策略》一文中研究指出由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求解导致死锁信标所采用的部分枚举方法相比,该方法避免了先求解出最大的死标识信标,进而从中提取极小信标的步骤,提高了信标的计算效率.同时,通过添加适当的控制库所,使得灵巧信标满足max0-controlled,获取的活性受控G–system网系统的许可行为数目可以得到进一步的提升.通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.(本文来源于《控制理论与应用》期刊2013年11期）
刘慧霞,邢科义,康苗苗[8]（2013）在《基于变迁覆盖的制造系统死锁控制策略》一文中研究指出基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点.(本文来源于《控制理论与应用》期刊2013年04期）
刘鼎[9]（2012）在《柔性制造系统一般Petri网模型内在活性结构与死锁控制研究》一文中研究指出作为当代先进制造系统不可或缺的一部分,柔性制造系统具有传统制造系统所不具备的柔性和灵捷性。一个典型的柔性制造系统通常由拾取和放置机械手系统、若干加工中心、物流系统和先进控制系统等部分构成。其中一些部分可以被视作是该柔性制造系统中的共享资源,而这些共享资源正是其具有柔性的根源,但在某些情况下也会导致死锁现象的出现。死锁是资源分配系统中的经典问题,当它出现在高度自动化的柔性制造系统中时,会产生一系列负面的影响,从降低系统性能和生产能力到导致系统中部分重要和昂贵资源的低使用率,甚至导致长时间的系统停滞。因此,不论从理论研究还是实际应用方面,对死锁问题的分析与解决都势在必行。系统无死锁意味着柔性制造系统中一个或者多个并发加工进程始终可以完成。更进一步,系统活性是另一个重要的行为性能,它意味着系统中每一个加工进程或早或晚终究可以完成。活性意味着无死锁性,但并非反之亦然。实现系统活性是对死锁控制的更高要求。本文从系统行为逻辑的角度出发,重点研究建模柔性制造系统的一般Petri网模型中的内在活性结构与死锁控制问题。不同于现有的基于信标的控制方法,内在活性结构的概念成为设计、分析和优化本文中一系列新死锁控制和活性实现方法的起点。本文从建模具有复杂资源使用方式的柔性制造系统的一般Petri网模型子类中辨识和提取出内在活性结构的特征和本质。本文充分研究了一般Petri网模型的初始标识与连接弧权值之间的数值关系,以此来设计特殊的约束条件来实现全局或局部的内在活性结构。借助于Petri网结构理论、图论和数论,本文中关于死锁控制和活性实现的研究成果,在降低计算复杂度(或提高计算效率),降低结构复杂性或改善受控系统行为许可性方面显着优于传统基于信标的方法。(本文来源于《西安电子科技大学》期刊2012-09-01）
赵咪,鲁敏[10]（2012）在《基于资源顺序的柔性制造系统死锁控制策略》一文中研究指出基于资源顺序提出了一种多项式复杂度的死锁控制策略,保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性。首先对系统Petri网模型求取操作库所的资源需求量,在任意一组资源顺序的偏序下,调整操作库所的最大资源需求量,然后对每个资源添加控制保证系统资源不会进入循环等待,从而保证系统不会进入死锁状态。通过实例验证,该策略避免了求取信标,在保证系统活性的基础上明显降低了计算复杂度。(本文来源于《石河子大学学报(自然科学版)》期刊2012年02期）
死锁控制论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
不同于目前许多文献中基于添加控制库所的死锁预防策略,本文提出了控制变迁方程(CTE)的概念和相应的基于添加控制变迁(CT)的死锁控制策略(DCP).通过分析存在死锁的原网(N0, M0)的可达图(RG),该DCP求解出所有死锁标识(DM).基于CTE,构造出所需的控制变迁.然后,对每个DM添加相应的CT,进而消除了原网(N_0, M_0)中的死锁标识,得到了活性受控网系统(N~?, M~?).通过理论分析和相关算例的应用,该DCP的正确性和有效性得到了验证.此外,该DCP获取的活性受控网系统(N~?, M~?)可达数目与原网(N_0, M_0)是相同的,即最大可达数(MRN).
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
死锁控制论文参考文献
[1].冯彦翔,陈泽宾,张为元.基于变迁覆盖的柔性制造系统的鲁棒死锁控制策略[J].咸阳师范学院学报.2019
[2].李绍勇,孙智冬,蔡颖,厚彩琴,韩喜莲.应用控制变迁的柔性制造系统死锁控制策略[J].控制理论与应用.2019
[3].刘苗.柔性制造系统活性分析与死锁控制[D].西安电子科技大学.2015
[4].肖海宁,楼佩煌.自动导引车系统避碰及环路死锁控制方法[J].计算机集成制造系统.2015
[5].方彦军,唐猛.AVS/RS系统冲突与死锁控制策略[J].自动化与仪表.2014
[6].张秀艳.基于Petri网的柔性制造系统可达性分析与死锁控制[D].西安电子科技大学.2014
[7].李绍勇,安爱民,蔡颖,厚彩琴,韩喜莲.Petri网的子类G–system网的死锁控制策略[J].控制理论与应用.2013
[8].刘慧霞,邢科义,康苗苗.基于变迁覆盖的制造系统死锁控制策略[J].控制理论与应用.2013
[9].刘鼎.柔性制造系统一般Petri网模型内在活性结构与死锁控制研究[D].西安电子科技大学.2012
[10].赵咪,鲁敏.基于资源顺序的柔性制造系统死锁控制策略[J].石河子大学学报(自然科学版).2012