【摘 要】
:
自动制造系统是依靠资源实施的若干制造活动的集合。针对不可靠资源造成的死锁问题,学者提出了许多相关的鲁棒控制策略。然而这些鲁棒控制策略都是在假定自动制造系统的所有事件都是可控可观的情况下提出的。通常情况下,实际系统中的不可控和不可观事件是普遍存在的,这将使得现存的鲁棒控制策略失效。因此,本文研究了一类以Petri网建模的具有不可控、不可观事件和不可靠资源的自动制造系统的鲁棒死锁控制问题。本文以Pet
论文部分内容阅读
自动制造系统是依靠资源实施的若干制造活动的集合。针对不可靠资源造成的死锁问题,学者提出了许多相关的鲁棒控制策略。然而这些鲁棒控制策略都是在假定自动制造系统的所有事件都是可控可观的情况下提出的。通常情况下,实际系统中的不可控和不可观事件是普遍存在的,这将使得现存的鲁棒控制策略失效。因此,本文研究了一类以Petri网建模的具有不可控、不可观事件和不可靠资源的自动制造系统的鲁棒死锁控制问题。本文以Petri网的两个子类S~3PR(system of simple sequential processes with resources)和S~4R(system of sequential systems with shared resources)为模型进行研究。本文的工作概述如下:1.针对含有不可控、不可观变迁以及不可靠资源的S~3PR,提出了一种基于Petri网结构的鲁棒死锁控制策略。将恢复子网添加到每个不可靠资源的持有者中,以模拟资源故障和恢复。为防止Petri网模型中的严格极小信标被清空,基于严格极小信标的互补集构造一个扩展的约束集,以获得鲁棒活性约束。由于变迁的不可控性和不可观性,自动制造系统无法执行不容许的鲁棒活性约束。有必要判断鲁棒活性约束的容许性,并将不可容许约束转化为容许约束。为此,我们为每个容许的鲁棒活性约束设计一个控制器使得它可以被执行。最后,开发一个迭代算法来执行上述步骤,得到一个鲁棒活性控制系统。2.针对含有不可控、不可观变迁以及不可靠资源的S~4R,提出了一种基于Petri网结构的鲁棒死锁控制策略。由于S~4R存在多个并行加工的进程,因此本文重新定义恢复子网的模型并将其添加到不可靠资源的持有者中。基于信标最大可控的条件,构造一个鲁棒活性约束。对S~4R中的不可控和不可观变迁的处理与S~3PR中的一致。我们需要对鲁棒活性约束的容许性进行判断,并将不容许的约束转化为容许的。通过执行容许的鲁棒活性约束设计出一个控制器。以上的步骤通过一个迭代算法来执行,得到一个鲁棒活性监督控制器使得S~4R无论不可靠资源是否发生故障都能保持活性。最后,通过具体实例对本文提出的控制策略可行性进行验证。结果表明,本文提出的控制策略无论不可靠资源是否发生故障都能保证有不可控不可观事件以及不可靠资源的自动制造系统的活性。
其他文献
拔尖创新人才作为具有创新精神、创新思维、创新能力、创新人格的高素质人才,是各条战线上的领军人才与领袖人物。多年来,国内外众多高校已对荣誉学院培养拔尖创新人才做出了积极探索,积累了丰富的实践经验。然而,新一轮科技革命、产业革命和高等教育革命的深度融合发展对新时代拔尖创新人才的能力素质提出了新的更高要求。同时,荣誉学院在培养拔尖创新人才的实践过程中也暴露出了诸多现实困境。因此,有必要及时总结荣誉学院拔
电子产业的迅猛发展,使各类电子器件向高集成度、高热流密度的方向发展,对散热技术的要求越来越高。微通道流动沸腾具有结构紧凑、高换热系数、高均温性与低工质需求量等优点,是解决电子元器件高效散热的有效技术之一。在多种强化微通道流动沸腾换热的方法中,改变流道结构(如增加翅片、设计开放狭缝空间等)和通道表面改性在提高换热系数、降低流动阻力方面颇具优势,引起学术界和产业界的广泛关注。本文设计了具有微米丝网覆膜
随着通信网络的高速发展,网络中的数据业务层出不穷,对于网络性能的检测、故障的排查也显得愈发重要,如今传统以太网已经较难承载多种数据业务的有效传输,也无法满足航天航空等对业务传输机制要求较高领域的需求,因此新一代时间触发以太网应时而生,并将广泛应用于航空航天、工业控制互联网、舰船等领域,但TTE网络技术仍然属于新的网络技术,目前还没有相关的网络测试设备,因此开发一款可定制的TTE端系统网络测试仪具有
移动通信经过40多年的发展,如今人们的休闲娱乐、办公交流已经离不开移动通信技术。由于移动通信的应用大多在室内进行,从室外基站发射的无线电信号很难完全覆盖室内区域,而且电磁波在城市中传播会产生较为明显的多径效应。为了对抗这种信号的衰落,人们想出了极化分集的办法,双极化吸顶天线便应运而生。同时,为了保障天线具有较广的吸收、发射范围和良好的对称性,双极化吸顶天线还应具备全向性能。本文研究与设计了几款全向
目的:研究健胃清肠合剂对不完全性肠梗阻模型大鼠的肠黏膜生物屏障的影响。方法:将112只SPF级Wistar大鼠采用随机数字表法分为正常组,假手术组,模型组,阳性对照组,健胃清肠低剂量组、健胃清肠中剂量组、健胃清肠高剂量组。采用回肠末端结扎法建立大鼠不完全性肠梗阻模型,各组给予相应药物或蒸馏水灌胃3d。对应药物灌胃后第48h,用代谢笼收集大鼠新鲜粪便,进行双歧杆菌、乳酸菌、大肠埃希菌测定。对应药物灌
近年来国际局势日益紧张,冲突频发,为维护国家领土主权,研究高机动平台对海面目标大前斜SAR成像与目标检测雷达实时信号处理系统在国防领域具有重大意义。为了增加目标检测概率,完成对目标的准确定位,高机动平台往往采用大前斜成像模式进行远距离探测。然而由于高机动平台速度快、加速度大、机动性强的特性,使得信号处理机须在极短的时间内完成SAR成像与目标检测数据处理工作。因此在硬件资源有限的条件下,开展对高机动
在当今经济与社会环境下,城市物流业的稳健发展俨然成为我国国民经济发展的助推器,物流业的发展水平已成为衡量国家现代化和综合国力的重要指标。随着城市空间规划需求日益高涨,传统的燃料物流配送车辆所造成的诸多问题也日益凸显,“绿色物流”已然成为未来发展的新趋势,新能源物流车成为解决城市交通配送难题的不二之选。然而,作为一种新兴的运输工具,新能源物流车目前还处于发展和应用的初期,在实际生活中使用新能源物流车
目的:分析为不完全性肠梗阻患者实施中西医结合治疗措施的效果。方法:选取2019年1-12月于北京市昌平区中医医院确诊为不完全性肠梗阻患者84例作为研究主体,遵循方便抽样法分为两组,各42例。对照组患者于治疗期间应用西医治疗措施,观察组应用中西医结合治疗,对比分析临床治疗效果。结果:观察组临床治疗总有效率高于对照组,差异具有统计学意义(P<0.05)。观察组首次排气时间、肠鸣音恢复时间以及首次排便时
城市轨道交通受恶劣天气、大型活动和节假日等影响将产生短时间内的客流剧增,不仅严重降低乘客服务水平,还存在乘客拥挤踩踏的安全风险。针对这一问题,部分既有研究从需求侧出发通过客流控制等手段延缓客流冲击,而从供给侧入手通过增开列车从根本上缓解供需矛盾的手段则多依赖人工经验,缺乏相应的基础理论支撑和科学的行车组织方案调整方法。针对城市轨道交通大客流场景下加开临客列车问题,本文首先梳理列车运行图加线的基础理