顺序共享单一资源自动制造系统实时PETRI网控制器的一种形式化设…

自动制造系统（ＡＭＳｓ）Ｐｅｔｒｉ网控制器形式化设计是ＡＭＳｓ Ｐｅｔｒｉ网控制器自动设计的理论基础。本文以ＡＭＳｓ计划层和调度层生成的工序序列和资源需求序列为基础，为顺序共享资源ＡＭＳｓ设计了一种规格说明语言。通过对位置和变迁引入输入输出状态函数，结合所设计的规格说明语言，可以自动生成ＡＭＳｓ实时控制ＰＥＴＲＩ网控制器的表格表达式，该表达式为模型分析和ＡＭＳｓ控制软件自动生成奠定了基础。最后，用     

顺序共享资源制造系统Petri网控制器的形式化设计方法

基于通信顺序进程和资源向量的有关概念 ,提出了截断迹及截断迹集 ,研究了系统具有共享资源时标志容量的计算方法 ,提出了具有顺序共享资源制造系统 Petri网控制器的形式化设计理论和方法     

一种基于Petri网的顺序共享资源AMS＊s

Ｐｅｔｒｉ网控制器自动设计及控制程序自动生成方法的研究是自动制造系统ＡＭＳｓ和柔性制造系统ＦＭＳｓ领域研究的热点问题之一〔２～６〕。本文以ＡＭＳｓ计划和调度产生的生产序列ＰＳ和资源需求序列ＲＲＳ为基础，为顺序共资源ＡＭＳｓ设计了一种规格说明语言，以自动生成ＡＭＳｓＰｅｔｒｉ网模型的矩阵形式，并给出了转换步骤。由于引入了资源状态反馈，故生成的Ｐｅｔｒｉ网模型是无死锁的。最后，用一个实例说明了设计过程。     

自动制造系统中的事件、资源和Petri网

讨论了自动制造系统中事件的形式化表示方法，以及制造系统中的工序和资源的Ｐｅｔｒｉ网表示．在此基础上还讨论了一类自动制造系统Ｐｅｔｒｉ网关联矩阵的构造形式和初始标识的确定方法．最后提出了自动制造系统Ｐｅｔｒｉ网控制器的形式化设计方法．     

制造系统Petri网的设计与综合方法

本文介绍了制造系统Ｐｅｔｒｉ网设计与综合工作的研究成果,主要包括手工设计的自顶向上方法,自顶向下方法,以及形式化设计方法等。     

自动制造系统的一种死锁避免策略

基于Petri网的结构分析理论，提出了自动制造系统Petri网模型的一种死锁控制方法，在这种策略的控制下，避免了系统中死锁的产生，从而许多制造系统的Petri网模型具有活性，提出了一种保证所有严格极小信标至少含有一个托肯的方法，对冗余严格极小信标的研究，提高了Petri网复杂自动制造系统的建模能力。结果表明，在设计无死锁的Petri网格型时，不是所有的严格极小信标都要考虑，从而简化了设计结果和控制算法。     

并行加工过程的公平控制器设计方法

针对共享资源的并行加工过程，提出了一种资源公平分配的控制器设计方法     

制造系统建模中Petri网的工具和方法

本文概述了Ｐｅｔｒｉ网研究方面的一些最新研究结果，讨论了基于Ｐｅｔｒｉ网的一些建模工具，这些工具特别适合于制造系统的建模，性能分析，实时控制、系统可靠性系统等，文中还介绍了实际应用中所获得的某些结果，最后，提出了Ｐｅｔｒｉ网在制造系统建模中需解决的若干问题。     

基于Petri网的FMS教学系统控制器设计

以文献［１］提出的实时控制Ｐｅｔｒｉ网（ＲＣＰＷ：Ｒｅａｌ－ｔｉｍｅｃｏｎｔｒｏｌＰｅｔｒｉＮｅｔ）为础，为柔性制造教学系统设计了一个实时协调控制器，并给出了控制器的硬件结构以及软件设计过程。为验证ＦＭＳＰｅｔｒｉ网控制器软件自动设计方法打下了基础     

