Automation Gauge Control(AGC) and Automatic Shape Control(ASC) are coupling each other. The coupling models of AGC-ASC synthetic system for the thickness-crown have been established and two artificial neural networks ...Automation Gauge Control(AGC) and Automatic Shape Control(ASC) are coupling each other. The coupling models of AGC-ASC synthetic system for the thickness-crown have been established and two artificial neural networks controllers are given. The simulation of computer shows that the AGC-ASC synthetic system can obtain the expected thickness and shape precision with both schemes.展开更多
A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools....A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.展开更多
This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structure...This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.展开更多
Pebble bed reactors use cycling scheme of spherical fuel elements relying on fuel elements cycling system (FECS). The structure and control logic of FECS are very complex. Each control link has strict requirements on ...Pebble bed reactors use cycling scheme of spherical fuel elements relying on fuel elements cycling system (FECS). The structure and control logic of FECS are very complex. Each control link has strict requirements on time and sequence. This increases the difficulties of description and analysis. In this paper, timed places control Petri nets (TPCPN) is applied for the modeling of FECS. On this basis the simulation of two important processes, namely uploading fuel elements into the core for the first time and emptying the core is finished by simulation software Arena. The results show that as TPCPN is able to describe different kinds of logic relationship and has time properties and control properties, it’s very suitable for the modeling and analysis of FECS.展开更多
The depiction of the agile manufacturing cell includes a synopsis of some of the change proficiencies obtained by the configuration. To achieve agile configuration, the cell control system for agile manufacturing must...The depiction of the agile manufacturing cell includes a synopsis of some of the change proficiencies obtained by the configuration. To achieve agile configuration, the cell control system for agile manufacturing must be rapidly and efficiently generated or modified. In this paper, the object oriented architecture is defined that supports design and implementation of highly reconfigurable control systems for agile manufacturing cells, which is composed of database objects, control objects, and resource objects, so as to reduce costs and to increase the control system's agility with respect to changing environment.展开更多
The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A ne...The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A new method of controller design with mixed constraint is presented, and a net reduction technique of Petri net fuses all the constrained places into one place whose marking is equal to the sum of the markings of the constrained places, and then compared with the constrained transitions. The net reduction eases the design of controller and holds remarkable advantages especially for systems with large scale. The method is proved to be simpler and more efficient than the method presented by Yamalidou, et al, using an applied case used by Yamalidou, et al.展开更多
This paper studies synchronization of all nodes in a fractional-order complex dynamic network. An adaptive control strategy for synchronizing a dynamic network is proposed. Based on the Lyapunov stability theory, this...This paper studies synchronization of all nodes in a fractional-order complex dynamic network. An adaptive control strategy for synchronizing a dynamic network is proposed. Based on the Lyapunov stability theory, this paper shows that tracking errors of all nodes in a fractional-order complex network converge to zero. This simple yet prac- tical scheme can be used in many networks such as small-world networks and scale-free networks. Unlike the existing methods which assume the coupling configuration among the nodes of the network with diffusivity, symmetry, balance, or irreducibility, in this case, these assumptions are unnecessary, and the proposed adaptive strategy is more feasible. Two examples are presented to illustrate effectiveness of the proposed method.展开更多
Software systems are increasingly executed in dynamic infrastructures. These infrastructures are dynamic as they are themselves subject to change as they support various applications that may or may not share some of ...Software systems are increasingly executed in dynamic infrastructures. These infrastructures are dynamic as they are themselves subject to change as they support various applications that may or may not share some of the resources. Dynamic software systems become more and more important, but are difficult to handle. Modeling and simulating dynamic systems requires the representation of their processes and the system changes within one model. To that effect, reconfigurable Petri nets consist of a Petri net and a set of rules that can modify the Petri net. Their main feature is the capability to model complex coordination behavior in dynamically adapting infrastructures. The interplay of both levels of dynamic behavior requires a very precise description, so the specification when and which rules are to be applied plays a crucial role for the convenient use of reconfigurable nets. We differentiate several types of reconfigurable Petri nets and present a survey of control structure for these types, reconfigurable Petri nets. These control structures either concern the infrastructure, i.e., the rules and transformations or the system part, i.e., the firing behavior, or both. They are introduced by a short characterization and illustrated by examples. We state the results for various Petri net types and the tools supporting the different control structures.展开更多
The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on. In such a hierarchical...The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on. In such a hierarchical structure, the controllers are geographically distributed according to their physical structure. So it is desirable to realize the hierarchical and distributed control. In this paper, a methodology is presented using Petri nets for hierarchical and distributed control. The Petri net representation of discrete event manufacturing processes is decomposed and distributed into the machine controllers, which are coordinated through communication between the coordinator and machine controllers so that the decomposed transitions fire at the same time. Implementation of a hierarchical and distributed control system is described for an example robotic manufacturing system. The demonstrations show that the proposed system can be used as an effective tool for consistent modeling and control of large and complex manufacturing systems.展开更多
分析了当前高校学生信息管理工作中面临的问题,研究了RBAC中模型的建立和实现这两大热点,开发了一个基于B/S结构的系统——山东师范大学信息科学与工程学院的高校学生信息管理系统。该系统通过ADO.NET技术对SQL Server 2005数据库进行访...分析了当前高校学生信息管理工作中面临的问题,研究了RBAC中模型的建立和实现这两大热点,开发了一个基于B/S结构的系统——山东师范大学信息科学与工程学院的高校学生信息管理系统。该系统通过ADO.NET技术对SQL Server 2005数据库进行访问,使用户在Web服务下遵循RBAC访问控制机制高安全性地使用该系统。特别是基于RBAC机制的权限管理模块,具有代码简洁、逻辑结构清晰、安全性高、可扩展性强等优点。通过该系统对学生信息进行实时跟踪,做到信息准确采集,科学统计和快速查询,极大地提高了高校学生信息管理工作的效率,有力地促进了高校学生信息管理的开展。展开更多
文摘Automation Gauge Control(AGC) and Automatic Shape Control(ASC) are coupling each other. The coupling models of AGC-ASC synthetic system for the thickness-crown have been established and two artificial neural networks controllers are given. The simulation of computer shows that the AGC-ASC synthetic system can obtain the expected thickness and shape precision with both schemes.
基金Supported in part by the National Outstanding Youth Science Foundation of P.R.China (60025308) Doctor Degree Program Foundation of P.R.China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R.China (20040149)
文摘A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
文摘This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.
文摘Pebble bed reactors use cycling scheme of spherical fuel elements relying on fuel elements cycling system (FECS). The structure and control logic of FECS are very complex. Each control link has strict requirements on time and sequence. This increases the difficulties of description and analysis. In this paper, timed places control Petri nets (TPCPN) is applied for the modeling of FECS. On this basis the simulation of two important processes, namely uploading fuel elements into the core for the first time and emptying the core is finished by simulation software Arena. The results show that as TPCPN is able to describe different kinds of logic relationship and has time properties and control properties, it’s very suitable for the modeling and analysis of FECS.
文摘The depiction of the agile manufacturing cell includes a synopsis of some of the change proficiencies obtained by the configuration. To achieve agile configuration, the cell control system for agile manufacturing must be rapidly and efficiently generated or modified. In this paper, the object oriented architecture is defined that supports design and implementation of highly reconfigurable control systems for agile manufacturing cells, which is composed of database objects, control objects, and resource objects, so as to reduce costs and to increase the control system's agility with respect to changing environment.
文摘The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A new method of controller design with mixed constraint is presented, and a net reduction technique of Petri net fuses all the constrained places into one place whose marking is equal to the sum of the markings of the constrained places, and then compared with the constrained transitions. The net reduction eases the design of controller and holds remarkable advantages especially for systems with large scale. The method is proved to be simpler and more efficient than the method presented by Yamalidou, et al, using an applied case used by Yamalidou, et al.
基金Project supported by the National Natural Science Foundation of China(Nos.11672231 and11672233)the Natural Science Foundation of Shaanxi Province(No.2016JM1010)+1 种基金the Fundamental Research Funds for the Central Universities(No.3102017AX008)the Seed Foundation of Innovation and Creation for Graduate Students at the Northwestern Polytechnical University of China(No.Z2017187)
文摘This paper studies synchronization of all nodes in a fractional-order complex dynamic network. An adaptive control strategy for synchronizing a dynamic network is proposed. Based on the Lyapunov stability theory, this paper shows that tracking errors of all nodes in a fractional-order complex network converge to zero. This simple yet prac- tical scheme can be used in many networks such as small-world networks and scale-free networks. Unlike the existing methods which assume the coupling configuration among the nodes of the network with diffusivity, symmetry, balance, or irreducibility, in this case, these assumptions are unnecessary, and the proposed adaptive strategy is more feasible. Two examples are presented to illustrate effectiveness of the proposed method.
文摘Software systems are increasingly executed in dynamic infrastructures. These infrastructures are dynamic as they are themselves subject to change as they support various applications that may or may not share some of the resources. Dynamic software systems become more and more important, but are difficult to handle. Modeling and simulating dynamic systems requires the representation of their processes and the system changes within one model. To that effect, reconfigurable Petri nets consist of a Petri net and a set of rules that can modify the Petri net. Their main feature is the capability to model complex coordination behavior in dynamically adapting infrastructures. The interplay of both levels of dynamic behavior requires a very precise description, so the specification when and which rules are to be applied plays a crucial role for the convenient use of reconfigurable nets. We differentiate several types of reconfigurable Petri nets and present a survey of control structure for these types, reconfigurable Petri nets. These control structures either concern the infrastructure, i.e., the rules and transformations or the system part, i.e., the firing behavior, or both. They are introduced by a short characterization and illustrated by examples. We state the results for various Petri net types and the tools supporting the different control structures.
文摘The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on. In such a hierarchical structure, the controllers are geographically distributed according to their physical structure. So it is desirable to realize the hierarchical and distributed control. In this paper, a methodology is presented using Petri nets for hierarchical and distributed control. The Petri net representation of discrete event manufacturing processes is decomposed and distributed into the machine controllers, which are coordinated through communication between the coordinator and machine controllers so that the decomposed transitions fire at the same time. Implementation of a hierarchical and distributed control system is described for an example robotic manufacturing system. The demonstrations show that the proposed system can be used as an effective tool for consistent modeling and control of large and complex manufacturing systems.
文摘分析了当前高校学生信息管理工作中面临的问题,研究了RBAC中模型的建立和实现这两大热点,开发了一个基于B/S结构的系统——山东师范大学信息科学与工程学院的高校学生信息管理系统。该系统通过ADO.NET技术对SQL Server 2005数据库进行访问,使用户在Web服务下遵循RBAC访问控制机制高安全性地使用该系统。特别是基于RBAC机制的权限管理模块,具有代码简洁、逻辑结构清晰、安全性高、可扩展性强等优点。通过该系统对学生信息进行实时跟踪,做到信息准确采集,科学统计和快速查询,极大地提高了高校学生信息管理工作的效率,有力地促进了高校学生信息管理的开展。
