自动制造系统Petri网的公平活性控制策略(英文) 被引量：4

1

作者 李志武 贾建援 《自动化学报》 EI CSCD 北大核心 2003年第1期62-71,共10页

基于Petri网的不变式理论 ,针对典型的自动制造系统 ,提出了Petri模型强制公平性和活性的方法 .首先 ,基于网论T 不变式的概念 ,把系统的网模型设计为一个公平网 .此后 ,利用P 不变式把一个公平网设计为一个活的且公平网 .同时 ,提出了... 基于Petri网的不变式理论 ,针对典型的自动制造系统 ,提出了Petri模型强制公平性和活性的方法 .首先 ,基于网论T 不变式的概念 ,把系统的网模型设计为一个公平网 .此后 ,利用P 不变式把一个公平网设计为一个活的且公平网 .同时 ,提出了非冗余严格极小信标的概念 ,大大简化了系统的分析与设计 .一般说来 ,非冗余严格极小信标是系统严格极小信标一个小的子集 ,尤其对于复杂系统的网模型 .研究结果表明 ,只要使非冗余的严格极小信标受控 ,则系统所有的严格极小信标就不会被清空 .文中举例说明了这些控制方法的应用 .研究结果适用于一大类柔性制造系统 ,具有相当的普遍性 .这种方法对于自动制造系统的调度设计也具有一定意义和价值 . 展开更多

关键词 自动制造系统 PETRI网 公平活性 控制策略 柔性制造系统

在线阅读 下载PDF 职称材料

自动制造系统中的事件、资源和Petri网 被引量：5

2

作者 朱玉超 李志武 《机械科学与技术》 CSCD 北大核心 1996年第3期459-463,共5页

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

关键词 自动制造系统 事件 资源 PETRI网

在线阅读 下载PDF 职称材料

自动制造系统的一种死锁避免策略 被引量：3

3

作者 李志武 贾建援 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第6期455-461,共7页

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

关键词 自动制造系统 死锁避免策略 PETRI网 结构分析

在线阅读 下载PDF 职称材料

自动制造系统规格说明语言的Petri网语义设计 被引量：1

4

作者 李志武 贾建援 叶尚辉 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第3期406-413,共8页

研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统... 研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统行为的描述语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法．因此，制造系统规格说明语言的Ｐｅｔｒｉ网语义设计。 展开更多

关键词 自动制造系统 规格说明语言 PETRI网 CIM

在线阅读 下载PDF 职称材料

自动制造系统中的迭代式死锁预防策略 被引量：1

5

作者 胡核算 李志武 王安荣 《计算机集成制造系统》 EI CSCD 北大核心 2008年第3期602-607,614,共7页

为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可... 为解决自动制造系统中的死锁问题,提出一种将混合整数规划算法和Petri网相结合的迭代式预防策略。在该策略中,混合整数规划算法中的0/1变量用来表示Petri网模型中的库所和变迁是否与一个最大的可被清空的信标相关。由于从一个最大的可被清空的信标中可以容易地计算出一个严格极小信标,就可以在不遍历所有的严格极小信标的情况下,直接求得一组基本信标,从而大大地降低了策略的时间算法复杂度。同时,控制该组基本信标可以确保目标系统具有简单的控制器结构和尽可能多的许可行为。实验结果表明了该控制策略的有效性和高效性。 展开更多

关键词 自动制造系统 死锁预防 基本信标 混合整数规划法

在线阅读 下载PDF 职称材料

自动制造系统设计和仿真中的死锁控制 被引量：1

6

作者 乐晓波 葛敬军 《计算机工程》 EI CAS CSCD 北大核心 2005年第4期192-194,共3页

通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设... 通过对自动制造系统的Petri网模型的分析,可以揭示出被模拟系统的死锁跟其初始标识和其结构有关。要想消除自动制造系统的死锁异常,可以通过修改Petri网的初始标识或Petri网的结构来解决。该文结合具体示例,给出了具体的可操作算法并设计出了控制自动制造系统死锁的Petri网模型,从而为自动制造系统的异常处理提供了一条有效途径。 展开更多

