China International Supply Chain Expo(hereinafter referred to as the CISCE)is a key platform for enterprises to showcase their innovation strength and connect with global resources.As a“hidden champion”in the field ...China International Supply Chain Expo(hereinafter referred to as the CISCE)is a key platform for enterprises to showcase their innovation strength and connect with global resources.As a“hidden champion”in the field of intelligent manufacturing,Hunan SpeedBot Robot ics Co.,Ltd.(hereinaf ter refer red to as“SpeedBot”)is planning to display its independently developed“AI+3D Vision”core technology at the CISCE,to empower the supply chain of industries such as automobiles and heavy industry through a full-process automated detection solution.Liu Tingting,Vice General Manager of SpeedBot,said in an interview with China’s Foreign Trade,“The CISCE is not only a window for technology display,but also a link to promote collaborative innovations of the whole industrial chain.We look forward to building resilient supply chains with global partners and bringing China’s‘smart’manufacturing to the world.”展开更多
In this paper, the efficiencies of two production lines, one is with commonly, the other is with separately buffer capacities are compared, the result is that the former one is better than the latter
In technology-intensive markets, it is a common strategy for companies to develop long-term multiple generation product lines instead of releasing consecutive single products. Even though this strategy is more profita...In technology-intensive markets, it is a common strategy for companies to develop long-term multiple generation product lines instead of releasing consecutive single products. Even though this strategy is more profitable than sequentially introducing single product generations, it can also result in inter-product line cannibalization. Cannibalization of multiple-generation product lines is a complex problem that needs to be taken into account at the early product line planning stage in order to sustain long-term profitability. In this paper, we propose an agent-based model that can simulate the potential cannibalization scenarios within a multiple-generation product line. We view a multiple-generation product line （MGPL） as complex adaptive system where each product generation in the MGPL adjusts its sales price over time based on the shifts in the market demand. The proposed model provides insights into how various pricing strategies impact the overall lifecycle profitability of MGPL and can be used to assist companies in developing appropriate dynamic pricing strategies at the early product line planning stages.展开更多
The objective of the research discussed in this paper has been to find an optimal schedule on mixed mass production lines of two and three machines. Johnson's rule on flow shops is generalized to mixed mass produ...The objective of the research discussed in this paper has been to find an optimal schedule on mixed mass production lines of two and three machines. Johnson's rule on flow shops is generalized to mixed mass production lines. Scheduling methods on three-machine lines are proposed for six special kinds of data of processing times of jobs. The scheduling method on two-machine lines is also proposed.展开更多
The ordered event model is improved to describe serial production lines with limited buffer sizes. The improved model hasthe same computational burden as the original one and can be constrUcted directly according to g...The ordered event model is improved to describe serial production lines with limited buffer sizes. The improved model hasthe same computational burden as the original one and can be constrUcted directly according to given principles. Several simulationexamples are cited to verify this improved model. Extensions and open problems are also indicated. By means of this new model, serialProduotion lines with limitations of resources can be stUdied analytically.展开更多
Digital twin(DT) is a virtual replica of a physical world that has become one of the most important ideas in the manufacturing industry’s digital revolution. DT modeling is a vital issue in building a DT of a product...Digital twin(DT) is a virtual replica of a physical world that has become one of the most important ideas in the manufacturing industry’s digital revolution. DT modeling is a vital issue in building a DT of a production line. In this paper, a method is proposed to address the difficulties of complicated production line business and data heterogeneity. The method focuses on essential data in the production line and creates conceptual and information models based on the ArtiFlow model and AutomationML(AML). Conceptual models are mainly used to describe and analyze the business activities of the production line, and information models describe real production lines in the form of XML files. The proposed modeling approach has been applied to a real-world clothing production line to demonstrate its feasibility and effectiveness.展开更多
The two production lines for the first phase of the semi-solid die-casting high-end parts project were put into production in this October, and can monthly produce more than 30 thousand die casting parts.
[Objective] The aim was to test the controlling effect of cleaning steriliza- tion system, material conveying system, and fermentation jar cooling system with equip- ments of fruit wine production line introduced in t...[Objective] The aim was to test the controlling effect of cleaning steriliza- tion system, material conveying system, and fermentation jar cooling system with equip- ments of fruit wine production line introduced in this study and its auto-control sys- tem field assembled and debugged. [Method] Based on controlling equipment and setting parameters on the configuration interface, the operation state of the control equipments could be real-time monitored and controlled with the help of configura- tion software. [Result] The result showed that the equipment system could reduce the temperature into 12 ℃ with the error of ＋0.5 ℃within 110 minutes when the fermentation temperature is set at 12 ℃ in real production. [Conclusion] The auto- control system of fruit wine production line was easy to be assembled and de- bugged to meet demands of different fruit wine productions.展开更多
For every integer 4≤d≤11,an explicit construction of infinite families of 2d-regular unique-neighbor expanders is presented,which is a generalization of the 6-regular unique-neighbors initially developed by Alon and...For every integer 4≤d≤11,an explicit construction of infinite families of 2d-regular unique-neighbor expanders is presented,which is a generalization of the 6-regular unique-neighbors initially developed by Alon and Capalbo.Additionally,for values of d greater than 11,a sufficient condition is established for employing the same construction method.Our construction method involves the“line product”of large bipartite Ramanujan graphs and a sufficiently good unique-neighbor expander(a small gadget).展开更多
In an industrial park in Chonburi Province,about one-hour drive from the Thai capital of Bangkok,robotic arms on production lines move up and down,material-handling robots carrying components shuttle back and forth,an...In an industrial park in Chonburi Province,about one-hour drive from the Thai capital of Bangkok,robotic arms on production lines move up and down,material-handling robots carrying components shuttle back and forth,and Ferris wheel-shaped overhead tracks transport semi-finished products to the next destination.A factory equipped with a dedicated 5G network glows with automation,digitization,and intelligence.This is a fruit of China-Thailand cooperation on the digital economy.In recent years,Thailand’s digital economy has achieved rapid development with an average annual growth rate exceeding 15 percent,making it a star performer in Southeast Asia’s digital transformation.Chinese technology and solutions have played a pivotal role in this process.展开更多
The flexible satellite batch production line is a complex discrete production system with multiple cross-disciplinary fields and mixed serial parallel tasks.As the source of the satellite batch production line process...The flexible satellite batch production line is a complex discrete production system with multiple cross-disciplinary fields and mixed serial parallel tasks.As the source of the satellite batch production line process,the warehousing system has urgent needs such as uncertain production scale and rapid iteration and optimization of business processes.Therefore,the requirements and architecture of complex discrete warehousing systems such as flexible satellite batch production lines are studied.The physical system of intelligent equipment is abstracted as a digital model to form the underlying module,and a digital fusion framework of“business domain+middleware platform+intelligent equipment information model”is constructed.The granularity of microservice splitting is calculated based on the dynamic correlation relationship between user access instances and database table structures.The general warehousing functions of the platform are divided to achieve module customization,addition,and configuration.An open discrete warehousing system based on microservices is designed.Software architecture and design develop complex discrete warehousing systems based on the SpringCloud framework.This architecture achieves the decoupling of business logic and physical hardware,enhances the maintainability and scalability of the system,and greatly improves the system’s adaptability to different complex discrete warehousing business scenarios.展开更多
Stepping into Donglong Group’s intelligent factory in the Yangtze River Delta,the automated production lines is transforming fluffy down into premium home textiles export to Europe and America.At a pivotal moment of ...Stepping into Donglong Group’s intelligent factory in the Yangtze River Delta,the automated production lines is transforming fluffy down into premium home textiles export to Europe and America.At a pivotal moment of global supply chain restructuring,this homegrown textile and apparel exporter is answering a critical question:How can Chinese textile companies sustain their competitive edge amid tariff barriers and supply chain relocation?展开更多
Manufacturers are striving to achieve higher energy efficiency without compromising production performance and quality standards.Parallel-serial structures,commonly found in modern production systems,offer a unique ba...Manufacturers are striving to achieve higher energy efficiency without compromising production performance and quality standards.Parallel-serial structures,commonly found in modern production systems,offer a unique balance of flexibility and efficiency by combining parallel processes with sequential workflows.However,their inherent complexity poses significant challenges,particularly in optimizing energy efficiency and ensuring consistent product quality.In data-driven manufacturing environments,it is not clear how to leverage production data to enhance the energy efficiency of production systems.Therefore,this paper studied a data-driven approach to improving energy efficiency in parallel-serial production lines with product quality issues.Firstly,the authors developed a data-driven performance analysis method to evaluate the effects of disruption events,such as energy-saving control actions,machine breakdowns,and product quality failures,on system throughput and energy consumption.Secondly,a periodic energy-saving control method was developed to enhance system energy efficiency using a non-linear programming model.To reduce complexity and improve computational efficiency,the model was simplified by leveraging the intrinsic properties of parallel-serial production lines and solved using an adaptive genetic algorithm.Finally,the effectiveness of the proposed data-driven approach was validated through case studies,providing actionable insights into achieving data-driven energy efficiency optimization in complex production systems.展开更多
Dear Editor,This letter focuses on the distributed cooperative regulation problem for a class of networked re-entrant manufacturing systems(RMSs).The networked system is structured with a three-tier architecture:the p...Dear Editor,This letter focuses on the distributed cooperative regulation problem for a class of networked re-entrant manufacturing systems(RMSs).The networked system is structured with a three-tier architecture:the production line,the manufacturing layer and the workshop layer.The dynamics of re-entrant production lines are governed by hyperbolic partial differential equations(PDEs)based on the law of mass conservation.展开更多
Doubled haploid(DH)technology has revolutionized crop breeding by enabling the production of homozygous lines in a single generation.In vivo haploid induction(HI)offers a more widely applicable approach that can signi...Doubled haploid(DH)technology has revolutionized crop breeding by enabling the production of homozygous lines in a single generation.In vivo haploid induction(HI)offers a more widely applicable approach that can significantly improve DH breeding efficiency.ToPAR,a parthenogenesis gene,originally identified in dandelion(Taraxacum officinale),has been characterized.Researchers have successfully induced haploid embryo-like structures and haploid offspring in lettuce and foxtail millet,respectively.展开更多
With the recent advances in mobile technology and wireless network technology, embedded systems are being widely used in modem society today. Particularly, a home healthcare system is a networked embedded system where...With the recent advances in mobile technology and wireless network technology, embedded systems are being widely used in modem society today. Particularly, a home healthcare system is a networked embedded system where the main functions are to control the disease processes and to help patients maintain their independence and maximum level of function within their own homes and communities. It seems to be self-evident to design a system that would support both patients and their healthcare providers in the process of treatment. Nevertheless, little work in integrating embedded devices with intemet for the support of patients have been done to date. In this paper, we show how to design a healthcare system for supporting the management of the conditions of patients with chronic diseases. This system is built around wireless networked embedded devices, and integrates the intemet technology for telemonitoring the patient＇s health and notifying of doctors if emergency action is required. Also, patients themselves may specify personal alerts for condition-related issues.展开更多
In a typical discrete manufacturing process,a new type of reconfigurable production line is introduced,which aims to help small-and mid-size enterprises to improve machine utilization and reduce production cost.In ord...In a typical discrete manufacturing process,a new type of reconfigurable production line is introduced,which aims to help small-and mid-size enterprises to improve machine utilization and reduce production cost.In order to effectively handle the production scheduling problem for the manufacturing system,an improved multi-objective particle swarm optimization algorithm based on Brownian motion(MOPSO-BM)is proposed.Since the existing MOPSO algorithms are easily stuck in the local optimum,the global search ability of the proposed method is enhanced based on the random motion mechanism of the BM.To further strengthen the global search capacity,a strategy of fitting the inertia weight with the piecewise Gaussian cumulative distribution function(GCDF)is included,which helps to maintain an excellent convergence rate of the algorithm.Based on the commonly used indicators generational distance(GD)and hypervolume(HV),we compare the MOPSO-BM with several other latest algorithms on the benchmark functions,and it shows a better overall performance.Furthermore,for a real reconfigurable production line of smart home appliances,three algorithms,namely non-dominated sorting genetic algorithm-II(NSGA-II),decomposition-based MOPSO(dMOPSO)and MOPSO-BM,are applied to tackle the scheduling problem.It is demonstrated that MOPSO-BM outperforms the others in terms of convergence rate and quality of solutions.展开更多
In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its s...In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.展开更多
Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be v...Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.展开更多
文摘China International Supply Chain Expo(hereinafter referred to as the CISCE)is a key platform for enterprises to showcase their innovation strength and connect with global resources.As a“hidden champion”in the field of intelligent manufacturing,Hunan SpeedBot Robot ics Co.,Ltd.(hereinaf ter refer red to as“SpeedBot”)is planning to display its independently developed“AI+3D Vision”core technology at the CISCE,to empower the supply chain of industries such as automobiles and heavy industry through a full-process automated detection solution.Liu Tingting,Vice General Manager of SpeedBot,said in an interview with China’s Foreign Trade,“The CISCE is not only a window for technology display,but also a link to promote collaborative innovations of the whole industrial chain.We look forward to building resilient supply chains with global partners and bringing China’s‘smart’manufacturing to the world.”
文摘In this paper, the efficiencies of two production lines, one is with commonly, the other is with separately buffer capacities are compared, the result is that the former one is better than the latter
文摘In technology-intensive markets, it is a common strategy for companies to develop long-term multiple generation product lines instead of releasing consecutive single products. Even though this strategy is more profitable than sequentially introducing single product generations, it can also result in inter-product line cannibalization. Cannibalization of multiple-generation product lines is a complex problem that needs to be taken into account at the early product line planning stage in order to sustain long-term profitability. In this paper, we propose an agent-based model that can simulate the potential cannibalization scenarios within a multiple-generation product line. We view a multiple-generation product line （MGPL） as complex adaptive system where each product generation in the MGPL adjusts its sales price over time based on the shifts in the market demand. The proposed model provides insights into how various pricing strategies impact the overall lifecycle profitability of MGPL and can be used to assist companies in developing appropriate dynamic pricing strategies at the early product line planning stages.
文摘The objective of the research discussed in this paper has been to find an optimal schedule on mixed mass production lines of two and three machines. Johnson's rule on flow shops is generalized to mixed mass production lines. Scheduling methods on three-machine lines are proposed for six special kinds of data of processing times of jobs. The scheduling method on two-machine lines is also proposed.
文摘The ordered event model is improved to describe serial production lines with limited buffer sizes. The improved model hasthe same computational burden as the original one and can be constrUcted directly according to given principles. Several simulationexamples are cited to verify this improved model. Extensions and open problems are also indicated. By means of this new model, serialProduotion lines with limitations of resources can be stUdied analytically.
基金Shanghai Foundation for Development of Industrial Internet Innovation,China (No. 2019-GYHLW-004)。
文摘Digital twin(DT) is a virtual replica of a physical world that has become one of the most important ideas in the manufacturing industry’s digital revolution. DT modeling is a vital issue in building a DT of a production line. In this paper, a method is proposed to address the difficulties of complicated production line business and data heterogeneity. The method focuses on essential data in the production line and creates conceptual and information models based on the ArtiFlow model and AutomationML(AML). Conceptual models are mainly used to describe and analyze the business activities of the production line, and information models describe real production lines in the form of XML files. The proposed modeling approach has been applied to a real-world clothing production line to demonstrate its feasibility and effectiveness.
文摘The two production lines for the first phase of the semi-solid die-casting high-end parts project were put into production in this October, and can monthly produce more than 30 thousand die casting parts.
基金Supported by Fundamental Research Foundation of GXAAS(GNK2013YM02)~~
文摘[Objective] The aim was to test the controlling effect of cleaning steriliza- tion system, material conveying system, and fermentation jar cooling system with equip- ments of fruit wine production line introduced in this study and its auto-control sys- tem field assembled and debugged. [Method] Based on controlling equipment and setting parameters on the configuration interface, the operation state of the control equipments could be real-time monitored and controlled with the help of configura- tion software. [Result] The result showed that the equipment system could reduce the temperature into 12 ℃ with the error of ＋0.5 ℃within 110 minutes when the fermentation temperature is set at 12 ℃ in real production. [Conclusion] The auto- control system of fruit wine production line was easy to be assembled and de- bugged to meet demands of different fruit wine productions.
文摘For every integer 4≤d≤11,an explicit construction of infinite families of 2d-regular unique-neighbor expanders is presented,which is a generalization of the 6-regular unique-neighbors initially developed by Alon and Capalbo.Additionally,for values of d greater than 11,a sufficient condition is established for employing the same construction method.Our construction method involves the“line product”of large bipartite Ramanujan graphs and a sufficiently good unique-neighbor expander(a small gadget).
文摘In an industrial park in Chonburi Province,about one-hour drive from the Thai capital of Bangkok,robotic arms on production lines move up and down,material-handling robots carrying components shuttle back and forth,and Ferris wheel-shaped overhead tracks transport semi-finished products to the next destination.A factory equipped with a dedicated 5G network glows with automation,digitization,and intelligence.This is a fruit of China-Thailand cooperation on the digital economy.In recent years,Thailand’s digital economy has achieved rapid development with an average annual growth rate exceeding 15 percent,making it a star performer in Southeast Asia’s digital transformation.Chinese technology and solutions have played a pivotal role in this process.
文摘The flexible satellite batch production line is a complex discrete production system with multiple cross-disciplinary fields and mixed serial parallel tasks.As the source of the satellite batch production line process,the warehousing system has urgent needs such as uncertain production scale and rapid iteration and optimization of business processes.Therefore,the requirements and architecture of complex discrete warehousing systems such as flexible satellite batch production lines are studied.The physical system of intelligent equipment is abstracted as a digital model to form the underlying module,and a digital fusion framework of“business domain+middleware platform+intelligent equipment information model”is constructed.The granularity of microservice splitting is calculated based on the dynamic correlation relationship between user access instances and database table structures.The general warehousing functions of the platform are divided to achieve module customization,addition,and configuration.An open discrete warehousing system based on microservices is designed.Software architecture and design develop complex discrete warehousing systems based on the SpringCloud framework.This architecture achieves the decoupling of business logic and physical hardware,enhances the maintainability and scalability of the system,and greatly improves the system’s adaptability to different complex discrete warehousing business scenarios.
文摘Stepping into Donglong Group’s intelligent factory in the Yangtze River Delta,the automated production lines is transforming fluffy down into premium home textiles export to Europe and America.At a pivotal moment of global supply chain restructuring,this homegrown textile and apparel exporter is answering a critical question:How can Chinese textile companies sustain their competitive edge amid tariff barriers and supply chain relocation?
基金supported in part by Major Project of the National Social Science Fund of China,under Grant No.23&ZD050in part by National Natural Science Foundation of China(NSFC),under Grant Nos.72402031 and 71971052+2 种基金in part by Open Project Program of State Key Laboratory of Massive Personalized Customization System and Technology,under Grant No.H&C-MPC-2023-04-03in part by the Fundamental Research Funds for the Central Universities,under Grant No.N25ZJL015the Joint Funds of the Natural Science Foundation of Liaoning,under Grant No.2023-BSBA-139.
文摘Manufacturers are striving to achieve higher energy efficiency without compromising production performance and quality standards.Parallel-serial structures,commonly found in modern production systems,offer a unique balance of flexibility and efficiency by combining parallel processes with sequential workflows.However,their inherent complexity poses significant challenges,particularly in optimizing energy efficiency and ensuring consistent product quality.In data-driven manufacturing environments,it is not clear how to leverage production data to enhance the energy efficiency of production systems.Therefore,this paper studied a data-driven approach to improving energy efficiency in parallel-serial production lines with product quality issues.Firstly,the authors developed a data-driven performance analysis method to evaluate the effects of disruption events,such as energy-saving control actions,machine breakdowns,and product quality failures,on system throughput and energy consumption.Secondly,a periodic energy-saving control method was developed to enhance system energy efficiency using a non-linear programming model.To reduce complexity and improve computational efficiency,the model was simplified by leveraging the intrinsic properties of parallel-serial production lines and solved using an adaptive genetic algorithm.Finally,the effectiveness of the proposed data-driven approach was validated through case studies,providing actionable insights into achieving data-driven energy efficiency optimization in complex production systems.
文摘Dear Editor,This letter focuses on the distributed cooperative regulation problem for a class of networked re-entrant manufacturing systems(RMSs).The networked system is structured with a three-tier architecture:the production line,the manufacturing layer and the workshop layer.The dynamics of re-entrant production lines are governed by hyperbolic partial differential equations(PDEs)based on the law of mass conservation.
基金supported by the Nanfan Special Project of the Chinese Academy of Agricultural Sciences(Grant Nos.YBXM2320 and YBXM2433)the Project of Sanya Yazhou Bay Science and Technology City,China(Grant No.SCKJ-JYRC-2024-58)the Agricultural Science and Technology Innovation Program,China(Grant No.CAAS-ASTIP-2021-CNRRI).
文摘Doubled haploid(DH)technology has revolutionized crop breeding by enabling the production of homozygous lines in a single generation.In vivo haploid induction(HI)offers a more widely applicable approach that can significantly improve DH breeding efficiency.ToPAR,a parthenogenesis gene,originally identified in dandelion(Taraxacum officinale),has been characterized.Researchers have successfully induced haploid embryo-like structures and haploid offspring in lettuce and foxtail millet,respectively.
文摘With the recent advances in mobile technology and wireless network technology, embedded systems are being widely used in modem society today. Particularly, a home healthcare system is a networked embedded system where the main functions are to control the disease processes and to help patients maintain their independence and maximum level of function within their own homes and communities. It seems to be self-evident to design a system that would support both patients and their healthcare providers in the process of treatment. Nevertheless, little work in integrating embedded devices with intemet for the support of patients have been done to date. In this paper, we show how to design a healthcare system for supporting the management of the conditions of patients with chronic diseases. This system is built around wireless networked embedded devices, and integrates the intemet technology for telemonitoring the patient＇s health and notifying of doctors if emergency action is required. Also, patients themselves may specify personal alerts for condition-related issues.
基金supported by the National Natural Science Foundation of China(71871203,52005447,L1924063)Zhejiang Provincial Natural Science Foundation of China(LY18G010017,LQ21E050014).
文摘In a typical discrete manufacturing process,a new type of reconfigurable production line is introduced,which aims to help small-and mid-size enterprises to improve machine utilization and reduce production cost.In order to effectively handle the production scheduling problem for the manufacturing system,an improved multi-objective particle swarm optimization algorithm based on Brownian motion(MOPSO-BM)is proposed.Since the existing MOPSO algorithms are easily stuck in the local optimum,the global search ability of the proposed method is enhanced based on the random motion mechanism of the BM.To further strengthen the global search capacity,a strategy of fitting the inertia weight with the piecewise Gaussian cumulative distribution function(GCDF)is included,which helps to maintain an excellent convergence rate of the algorithm.Based on the commonly used indicators generational distance(GD)and hypervolume(HV),we compare the MOPSO-BM with several other latest algorithms on the benchmark functions,and it shows a better overall performance.Furthermore,for a real reconfigurable production line of smart home appliances,three algorithms,namely non-dominated sorting genetic algorithm-II(NSGA-II),decomposition-based MOPSO(dMOPSO)and MOPSO-BM,are applied to tackle the scheduling problem.It is demonstrated that MOPSO-BM outperforms the others in terms of convergence rate and quality of solutions.
基金This project is supported by Key Science-Technology Project of Shanghai City Tenth Five-Year-Plan, China (No.031111002)Specialized Research Fund for the Doctoral Program of Higher Education, China (No.20040247033)Municipal Key Basic Research Program of Shanghai, China (No.05JC14060)
文摘In response to the production capacity and functionality variations, a genetic algorithm （GA） embedded with deterministic timed Petri nets（DTPN） for reconfigurable production line（RPL） is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.
基金supported by the Fund of ExcellentYouth Scientific and Technological Innovation Team of Hubei’s Universities(Project No:T201818)Science and Technology Research Program of Hubei Provincial Education Department(Project No:Q20143005)Guiding project of scientific research plan of Hubei Provincial Department of Education(Project No:B2021261).
文摘Product detection based on state abstraction technologies in the software product line(SPL)is more complex when compared to a single system.This variability constitutes a new complexity,and the counterexample may be valid for some products but spurious for others.In this paper,we found that spurious products are primarily due to the failure states,which correspond to the spurious counterexamples.The violated products correspond to the real counterexamples.Hence,identifying counterexamples is a critical problem in detecting violated products.In our approach,we obtain the violated products through the genuine counterexamples,which have no failure state,to avoid the tedious computation of identifying spurious products dealt with by the existing algorithm.This can be executed in parallel to improve the efficiency further.Experimental results showthat our approach performswell,varying with the growth of the system scale.By analyzing counterexamples in the abstract model,we observed that spurious products occur in the failure state.The approach helps in identifying whether a counterexample is spurious or genuine.The approach also helps to check whether a failure state exists in the counterexample.The performance evaluation shows that the proposed approach helps significantly in improving the efficiency of abstraction-based SPL model checking.
