Estimation of the rock mass modulus of deformation(Em)is one of the most important design parameters in designing many structures in and on rock.This parameter can be obtained by in situ tests,empirical relations betw...Estimation of the rock mass modulus of deformation(Em)is one of the most important design parameters in designing many structures in and on rock.This parameter can be obtained by in situ tests,empirical relations between deformation modulus and rock mass classifcation,and estimating from laboratory tests results.In this paper,a back analysis calculation is performed to present an equation for estimation of the rock mass modulus of deformation using genetic programming(GP)and numerical modeling.A database of 40,960 datasets,including vertical stress(rz),horizontal to vertical stresses ratio(k),Poisson’s ratio(m),radius of circular tunnel(r)and wall displacement of circular tunnel on the horizontal diameter(d)for input parameters and modulus of deformation for output,was established.The selected parameters are easy to determine and rock mass modulus of deformation can be obtained from instrumentation data of any size circular galleries.The resulting RMSE of 0.86 and correlation coeffcient of97%of the proposed equation demonstrated the capability of the computer program(CP)generated by GP.展开更多
In order to meet the needs of collaborative decision making,considering the different demands of air traffic control units,airlines,airports and passengers in various traffic scenarios,the joint scheduling problem of ...In order to meet the needs of collaborative decision making,considering the different demands of air traffic control units,airlines,airports and passengers in various traffic scenarios,the joint scheduling problem of arrival and departure flights is studied systematically.According to the matching degree of capacity and flow,it is determined that the traffic state of arrival/departure operation in a certain period is peak or off-peak.The demands of all parties in each traffic state are analyzed,and the mathematical models of arrival/departure flight scheduling in each traffic state are established.Aiming at the four kinds of joint operation traffic scenarios of arrival and departure,the corresponding bi-level programming models for joint scheduling of arrival and departure flights are established,respectively,and the elitism genetic algorithm is designed to solve the models.The results show that:Compared with the first-come-firstserved method,in the scenarios of arrival peak&departure off-peak and arrival peak&departure peak,the departure flight equilibrium satisfaction is improved,and the runway occupation time of departure flight flow is reduced by 38.8%.In the scenarios of arrival off-peak&departure off-peak and departure peak&arrival off-peak,the arrival flight equilibrium delay time is significantly reduced,the departure flight equilibrium satisfaction is improved by 77.6%,and the runway occupation time of departure flight flow is reduced by 46.6%.Compared with other four kinds of strategies,the optimal scheduling method can better balance fairness and efficiency,so the scheduling results are more reasonable.展开更多
This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system...This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.展开更多
This paper deals with the reflectance estimation model issue to improve the estimation accuracy. We propose a model containing two core procedures: dimensionality reduction and model mining. First, the dimensionality ...This paper deals with the reflectance estimation model issue to improve the estimation accuracy. We propose a model containing two core procedures: dimensionality reduction and model mining. First, the dimensionality reduction algorithm of hyperspectral data based on dependence degree(DRNDDD) is proposed to reduce the redundant hyperspectral band. DRND-DD solves the selection of suitable hyperspectral band via rough set theory. Furthermore, to improve the computation speed and accuracy of the model, based on DRND-DD, this paper proposes reflectance estimation model mining of leaf nitrogen concentration(LNC) for hyperspectral data by using hybrid gene expression programming(REMLNC-HGEP). Experimental results on three datasets demonstrate that the DRND-DD algorithm can obtain good results with a very short running time compared with principal component analysis(PCA), singular value decomposition(SVD), a dimensionality reduction algorithm based on the positive region(AR-PR) and a dimensionality reduction algorithm based on a discernable matrix(ARDM), and REMLNC-HGEP has low average time-consumption, high model mining success ratio and estimation accuracy. It was concluded that the REMLNC-HGEP performs better than the regression methods.展开更多
Cooperation among enterprises can bring overall and individual performance improvement,and a smooth coordination method is indispensable.However,due to the lack of customized coordination methods,cooperation in the do...Cooperation among enterprises can bring overall and individual performance improvement,and a smooth coordination method is indispensable.However,due to the lack of customized coordination methods,cooperation in the downstream oil supply chain cannot be carried out smoothly.This paper intends to propose a multi-party coordination method to promote cooperation between oil shippers and pipeline operator by optimizing oil transportation,oil substitution and pipeline pricing schemes.An integrated game-theoretic modeling and analysis approach is developed to characterize the operation behaviors of all stakeholders in the downstream oil supply chain.The proposed mixed integer nonlinear programming model constrains supply and demand capacity,transportation routes,oil substitution rules and pipeline freight levels.Logarithm transformation and price discretization are introduced for model linear approximation.Simulation experiments are carried out in the oil distribution system in South China.The results show that compared to the business-as-usual scheme,the new scheme saves transportation cost by 3.48%,increases pipeline turnover by 5.7%,and reduces energy consumption and emissions by 7.66%and 6.77%.It is proved that the proposed method improves the revenue of the whole system,achieves fair revenue distribution,and also improves the energy and environmental benefits of the oil supply chain.展开更多
In the process of microemulsion flooding,microemulsion phase state may be affected by the adsorption of core and the distribution of oil and water,and the upper phase,the middle phase or the lower phase microemulsion ...In the process of microemulsion flooding,microemulsion phase state may be affected by the adsorption of core and the distribution of oil and water,and the upper phase,the middle phase or the lower phase microemulsion will appear.Accurate description of microemulsion phase state and quantitative discrimination of equilibrium phase composition are of great theoretical value and research significance for the design of microemulsion flooding system and improving the recovery efficiency of microemulsion.Therefore,in this paper,microemulsion phase model is deeply studied.Aiming at the difficulty of solving the existing Hand model and the unknown parameters of the improved HLD-NAC model,we introduce the binodal curve range parameter D and the asymmetric migration degree parameter B,and establish a new phase behavior description method of the binodal curve,the two-phase plait point lines and the III-phase node line.Then the phase discrimination programming of microemulsion was carried out,and the change laws of phase number,phase type and mass fraction of equilibrium phases of any microemulsion system under different salinity were revealed.The results show that the simulation results of microemulsions accord with the salinity scanning law,and can accurately identify the complex microemulsion phase states.展开更多
To solve the problem of investment portfolio with single goal of maximal NPV, a 0- 1 programming model was proposed and proved effective; and to solve that concerning more elements of a project such as risk level and ...To solve the problem of investment portfolio with single goal of maximal NPV, a 0- 1 programming model was proposed and proved effective; and to solve that concerning more elements of a project such as risk level and social benefit, a goal programming model is then introduced. The latter is a linear programming model adopting slack variable called deviation variable to turn inequation constraint into equation constraint, introducing a priority factor to denote different importance of the goals. A case study has demonstrated that this goal programming model can give different results according to different priority requirement of each objective.展开更多
The real-time capability of integrated flight/propulsion optimal control （IFPOC） is studied. An appli- cation is proposed for IFPOC by combining the onboard hybrid aero-engine model with sequential quadratic pro- gr...The real-time capability of integrated flight/propulsion optimal control （IFPOC） is studied. An appli- cation is proposed for IFPOC by combining the onboard hybrid aero-engine model with sequential quadratic pro- gramming （SQP）. Firstly, a steady-state hybrid aero-engine model is designed in the whole flight envelope with a dramatic enhancement of real-time capability. Secondly, the aero-engine performance seeking control including the maximum thrust mode and the minimum fuel-consumption mode is performed by SQP. Finally, digital simu- lations for cruise and accelerating flight are carried out. Results show that the proposed method improves real- time capability considerably with satisfactory effectiveness of optimization.展开更多
文摘Estimation of the rock mass modulus of deformation(Em)is one of the most important design parameters in designing many structures in and on rock.This parameter can be obtained by in situ tests,empirical relations between deformation modulus and rock mass classifcation,and estimating from laboratory tests results.In this paper,a back analysis calculation is performed to present an equation for estimation of the rock mass modulus of deformation using genetic programming(GP)and numerical modeling.A database of 40,960 datasets,including vertical stress(rz),horizontal to vertical stresses ratio(k),Poisson’s ratio(m),radius of circular tunnel(r)and wall displacement of circular tunnel on the horizontal diameter(d)for input parameters and modulus of deformation for output,was established.The selected parameters are easy to determine and rock mass modulus of deformation can be obtained from instrumentation data of any size circular galleries.The resulting RMSE of 0.86 and correlation coeffcient of97%of the proposed equation demonstrated the capability of the computer program(CP)generated by GP.
基金supported by Nanjing University of Aeronautics and Astronautics Graduate Innovation Base(Laboratory)Open Fund(No.kfjj20200717).
文摘In order to meet the needs of collaborative decision making,considering the different demands of air traffic control units,airlines,airports and passengers in various traffic scenarios,the joint scheduling problem of arrival and departure flights is studied systematically.According to the matching degree of capacity and flow,it is determined that the traffic state of arrival/departure operation in a certain period is peak or off-peak.The demands of all parties in each traffic state are analyzed,and the mathematical models of arrival/departure flight scheduling in each traffic state are established.Aiming at the four kinds of joint operation traffic scenarios of arrival and departure,the corresponding bi-level programming models for joint scheduling of arrival and departure flights are established,respectively,and the elitism genetic algorithm is designed to solve the models.The results show that:Compared with the first-come-firstserved method,in the scenarios of arrival peak&departure off-peak and arrival peak&departure peak,the departure flight equilibrium satisfaction is improved,and the runway occupation time of departure flight flow is reduced by 38.8%.In the scenarios of arrival off-peak&departure off-peak and departure peak&arrival off-peak,the arrival flight equilibrium delay time is significantly reduced,the departure flight equilibrium satisfaction is improved by 77.6%,and the runway occupation time of departure flight flow is reduced by 46.6%.Compared with other four kinds of strategies,the optimal scheduling method can better balance fairness and efficiency,so the scheduling results are more reasonable.
文摘This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.
基金supported in part by the National Natural Science Foundation of China (11&zd167, 51507084, 61572262)NSF of Jiangsu Province (BK20141427)+2 种基金NUPT (NY214097)Open research fund of Key Lab of Broadband Wireless Communication and Sensor Network Technology (NUPT), Ministry of Education (NYKL201507)Qinlan Project of Jiangsu Province and the General Project of National Natural Science Found of China under Grant 41471300
文摘This paper deals with the reflectance estimation model issue to improve the estimation accuracy. We propose a model containing two core procedures: dimensionality reduction and model mining. First, the dimensionality reduction algorithm of hyperspectral data based on dependence degree(DRNDDD) is proposed to reduce the redundant hyperspectral band. DRND-DD solves the selection of suitable hyperspectral band via rough set theory. Furthermore, to improve the computation speed and accuracy of the model, based on DRND-DD, this paper proposes reflectance estimation model mining of leaf nitrogen concentration(LNC) for hyperspectral data by using hybrid gene expression programming(REMLNC-HGEP). Experimental results on three datasets demonstrate that the DRND-DD algorithm can obtain good results with a very short running time compared with principal component analysis(PCA), singular value decomposition(SVD), a dimensionality reduction algorithm based on the positive region(AR-PR) and a dimensionality reduction algorithm based on a discernable matrix(ARDM), and REMLNC-HGEP has low average time-consumption, high model mining success ratio and estimation accuracy. It was concluded that the REMLNC-HGEP performs better than the regression methods.
基金partially supported by the Science Foundation of China University of Petroleum,Beijing(2462023XKBH013)the National Natural Science Foundation of China(52202405)。
文摘Cooperation among enterprises can bring overall and individual performance improvement,and a smooth coordination method is indispensable.However,due to the lack of customized coordination methods,cooperation in the downstream oil supply chain cannot be carried out smoothly.This paper intends to propose a multi-party coordination method to promote cooperation between oil shippers and pipeline operator by optimizing oil transportation,oil substitution and pipeline pricing schemes.An integrated game-theoretic modeling and analysis approach is developed to characterize the operation behaviors of all stakeholders in the downstream oil supply chain.The proposed mixed integer nonlinear programming model constrains supply and demand capacity,transportation routes,oil substitution rules and pipeline freight levels.Logarithm transformation and price discretization are introduced for model linear approximation.Simulation experiments are carried out in the oil distribution system in South China.The results show that compared to the business-as-usual scheme,the new scheme saves transportation cost by 3.48%,increases pipeline turnover by 5.7%,and reduces energy consumption and emissions by 7.66%and 6.77%.It is proved that the proposed method improves the revenue of the whole system,achieves fair revenue distribution,and also improves the energy and environmental benefits of the oil supply chain.
基金financially supported by Northeast Petroleum University Talent Introduction Scientific Research Start-Up Foundation Project“dynamic characterization and prediction method of phase behavior of microemulsion flooding”National Natural Science Foundation of China under grant No.12002083Nature Science Foundation of Heilongjiang Province(LH2020E013)
文摘In the process of microemulsion flooding,microemulsion phase state may be affected by the adsorption of core and the distribution of oil and water,and the upper phase,the middle phase or the lower phase microemulsion will appear.Accurate description of microemulsion phase state and quantitative discrimination of equilibrium phase composition are of great theoretical value and research significance for the design of microemulsion flooding system and improving the recovery efficiency of microemulsion.Therefore,in this paper,microemulsion phase model is deeply studied.Aiming at the difficulty of solving the existing Hand model and the unknown parameters of the improved HLD-NAC model,we introduce the binodal curve range parameter D and the asymmetric migration degree parameter B,and establish a new phase behavior description method of the binodal curve,the two-phase plait point lines and the III-phase node line.Then the phase discrimination programming of microemulsion was carried out,and the change laws of phase number,phase type and mass fraction of equilibrium phases of any microemulsion system under different salinity were revealed.The results show that the simulation results of microemulsions accord with the salinity scanning law,and can accurately identify the complex microemulsion phase states.
基金Funded by the Foundation of Science Committee of Chongqing (No.2000- 6071)
文摘To solve the problem of investment portfolio with single goal of maximal NPV, a 0- 1 programming model was proposed and proved effective; and to solve that concerning more elements of a project such as risk level and social benefit, a goal programming model is then introduced. The latter is a linear programming model adopting slack variable called deviation variable to turn inequation constraint into equation constraint, introducing a priority factor to denote different importance of the goals. A case study has demonstrated that this goal programming model can give different results according to different priority requirement of each objective.
基金Supported by the Aeronautical Science Foundation of China(2010ZB52011)the Funding of Jiangsu Innovation Program for Graduate Education(CXLX11-0213)the Nanjing University of Aeronautics and Astronautics Research Funding(NS2010055)~~
文摘The real-time capability of integrated flight/propulsion optimal control （IFPOC） is studied. An appli- cation is proposed for IFPOC by combining the onboard hybrid aero-engine model with sequential quadratic pro- gramming （SQP）. Firstly, a steady-state hybrid aero-engine model is designed in the whole flight envelope with a dramatic enhancement of real-time capability. Secondly, the aero-engine performance seeking control including the maximum thrust mode and the minimum fuel-consumption mode is performed by SQP. Finally, digital simu- lations for cruise and accelerating flight are carried out. Results show that the proposed method improves real- time capability considerably with satisfactory effectiveness of optimization.