关键词 PETRI网模型 自动制造系统设计 死锁 控制规范

在线阅读 下载PDF 职称材料

离散自动制造系统Petri网的一种设计方法

7

作者 李志武 贾建援 叶尚辉 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1995年第2期195-200,共6页

文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言，采用该语言所形成的描述语言可以自动转化为系统的Ｐｅｔｒｉ网模型．文章为复杂离散自动制造系统Ｐｅｔｒｉ网形式化设计理论的研究，开辟了一条新途径．

关键词 离散系统 自动制造系统 PETRI网

在线阅读 下载PDF 职称材料

一类自动制造系统Petri网的设计方法

8

作者 李志武 贾建援 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第2期253-256,共4页

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础．

关键词 PETRI网 工艺规程 自动制造系统 制造系统

在线阅读 下载PDF 职称材料

基于标签Petri网的自动制造系统初始资源配置优化 被引量：11

9

作者 郝晋渊 孙丹丹 +2 位作者 郝真鸣 陈凡 冉宁 《电子测量与仪器学报》 CSCD 北大核心 2020年第8期30-36,共7页

自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。针对该问题,提出了一种基于标签Petri网和整数线性规划的计算方法。首先,根据标签Petri网的结构化特性给出拟执行任务与初始资源的约束关系,将... 自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。针对该问题,提出了一种基于标签Petri网和整数线性规划的计算方法。首先,根据标签Petri网的结构化特性给出拟执行任务与初始资源的约束关系,将初始资源配置优化问题抽象为整数线性规划问题;其次,利用Lingo等软件求解该整数线性规划问题;最后,通过实例对提出方法进行验证。实验结果表明,提出的方法简单高效,对实际自动制造系统的初始资源配置具有一定借鉴意义。 展开更多

关键词 自动制造系统 资源配置 标签Petri网 整数线性规划

在线阅读 下载PDF 职称材料

自动制造系统的稳健控制方法的综述

10

作者 杜楠 胡核算 《控制理论与应用》 EI CAS CSCD 北大核心 2018年第1期79-85,共7页

随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做了大量的研究.但是大多数解决方案总是假设分配的资源不会故障.然而,任何一个制造研究者都知道,资源故障... 随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做了大量的研究.但是大多数解决方案总是假设分配的资源不会故障.然而,任何一个制造研究者都知道,资源故障来自各种各样的原因,包括工件破损、传感器故障、零件缺失和电器失灵等.显然,一旦资源发生故障,后续加工路径中需要使用这个故障资源的进程将停滞,不能完成其加工生产,直到故障资源被修复.那些不使用故障资源的支路也会被发生停滞的进程所阻塞.最坏的情况就是一个简单的资源故障可能会导致整个系统的崩溃.因此,制造系统中的资源故障问题急需解决.通过分析大量的文献资料,本文对解决死锁和阻塞问题的控制方法做了系统的总结研究.同时,对本文提出的稳健无死锁控制策略以及亟待开展的研究工作做了详细的介绍. 展开更多

关键词 自动制造系统 死锁预防 资源故障 稳健控制

在线阅读 下载PDF 职称材料

自动制造系统计算机网络可靠性分析的二步法

11

作者 赵元良 《兵工自动化》 1995年第3期20-26,共7页

