基于改进的网重写系统途径的可重构制造单元故障恢复

提出了一种用于可重构制造单元故障恢复的策略与方法, 允许故障发生时, 通过对用于正常操作控制的Petri网形式的监督控制器进行局部、临时性的修改, 实现故障的恢复. 首先, 提出改进的网重写系统, 可用于动态改变Petri网模型结构. 然后,提出了基于改进的网重写系统的故障恢复方法, 其中改进的网重写系统用于操作、引导Petri网监督控制器由错误状态进入正确状态. 故障恢复后监督控制器的结构与期望属性维持不变. 最后, 以实例演示了该故障恢复方法的应用, 证实了方法的有效性.     

离散事件控制器综合与重构的研究

讨论了离散事件控制器快速综合与重构方面研究的意义以及存在的问题,介绍了基于改进的网重写系统的Petri网离散事件控制器快速综合与重构理论与方法的研究进展及其仿真系统开发。     

可重构制造系统的Petri网建模和分析方法

提出一种针对可重构制造系统的Petri网建模和分析方法．根据生产流程图可以得出制造系统的基本网模型,扩展基本网模型即可得到系统的Petri网模型．当生产任务发生改变并建立新的生产流程图时,可直接从原来的基本网模型构造出新构形的基本网模型．此外给出了系统重构代价的评价方法．仿真研究验证了该方法的有效性。     

基于RMC的可重构制造系统设备布局优化研究*

为实现多品种变批量生产制造系统阵列式布局的动态重构,提出一种新的设备布局优化方法.建立了可重构制造系统(RMS)设备优化选择数学模型,设计了基于蚁群优化和阶序聚类算法的可重构制造单元(RMC)动态重构算法.以交货期内最小成本为目标,引入系统复杂度和系统响应度从系统能力角度完善了实现RMS重构的约束条件,最终完成了可重构制造系统设备布局优化.最后通过布局实例仿真验证该方法的可行性和有效性.     

可重写Petri网:位置可重写及性质分析

针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.     

可重构制造系统可重构逻辑控制器设计与实现

针对可重构制造系统的逻辑控制问题,提出一种可重构逻辑控制器的解决方案．该逻辑控制器具有递阶分布式的控制体系结构,并根据模块化的设计思想设计成多个分离的功能模块．然后给出基于CORBA组件模型(CCM)的可重构逻辑控制器软件的开发过程．由递阶分布式体系、模块化设计和软件组件开发技术实现的可重构逻辑控制器具有快速动态重构的能力,能满足可重构制造系统逻辑控制的要求．     

可重构制造系统的可重构控制器

可重构控制器是可重构制造系统的重要组成部分之一。该文提出了可重构控制器的体系结构。分析了实现可重构制造系统的可重构控制的方法。仿真研究表明可重构控制是实现可重构制造系统控制系统可重构的有效方法。     

可重构制造系统重构算法的实例研究

可重构制造系统（RcMS)的模型及其重构算法是可重构制造系统的形式化表示，是研究RcMS优化的理论基础，基于赋时可重构Petri网的可重构制造系统模型（TRPN－RcMS)及其重构算法是RcMS的形式化表示方法之一。文中以实例对RcMS重构算法进行说明和论证。首先假设一个RcMS的实例系统；然后，根据RcMS的当前系统组成及其生成计划生成RcMS当前系统的TRPN－RcMS模型；最后，根据RcMS重构后的系统组成及其生产计划的变化情况，利用RcMS的TRPN－RcMS模型的重构算法，生成重构后的系统的TRPN－RcMS模型。     

基于网络的自重构机器人重构路径研究

