In this paper a new generator for parametric drafting program is presented.The func- tions and the syntax of the parametric drafting program are described.This software has been suc- cessfully used to generate a param...In this paper a new generator for parametric drafting program is presented.The func- tions and the syntax of the parametric drafting program are described.This software has been suc- cessfully used to generate a parametric drafting program for designs of motors.展开更多
This paper introduces a novel transform method to produce the newly generated programs through code transform model called the second generation of Generative Pre-trained Transformer(GPT-2)reasonably,improving the pro...This paper introduces a novel transform method to produce the newly generated programs through code transform model called the second generation of Generative Pre-trained Transformer(GPT-2)reasonably,improving the program execution performance significantly.Besides,a theoretical estimation in statistics has given the minimum number of generated programs as required,which guarantees to find the best one within them.The proposed approach can help the voice assistant machine resolve the problem of inefficient execution of application code.In addition to GPT-2,this study develops the variational Simhash algorithm to check the code similarity between sample program and newly generated program,and conceives the piecewise longest common subsequence algorithm to examine the execution’s conformity from the two programs mentioned above.The code similarity check deducts the redundant generated programs,and the output conformity check finds the best-performing generative program.In addition to texts,the proposed approach can also prove the other media,including images,sounds,and movies.As a result,the newly generated program outperforms the sample program significantly because the number of code lines reduces 27.21%,and the program execution time shortens 24.62%.展开更多
In this paper,the quadratic program problem and minimum discrimination information (MDI) problem with a set of quadratic inequality constraints and entropy constraints of density are considered.Based on the properties...In this paper,the quadratic program problem and minimum discrimination information (MDI) problem with a set of quadratic inequality constraints and entropy constraints of density are considered.Based on the properties of the generalized geometric programming,the dual programs of these two problems are derived.Furthermore,the duality theorems and related Kuhn-Tucker conditions for two pairs of the prime-dual programs are also established by the duality theory.展开更多
Refrigeration system holds an important role in process industries. The optimal synthesis cannot only reduce the energy consumption, but also save the production costs. In this study, a general methodology is develope...Refrigeration system holds an important role in process industries. The optimal synthesis cannot only reduce the energy consumption, but also save the production costs. In this study, a general methodology is developed for the optimal design of refrigeration cycle and heat exchanger network(HEN) simultaneously. Taking the heat integration between the external heat sources/sinks and the refrigeration cycle into consideration, a superstructure with sub-coolers is developed. Through defining logical variables that indicate the relative temperature positions of refrigerant streams after sub-coolers, the synthesis is formulated as a Generalized Disjunctive Programming(GDP) problem based on LP transshipment model, with the target of minimizing the total compressor shaft work in the refrigeration system. The GDP model is then reformulated as a Mixed Integer Nonlinear Programming(MINLP) problem with the aid of binary variables and Big-M Constraint Method. The efficacy of the process synthesis model is demonstrated by a case study of ethylene refrigeration system. The result shows that the optimization can significantly reduce the exergy loss as well as the total compression shaft work.展开更多
This paper studies a class of multiobjective generalized fractional programming problems, where the numerators of objective functions are the sum of differentiable function and convex function, while the denominators ...This paper studies a class of multiobjective generalized fractional programming problems, where the numerators of objective functions are the sum of differentiable function and convex function, while the denominators are the difference of differentiable function and convex function. Under the assumption of Calmness Constraint Qualification the Kuhn-Tucker type necessary conditions for efficient solution are given, and the Kuhn-Tucker type sufficient conditions for efficient solution are presented under the assumptions of (F, α, ρ, d)-V-convexity. Subsequently, the optimality conditions for two kinds of duality models are formulated and duality theorems are proved.展开更多
To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acq...To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acquisition, knowledge representation and reasoning used in CNC programming were researched. The CNC programming system functional architecture of impeller parts based on knowledge based engineering(KBE) was constructed. The structural model of the general knowledge-based system(KBS) was also constructed. The KBS of CNC programming system was established through synthesizing database technology and knowledge base theory. And in the context of corporate needs, based on the knowledge-driven manufacturing platform(i.e. UG CAD/CAM), VC++6.0 and UG/Open, the KBS and UG CAD/CAM were integrated seamlessly and the intelligent CNC programming KBE system for the impeller parts was developed by integrating KBE and UG CAD/CAM system. A method to establish standard process templates was proposed, so as to develop the intelligent CNC programming system in which CNC machining process and process parameters were standardized by using this KBE system. For the impeller parts processing, the method applied in the development of the prototype system is proven to be viable, feasible and practical.展开更多
This thesis presents the combination of the stochastic programming and generalized goal programming. We puts forward several generalized goal programming models with stochastic parameter--stochastic generalized goal p...This thesis presents the combination of the stochastic programming and generalized goal programming. We puts forward several generalized goal programming models with stochastic parameter--stochastic generalized goal programming. Furthermore, we probe into the theory. and algorithm of these models. At last, this method was applied to an example of an industrial problem.展开更多
In this paper,on the basis of making full use of the characteristics of unconstrained generalized geometric programming(GGP),we establish a nonmonotonic trust region algorithm via the conjugate path for solving unco...In this paper,on the basis of making full use of the characteristics of unconstrained generalized geometric programming(GGP),we establish a nonmonotonic trust region algorithm via the conjugate path for solving unconstrained GGP problem.A new type of condensation problem is presented,then a particular conjugate path is constructed for the problem,along which we get the approximate solution of the problem by nonmonotonic trust region algorithm,and further prove that the algorithm has global convergence and quadratic convergence properties.展开更多
First, a class of higher order exponential type hybrid (α,β, γ, η, p, h(.,.), κ(., .), w(.,., .), ω(.,.,.), θ)-invexities is introduced, second, some parametrically sufficient efficiency conditions ba...First, a class of higher order exponential type hybrid (α,β, γ, η, p, h(.,.), κ(., .), w(.,., .), ω(.,.,.), θ)-invexities is introduced, second, some parametrically sufficient efficiency conditions based on the higher order exponential type hybrid invexities are established, and finally some parametrically sufficient efficiency results under the higher order exponential type hybrid (a,β, γ, ρ, h(.,.), k(.,-), w(-,., .), w(.,., .), 0)-invexities are investigated to the context of solving semiinfinite multiobjective fractional programming problems. The notions of the higher order exponential type hybrid (a, β, γ η, p, h(., .), n(., .), w(-,.,-), ω(.,.,.), 0)-invexities encompass most of the generalized invexities in the literature. To the best of our knowledge, the results on semiinfinite multiobjective fractional programming problems established in this communication are new and application-oriented toward multitime multi- objectve problems as well as multiobiective control problems.展开更多
In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to ...In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to the author, some new existence theorems of solutions for the systems of generalized quasi-variational inclusion problems are proved in noncompact FC-spaces. As applications, some existence results of solutions for the system of quasi-optimization problems and mathematical programs with the systems of generalized quasi-variational inclusion constraints are obtained in FC-spaces.展开更多
By a coincidence theorem, some existence theorems of solutions are proved for four types of generalized vector equilibrium problems with moving cones. Applications to the generalized semi-infinite programs with the ge...By a coincidence theorem, some existence theorems of solutions are proved for four types of generalized vector equilibrium problems with moving cones. Applications to the generalized semi-infinite programs with the generalized vector equilibrium constraints under the mild conditions are also given. The results of this paper unify and improve the corresponding results in the previous literature.展开更多
This paper presents an efficient algorithm for globally solving a generalized linear fractional programming problem.For establishing this algorithm,we firstly construct a two-level linear relaxation method,and by util...This paper presents an efficient algorithm for globally solving a generalized linear fractional programming problem.For establishing this algorithm,we firstly construct a two-level linear relaxation method,and by utilizing the method,we can convert the initial generalized linear fractional programming problem and its subproblems into a series of linear programming relaxation problems.Based on the branch-and-bound framework and linear programming relaxation problems,a branch-and-bound algorithm is presented for globally solving the generalized linear fractional programming problem,and the computational complexity of the algorithm is given.Finally,numerical experimental results demonstrate the feasibility and efficiency of the proposed algorithm.展开更多
This paper presents the concept of generalized goal programming (GGP), the characteristics of the programming model is "designing optimum system". Firstly, based on the synthesis of goal programming and Deno...This paper presents the concept of generalized goal programming (GGP), the characteristics of the programming model is "designing optimum system". Firstly, based on the synthesis of goal programming and Denovo programming, one type of generalized goal programming model is established. In the paper the properties of feasible region is studied. Secondly, GGP is enlarged to the case that fuzzy parameters and fuzzy goal sets exist in the GGP model, the solution methods using fuzzy set theory for GGP with fuzzy parameters are provided. Finally, this approach has been used to analyse a water environmental system in coastal city, thus proving its usefulness.展开更多
GPMS is a new integrated simulation modelling environment for discrete event systems. It is composed of several independent components which perform different tasks in the process of simulation modelling and owns a nu...GPMS is a new integrated simulation modelling environment for discrete event systems. It is composed of several independent components which perform different tasks in the process of simulation modelling and owns a number of features from different kinds of simulation software. This paper introduces GPMS through reviewing and discussing various discrete simulation software styles.展开更多
文摘In this paper a new generator for parametric drafting program is presented.The func- tions and the syntax of the parametric drafting program are described.This software has been suc- cessfully used to generate a parametric drafting program for designs of motors.
基金This work is fully supported by the Ministry of Science and Technology,Taiwan,Republic of China,under Grant Nos.MOST 110-2622-E-390-001 and MOST 109-2622-E-390-002-CC3.
文摘This paper introduces a novel transform method to produce the newly generated programs through code transform model called the second generation of Generative Pre-trained Transformer(GPT-2)reasonably,improving the program execution performance significantly.Besides,a theoretical estimation in statistics has given the minimum number of generated programs as required,which guarantees to find the best one within them.The proposed approach can help the voice assistant machine resolve the problem of inefficient execution of application code.In addition to GPT-2,this study develops the variational Simhash algorithm to check the code similarity between sample program and newly generated program,and conceives the piecewise longest common subsequence algorithm to examine the execution’s conformity from the two programs mentioned above.The code similarity check deducts the redundant generated programs,and the output conformity check finds the best-performing generative program.In addition to texts,the proposed approach can also prove the other media,including images,sounds,and movies.As a result,the newly generated program outperforms the sample program significantly because the number of code lines reduces 27.21%,and the program execution time shortens 24.62%.
文摘In this paper,the quadratic program problem and minimum discrimination information (MDI) problem with a set of quadratic inequality constraints and entropy constraints of density are considered.Based on the properties of the generalized geometric programming,the dual programs of these two problems are derived.Furthermore,the duality theorems and related Kuhn-Tucker conditions for two pairs of the prime-dual programs are also established by the duality theory.
基金Supported by the National Natural Science Foundation of China(21676183)
文摘Refrigeration system holds an important role in process industries. The optimal synthesis cannot only reduce the energy consumption, but also save the production costs. In this study, a general methodology is developed for the optimal design of refrigeration cycle and heat exchanger network(HEN) simultaneously. Taking the heat integration between the external heat sources/sinks and the refrigeration cycle into consideration, a superstructure with sub-coolers is developed. Through defining logical variables that indicate the relative temperature positions of refrigerant streams after sub-coolers, the synthesis is formulated as a Generalized Disjunctive Programming(GDP) problem based on LP transshipment model, with the target of minimizing the total compressor shaft work in the refrigeration system. The GDP model is then reformulated as a Mixed Integer Nonlinear Programming(MINLP) problem with the aid of binary variables and Big-M Constraint Method. The efficacy of the process synthesis model is demonstrated by a case study of ethylene refrigeration system. The result shows that the optimization can significantly reduce the exergy loss as well as the total compression shaft work.
基金Supported by Chongqing Key Lab. of Operations Research and System Engineering
文摘This paper studies a class of multiobjective generalized fractional programming problems, where the numerators of objective functions are the sum of differentiable function and convex function, while the denominators are the difference of differentiable function and convex function. Under the assumption of Calmness Constraint Qualification the Kuhn-Tucker type necessary conditions for efficient solution are given, and the Kuhn-Tucker type sufficient conditions for efficient solution are presented under the assumptions of (F, α, ρ, d)-V-convexity. Subsequently, the optimality conditions for two kinds of duality models are formulated and duality theorems are proved.
基金Project(12ZT14)supported by the Natural Science Foundation of Shanghai Municipal Education Commission,China
文摘To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acquisition, knowledge representation and reasoning used in CNC programming were researched. The CNC programming system functional architecture of impeller parts based on knowledge based engineering(KBE) was constructed. The structural model of the general knowledge-based system(KBS) was also constructed. The KBS of CNC programming system was established through synthesizing database technology and knowledge base theory. And in the context of corporate needs, based on the knowledge-driven manufacturing platform(i.e. UG CAD/CAM), VC++6.0 and UG/Open, the KBS and UG CAD/CAM were integrated seamlessly and the intelligent CNC programming KBE system for the impeller parts was developed by integrating KBE and UG CAD/CAM system. A method to establish standard process templates was proposed, so as to develop the intelligent CNC programming system in which CNC machining process and process parameters were standardized by using this KBE system. For the impeller parts processing, the method applied in the development of the prototype system is proven to be viable, feasible and practical.
文摘This thesis presents the combination of the stochastic programming and generalized goal programming. We puts forward several generalized goal programming models with stochastic parameter--stochastic generalized goal programming. Furthermore, we probe into the theory. and algorithm of these models. At last, this method was applied to an example of an industrial problem.
基金Supported by the National Science Foundation of China(10671126) Supported by the Shanghai Municipal Government Project(S30501)+3 种基金 Supported by the Innovation Fund Project for Graduate Student of Shanghai(JWCXSL1001) Supported by the Youth Foundation of Henan Polytechnic University(Q20093) Supported by the Applied Mathematics Provinciallevel Key Discipline of Henan Province Supported by Operational Research and Control Theory Key Discipline of Henan Polytechnic University
文摘In this paper,on the basis of making full use of the characteristics of unconstrained generalized geometric programming(GGP),we establish a nonmonotonic trust region algorithm via the conjugate path for solving unconstrained GGP problem.A new type of condensation problem is presented,then a particular conjugate path is constructed for the problem,along which we get the approximate solution of the problem by nonmonotonic trust region algorithm,and further prove that the algorithm has global convergence and quadratic convergence properties.
文摘First, a class of higher order exponential type hybrid (α,β, γ, η, p, h(.,.), κ(., .), w(.,., .), ω(.,.,.), θ)-invexities is introduced, second, some parametrically sufficient efficiency conditions based on the higher order exponential type hybrid invexities are established, and finally some parametrically sufficient efficiency results under the higher order exponential type hybrid (a,β, γ, ρ, h(.,.), k(.,-), w(-,., .), w(.,., .), 0)-invexities are investigated to the context of solving semiinfinite multiobjective fractional programming problems. The notions of the higher order exponential type hybrid (a, β, γ η, p, h(., .), n(., .), w(-,.,-), ω(.,.,.), 0)-invexities encompass most of the generalized invexities in the literature. To the best of our knowledge, the results on semiinfinite multiobjective fractional programming problems established in this communication are new and application-oriented toward multitime multi- objectve problems as well as multiobiective control problems.
基金supported by the Scientific Research Fun of Sichuan Normal University(09ZDL04)the Sichuan Province Leading Academic Discipline Project(SZD0406)
文摘In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to the author, some new existence theorems of solutions for the systems of generalized quasi-variational inclusion problems are proved in noncompact FC-spaces. As applications, some existence results of solutions for the system of quasi-optimization problems and mathematical programs with the systems of generalized quasi-variational inclusion constraints are obtained in FC-spaces.
基金Project supported by the Key Program of the National Natural Science Foundation of China(NSFC)(No.70831005)the National Natural Science Foundation of China(Nos.11171237,11226228,and 11201214)+1 种基金the Science and Technology Program Project of Henan Province of China(No.122300410256)the Natural Science Foundation of Henan Education Department of China(No.2011B110025)
文摘By a coincidence theorem, some existence theorems of solutions are proved for four types of generalized vector equilibrium problems with moving cones. Applications to the generalized semi-infinite programs with the generalized vector equilibrium constraints under the mild conditions are also given. The results of this paper unify and improve the corresponding results in the previous literature.
基金the National Natural Science Foundation of China(Nos.11871196,12071133 and 12071112)the China Postdoctoral Science Foundation(No.2017M622340)+1 种基金the Key Scientific and Technological Research Projects of Henan Province(Nos.202102210147 and 192102210114)the Science and Technology Climbing Program of Henan Institute of Science and Technology(No.2018JY01).
文摘This paper presents an efficient algorithm for globally solving a generalized linear fractional programming problem.For establishing this algorithm,we firstly construct a two-level linear relaxation method,and by utilizing the method,we can convert the initial generalized linear fractional programming problem and its subproblems into a series of linear programming relaxation problems.Based on the branch-and-bound framework and linear programming relaxation problems,a branch-and-bound algorithm is presented for globally solving the generalized linear fractional programming problem,and the computational complexity of the algorithm is given.Finally,numerical experimental results demonstrate the feasibility and efficiency of the proposed algorithm.
基金The project is supported by National Natural Science of China.
文摘This paper presents the concept of generalized goal programming (GGP), the characteristics of the programming model is "designing optimum system". Firstly, based on the synthesis of goal programming and Denovo programming, one type of generalized goal programming model is established. In the paper the properties of feasible region is studied. Secondly, GGP is enlarged to the case that fuzzy parameters and fuzzy goal sets exist in the GGP model, the solution methods using fuzzy set theory for GGP with fuzzy parameters are provided. Finally, this approach has been used to analyse a water environmental system in coastal city, thus proving its usefulness.
文摘GPMS is a new integrated simulation modelling environment for discrete event systems. It is composed of several independent components which perform different tasks in the process of simulation modelling and owns a number of features from different kinds of simulation software. This paper introduces GPMS through reviewing and discussing various discrete simulation software styles.