本文介绍一种分析生产系统计算机网络的数学模型。制造设备是生产系统的主体，由计算机网络控制。生产系统的每个站都认为有一台计算机和网络接口设备（NIU），作为整个网络的一部分。计算机网络和制造设备十分可靠，系统才能良好运行... 本文介绍一种分析生产系统计算机网络的数学模型。制造设备是生产系统的主体，由计算机网络控制。生产系统的每个站都认为有一台计算机和网络接口设备（NIU），作为整个网络的一部分。计算机网络和制造设备十分可靠，系统才能良好运行。这里研究计算机网络的可靠性，是以制造设备可靠为前提。由于全系统的运行依赖每个站的运行，任何一台网络设备出故障部会何止系统生产。这样的系统，其布局与各站串行的系统在逻辑上是等价的。因此，串行可靠性公式适用于这些系统。这个模型是通用模型，因为它采用的可靠性分析与网络布局无关。用网络设备的经常故障率，并用二步法确定网络可靠性对系统总费用的影响。文章还以实例说明了网络设计阶段重视可靠性的意义，并通过网络可靠性的具体分析揭示：大多数情况下，与网络故障而递增的费用材比，增加网络备用设备是合算的。 展开更多

关键词 自动制造系统 计算机网络 可靠性分析

在线阅读 下载PDF 职称材料

现代自动制造系统中的信息网络安全的应用

12

作者 梁晖 刘晓明 《实用测试技术》 2002年第3期35-36,共2页

本文介绍了在自动制造系统中信息安全的体系框架和基本模型 ,并举例一个实际的网络安全解决方案。

关键词 自动制造系统 信息安全 网络化制造

在线阅读 下载PDF 职称材料

一种半导体自动化制造系统中的死锁避免 被引量：3

13

作者 滕少华 伍乃骐 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第1期25-32,共8页

在半导体自动化制造TRACK系统中,由于没有缓冲空间,死锁避免更加困难,保守策略大大降低资源利用率。而路径的柔性为获得更有效的死锁避免策略提供了可能性。本文采用面向资源的着色Petri网建模,基于该模型并利用路径柔性,提出一个系统... 在半导体自动化制造TRACK系统中,由于没有缓冲空间,死锁避免更加困难,保守策略大大降低资源利用率。而路径的柔性为获得更有效的死锁避免策略提供了可能性。本文采用面向资源的着色Petri网建模,基于该模型并利用路径柔性,提出一个系统无死锁的充分条件,并给出相应的控制规律。依据该规律,系统中任务的个数不受限制,并能处理多晶片类型。最后,给出一个说明本方法的应用实例。 展开更多

关键词 半导体自动化制造系统 死锁避免 PETRI网 控制策略

在线阅读 下载PDF 职称材料

自动化制造系统物流设计策略研究 被引量：1

14

作者 楼应侯 龚秉周 刘谨 《机械设计与制造》 2001年第4期60-61,共2页

在自动化制造系统（ＦＭＳ、ＣＩＭＳ等）中，物流设计必须满足整个制造系统的要求。设计策略 直接影响物流系统，以至于整个制造系统的效益。从自动化制造系统对物流的要求出发，提出了物流 系统总体设计及各组成部分设计的策略，并分... 在自动化制造系统（ＦＭＳ、ＣＩＭＳ等）中，物流设计必须满足整个制造系统的要求。设计策略 直接影响物流系统，以至于整个制造系统的效益。从自动化制造系统对物流的要求出发，提出了物流 系统总体设计及各组成部分设计的策略，并分析了其它相关因素对物流系统设计的影响。 展开更多

关键词 物流 自动化 设计 CIMS FMS 自动化制造系统

在线阅读 下载PDF 职称材料

制造自动化系统和数控设备集成技术研究 被引量：1

15

作者 马燕 宋建永 王滨 《计算机工程与设计》 CSCD 北大核心 2005年第11期3001-3003,3077,共4页

本着实用和集成的原则,研究制造自动化系统和数控设备的集成技术,并在实际中进行了应用。详细介绍了该系统的需求、结构和实现的关键技术。

关键词 制造自动化系统 数控设备 串行通信

在线阅读 下载PDF 职称材料

《自动化制造系统》课程教学初探 被引量：2

16

作者 廖先禄 《机械工业高教研究》 2001年第4期44-47,共4页