文中针对自重构机器人的重构问题提出了一种基于网络的分析方法.自重构模块机器人"AMOEBA-I"的9种不同构形组成了一个构形网络.机器人的每种构形被看成带有权值的有向构形网络中的一个节点.一种构形向另一种构形的转换可描述为一条非负值的有向路径.将图论应用于构形变化的分析,根据构形的拓扑信息相应定义了重构路径、可重构矩阵和路径矩阵.在此基础上,将图论中的算法应用于重构路径的计数和最佳重构路径的选择.数值分析与仿真实验结果验证了该方法的可行性.同时,该方法还可以用于其他自重构机器人的构形控制与自重构规划.     

基于机器人的可重构装配系统

本文分析了市场全球化给企业带来的挑战和机遇 ,提出了基于机器人的可重构装配系统 .在分析国外在可重构制造领域的研究状况的基础上 ,提出了基于机器人可重构装配系统的设计内容和方法 ,并提出了可重构装配系统今后需研究的方向     

Automatic Reconfiguration of Petri Net Controllers for Reconfigurable Manufacturing Systems With an Improved Net Rewriting System-Based Approach

The advent of reconfigurable manufacturing systems (RMSs) has given rise to a challenging problem, i.e., how to reconfigure rapidly and validly a RMS supervisory controller in response to frequent changes in the manufacturing system configuration driven by fluctuating market. This paper presents an improved net rewriting system (INRS)-based method for automatic reconfiguration of Petri net (PN) supervisory controllers for RMS. We begin with presenting the INRS which overcomes the limitations of the net rewriting system and can dynamically change the structure of a PN without damaging its important behavioral properties. Based on INRS, a method for design reconfigurable PN controllers of RMS is introduced. Subsequently, we presented an INRS-based method for rapidly automatic reconfiguration of this class of PN controllers. In the reconfiguration method, changes in a RMS configuration can be formalized and act on an existing controller to make it reconfigure rapidly into a new one. Noticeably, no matter the design or reconfiguration, the expected behavioral properties of the resultant PN controllers are guaranteed. Thus, efforts for verification of the results can be avoided naturally. We also illustrate the reconfiguration of a PN controller for a reconfigurable manufacturing cell.     

Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams

To respond rapidly to the highly volatile market, the emerging reconfigurable manufacturing systems (RMS) have brought forward two challenging issues, namely, how to build rapid a formal model of an initial manufacturing configuration and how to yield the goal model from the existing one along with manufacturing configuration changes (reconfiguration). As for the issues, we present in this paper a method for rapid design of Petri net (PN) formalized models of RMS, intended for supervisory control and logic control of RMS, as well as a method for automated reconfiguration of the models. Firstly, we present an improved net rewriting system (INRS) for dynamically operating net transformation, unlike its predecessor-net rewriting system, where the initial behavioral properties of the underlying PN rewritten can be preserved during the transformation. Subsequently, the paper proposes the three-phase method for rapid design of initial full PN models of reconfigurable manufacturing cells (RMCs). In this method, activity diagrams of Unified Modeling Languages version 2 (UML 2) are used to describe manufacturing configurations, firstly; then the sub-activity diagrams are transformed into PN sub-models; finally, the PN sub-models are automated synthesized into a full model by the approach of INRS. Further, we present a model reconfiguration method for this class of PN models. The method compares changes in activity diagrams of the existing and goal manufacturing configurations and converts them into net rewriting rules of INRS. By applying the rules obtained, the existing PN model can reconfigure into a new one for the goal manufacturing configuration. No matter the design method or the reconfiguration method, the behavioral properties of the obtained PN models, e.g., liveness, boundedness, or reversibility, can be guaranteed and thereby the efforts of verification can be avoided. Finally, rapid design of a PN model of a reconfigurable manufacturing cell, as well as its automated reconfiguration, is illustrated with the help of an example. The result indicates the validity of the methods.     

Logic control law design for automated manufacturing systems

