基于集合抑制弧的Petri网控制器设计

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:Robert_1967
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
柔性制造系统(Flexible Manufacturing System,FMS)是一种典型的自动控制系统,具有高效率,高柔性的优点。系统在运行过程中因资源分配不合理可能会产生死锁。Petri网作为一种建模工具,在对FMS建模和死锁控制方面有很大的优势。Petri网的死锁控制方法可以分为两类:结构分析和可达图分析。结构分析是以网模型中独特的结构特性为研究对象,可达图分析是研究各个标识之间的关联,可达图分析一般可以设计最优的控制器。本文是基于可达图的分析,设计控制器禁止所有的标识变迁分离事例(MTSI)。一个标识变迁分离事例是一个标识和一个变迁的组合。一旦变迁在标识下发射,系统就会到达一些坏标识。本文主要工作如下:1.本文提出一种新的Petri网结构-集合抑制弧,并给出发射规则。集合抑制弧是由一个库所指向一个变迁的弧并在弧上标记多个整数区间。在标识下,库所中的托肯数在集合抑制弧的某个整数区间内,则变迁就会被禁止发射。如果库所中的托肯数不在集合抑制弧任何整数区间内,则变迁不会被禁止。2.利用集合抑制弧的发射规则,提出了基于集合抑制弧的控制策略。首先必须保证原网中合法标识都可达,满足被控系统的最大许可性。为了降低计算复杂性,使用向量覆盖法减少需要考虑的合法标识。然后通过可达图分析,得到关键变迁对应的使能好标识集合和危险标识集合。如果在危险标识下,控制库所中的托肯数在集合抑制弧的各个整数区间内,则关键变迁不使能,即禁止了MTSI。同时还要保证关键变迁在使能好标识下可发射,此时控制库所在使能好标识下的托肯数不属于集合抑制弧的任何整数区间。3.最后分析了新型Petri网结构-集合抑制弧的优点,其计算复杂性和结构复杂性都较小。例如相比较于数据抑制弧控制策略,可以使得整数线性规划的约束条件个数和变量个数减少很多,从而降低了计算复杂性。以致于集合抑制弧控制策略可用于解决大规模Petri网模型的活性控制问题。最后在本文中使用多个例子对集合抑制弧控制策略进行验证。
其他文献
“一带一路”建设是我国扩大对外开放的重大举措和经济外交的顶层设计。六大经济走廊的建设是“一带一路”建设的重要内容,其中包括中蒙俄、新亚欧大陆桥、中国-中亚-西亚、中南半岛、中巴和孟中印缅经济走廊。六大经济走廊将相关60多个发展中国家和地区列为中国对外交往的优先和重点对象。本文以六大经济走廊城市群为研究对象,测度其经济联系强度并在此基础上识别空间经济网络特征,探究六大经济走廊城市群经济联系强度的影响
食物对于人们来说,也许是一件习以为常之物,在日常生活之中,总会接触到各类关于食物的信息,但是对于食物的认知需要作以不同层面意义的构架,《孟子》中曾叙述到:“食、色,性也”;《礼记》中也提及:“饮食男女,人之大欲存”,可以看到食物在以上的叙述中,聚焦于人的本能,即一种生物性,满足于人的生存之需,当“美食”这一概念生成之时,“品味”之意融入于食物的意指建构之中,审美的要素逐步生发,所以食物这一日常之物
利用植物次生代谢物质光敏化降解环境污染物对水体污染修复具有重要意义。杀菌剂百菌清对水生生物毒性较高且在自然水体中主要降解产物为高毒4-羟基百菌清。本文研究了没食子酸对百菌清在不同水体中的光化学降解影响,在紫外灯、高压汞灯(HPML)、自然光(太阳光)三种光源照射下,没食子酸对百菌清光化学降解均有促进作用;通过高分辨质谱分析了百菌清在没食子酸作用下的降解产物,提出了可能降解机理。研究结果如下:在紫外
物联网设备已经广泛应用于智能电网、智能家居、智能医疗和智能交通等各种应用场景中,成为生活、生产和智慧城市的重要组成部分。然而,随着物联网的飞速发展,物联网网络安全事件也层出不穷,物联网设备遭受网络攻击和非法控制,严重影响到企业、用户的安全和隐私。物联网固件承载着物联网设备的核心功能,通过对物联网固件进行脆弱性分析是研究物联网设备安全问题的一种有效方法。由于物联网设备的指令集、操作系统、应用组件异构
在现代战场上,随着雷达体制的改变,雷达工作模式的增多和雷达抗干扰能力的增强,战场环境变得更为复杂。干扰方根据侦察的雷达信号实时判断雷达工作模式的难度提升。针对雷达的任意一种工作模式,干扰方可以选择多种干扰样式对其进行干扰。传统干扰决策方法依靠经验或模板匹配选取干扰样式,不能保证选择的干扰样式是最优的。为了提高复杂电磁环境下干扰决策的性能,提出了基于监督抽样的深度强化学习干扰决策方法。本文主要研究了
电子邮件目前仍然是政府、企业、社会组织和个人使用最频繁的工作业务联系和交流的工具之一。随着个人隐私信息的大量泄露,攻击者可以通过收集攻击目标的相关信息制作出信息关联度极高的精准钓鱼邮件,此类邮件成为当前APT攻击和传播勒索软件的重要手段。本文针对恶意邮件的新威胁和检测存在的问题,提出了基于多特征的静态恶意邮件检测技术以及基于虚拟化平台的动态恶意邮件检测技术。为了进一步提升检测精度和效率,提出了一种
随着互联网技术的发展,各式各样的网站出现在网络空间环境中,为人们信息的获取提供了极大的便利,各式各样的网页数量随着网站数量的增加呈现指数性的增长趋势。面对数量巨大的网站资源的出现,如何提供一种高效、准确、合理的网页分类筛选方法,让需要的人找到自己所需的资源成为一个重要而且有意义的问题。文本分类是自然语言处理领域中的经典主题,而网页分类归根结底还是文本分类的问题。网页分类是互联网基础资源管理与组织中
随着当今信息时代的快速发展,单一的读图方式已经不能满足大众的审美,也无法打动观者的认知,人们对视觉艺术的表现形式提出了更高的要求。档案馆、摄影展所呈现出的纪实摄影作品,都是以回顾历史的形似展现城市的过往,观者以浏览历史资料的心态去观看,并不能带给观者一种新鲜的视觉感受,无法留下深刻印象。本文通过以人文摄影的形式对江城人文文化的过去与现在进行研究,记录在城市发展过程中,江城中码头文化、里分文化、租界
本报告是基于学术期刊论文《天然纳米纤维素在材料科学领域开创性应用现状》中《细菌纳米纤维素》一章的翻译实践撰写的翻译报告。该论文由克莱姆·迪特尔(Dieter Klemm)等人共同撰写完成,于2018年9月刊登于《今日材料》期刊,涉及近年来国内外学术界研究的热点话题纳米纤维素。全文介绍了三种纳米纤维素,包括细菌纳米纤维素、纤维素纳米纤维和纤维素纳米晶的结构特性和应用情况。译者所选章节介绍了其中细菌纳
自1978年以来,中国一直在深化改革开放,中国与世界其他地区的合作也随之增加。这些合作、协议/合同的起草和签订等合作过程种的必要过程也因此受到了高度重视,被视为政治、经济和文化方面合作的桥梁。在这一过程中,对法律和合同中笔译和笔译人员的需求不断增加,越来越多的多语种专业人员对此领域给予了更多关注。本报告在功能对等理论的指导下,基于一份完片担保协议和一份融资协议的翻译实践,从词汇、句法和语篇特征等方