This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It in...This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It increases the maintainability and reusability of objects in Petri net modeling, thus it has more powerful modeling and analysis abilities.展开更多
The problem of simultaneous scheduling of machines and vehicles in flexible manufacturing system (FMS) was addressed.A spreadsheet based genetic algorithm (GA) approach was presented to solve the problem.A domain inde...The problem of simultaneous scheduling of machines and vehicles in flexible manufacturing system (FMS) was addressed.A spreadsheet based genetic algorithm (GA) approach was presented to solve the problem.A domain independent general purpose GA was used,which was an add-in to the spreadsheet software.An adaptation of the propritary GA software was demonstrated to the problem of minimizing the total completion time or makespan for simultaneous scheduling of machines and vehicles in flexible manufacturing systems.Computational results are presented for a benchmark with 82 test problems,which have been constructed by other researchers.The achieved results are comparable to the previous approaches.The proposed approach can be also applied to other problems or objective functions without changing the GA routine or the spreadsheet model.展开更多
Due to the development of advanced manufacturing technology and the introduction of Smart Manufacturing notion in the field of modern industrial production, welding flexible manufacturing using robot technology has b...Due to the development of advanced manufacturing technology and the introduction of Smart Manufacturing notion in the field of modern industrial production, welding flexible manufacturing using robot technology has become the inevitable developing direction on welding automation. Based on a new intelligent arc welding flexible manufacturing cell (WFMC), its system structure and control policies are studied in this paper. Aiming at the different information flows among every subsystem and central monitoring computer in this WFMC, Petri net theory is introduced into the process of welding manufacturing. A discrete control model of WFMC has been constructed, in which the system's status is regarded as place and the control process is regarded as transition. Moreover, grounded on automation Petri net principle, the judging and utilizing of information obtained from welding sensors are imported into Petri net structure, which extends the traditional Petri net concepts. The control model and policies researched in this paper have established foundation for further intelligent real time control on welding flexible manufacturing cell and system.展开更多
A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at...A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at improving the flexibility and reliability of the control system. On the basis of describing the concepts of component-based software and the distributed object technology, the architecture of the component-based software of the control system is suggested with the Common Object Request Broker Architecture (CORBA). And then, we propose a design method for component-based distributed & hierarchical flexible manufacturing control system. Finally, to verify the software design method, a prototype flexible manufacturing control system software has been implemented in Orbix 2.3c, VC + + 6. 0 and has been tested in connection with the physical flexible manufacturing shop at the WuXi Professional Institute.展开更多
Deadlock must be prevented via the shop controller during the flexible manufacturing system （FMS） performing. Various models have been tried for the analysis and design of shop controller. Petri net is suitable to d...Deadlock must be prevented via the shop controller during the flexible manufacturing system （FMS） performing. Various models have been tried for the analysis and design of shop controller. Petri net is suitable to describe the dynamic behavior of the discrete event system, such as concurrency, conflict and deadlock, however, the verification of the .system behavior needs structure analysis with complex theoretical proof method. Temporal logic model checking has important advantages over traditional theorem prover. It is flatly automatic and can produce possible counter-example which is particularly important in finding subtle error in complex transition systems. In this paper, a new method for the deadlock prevention based on Petri net and Temporal Logic model checking is presented. The specification in the Temporal Logic is expressed according to some result of structure analysis of the Petri net. The model checking is employed to execute the formal verification, which will conduct an exhaustive exploration of all possible behaviors. Finally, an example is presented to demonstrate how the method works.展开更多
A design approach of manufacturing communication is presented for flexible manufacturing system in this paper. The primary objective aims at making the flexible manufacturing control system provided with interoperabil...A design approach of manufacturing communication is presented for flexible manufacturing system in this paper. The primary objective aims at making the flexible manufacturing control system provided with interoperability and reconfigurability. Based on describing manufacturing message specification (MMS) and distributed component object model (DCOM), a client/server manufacturing communication model is built with MMS standard and DCOM middleware, and the communication interfaces between MMS client and MMS server are designed with Microsoft interface definition language (MIDL) and abstract syntax notation one (ASN.1) of MMS services. As a result, DCOM and MMS integration leads to such client/ server communication capabilities independent of different operating systems and manufacturing devices in flexible manufacturing automation environment. Finally, to verify the new design approach, a prototype system of robot control system has been implemented in MS 2000 Server/Professional Operating System and VC++ 6.0 Developer Environments.展开更多
To monitor, control and manage the work process of computer numerical control machine tools in a flexible manufacturing system (FMS) effectively, the distributed numerical coutrol (distributed-NC) software should be i...To monitor, control and manage the work process of computer numerical control machine tools in a flexible manufacturing system (FMS) effectively, the distributed numerical coutrol (distributed-NC) software should be innovated with the characteristics of modularization and reconfiguration. In this paper, firstly, distributed-NC functions in the FMS environment are described. Then, we present a design and development method of the real time distributed-NC that is on the basis of the re-coufigurable software and hardware platform and with an object-oriented model concept. Finally, to verify the proposed method, the distributed-NC software has been implemented in VC++ 6.0 and has been tested in connection with the different physical flexible manufacturing shops.展开更多
According to the characteristics of flexible manufacturing systems, the article describes the equipment components and hardware architecture of flexible manufacturing systems in school. Taking welding assemble process...According to the characteristics of flexible manufacturing systems, the article describes the equipment components and hardware architecture of flexible manufacturing systems in school. Taking welding assemble process as an example to elaborate production process automation, the paper put forward a flexible manufacaxring system combined with laboratory equipment and various grades, professional knowledge and teaching characteristics and differentiated teaching programs, the creation of the laboratory project was planned and implemented to specific engineering training programs, so that students has been expanded in the depth of expertise and breadth, experimental skills and innovation capacity has been improved, the teaching effect has also been significantly improved..展开更多
Based on the system of electric power supply for flexible manufacturing systems (FMS), a study has been carried out on the intelligent safety examination, monitoring and maintenance of its running environment. On the ...Based on the system of electric power supply for flexible manufacturing systems (FMS), a study has been carried out on the intelligent safety examination, monitoring and maintenance of its running environment. On the basis of the specific feature of the power supply network of an FMS, real time monitoring system of the power supply network and the fault diagnostic expert system for the power equipment have been designed. This system can diagnose not only definite fault phenomena, but also fuzzy, uncertain fault phenomena as well. Fault diagnostic knowledge base for the power equipment has been founded hierarchy architecture model and the method of fault tree analysis. Feasibility of this system has been proved by computer simulation.展开更多
In this paper, an autonomous subnet based structural methodology forbottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed.Furthermore, the theoretical analysis of the model constructed by th...In this paper, an autonomous subnet based structural methodology forbottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed.Furthermore, the theoretical analysis of the model constructed by the method is carried byintensively using model's structural information, such as invariants, siphons, etc.. As aresult, the analysis leads us to draw the general conclusion that the model obtained isconservativeness and thus bound, and characterize its liveness in terms of zero-markingminimal siphons. It is based on model's structural information that distinguishes ourmethod from others. in line of this thought, a liveness guarantying policy for the obtainedmodel is proposed. Some control subnets are merged into the original model according tothe proposed synthesis rules in this paper to ensure that no minimal siphons are emptiedin any state, therefore the liveness is guaranteed. As a result, a live, conservative andrevertible Petri Nets is obtained. A practical example is also presented to demonstrate theeffectiveness of this method.展开更多
In a flexible manufacturing system, both the productivity and the flexibility of the manufacturing processes are highly influenced by robot sequencing. In this paper a petri net based approach for sequencing of indust...In a flexible manufacturing system, both the productivity and the flexibility of the manufacturing processes are highly influenced by robot sequencing. In this paper a petri net based approach for sequencing of industrial robot in a flexible manufacturing cell is presented and a decision structure for robot sequencing based on different criteria is described.展开更多
A novel siphon-based divide-and-conquer(SbDaC)policy is presented in this paper for the synthesis of Petri net(PN)based liveness-enforcing supervisors(LES)for flexible manufacturing systems(FMS)prone to deadlocks or l...A novel siphon-based divide-and-conquer(SbDaC)policy is presented in this paper for the synthesis of Petri net(PN)based liveness-enforcing supervisors(LES)for flexible manufacturing systems(FMS)prone to deadlocks or livelocks.The proposed method takes an uncontrolled and bounded PN model(UPNM)of the FMS.Firstly,the reduced PNM(RPNM)is obtained from the UPNM by using PN reduction rules to reduce the computation burden.Then,the set of strict minimal siphons(SMSs)of the RPNM is computed.Next,the complementary set of SMSs is computed from the set of SMSs.By the union of these two sets,the superset of SMSs is computed.Finally,the set of subnets of the RPNM is obtained by applying the PN reduction rules to the superset of SMSs.All these subnets suffer from deadlocks.These subnets are then ordered from the smallest one to the largest one based on a criterion.To enforce liveness on these subnets,a set of control places(CPs)is computed starting from the smallest subnet to the largest one.Once all subnets are live,this process provides the LES,consisting of a set of CPs to be used for the UPNM.The live controlled PN model(CPNM)is constructed by merging the LES with the UPNM.The SbDaC policy is applicable to all classes of PNs related to FMS prone to deadlocks or livelocks.Several FMS examples are considered from the literature to highlight the applicability of the SbDaC policy.In particular,three examples are utilized to emphasize the importance,applicability and effectiveness of the SbDaC policy to realistic FMS with very large state spaces.展开更多
In few years only, the efficiency record of perovskite solar cells（PSCs） has raised quickly from 3.8% to over 22%. This emerging photovoltaic technology has primarily shown its great potential of industrialization. ...In few years only, the efficiency record of perovskite solar cells（PSCs） has raised quickly from 3.8% to over 22%. This emerging photovoltaic technology has primarily shown its great potential of industrialization. Flexible PSCs are thought to be one of the most priority options for mass production, related to the intrinsic advantage of perovskite thin films which could be deposited by facile solution processes at low temperature. Flexible PSCs have at least four advantages in comparison to the rigid counterpart：（1） it can generate higher power output at lighter weight,（2） it is easily portable,（3） it can be easily attached to architectures or textiles with diverse shapes, and（4） it is compatible with roll-to-roll fabrication in a large scale. In this review, we have summarized recent development of the key materials and technologies applied in flexible PSCs. The key materials including flexible substrates, transparent and conductive electrodes, and interfacial materials; some key technologies about roll-to-roll manufacture, encapsulation technology have been overviewed. Finally, a prospect on possible application directions of flexible PSCs has been discussed.展开更多
Three-dimensional(3D)conductive structures significantly reduce flexible circuit complexity and enhance circuit integration.Direct extrusion printing technology offers the advantages of various material applicability ...Three-dimensional(3D)conductive structures significantly reduce flexible circuit complexity and enhance circuit integration.Direct extrusion printing technology offers the advantages of various material applicability and high flexibility for fabricating filamentary interconnects.The printing resolution is,however,highly dependent on the needle size.A micro-printing method was proposed based on fluid drawing to fabricate freestanding 3D conductive structures.The delicate structure is drawn out under the tension when printing.The printing material is a high-viscosity ink composed of silver nanoparticles(AgNPs)and polyvinylpyrrolidone(PVP).The viscosity is controlled by evaporating the ink’s solvent for drawing prints.This unique printing method utilizes a single needle,controlled by precise air pressure and speed,to construct 3D filamentary structures with varied wire widths.The 3D conductive structures exhibit superior structural retention and enhanced conductivity by thermal treatment.The drawing printing method has been successfully implemented on flexible circuits,including light-emitting diode(LED)arrays,thermal imaging displays,and multivibrator circuits.This work establishes a novel paradigm for flexible electronics manufacturing through fluid-drawing printing,achieving unprecedented customization and compatibility in fabricating 3D interconnects.展开更多
To solve the problem of small amount of machining centers in small and medium flexible manufacture systems(FMS), a scheduling mode of single automated guided vehicle(AGV) is adopted to deal with multiple transport req...To solve the problem of small amount of machining centers in small and medium flexible manufacture systems(FMS), a scheduling mode of single automated guided vehicle(AGV) is adopted to deal with multiple transport requests in this paper. Firstly, a workshop scheduling mechanism of AGV is analyzed and a mathematical model is established using Genetic Algorithm. According to several sets of transport priority of AGV, processes of FMS are encoded, and fitness function, selection, crossover, and variation methods are designed. The transport priority which has the least impact on scheduling results is determined based on the simulation analysis of Genetic Algorithm, and the makespan, the longest waiting time, and optimal route of the car are calculated. According to the actual processing situation of the workshop, feasibility of this method is verified successfully to provide an effective solution to the scheduling problem of single AGV.展开更多
To balance inventory cost with diverse demand,an optimal investment decision on necessary process improvement for delayed product differentiation is studied. A two-stage flexible manufacturing system is modeled as a c...To balance inventory cost with diverse demand,an optimal investment decision on necessary process improvement for delayed product differentiation is studied. A two-stage flexible manufacturing system is modeled as a continuous time Markov chain. The first production stage manufactures semifinished products based on a make-to-stock policy. The second production stage customizes semi-finished products from the first production stage on a make-to-order policy. Various performance measures for this flexible manufacturing system are evaluated by using matrix geometric methods. An optimization model to determine the level of investment on process improvement that minimizes the manufacturer ’s total cost is established. The results show that,a higher investment level can reduce both the expected customer order fulfillment delay and the expected semi-finished products inventory. When the initial order penetration point is 0. 4,the manufacturer ’s total cost is reduced by 15. 89% through process investment. In addition, the optimal investment level increases with the increase in the unit time cost of customer order fulfillment delay,and decreases with the increase in the product value and the initial order penetration point.展开更多
To discover the knowledge of fault diagnosis in maintenance record of flexible manufacture system(FMS) equipment. An algorithm (process) was presented, which consists of ① preparatory phase in which some items in mai...To discover the knowledge of fault diagnosis in maintenance record of flexible manufacture system(FMS) equipment. An algorithm (process) was presented, which consists of ① preparatory phase in which some items in maintenance record are selected and decomposed into associated concepts and attributes, and ② discovering and establishing process, in which some possible relationships between the concepts and attributes can be established and knowledge is formulated. The rich diagnosis knowledge in maintenance record was captured through applying the method. An application of the method to the diagnosis system for FMS equipment showed that the approach is correct and effective.展开更多
Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphon...Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphons that cause and cope with livelocks in Petri nets. This study proposes a revised mixed integer programming(RMIP) method to directly solve the new smart siphons(NSSs) associated with livelocks in a system of sequential systems with shared resources(S^4 R), a typical subclass of generalized Petri net models. Accordingly,the solved NSSs are max'-controlled by adding the corresponding control places(CPs). As a result, an original S^4 R system with livelocks can be converted into the live controlled Petri net system. The related theoretical analysis and an example are given to demonstrate the proposed RMIP and the corresponding control algorithm(CA).展开更多
Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, mode...Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, model simulation experiment was designed to validate the model. And a sort of controlling software was designed on local net. Besides, a special welding experiment had been designed to check the controlling way. Results show the controlling process rightly and feasibly.展开更多
文摘This paper presents an object oriented Petri net (OOPN) schema to model the dynamic behaviors of a flexible manufacturing cells (FMCs). The OOPN paradigm incorporates the characteristics of a Petri net and OOP. It increases the maintainability and reusability of objects in Petri net modeling, thus it has more powerful modeling and analysis abilities.
文摘The problem of simultaneous scheduling of machines and vehicles in flexible manufacturing system (FMS) was addressed.A spreadsheet based genetic algorithm (GA) approach was presented to solve the problem.A domain independent general purpose GA was used,which was an add-in to the spreadsheet software.An adaptation of the propritary GA software was demonstrated to the problem of minimizing the total completion time or makespan for simultaneous scheduling of machines and vehicles in flexible manufacturing systems.Computational results are presented for a benchmark with 82 test problems,which have been constructed by other researchers.The achieved results are comparable to the previous approaches.The proposed approach can be also applied to other problems or objective functions without changing the GA routine or the spreadsheet model.
基金SupportedbyNationalNaturalScienceFoundationofChina (No .5 96 35 16 0 )Pre ResearchingKeyProjectoNationalDefenseTechnology
文摘Due to the development of advanced manufacturing technology and the introduction of Smart Manufacturing notion in the field of modern industrial production, welding flexible manufacturing using robot technology has become the inevitable developing direction on welding automation. Based on a new intelligent arc welding flexible manufacturing cell (WFMC), its system structure and control policies are studied in this paper. Aiming at the different information flows among every subsystem and central monitoring computer in this WFMC, Petri net theory is introduced into the process of welding manufacturing. A discrete control model of WFMC has been constructed, in which the system's status is regarded as place and the control process is regarded as transition. Moreover, grounded on automation Petri net principle, the judging and utilizing of information obtained from welding sensors are imported into Petri net structure, which extends the traditional Petri net concepts. The control model and policies researched in this paper have established foundation for further intelligent real time control on welding flexible manufacturing cell and system.
基金Supported by National High Technology Development plan(Item No.:2001AA412250)and Shanghai Science & Technology Development Project(Item No.:02FK04)
文摘A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at improving the flexibility and reliability of the control system. On the basis of describing the concepts of component-based software and the distributed object technology, the architecture of the component-based software of the control system is suggested with the Common Object Request Broker Architecture (CORBA). And then, we propose a design method for component-based distributed & hierarchical flexible manufacturing control system. Finally, to verify the software design method, a prototype flexible manufacturing control system software has been implemented in Orbix 2.3c, VC + + 6. 0 and has been tested in connection with the physical flexible manufacturing shop at the WuXi Professional Institute.
文摘Deadlock must be prevented via the shop controller during the flexible manufacturing system （FMS） performing. Various models have been tried for the analysis and design of shop controller. Petri net is suitable to describe the dynamic behavior of the discrete event system, such as concurrency, conflict and deadlock, however, the verification of the .system behavior needs structure analysis with complex theoretical proof method. Temporal logic model checking has important advantages over traditional theorem prover. It is flatly automatic and can produce possible counter-example which is particularly important in finding subtle error in complex transition systems. In this paper, a new method for the deadlock prevention based on Petri net and Temporal Logic model checking is presented. The specification in the Temporal Logic is expressed according to some result of structure analysis of the Petri net. The model checking is employed to execute the formal verification, which will conduct an exhaustive exploration of all possible behaviors. Finally, an example is presented to demonstrate how the method works.
文摘A design approach of manufacturing communication is presented for flexible manufacturing system in this paper. The primary objective aims at making the flexible manufacturing control system provided with interoperability and reconfigurability. Based on describing manufacturing message specification (MMS) and distributed component object model (DCOM), a client/server manufacturing communication model is built with MMS standard and DCOM middleware, and the communication interfaces between MMS client and MMS server are designed with Microsoft interface definition language (MIDL) and abstract syntax notation one (ASN.1) of MMS services. As a result, DCOM and MMS integration leads to such client/ server communication capabilities independent of different operating systems and manufacturing devices in flexible manufacturing automation environment. Finally, to verify the new design approach, a prototype system of robot control system has been implemented in MS 2000 Server/Professional Operating System and VC++ 6.0 Developer Environments.
基金Project supported by the National High-Tech. R&D Program for CIMS, China (Grant No. 2003AA414120) Shanghai Science & Technology development Project, China (Grant No. 02FK04)
文摘To monitor, control and manage the work process of computer numerical control machine tools in a flexible manufacturing system (FMS) effectively, the distributed numerical coutrol (distributed-NC) software should be innovated with the characteristics of modularization and reconfiguration. In this paper, firstly, distributed-NC functions in the FMS environment are described. Then, we present a design and development method of the real time distributed-NC that is on the basis of the re-coufigurable software and hardware platform and with an object-oriented model concept. Finally, to verify the proposed method, the distributed-NC software has been implemented in VC++ 6.0 and has been tested in connection with the different physical flexible manufacturing shops.
文摘According to the characteristics of flexible manufacturing systems, the article describes the equipment components and hardware architecture of flexible manufacturing systems in school. Taking welding assemble process as an example to elaborate production process automation, the paper put forward a flexible manufacaxring system combined with laboratory equipment and various grades, professional knowledge and teaching characteristics and differentiated teaching programs, the creation of the laboratory project was planned and implemented to specific engineering training programs, so that students has been expanded in the depth of expertise and breadth, experimental skills and innovation capacity has been improved, the teaching effect has also been significantly improved..
文摘Based on the system of electric power supply for flexible manufacturing systems (FMS), a study has been carried out on the intelligent safety examination, monitoring and maintenance of its running environment. On the basis of the specific feature of the power supply network of an FMS, real time monitoring system of the power supply network and the fault diagnostic expert system for the power equipment have been designed. This system can diagnose not only definite fault phenomena, but also fuzzy, uncertain fault phenomena as well. Fault diagnostic knowledge base for the power equipment has been founded hierarchy architecture model and the method of fault tree analysis. Feasibility of this system has been proved by computer simulation.
文摘In this paper, an autonomous subnet based structural methodology forbottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed.Furthermore, the theoretical analysis of the model constructed by the method is carried byintensively using model's structural information, such as invariants, siphons, etc.. As aresult, the analysis leads us to draw the general conclusion that the model obtained isconservativeness and thus bound, and characterize its liveness in terms of zero-markingminimal siphons. It is based on model's structural information that distinguishes ourmethod from others. in line of this thought, a liveness guarantying policy for the obtainedmodel is proposed. Some control subnets are merged into the original model according tothe proposed synthesis rules in this paper to ensure that no minimal siphons are emptiedin any state, therefore the liveness is guaranteed. As a result, a live, conservative andrevertible Petri Nets is obtained. A practical example is also presented to demonstrate theeffectiveness of this method.
文摘In a flexible manufacturing system, both the productivity and the flexibility of the manufacturing processes are highly influenced by robot sequencing. In this paper a petri net based approach for sequencing of industrial robot in a flexible manufacturing cell is presented and a decision structure for robot sequencing based on different criteria is described.
基金The authors extend their appreciation to King Saud University,Saudi Arabia for funding this work through the Ongoing Research Funding Program(ORF-2025-704),King Saud University,Riyadh,Saudi Arabia.
文摘A novel siphon-based divide-and-conquer(SbDaC)policy is presented in this paper for the synthesis of Petri net(PN)based liveness-enforcing supervisors(LES)for flexible manufacturing systems(FMS)prone to deadlocks or livelocks.The proposed method takes an uncontrolled and bounded PN model(UPNM)of the FMS.Firstly,the reduced PNM(RPNM)is obtained from the UPNM by using PN reduction rules to reduce the computation burden.Then,the set of strict minimal siphons(SMSs)of the RPNM is computed.Next,the complementary set of SMSs is computed from the set of SMSs.By the union of these two sets,the superset of SMSs is computed.Finally,the set of subnets of the RPNM is obtained by applying the PN reduction rules to the superset of SMSs.All these subnets suffer from deadlocks.These subnets are then ordered from the smallest one to the largest one based on a criterion.To enforce liveness on these subnets,a set of control places(CPs)is computed starting from the smallest subnet to the largest one.Once all subnets are live,this process provides the LES,consisting of a set of CPs to be used for the UPNM.The live controlled PN model(CPNM)is constructed by merging the LES with the UPNM.The SbDaC policy is applicable to all classes of PNs related to FMS prone to deadlocks or livelocks.Several FMS examples are considered from the literature to highlight the applicability of the SbDaC policy.In particular,three examples are utilized to emphasize the importance,applicability and effectiveness of the SbDaC policy to realistic FMS with very large state spaces.
基金financially supported by the National Natural Science Foundation of China(51672094,51661135023)the National Key R&D Program of China(2016YFC0205002)+1 种基金the Selfdetermined and Innovative Research Funds of HUST(2016JCTD111)the open research funds of Engineering Research Center of Nano-Geo Materials of Ministry of Education,China University of Geosciences(NGM2017KF013)
文摘In few years only, the efficiency record of perovskite solar cells（PSCs） has raised quickly from 3.8% to over 22%. This emerging photovoltaic technology has primarily shown its great potential of industrialization. Flexible PSCs are thought to be one of the most priority options for mass production, related to the intrinsic advantage of perovskite thin films which could be deposited by facile solution processes at low temperature. Flexible PSCs have at least four advantages in comparison to the rigid counterpart：（1） it can generate higher power output at lighter weight,（2） it is easily portable,（3） it can be easily attached to architectures or textiles with diverse shapes, and（4） it is compatible with roll-to-roll fabrication in a large scale. In this review, we have summarized recent development of the key materials and technologies applied in flexible PSCs. The key materials including flexible substrates, transparent and conductive electrodes, and interfacial materials; some key technologies about roll-to-roll manufacture, encapsulation technology have been overviewed. Finally, a prospect on possible application directions of flexible PSCs has been discussed.
基金supported by the National Natural Science Foundation of China(Grant No.U24A20137,52475587,52103224,52405610)Science and Technology Program of Liaoning Province(2023JH1/10400044)+1 种基金Natural Science Foundation of Ningbo Municipality(2022J008)Fundamental Research Funds for the Central Universities(DUT23RC(3)051,DUT24RC(3)048)。
文摘Three-dimensional(3D)conductive structures significantly reduce flexible circuit complexity and enhance circuit integration.Direct extrusion printing technology offers the advantages of various material applicability and high flexibility for fabricating filamentary interconnects.The printing resolution is,however,highly dependent on the needle size.A micro-printing method was proposed based on fluid drawing to fabricate freestanding 3D conductive structures.The delicate structure is drawn out under the tension when printing.The printing material is a high-viscosity ink composed of silver nanoparticles(AgNPs)and polyvinylpyrrolidone(PVP).The viscosity is controlled by evaporating the ink’s solvent for drawing prints.This unique printing method utilizes a single needle,controlled by precise air pressure and speed,to construct 3D filamentary structures with varied wire widths.The 3D conductive structures exhibit superior structural retention and enhanced conductivity by thermal treatment.The drawing printing method has been successfully implemented on flexible circuits,including light-emitting diode(LED)arrays,thermal imaging displays,and multivibrator circuits.This work establishes a novel paradigm for flexible electronics manufacturing through fluid-drawing printing,achieving unprecedented customization and compatibility in fabricating 3D interconnects.
基金Supported by the National Natural Science Foundation of China(No.51765043)
文摘To solve the problem of small amount of machining centers in small and medium flexible manufacture systems(FMS), a scheduling mode of single automated guided vehicle(AGV) is adopted to deal with multiple transport requests in this paper. Firstly, a workshop scheduling mechanism of AGV is analyzed and a mathematical model is established using Genetic Algorithm. According to several sets of transport priority of AGV, processes of FMS are encoded, and fitness function, selection, crossover, and variation methods are designed. The transport priority which has the least impact on scheduling results is determined based on the simulation analysis of Genetic Algorithm, and the makespan, the longest waiting time, and optimal route of the car are calculated. According to the actual processing situation of the workshop, feasibility of this method is verified successfully to provide an effective solution to the scheduling problem of single AGV.
基金The National Natural Science Foundation of China(No.71661147004)
文摘To balance inventory cost with diverse demand,an optimal investment decision on necessary process improvement for delayed product differentiation is studied. A two-stage flexible manufacturing system is modeled as a continuous time Markov chain. The first production stage manufactures semifinished products based on a make-to-stock policy. The second production stage customizes semi-finished products from the first production stage on a make-to-order policy. Various performance measures for this flexible manufacturing system are evaluated by using matrix geometric methods. An optimization model to determine the level of investment on process improvement that minimizes the manufacturer ’s total cost is established. The results show that,a higher investment level can reduce both the expected customer order fulfillment delay and the expected semi-finished products inventory. When the initial order penetration point is 0. 4,the manufacturer ’s total cost is reduced by 15. 89% through process investment. In addition, the optimal investment level increases with the increase in the unit time cost of customer order fulfillment delay,and decreases with the increase in the product value and the initial order penetration point.
文摘To discover the knowledge of fault diagnosis in maintenance record of flexible manufacture system(FMS) equipment. An algorithm (process) was presented, which consists of ① preparatory phase in which some items in maintenance record are selected and decomposed into associated concepts and attributes, and ② discovering and establishing process, in which some possible relationships between the concepts and attributes can be established and knowledge is formulated. The rich diagnosis knowledge in maintenance record was captured through applying the method. An application of the method to the diagnosis system for FMS equipment showed that the approach is correct and effective.
基金the National Natural Science Foundation of China(No.61364004)the Chinese Visiting Scholars to Study Overseas Program supported by China Scholarship Council Foundation(No.[2014]5049,201408625045)+1 种基金the Doctoral Research Funds of Lanzhou University of Technology(No.04-237)the Alumni Foundation of Civil Engineering 77,Lanzhou University of Technology(No.TM-QK-1301)
文摘Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphons that cause and cope with livelocks in Petri nets. This study proposes a revised mixed integer programming(RMIP) method to directly solve the new smart siphons(NSSs) associated with livelocks in a system of sequential systems with shared resources(S^4 R), a typical subclass of generalized Petri net models. Accordingly,the solved NSSs are max'-controlled by adding the corresponding control places(CPs). As a result, an original S^4 R system with livelocks can be converted into the live controlled Petri net system. The related theoretical analysis and an example are given to demonstrate the proposed RMIP and the corresponding control algorithm(CA).
基金The National Natural Science Foundation of Chia(No5057144)
文摘Petri net (PN) theory model was adopted for complexity in welding flexible manufacturing system (WFMS). A scheduling arithmetic was devised to optimize the process of controlling system. With this scheduling way, model simulation experiment was designed to validate the model. And a sort of controlling software was designed on local net. Besides, a special welding experiment had been designed to check the controlling way. Results show the controlling process rightly and feasibly.