一种简易自动排水控制器的制作

海上空气潮湿,经空气压缩机产生的压缩气体含水量较大,对用气设备造成不良影响。介绍了一种简易气路自动排水控制器的组成及工作原理。     

OMRON PLC顺序控制程序设计的几种方法

针对工业控制系统中应用最为广泛的顺序控制,以OMRON公司的CPM2A为例介绍4种顺序控制程序设计方法：通用逻辑指令编程方式、锁存指令编程方式、置位复位指令编程方式和步指令编程方式;对比其他可编程序控制器（PLC）,方法相近,但指令用法有别。     

一种基于DSP的焊缝跟踪模糊控制器系统的设计

本文阐述了焊缝跟踪参数自整定模糊控制器的工作原理．提出了比例因子和量化因子自动调节的方案和实现方法．介绍了模糊控制器的具体设计步骤和DSP参数自整定模糊控制系统的硬件．软件设计，结果表明，在焊缝跟踪中采用参数自整定模糊控制可以明显改善系统的性能。     

一种微型嵌入式可编程序控制器的设计方法

阐述用ＡＴＭＥＬ的８９Ｓ８２５２单片机作ＣＰＵ的微型嵌入式可编程序控制器的设计方法,其包括该种可编程序控制器的硬件结构和软件处理过程,并对８９Ｓ８２５２单片机作了简单的介绍。     

成形网模具的设计与制造

我们承接过一批由广东某机械公司出口美国的加工订单，产品是铁丝浸塑吊花篮（见图1）。     

一种母线自动铆接机控制系统设计

介绍了一种母线自动铆接机控制系统.该系统采用计算机集成制造系统(CIMS)的思想,使用数据库及以太网络通信,提高了母线生产的质量以及母线生产的自动化程度.与传统铆接机相比具有两点优势:第一点,母线产品数据库的建立有助于公司对母线产品的生产质量,以及销售服务的跟踪;第二点,设计采用以太网络控制,具有自动化程度高、精度高、效率高和产品质量稳定的特点.     

支持混流生产的可重组逻辑控制器设计方法

针对可重组制造系统混流生产、快速重组的特点,提出了一种基于Petri网的可重组模块化逻辑控制器设计方法。该控制器包括产品决策逻辑控制器和加工设备逻辑控制器,通过施加不同的条件变量,以明确相互之间的时序关系,并给出了相应的模块连接算法,产品变化通过变量调整可快速重组逻辑控制器。由Petri网自身特性证明,支持混流生产的可重组模块化逻辑控制器是活性、安全和可逆的,可直接转换为用于工业现场控制的顺序功能流程图。实际应用证明,该控制器具有高度模块化、易于重构、支持混流的特点。     

一种可重构制造系统的生产计划方法

虚拟企业是实现敏捷制造的有效途径，是一种可重构的制造系统。系统在重构过程中，各合作伙伴给出完成各自任务的时间段，制造系统则基于这些信息编排出生产计划。本文建立了这一生产计划问题的数学模型，基于该模型，提出了一个有效算法，并给出了一个简单算例。结果表明，所提出的算法可以决定解的存在性，如果解存在，则求出有效解；如果解不存在或解不可以接受，盟主可与合作伙伴协商解决问题。     

基于动态知识网的制造系统自适应组织方法

为了使知识化制造系统具有自适应生产因素变化的能力,对表征先进制造模式的知识网进行改进,以赋予其动态自适应功能。基于多重集理论,提出包含静态和动态组成部分的动态知识网模型。定义了静态知识子网,提出了以信息匹配度、功能匹配度和功能完善匹配度表征的静态知识子网匹配度量方法,兼顾了静态知识子网的信息量和功能要素,以实现动态组织过程中的有效决策。给出依据匹配度的动态组织算法,实现知识化制造系统的自适应动态组织,并开发了相应的使能工具。通过实例验证了动态知识网模型和动态组织算法的可行性和实用性。