【摘 要】
:
Petri网适用于描述异步和并发计算机系统模型并且已广泛用于自动制造系统模型分析。目前国内外学者提出了很多基于Petri网的死锁控制策略,大多数工作都假设系统运行无故障或者包含不可靠资源。然而,实际生产系统中的大多数设备资源在加工零件时可能会出现操作故障,现有的控制策略不能处理这种情况。在考虑资源会发生操作故障的情况下,本文针对S~3PR(system of simple sequential p
论文部分内容阅读
Petri网适用于描述异步和并发计算机系统模型并且已广泛用于自动制造系统模型分析。目前国内外学者提出了很多基于Petri网的死锁控制策略,大多数工作都假设系统运行无故障或者包含不可靠资源。然而,实际生产系统中的大多数设备资源在加工零件时可能会出现操作故障,现有的控制策略不能处理这种情况。在考虑资源会发生操作故障的情况下,本文针对S~3PR(system of simple sequential processes with resources)网设计了鲁棒死锁控制策略。主要的研究工作如下:针对S~3PR网中发生操作故障的问题(变迁发射时未执行后置条件),本文提出了一种鲁棒死锁控制策略。设计子网来模拟变迁后置条件失败和变迁重新加载的步骤,给故障变迁添加重新加载子网,得到的模型称为α-S~3PR(S~3PR with transition unexe-cuted postconditions)。首先通过分析系统判断变迁发射时未执行后置条件是否会产生新的死锁,然后基于信标来设计控制库所。计算出系统所有的严格极小信标,为每个信标添加控制库所使其不被清空。此控制策略使得α-S~3PR网无论变迁是否发生后置条件失败都能保持活性。针对S~3PR网中资源发生操作故障的问题(变迁发射时未执行前置条件),本文提出了一种鲁棒死锁控制策略和一种故障检测方法。设计子网来模拟变迁前置条件失败和变迁重新加载的步骤,得到的模型称为β-S~3PR(S~3PR with transition unexecuted preconditions)。提出了两阶段理论来解决β-S~3PR网的鲁棒死锁控制问题。第一步,根据基本信标的控制策略对不考虑变迁故障的系统进行控制,添加控制器。第二步,在考虑变迁故障的情况下,将重新加载子网添加到第一步产生的派生系统中,这可能会导致新的死锁产生,从而导致系统不可靠。为了使系统可靠,提出了由观测器观测故障变迁的定义。通过第一步计算的控制域来构建扩展控制域,利用扩展控制域构造控制库所,以便观测器能够观测到故障的变迁。此控制策略使得β-S~3PR网无论变迁是否发生前置条件失败都可以保持活性。最后,用例子来验证提出策略的正确性。可以得出结论,文中提出的鲁棒活性控制策略能够使α-S~3PR和β-S~3PR网无论变迁是否发生故障都能保持活性。
其他文献
癌症是一种由于病变细胞失去正常的调控机制从而不停自我繁殖的疾病,诱发癌症的病因并未被医学研究人员从根本上发现,所以癌症很难有效地预防。并且因为癌症是由于体内细胞异常导致的,与常见的大部分疾病不同,无法使用常规的医疗手段治疗,而目前常用于治疗癌症的放疗和化疗手段会杀死人体内正常的细胞,具有非常强烈的副作用,所以对癌症的预防与治疗是当代医学需要攻克的一大难题。传统划分癌症的方法是根据细胞病变的组织器官
随着社会经济的快速发展和安防需求的不断增长,多相机视频监控系统被越来越多地应用到交通管理、社会安防等众多领域。多相机监控系统在实现场景多视角和全方位监控的同时,也面临着海量监控视频分散孤立的问题。因此,如何通过多相机协同工作,对监控视频中的视觉信息进行提取和关联,实现综合分析是当前多相机监控系统需要解决的关键问题之一。针对其中涉及的多相机协同目标分析问题,本文重点研究了多相机协同多目标跟踪算法,分
在中国歌剧发展史上,革命题材歌剧一直都是浓墨重彩的一页。从《白毛女》到《小二黑结婚》,从《江姐》到《金沙江畔》,一代又一代文艺创作者“承百代之流,会当今之变”,创作出一部又一部满足大众审美旨趣、传播当代中国价值观念的作品。本文以此为背景,分析歌剧《金沙江畔》的叙事策略,试图以小见大,讨论革命题材歌剧在叙事维度上的创作范式。
光束法平差(Bundle Adjustment)是一种利用给定的三维点以及相机位姿的初始估计,通过最小化重投影误差的方法来实现相机参数和三维点坐标优化的算法。在实际应用中图片的特征点数量繁多导致光束法平差算法中的计算量巨大,极大的限制了算法的执行速度,并且导致内部数据缓存所需存储空间庞大,造成了算法执行速度缓慢,数据的读取和存储缓慢,实时性差的问题。为了解决光束法平差算法中因计算量巨大而导致的算法
随着无人驾驶系统和移动机器人等领域的发展,商用深度传感器(如激光雷达,To F相机等)得到了更加广泛的应用。在智能车辆或机器人上通常配备了大量的传感器,主要是深度传感器和可见光相机。这些传感器可以为定位、测绘、障碍检测等不同的任务提供信息。其中深度传感器可以提供周围场景的三维空间信息,而可见光相机可以提供环境的色彩纹理信息,将二者信息结合有助于对周围场景进行更准确和更具体的观测分析。对于许多联合使
随着信息时代的到来和大数据技术的不断发展,海量数据涌入互联网。海量数据资源中蕴含着大量的可用信息,在科研和商业领域都具有巨大的应用价值。与此同时,数据的信息安全问题也逐渐地显现出来。数据非法泄露、数据盗用和数据丢失等安全问题频频发生,给个人、企业和国家的信息安全都造成很严重的影响。为了解决当前存在的信息安全问题,许多科研人员投身于数据溯源技术的研究。数据溯源技术是对非法泄露数据的追根溯源,找到泄露
得益于5G通信技术的进步和互联网行业的蓬勃发展,视频因其内容多元性和传播便利性发展成为了当今使用最广泛的信息媒介。然而,在一些带宽受限的实际应用场景中,为了平衡视频的画面质量和传输码率,视频压缩技术会不可避免地给视频引入编码伪影,降低观看者的视觉体验。因此,针对视频质量增强的算法研究具有重要的现实意义。近年来,许多基于深度学习的多帧视频增强工作在去压缩伪影任务上取得了显著成果。然而,现有的视频质量
随着现代化城市的发展,大多数金属管线如电力电缆、通讯电缆等主要采用地下的方式敷设。工程建设中必须预先了解地下金属管线的布置现状,防止产生无谓的破坏,避免妨碍城市的正常运行。在金属管线的检测过程中,首先需要识别出目标金属管线,然后才能对管线的路径进行探测,最后精确定位管线的故障点。因此需要多台设备共同协作才能准确测量出目标管线的位置信息,但频繁更换设备在施工现场是极为不便的。另外,现场施工环境复杂,
随着社会信息化水平的不断提高、互联网用户数量的增长与数据业务的多样化,通信网络的带宽需求呈爆炸式增长,而目前的网络带宽已接近现有技术手段的极限。为了应对即将面临的“带宽危机”,满足信息化社会的发展需求,基于少模光纤(FMF)的模分复用(MDM)技术被提出,近年来受到国内外学者的广泛关注。MDM技术利用FMF中独立且正交的传播模式实现多路数据流的并行传输,从而极大地提高系统的传输容量。然而,由光纤及
随着城市化的快速推进,电力电缆因其敷设简单、安全性高、常埋于地下不占地面空间等优点广泛应用于电力网络中。虽然电力电缆优点众多,但由于电缆网络存在分支,结构复杂,一旦发生故障,便很难及时准确地定位出故障位置,而由此带来的电力中断也会给社会生活带来极大的影响。传统定位方法大多为离线检测方式,多用于已发生故障且停止运行的电缆故障定位中,这便无法避免因停电带来的损失,而目前所研究的在线检测方式则是采用电缆