To evaluate the heat performance of the lifting-body entry vehicle during the hypersonic gliding phase,entry flight heat tests involving the determination of the maximum peak-heat-flux entry trajectory with complex co...To evaluate the heat performance of the lifting-body entry vehicle during the hypersonic gliding phase,entry flight heat tests involving the determination of the maximum peak-heat-flux entry trajectory with complex constraints are essential.A significant obstacle is the uncertainty of passage time or energy states of the maximum peak entry heat flux point and waypoints.This paper showcases an endeavour to leverage disjunctive programming and combinatorial theory for the max-max type(maximum peak-heat-flux)Entry Trajectory Optimization(ETO)problems with complex constraints such as dynamic pressure,normal load,waypoints,and no-fly zones.The concept of a"generalized waypoint"is introduced,and the maximum peak-heat-flux point is regarded as a"generalized waypoint".Through the application of propositional calculus rules,the derivation of generalized waypoints incorporating various physical quantities and magnitudes such as heat flux density,longitude,and latitude is actualized in one disjunctive normal form,enabling resolution via a unified method.Consequently,a novel method based on combinatorial prior rules is proposed,utilizing Successive Mixed-Integer Nonlinear Programming(SMINLP)to optimize various heat entry test flight trajectories.Numerical experiments are provided to show the computational accuracy,stability,and adaptability of the proposed method in solving maxmax type entry optimal control problems.展开更多
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.展开更多
Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level auth...Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction （LPOD） is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts （such as exceptional conflicts, potential conflicts）, and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.展开更多
In this paper, it is shown that stable model semantics, perfect model semantics, and partial stable model semantics of disjunctive logic programs have the same expressive power with respect to the polynomial-time mode...In this paper, it is shown that stable model semantics, perfect model semantics, and partial stable model semantics of disjunctive logic programs have the same expressive power with respect to the polynomial-time model-equivalent reduction. That is, taking perfect model semantics and stable model semantic as an example, any logic program P can be transformed in polynomial time to another logic program P＇ such that perfect models （resp. stable models） of P i-i correspond to stable models （resp. perfect models） of P＇, and the correspondence can be computed also in polynomial time. However, the minimal model semantics has weaker expressiveness than other mentioned semantics, otherwise, the polynomial hierarchy would collapse to NP.展开更多
The paradigm of disjunctive logic programming (DLP) enhances greatly the expressive power of normal logic programming (NLP) and many (declarative) semantics have beeu defined for DLP to cope with various problems of ...The paradigm of disjunctive logic programming (DLP) enhances greatly the expressive power of normal logic programming (NLP) and many (declarative) semantics have beeu defined for DLP to cope with various problems of knowledge representation in artificial intelligence. However, the expressive ability of the semantics and the soundness of program transformations for DLP have been rarely explored. This paper defines an immediate consequence operator TGP for each disjunctive program and shows that TGP has the least and computable fixpoint Lft(P). Lft is, in fact, a program transformation for DLP which transforms all disjunctive programs into negative programs. It is shown that Lft preserves many key semantics, including the disjunctive stable models, well-founded model, disjunctive argument semantics DAS, three-valued models, etc. This means that every disjunctive program P has a unique canonical form Lft(P) with respect to these semanics. As a result, the work in this paper provides a unifying frameword for studying the expressive ability of various semantics for DLP.On the other hand, the computing of the above semantics for negative programs is just a trivial task, therefore, Lft(P) is also an optimization method for DLP. Another application of Lft is to derive some interesting semantic results for DLP.展开更多
基金funded by the Key Laboratory of Cross-Domain Flight Interdisciplinary Technology,China(No.2024-KF02201)the National Natural Science Foundation of China(No.61973326)。
文摘To evaluate the heat performance of the lifting-body entry vehicle during the hypersonic gliding phase,entry flight heat tests involving the determination of the maximum peak-heat-flux entry trajectory with complex constraints are essential.A significant obstacle is the uncertainty of passage time or energy states of the maximum peak entry heat flux point and waypoints.This paper showcases an endeavour to leverage disjunctive programming and combinatorial theory for the max-max type(maximum peak-heat-flux)Entry Trajectory Optimization(ETO)problems with complex constraints such as dynamic pressure,normal load,waypoints,and no-fly zones.The concept of a"generalized waypoint"is introduced,and the maximum peak-heat-flux point is regarded as a"generalized waypoint".Through the application of propositional calculus rules,the derivation of generalized waypoints incorporating various physical quantities and magnitudes such as heat flux density,longitude,and latitude is actualized in one disjunctive normal form,enabling resolution via a unified method.Consequently,a novel method based on combinatorial prior rules is proposed,utilizing Successive Mixed-Integer Nonlinear Programming(SMINLP)to optimize various heat entry test flight trajectories.Numerical experiments are provided to show the computational accuracy,stability,and adaptability of the proposed method in solving maxmax type entry optimal control problems.
基金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.
基金the National Natural Science Foundation of China (60573009,90718009)
文摘Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction （LPOD） is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts （such as exceptional conflicts, potential conflicts）, and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.
基金This research was partially supported by the National Natural Science Foundation of China under Grant Nos.60573011,10410638an MOE Project of Key Institute at Universities under Grant No.05JJD72040122.
文摘In this paper, it is shown that stable model semantics, perfect model semantics, and partial stable model semantics of disjunctive logic programs have the same expressive power with respect to the polynomial-time model-equivalent reduction. That is, taking perfect model semantics and stable model semantic as an example, any logic program P can be transformed in polynomial time to another logic program P＇ such that perfect models （resp. stable models） of P i-i correspond to stable models （resp. perfect models） of P＇, and the correspondence can be computed also in polynomial time. However, the minimal model semantics has weaker expressiveness than other mentioned semantics, otherwise, the polynomial hierarchy would collapse to NP.
文摘The paradigm of disjunctive logic programming (DLP) enhances greatly the expressive power of normal logic programming (NLP) and many (declarative) semantics have beeu defined for DLP to cope with various problems of knowledge representation in artificial intelligence. However, the expressive ability of the semantics and the soundness of program transformations for DLP have been rarely explored. This paper defines an immediate consequence operator TGP for each disjunctive program and shows that TGP has the least and computable fixpoint Lft(P). Lft is, in fact, a program transformation for DLP which transforms all disjunctive programs into negative programs. It is shown that Lft preserves many key semantics, including the disjunctive stable models, well-founded model, disjunctive argument semantics DAS, three-valued models, etc. This means that every disjunctive program P has a unique canonical form Lft(P) with respect to these semanics. As a result, the work in this paper provides a unifying frameword for studying the expressive ability of various semantics for DLP.On the other hand, the computing of the above semantics for negative programs is just a trivial task, therefore, Lft(P) is also an optimization method for DLP. Another application of Lft is to derive some interesting semantic results for DLP.
