【摘 要】
：
模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行了推广,并提出了一种用于检测一类更大范围网模型S3PR中是否存在死锁的线性算法。本文介绍了资源回路的概念和如何从网结构中获得资源回路,进而从资源回路导出信标的方法。证明了从资源回路导出的一个极小信标如果不含有任何P不变式的支撑,则它不是一个潜在的死锁。只有在
论文部分内容阅读
模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行了推广,并提出了一种用于检测一类更大范围网模型S3PR中是否存在死锁的线性算法。本文介绍了资源回路的概念和如何从网结构中获得资源回路,进而从资源回路导出信标的方法。证明了从资源回路导出的一个极小信标如果不含有任何P不变式的支撑,则它不是一个潜在的死锁。只有在系统运行中可被清空的极小信标才是系统不活的真正原因。除了结构,网模型不恰当的初始
其他文献
亲爱的妈妈,rn见信如晤.rn很奇怪,我现在正坐在电脑桌前敲下这些文字,也许您看不到这些东西,但我还是愿意把它写出来.我一直以为我会很平静地去写这一封信,此刻却突然发现我
本论文的研究目标是跨国公司采购管理研究及采购管理软件开发。本文首先分析了现代采购模式及发展趋势，以GE运输部门中国采购管理为背景，针对采购与供应商管理的中涉及的管理理
在自动化领域，电液伺服系统占有重要的位置，它集液压技术、计算机技术、电子技术和控制理论于一体。本文对某疲劳试验机系统的位置控制和力控制进行了研究，建立该系统的阀控非对
传统的蛋糕裱花，完全依靠手工进行，不但人力成本昂贵、效率低下，裱花质量无法得到稳定保证，而且无法达到对任意图像进行裱花操作的目的。针对传统蛋糕裱花的上述问题，借鉴数控行业
并联机器人是一种新型制造设备，它是机构学理论、机器人技术和数控技术结合的产物。尽管国外在并联机器人的产业化方面取得了突破性进展，但国内水平与国际水平还有相当大的距离
步入二十一世纪,中国经济发展取得了举世瞩目的成就,伴随大规模工业化生产,日益增多的废弃产品对社会环境提出了巨大的考验,同时生产产品消耗大量资源,废弃带来巨大的资源浪费,产品的回收、再利用问题已迫在眉睫,实用、经济、环保的方法措施研究成为热点。本文深入剖析了国内外废旧汽车的拆解回收和拆解规划研究现状,在汽车结构研究的基础上,探讨了由于使用带来的汽车拆解过程中的不确定性,综合考虑产品部件实际不可拆卸性
刮板输送机作为采煤工作面必不可少的设备之一,安全可靠的运行是至关重要的。本文以国家和煤炭行业关于刮板输送机出厂检测检验规范为依据,研究开发了刮板输送机性能检测虚拟
本文主要研究对象是功能丰富的平面齿轮连杆组合机构,借助运动学原理作者详细地分析了传动比对机构特征曲线的影响,得到各类型机构的特征曲线,并利用VC软件开发出相应的运动仿真软件,再现该机构的三维实体运动过程。该方法大大节约设计者在机构的实现和检验上所花费的时间,减少重复性劳动,同时通过虚拟模拟机构的运动,也锻炼了设计者的创新能力。本文主要工作如下:首先,利用闭合矢量方程法,推导出9种组合机构各自的数学
母亲:rn我总是觉得旧历的新年才更有年味.rn傍晚时分,天无需多寒,最好是在一场雪过后,天净,田野空旷,门前落光树叶的树枝也清爽利落,几只鸟雀也适时地衔枝做窠,或许还有几缕