在《自动化制造系统》课程教学中 ,围绕自动化制造系统的系统性、宜人性、实践性、经济性、先进性和绿色环保性等特性进行讲授 ,既保持了教材内容的整体性、全面性和系统性 ,又体现出精简的原则 ,坚持了理论联系实际 ,收到了较好的教学... 在《自动化制造系统》课程教学中 ,围绕自动化制造系统的系统性、宜人性、实践性、经济性、先进性和绿色环保性等特性进行讲授 ,既保持了教材内容的整体性、全面性和系统性 ,又体现出精简的原则 ,坚持了理论联系实际 ,收到了较好的教学效果。 展开更多

关键词 自动化制造系统 课程教学 教学效果 教材内容 课堂教学

在线阅读 下载PDF 职称材料

汽车零部件可重构自动化制造系统的研究 被引量：5

17

作者 王宝沛 翟鹏 +2 位作者 王丽霞 王永强 宋文平 《制造技术与机床》 CSCD 北大核心 2007年第3期31-35,共5页

针对按传统理论设计制造的汽车零部件自动生产线只适合单一品种加工、设计制造周期长、零部件通用化率低、成本高的缺点,通过对汽车零部件可重构自动化制造系统的特点及其关键技术的研究和探讨,提出了一种新型的汽车零部件可重构自动化... 针对按传统理论设计制造的汽车零部件自动生产线只适合单一品种加工、设计制造周期长、零部件通用化率低、成本高的缺点,通过对汽车零部件可重构自动化制造系统的特点及其关键技术的研究和探讨,提出了一种新型的汽车零部件可重构自动化制造系统(RAMS)模式,并以此为技术平台,研制了一条可重构、短流程、柔性化的活塞自动生产线,实现了活塞加工高效率、高精度、高质量、低成本的生产需求。通过分析进一步指出:可重构自动化制造系统是现代先进制造技术的集成和再造,将成为支持21世纪初全球制造业发展的重大技术。 展开更多

关键词 可重构自动化制造系统 汽车零部件 高效率 高精度 低成本

在线阅读 下载PDF 职称材料

自动化制造系统中产品制造过程的数学模拟 被引量：1

18

作者 张永春 В.В.Павлов 《机床与液压》 北大核心 2007年第6期71-73,86,共4页

为适应当前对制造系统的自动化、精密化、柔性化程度越来越高的要求,实现产品设计制造方案最优化,缩短产品的开发周期,本文运用数学的理论和方法,基于理论集合、数理逻辑和图论水平创建了机械产品制造过程的数学模型,并模拟其制造过程。

关键词 数学模拟 自动化制造系统 制造过程 模型

在线阅读 下载PDF 职称材料

MAS（制造自动化系统）数据库系统的设计

19

作者 张希 《计算机工程与应用》 CSCD 北大核心 1996年第5期11-15,共5页

数据库设计的质量关系到整个系统运行的效率和可靠程度，本文结合某厂的ＭＡＳ（制造自动化系统）的数据库系统，从需求分析，概念设计，逻辑设计，物理设计，可靠性设计五个方面阐述数据库设计时所必须经过的步骤和一些值得注意的问题。

关键词 CIMS 制造自动化系统 数据库系统 设计

在线阅读 下载PDF 职称材料

检测技术在机械自动化制造系统中的应用分析 被引量：3

20

作者 周浩 《南方农机》 2020年第1期116-116,共1页

通过将检测技术应用在机械自动化制造系统之中,可以对机械产品进行把关,更好保证机械产品满足工业项目的需求。本文对检测技术在机械自动化制造系统中的重要作用进行了介绍,结合机械自动化制造系统中检测技术的组成,对检测技术在机械自... 通过将检测技术应用在机械自动化制造系统之中,可以对机械产品进行把关,更好保证机械产品满足工业项目的需求。本文对检测技术在机械自动化制造系统中的重要作用进行了介绍,结合机械自动化制造系统中检测技术的组成,对检测技术在机械自动化制造系统中的应用进行了探讨。 展开更多

关键词 检测技术 机械自动化制造系统 机械产品

在线阅读 下载PDF 职称材料