To respond rapidly to the highly volatile market, the reconfigurable manufacturing systems (RMS) have brought forward challenging issues. First of all there is a need to build a formal model of a manufacturing configuration. Second it has to be rather easy to derive the models associated to the manufacturing configuration changes (reconfiguration) from such an initial model. An off-line method of rapid design of an optimal logic control law (configuration) based on Petri net (PN) is presented in this paper. From a controlled system modeling point of view, the main characteristics of the level 1 of the CIM architecture are depicted. Subsequently, the formal tool used in the automated planning field is extended to provide a controlled system model. The concept of operation is structured in order to introduce the behavioral properties of the operations. A four-step method is then proposed to design a logic control law that satisfies several goals: reduction of the lead time, satisfaction of the work orders objectives, minimization of the time cycle. Finally, the proposed design method is illustrated on a manufacturing cell.     

A process-driven computing model for reconfigurable semiconductor manufacturing

Reconfigurability is essential for semiconductor manufacturing systems to remain competitive. Reconfigurable systems avoid costly modifications required to change and adapt to changes in product, production and services. A fully automated, collaborative, and integrated while reconfigurable manufacturing system proves cost-effective in the long term and is a promising strategy for the semiconductor manufacturing industry. However, there is a lack of computing models to facilitate the design and development of control and management systems in a truly reconfigurable manner. This paper presents an innovative computing model for reconfigurable systems and controlled manufacturing processes while allowing for the integration of modern technologies to facilitate reconfiguration, such as radio frequency identification (RFID) and reconfigurable field programmable gate array (FPGA). Shop floor manufacturing activities are modeled as processes from a business perspective. A process-driven formal method that builds on prior research on virtual production lines is proposed for the formation of a reconfigurable cross-facility manufacturing system. The trajectory of the controlled manufacturing systems is optimized for on-demand production services. Reconfigurable process controllers are introduced in support of the essential system reconfigurability of future semiconductor manufacturing systems. Implementation of this approach is also presented.     

Reconfigurable Control Structure for Robots in Assembly

The increased use of changeable characteristics in modern manufacturing and robotic systems and applications call for improved system control design that offers some degree of reconfigurability. The need for control reconfiguration of robotic systems arises due to some inherent characteristics of the robotic system, variations of robot parameters due to environmental changes, major task changes typical in production changeover or manufacturing system reconfiguration, or geometry changes due to the reconfiguration of modular manipulators. In this paper, a reconfigurable controller, the Supervisory Control Switching System (SCSS), is proposed to meet the new on-line demands for changeability in robotic systems. The SCSS is capable of selecting the most suitable controller for a particular task or situation, from separate controllers designed a priori. The applicability and effectiveness of the developed switching control scheme have been illustrated through computer simulations of an AdeptOne SCARA manipulators carrying out assembly tasks.     

A non-dominated sorting genetic algorithm based approach for optimal machines selection in reconfigurable manufacturing environment

This paper deals with a problem of reconfigurable manufacturing systems (RMSs) design based on products specifications and reconfigurable machines capabilities. A reconfigurable manufacturing environment includes machines, tools, system layout, etc. Moreover, the machine can be reconfigured to meet the changing needs in terms of capacity and functionality, which means that the same machine can be modified in order to perform different tasks depending on the offered axes of motion in each configuration and the availability of tools. This problem is related to the selection of candidate reconfigurable machines among an available set, which will be then used to carry out a certain product based on the product characteristics. The selection of the machines considers two main objectives respectively the minimization of the total cost (production cost, reconfiguration cost, tool changing cost and tool using cost) and the total completion time. An adapted version of the non- dominated sorting genetic algorithm (NSGA-II) is proposed to solve the problem. To demonstrate the effectiveness of the proposed approach on RMS design problem, a numerical example is presented and the obtained results are discussed with suggested future research.     

可重构制造系统的多Agent模型

论文在介绍可重构制造系统重构方法的基础上,给出了可重构制造系统多Agent模型的结构,并详细描述了基于该模型的可重构车间加工系统的重构算法,最后对重构算法进行仿真验证了该算法的可行性。