制造自动化系统的TCPN规格及其可调度性分析研究

来源 :桂林电子工业学院学报 | 被引量 : 0次 | 上传用户:kasuo11111111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时间约束Petri网是Petri网的一种扩展形式,是迄今为止对时间约束描述能力较强的网之一,文中给出了建立制造自动化系统时间约束Petri网模型的一般性步骤,以及其于时间约束Petri网的可调度分析算法,并以制造自动化系统的应用实例,具有说明了可调度分析法的应用。
其他文献
从二十一世纪需求的人才模式入手,分析传统教育思想的弊端,提倡以培养学生主体意识为主的素质教育。阐述了学生主体意识是学生素质提高的内驱力,提出要为其主体意识的培养营造环
对多项式最小二乘法拟合曲线时出现的曲线波动问题进行深入分析后,认为其问题主要原因是多项式的解析性引起误差在大范围内传播,为克服这种现象,试样B样条函数磨光法用于实际数据
本文构造了一个基于Duffin缩并公式的、适用于复杂模型的直接缩并法,它多次应用缩并公式对原复杂模型进行直接缩并,然后线性化,再求解,借助收敛性较好的切割平面法,逐步迭代,
结合抗菌药耐药性研究前沿,从抗菌药作用、耐药性的产生、耐药菌的适应性、耐药性的转移、耐药性的流行监测五个方面,系统介绍了抗菌药耐药性预测框架的构成环节和形成要素,为新
分析了在新的市场经济形势下生产实习所面临的挑战以及影响生产实习质量的原因,提出改进生产实习的一些措施,在解决深和广、传统和先进、实习和参观的关系中起到了比较好的效
通过对具有典型切口的S_n-P_b共晶超塑性合金材料进行拉伸实验研究,进一步分析了切口效应对超塑性拉伸变形特点的影响,对实验中出现的新现象,从理论角度进行了初步的探讨。
本文介绍一种采用锁频锁相环的卫星电视门限扩展解调器的基本工作原理和初步理论分析。本文还给出了一种压控振荡器的实际电路。
根据Novell Netware SFTⅢ一般原理、安装及共网络设计,可为SFTⅢ用户提供一种行之有效的安装方法。通过一个企业实用的SFTⅢ-内桥式网络设计的运用,反映出Novell Netware SFTⅢ技术的可行性。
大部分家长对孩子上网、玩手机和打游戏都深恶痛绝。我们觉得,凡是游戏,都不属于学习;凡是不属于学习的东西,对孩子的成长都是有害的。  真的是这样吗?  每一代人,都有其不同的社会环境和生活经验。有一些对上一代人行之有效的经验,到了下一代可能就会失效。这个世界变化得太快了,以至于你很难讲,到底孩子应该向父母学习,还是父母应该向孩子学习。我们的孩子和我们有一个很大的不同在于,他们可能是网络时代的第一代“
本文介绍气控气动行程程序控制技术,电控气动行程程序控制的消障技术,以及可编程控制器(PLC)在消障上的应用。