可重构制造系统监督控制器的自动重构

提出了基于改进的网重写系统(Improved net rewriting system, INRS)的可重构制造系统(Reconfigurable manufacturing systems, RMS) Petri网监督控制器的自动重构方法, 以快速适应由市场需求变化所引起的制造系统构形的频繁变化. INRS解决了网重写系统存在的问题, 可动态调整给定Petri网模型的结构而不改变其行为属性. 以集合和图的组合形式定义了RMS的构形, 并提出了基于INRS的一类模块化、可重构的Petri网控制器的设计方法. 针对这类Petri网控制器, 提出了基于INRS的自动重构方法. 方法可将RMS构形的变化转变为INRS的图重写规则, 并作用于当前Petri网控制器, 使其快速、自动地重构为所求的新控制器. 所提出的Petri网控制器的设计与重构方法, 均从理论上保证了结果的正确性, 免校验. 仿真研究验证了方法的有效性.     

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.     

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

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

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.     

Reconfiguration point decision method based on dynamic complexity for reconfigurable manufacturing system (RMS)

To address the problem of how to identify the best time to implement reconfiguration for the reconfigurable manufacturing system (RMS), a dynamic complexity-based RMS reconfiguration point decision method is proposed. This method first identifies factors that affect RMS dynamic complexity (including both positive and negative complexity) at the machine tool and manufacturing cell levels. Next, based on information entropy theory, a quantitative model for RMS dynamic complexity is created, which is solved via state probability analysis for processing capability and the processing function. This model is combined with cusp catastrophe theory to establish an RMS reconfiguration decision model. Both positive and negative complexity are control variables for cusp catastrophe. Cusp catastrophe’s state condition is used to identify RMS state catastrophe at the final stage of production. This catastrophe point is the RMS reconfiguration point. Finally, the case study result shows that this method can effectively identify the RMS state catastrophe moment so that system reconfiguration is implemented promptly to improve RMS’s responsiveness to the market.     

Holarchy formation and optimization in holonic manufacturing systems with contract net

Holonic manufacturing systems (HMS) is based on the notion of holon, an autonomous, cooperative and intelligent entity to provide a econfigurable, flexible and decentralized manufacturing environment to respond to changing needs and opportunities. A set of holons that cooperate to achieve a goal forms a holarchy. How to design a mechanism to form a holarchy to achieve a goal while minimizing the overall cost is a challenge. The objectives of this paper are to propose models and develop collaborative algorithms to guide the holons to form a holarchy to coherently move toward the desired goal state ultimately. We adopt contract net protocol (CNP) to model mutual selection of holons in forming a holarchy. We formulate a holarchy optimization problem to minimize the cost subject to the feasibility constraints. To analyze the feasibility of a holarchy, a Petri net (PN) model is proposed. As classical PN models do not take into account the cost involved in firing transitions, we augment the PN model with cost functions in the problem formulation. Due to the distributed architecture of HMS, the internal structure of each potential holarchy that acts as bidder in CNP is not available to the manager. A key issue is to determine the feasibility of a holarchy without constructing the whole PN model of the given hierarchy. We study the feasible conditions for a holarchy and propose a collaborative algorithm to analyze the feasibility and award contracts to holons without constructing the whole model of a holarchy.     

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

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

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

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

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.     

基于多Agent的可重构制造系统集成模型

应用控制、管理和维护一体化的自动化技术,建立了基于多Agent的可重构制造系统RMS（Reconfigurable Manufacturing System）集成模型。该模型集成了基于多Agent 的RMS重构模型、控制模型和故障诊断模型,将RMS的控制、管理和维护联系起来,并给出了该模型的UML（Unified Modeling Langurage）活动图,最后举例验证了模型的可行性。     

Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets

To cope with the rapid change in manufacturing market requirements, reconfigurable manufacturing systems (RMSs) with the feature of reconfigurability, have to be developed. A model that describes the reconfiguring process of a manufacturing system is developed by applying colored timed object-oriented Petri nets. Based on the main difference between configurations of RMSs and flexible manufacturing systems (FMSs), a modular hierarchical structure of RMS is developed. By the object-oriented method, all the object classes in the RMS model are identified. A macro-place is used to model the aggregation of many processes and a macro-transition is used to link all the related macro-places. Macro-places and macro-transitions are connected with arcs to form a Petri net named a macro-level Petri net so that the control logic of RMS is represented. The macro-level Petri net is refined by hierarchical steps, each step describing these macro-places by more detailed sub macro-places until all the macro-places cannot be divided. Then the characteristics of material flow and time constraints in RMS are modeled by applying colored tokens and associated time-delay attributes. This model integrates object-oriented methods, stepwise refinement ideas and Petri nets together. The RMS activities can be encapsulated and modularized by the proposed method, so that RMS can be easily constructed and investigated by the system developers.     

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

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

Design of reconfigurable manufacturing systems

This paper explains the rationale for the development of reconfigurable manufacturing systems, which possess the advantages both of dedicated lines and of flexible systems. The paper defines the core characteristics and design principles of reconfigurable manufacturing systems (RMS) and describes the structure recommended for practical RMS with RMS core characteristics. After that, a rigorous mathematical method is introduced for designing RMS with this recommended structure. An example is provided to demonstrate how this RMS design method is used. The paper concludes with a discussion of reconfigurable assembly systems.     

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.     

Synthesis a Petri net based control model for a FMS cell

Petri nets have been recognised as a high level formal and graphical specification language for modelling, analysis, and control of concurrent asynchronous distributed systems. This paper presents a PN model, synthesised by an extended version of the knitting synthesis technique. This method, as an incremental design approach, establishes the conditions under which the fundamental behavioural properties of the synthesised systems are fulfilled and preserved. That is, the synthesised models are live, bounded, and reversible (cyclic). A Petri net with the aforementioned properties is called a well-behaved Petri net system which is guaranteed to operate in a deadlock-free, stable, and cyclic fashion. Well-behaved Petri net models, synthesised using the proposed method can be compiled into control codes and implemented as real-time controllers for flexible manufacturing systems. The significance of this paper is due to the application of an extended version of knitting synthesis technique to a real life example of a flexible manufacturing system.     

基于CAN总线的可重构SHM系统设计

针对结构健康监测(SHM)系统现场节点功能固化,不便于机动配置及后期维护等问题,提出一种基于CAN总线的可重构SHM系统架构,设计节点功能重构、网络结构重构以及资源分配重构等技术。以功能适配接口及嵌入式操作系统的软硬件协同实现节点功能重构,以自组织特征映射网实现网络结构重构的优先级聚类,以基于组件对象模型的上位监控软件实现资源的按需分配。利用该方法设计的系统具有灵活、高效和一定自主性等特点。     

面向网络化制造的产品再配置模型

该文提出一个面向网络化制造的产品再配置概念模型．该模型突出配置过程的动态特性,在分析了基于版本模型的部件、配置模型演化方式以及两者在演化过程中的相互影响的基础上,给出在集成产品配置的产品数据管理系统中对部件演化和模型演化进行跟踪和记录的方法,以实现产品再配置．该模型具有较强的时态描述能力,可广泛应用在网络化制造系统中．最后还提出了一个面向网络化制造的产品再配置结果相关度匹配算法．     

Scalability planning for reconfigurable manufacturing systems

Scalability is a key characteristic of reconfigurable manufacturing systems, which allows system throughput capacity to be rapidly and cost-effectively adjusted to abrupt changes in market demand. This paper presents a scalability planning methodology for reconfigurable manufacturing systems that can incrementally scale the system capacity by reconfiguring an existing system. An optimization algorithm based on Genetic Algorithm is developed to determine the most economical way to reconfigure an existing system. Adding or removing machines to match the new throughput requirements and concurrently rebalancing the system for each configuration, accomplishes the system reconfiguration. The proposed approach is validated through a case study of a CNC-based automotive cylinder head machining system.