基于一类特殊S3PR网的多项式复杂度死锁避免策略研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:breeze_86
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文致力于研究S3PR网的死锁控制问题,得到具有最大行为许可性和多项式复杂度的控制策略是死锁研究的主要目的。本文提出为每个严格极小信标添加一个控制深度为一的控制库所的死锁预防策略。基于可达图,分析该策略下一个网存在活性控制器的充要条件是该网的可达图中不存在不可控标识,这类网称为可行网。并且为可行网添加控制库所得到的活性控制器具有最大行为许可性。不可控标识判断的主要理论依据是,在S3PR网的信标清空前状态下,一定可以内部发射。为了方便研究,本文首次提出信标的清空状态、清空前状态、核心资源及相邻资源等概念。一般情况下,即使是最简单的自动制造系统,计算其最大行为许可的死锁避免策略都是NP-hard的,有文献提出一种判断资源变迁回路饱和的死锁避免策略,并证明了对于不含有单位容量的中心资源的S3PR网,该策略具有多项式复杂度。本文通过研究资源变迁回路和信标的关系,说明了该策略同样可以应用于可行网;本文提出弱从属S。PR网的概念,从结构上分析了该类网具有的特殊性质,并证明该策略可以应用于某些特殊的弱从属S3PR,且具有多项式复杂度。
其他文献
学位
真空吹氧脱碳(Vacuum Oxygen Decarburization)简称VOD,是一种先进的钢铁精炼生产工艺。基于该工艺流程开发了生产指导系统,以实现生产自动化。由于该系统不能适应精炼环境和材料
随着现代工业规模的不断扩大和系统复杂度的日益提高,电机轴承被越来越多的应用在工业生产中,因此,对电机轴承进行有效精确的故障诊断便成为了一项十分有意义的科研课题。本文在基于数据驱动的基础上,提出基于集合经验模态分解(EEMD)-改进的局部均值分解(ILMD)-改进万有引力搜索算法(IGSA)-增量概率神经网络(IPNN)的电机轴承故障诊断集合方法,以此提高电机轴承故障诊断的精确性。本文全部的试验数据
磁控形状记忆合金(MSMA)是一种具有可逆性特点的新型功能材料,对磁场作用下变形的MSMA材料施加较高频率的动态力,检测线圈可输出较大的感应电压信号,利用该特性可研制MSMA传
学位
近几十年来,随着计算机技术的突飞猛进,计算速度的大幅提升,雷达、红外和视频等领域的目标跟踪技术已突破了大部分限制并得到了不断的发展和完善。视频目标跟踪技术一直是计算机
为统一连续和离散分析学,Stefan Hilger于1988年在其博士论文中建立了测度链理论.测度链上的动力系统理论为人们同时研究连续和离散系统提供了统一的框架.提到动力系统,现实世
农业机器人研究的主要任务是将机器人工程学应用在农业上,或是根据作物特性探索利用现有的适用的工业机器人的可能性。机器人视觉伺服控制涉及较为广泛的研究内容,例如图像处
学位
随着人类对能源需求量的日益增加,以及煤、石油、天然气等一次能源的锐减,开发可再生能源的重要性得到提升。从目前来看,太阳能研究热持续升温。文章论述了一次能源的使用现状,并在此基础之上提出光伏发电的优势,通过对其国内外研究现状的分析,充分肯定了发展前景。对比分析各光伏发电拓扑结构的优缺点,选择双级式作为主要研究结构。以双级式作为主体架构的光伏并网发电系统分前级DC/DC和后级DC/AC两部分。其中,光