【摘 要】
：
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。基于信标理论的死锁预防策略的前提要得到网中严格极小信标。在面对大规模系统时计算严格极小信标是十分费时的,而且对所有的严格极小信标进行控制会使网结构变得非常复杂。为了解决这些问题,本文针对Petri网的一个子类提出一种利用网的结构特点得到严格极小信标的方法。由于充分利用了网的特性,使该方法获得严格极小信标的时间大大减少。在得到严
论文部分内容阅读
利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。基于信标理论的死锁预防策略的前提要得到网中严格极小信标。在面对大规模系统时计算严格极小信标是十分费时的,而且对所有的严格极小信标进行控制会使网结构变得非常复杂。为了解决这些问题,本文针对Petri网的一个子类提出一种利用网的结构特点得到严格极小信标的方法。由于充分利用了网的特性,使该方法获得严格极小信标的时间大大减少。在得到严格极小信标后,从中提取基本信标。对基本信标添加控制库所和控制弧后,使其被不变式控
其他文献
并联机器人是一种新型制造设备，它是机构学理论、机器人技术和数控技术结合的产物。尽管国外在并联机器人的产业化方面取得了突破性进展，但国内水平与国际水平还有相当大的距离
步入二十一世纪,中国经济发展取得了举世瞩目的成就,伴随大规模工业化生产,日益增多的废弃产品对社会环境提出了巨大的考验,同时生产产品消耗大量资源,废弃带来巨大的资源浪费,产品的回收、再利用问题已迫在眉睫,实用、经济、环保的方法措施研究成为热点。本文深入剖析了国内外废旧汽车的拆解回收和拆解规划研究现状,在汽车结构研究的基础上,探讨了由于使用带来的汽车拆解过程中的不确定性,综合考虑产品部件实际不可拆卸性
刮板输送机作为采煤工作面必不可少的设备之一,安全可靠的运行是至关重要的。本文以国家和煤炭行业关于刮板输送机出厂检测检验规范为依据,研究开发了刮板输送机性能检测虚拟
本文主要研究对象是功能丰富的平面齿轮连杆组合机构,借助运动学原理作者详细地分析了传动比对机构特征曲线的影响,得到各类型机构的特征曲线,并利用VC软件开发出相应的运动仿真软件,再现该机构的三维实体运动过程。该方法大大节约设计者在机构的实现和检验上所花费的时间,减少重复性劳动,同时通过虚拟模拟机构的运动,也锻炼了设计者的创新能力。本文主要工作如下:首先,利用闭合矢量方程法,推导出9种组合机构各自的数学
母亲:rn我总是觉得旧历的新年才更有年味.rn傍晚时分,天无需多寒,最好是在一场雪过后,天净,田野空旷,门前落光树叶的树枝也清爽利落,几只鸟雀也适时地衔枝做窠,或许还有几缕
模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行了推广,并提出了一种用于检测一类更大范围网模型S3PR中是否存在死锁的线性算法。本文介绍了资源回路的概念和如何从网结构中获得资源回路,进而从资源回路导出信标的方法。证明了从资源回路导出的一个极小信标如果不含有任何P不变式的支撑,则它不是一个潜在的死锁。只有在
本文简要阐述了体育游戏在学前教育中的重要意义,并结合实际提出了体育游戏在学前教育中的运用策略,以供参考.
摘 要：近几年，随着人们对矿产资源的需求量不断增多，人们加强了对相应的技术的研究，这在一定程度上也促进了我国矿产行业的发展脚步。本文，首先对地质矿产勘查技术的具体应用原则进行了介绍；其次，分析了区域地质调查内容；最后，对地质找矿方法进行了总结，希望文中内容对相关工作人员能够有所帮助。 关键词：区域地质调查；找矿方法；矿产资源 中图分类号：P624 文献标识码：A 文章编号：1004-7344（
辩证唯物主义认为物质世界是普遍联系的，是相互影响、相互依存、对立统一的；物质是不断变化的，物质的变化是有规律的。在物质变化过程中量变能引起质变。化学就是研究物质变化规