【摘 要】
:
Petri网作为一种图形化数学建模工具,被广泛应用于自动制造系统的理论分析中。自动制造系统中因资源竞争而引起的死锁问题可能会导致整个或部分系统的停滞。因此,合理分配资源是系统高效运行所必不可少的。目前学者已经提出了许多基于Petri网的死锁控制策略,但大部分研究在假定系统资源可靠的前提下进行且未考虑时间因素。在实际的自动制造系统中,某些加工设备可能会在运行时发生故障,并且每个操作过程的完成都需要一
论文部分内容阅读
Petri网作为一种图形化数学建模工具,被广泛应用于自动制造系统的理论分析中。自动制造系统中因资源竞争而引起的死锁问题可能会导致整个或部分系统的停滞。因此,合理分配资源是系统高效运行所必不可少的。目前学者已经提出了许多基于Petri网的死锁控制策略,但大部分研究在假定系统资源可靠的前提下进行且未考虑时间因素。在实际的自动制造系统中,某些加工设备可能会在运行时发生故障,并且每个操作过程的完成都需要一定的时间。因此考虑资源故障及时间因素的死锁控制策略更符合自动制造系统的实际情况。本文将基于时间Petri网从结构角度出发设计鲁棒活性监督控制器以确保受控系统无论发生资源故障与否均可以无死锁运行,主要研究工作如下:本文构建了两种时间Petri网的模型,即T-S3PR(system of simple sequential pro-cesses with resources and time constraints)和T-GS3PR(generalized system of simple se-quential processes with resources and time constraints)。资源故障和修复的过程使用修复子网来建模。含不可靠资源的T-S3PR和T-GS3PR可分别被表示为T-US3PR(system of simple sequential processes with unreliable resources and time constraints)和T-UGS3PR(generalized system of simple sequential processes with unreliable resources and time con-straints)。针对以上两种不同结构的时间Petri网,本文基于信标提出了两种鲁棒死锁控制策略用以预防资源故障引起的死锁问题。针对含一类不可靠资源的T-S3PR网,提出了一种死锁预防策略。首先,结合基于S3PR(system of simple sequential processes with resources)网设计的经典死锁控制策略设计了新的控制器,记为T-控制库所,用于控制系统中的严格极小信标。其次,当不可靠资源的持有者之间发生资源竞争时,需要使得最后一个可利用的不可靠资源单元被属于信标的操作库所利用,而不是被属于信标补集的操作库所利用,以防信标被清空。因此,定义了与不可靠资源有关的自环,并给定不可靠资源后置变迁上的时间约束规则,使用自环和时间约束来达到以上控制目标。这一控制策略可确保无论是否有资源故障发生,T-US3PR建模的实时系统都是鲁棒活的。针对含一类不可靠资源的T-GS3PR网,提出了一种死锁预防策略。首先,根据信标最大可控条件设计了严格极小信标控制器,记为T2)-控制库所。其次,自环和不可靠资源后置变迁上的时间约束用于控制这些变迁的发射顺序以防止信标未被充分标记。其中,自环的定义与添加与不可靠资源相关,且时间约束规则必须满足给定的时间约束条件。这一控制策略可确保无论是否有资源故障发生,T-UGS3PR建模的实时系统都是鲁棒活的。最后,通过实例对本文提出的控制策略进行说明和验证。结果表明,基于信标对T-US3PR网和T-UGS3PR网设计的控制策略无论系统是否发生资源故障均可保证对应系统的鲁棒活性。
其他文献
母猪的乳腺发育与繁殖力密切相关,而母猪的乳腺发育受到多种因素的调控,且在泌乳前有两个乳腺快速生长发育阶段,即青春早期(3个月)和妊娠后期(3个月)。青春期后备母猪的乳腺发育是乳腺快速生长的时期,受到众多因素的影响,其中有研究发现能量的摄入与乳腺发育息息相关。日粮纤维素有“第七大营养素”的称号,在母猪饲粮中广泛使用,可以改善妊娠期便秘,降低母猪分娩应激,提高母猪的繁殖力,然而日粮纤维是否影响乳腺的发
当前,我国正处于城镇化和人口老龄化加速到来时期。城郊型森林公园位于城市(城镇)周边,可达性强,居民出游意愿强,具备一定的生态资源基础,能为城乡居民提供生态服务,具有生态观光、旅游休憩、绿化美化、科普教育等多种功能,逐渐成为人们节假日出游的首选场所。随着人们对森林在改善人类健康方面的功能认识逐渐加深,森林康养旅游自然成为下一阶段我国森林旅游发展的重要方向。在此背景下,通过规划凸显城郊型森林公园的康养
在本试验中,将初重为178.47±0.36 g的草鱼540尾随机分配到6个处理中,(每个处理3个重复),分别饲喂含有不同梯度蛋氨酸(2.54、4.85、7.43、10.12、12.40和15.11 g/kg饲粮)的饲粮60天,旨在考察不同水平蛋氨酸对生长中期草鱼生产性能和肌肉品质的作用及其机制,并依据肌肉品质相关指标确定生长中期草鱼对蛋氨酸的需要量。结果发现:与饲粮蛋氨酸缺乏组或过量组相比,生长中
在同一自然环境背景和历史人文背景下应运而生的川西林盘和西蜀园林,不论是在时间上还是空间上都具有一定的关联性,本文通过查阅文献并咨询专家后从园林空间与园林布局两大方面入手,初步得到了川西林盘与西蜀园林相关性研究的指标,即园林空间类型、园林空间布局,并在此基础上对所选的研究对象进行多次踏勘与调研,得到研究对象的建筑空间、山石水体空间、植物空间以及其他构成园林的各种空间的特征以及其园林空间布局。根据两者
玉米(Z.Mays)一直是全球最重要的农作物之一,人口增长使得人们对作为食物、饲料及其他工业原料的玉米的需求继续增加。尽管全球需求不断增加,但由于技术水平低,易受到环境胁迫影响等因素,玉米的产量仍旧较低。由于农作物的产量直接取决于光合作用的水平,因此利用现有技术提高玉米光合作用的能力是增加玉米产量的有效途径。研究发现,新型激素——油菜素内酯能够通过影响叶绿素含量、光合作用相关酶活性及其基因的表达从
肌纤维类型转化对肉品质的改善具有重要意义,且受营养素调控。体外试验结果表明亮氨酸(Leucine,Leu)能促进猪骨骼肌慢型肌纤维表达并促进肌纤维类型由快肌纤维向慢肌纤维转化,但对于Leu的体内相关研究却鲜见报道。此外,前期研究发现,Leu通过AMPK信号通路影响慢型肌纤维表达,而脂联素的分泌受Leu的调控且位于AMPK上游。那么,Leu是否通过脂联素信号通路影响猪骨骼肌肌纤维类型转化还有待于进一
随着深度学习技术的发展,语音识别已经从传统的隐马尔科夫模型转向深度学习模型。在物联网终端嵌入式设备中进行语音识别是一个不可避免的趋势。因此,这就需要将深度学习模型针对嵌入式平台低性能的特点进行优化和改进设计。现有的深度学习模型规模较大且算力需求严重,所以很难在嵌入式端进行部署。因此本文在现有的语音识别模型的基础上进行了压缩、结构优化和定点化操作,将语音识别模型转化为适用于嵌入式平台的深度学习模型。
2016年7月,住房和城乡建设部等三部委联合发布了《关于开展特色小镇培育工作的通知》,正式吹响我国建设特色小镇的号角,让很多小镇迎来新的发展机遇,同时也对这些小镇提出了更高的要求。作为经济新常态下具有特色资源整合、产业升级、创新驱动等功能的特色小镇,其景观特色是形象展示的重要体现,它使特色小镇得以延续、发展并发挥其传播文化的作用。做好特色小镇景观规划设计,挖掘有个性的景观特质,是特色小镇开发建设的
本试验旨在研究饲粮中添加低聚木糖(XOS)对生长中期草鱼生产性能、肠道健康的作用及其潜在的机制,并确定生长中期草鱼饲粮中XOS的最适添加量。本试验首先选取540尾草鱼(初始体重为167.46±0.61g),设6个处理(每个处理3个重复),分别饲喂基础饲粮和添加了不同水平XOS的饲粮(XOS的添加水平分别为0、20、40、60、80和100 mg/kg)开展为期60天的生长试验。在生长试验之后,进行
BIM技术是集成建筑工程项目各种相关信息的工程数据模型,贯穿建筑全生命周期,是建筑行业在信息时代的产物。施工图的设计效率和质量与设计变更引起的返工和浪费密切相关,而BIM恰好可以解决传统设计效率低、各专业信息孤立、图纸变更频繁这一难题。Revit作为BIM平台下应用最为广泛的软件,带动BIM行业快速发展,接踵而至的是一系列软件应用推广障碍,尤为突出的是Revit在结构方向的应用矛盾。因此,为了扩大