期刊文献+
共找到7,930篇文章
< 1 2 250 >
每页显示 20 50 100
Adapting High-Level Language Programming(C Language)Education in the Era of Large Language Models
1
作者 Baokai Zu Hongyuan Wang +1 位作者 Hongli Chen Yafang Li 《Journal of Contemporary Educational Research》 2025年第5期264-269,共6页
With the widespread application of large language models(LLMs)in natural language processing and code generation,traditional High-Level Language Programming courses are facing unprecedented challenges and opportunitie... With the widespread application of large language models(LLMs)in natural language processing and code generation,traditional High-Level Language Programming courses are facing unprecedented challenges and opportunities.As a core programming language for computer science majors,C language remains irreplaceable due to its foundational nature and engineering adaptability.This paper,based on the rapid development of large model technologies,proposes a systematic reform design for C language teaching,focusing on teaching objectives,content structure,teaching methods,and evaluation systems.The article suggests a teaching framework centered on“human-computer collaborative programming,”integrating prompt training,AI-assisted debugging,and code generation analysis,aiming to enhance students’problem modeling ability,programming expression skills,and AI collaboration literacy. 展开更多
关键词 Large language models(LLMs) High-level language programming C language Human-computer collaborative programming
在线阅读 下载PDF
Mixed integer programming modeling for the satellite three-dimensional component assignment and layout optimization problem
2
作者 Yufeng XIA Xianqi CHEN +3 位作者 Zhijia LIU Weien ZHOU Wen YAO Zhongneng ZHANG 《Chinese Journal of Aeronautics》 2025年第6期427-447,共21页
Satellite Component Layout Optimization(SCLO) is crucial in satellite system design.This paper proposes a novel Satellite Three-Dimensional Component Assignment and Layout Optimization(3D-SCALO) problem tailored to en... Satellite Component Layout Optimization(SCLO) is crucial in satellite system design.This paper proposes a novel Satellite Three-Dimensional Component Assignment and Layout Optimization(3D-SCALO) problem tailored to engineering requirements, aiming to optimize satellite heat dissipation while considering constraints on static stability, 3D geometric relationships between components, and special component positions. The 3D-SCALO problem is a challenging bilevel combinatorial optimization task, involving the optimization of discrete component assignment variables in the outer layer and continuous component position variables in the inner layer,with both influencing each other. To address this issue, first, a Mixed Integer Programming(MIP) model is proposed, which reformulates the original bilevel problem into a single-level optimization problem, enabling the exploration of a more comprehensive optimization space while avoiding iterative nested optimization. Then, to model the 3D geometric relationships between components within the MIP framework, a linearized 3D Phi-function method is proposed, which handles non-overlapping and safety distance constraints between cuboid components in an explicit and effective way. Subsequently, the Finite-Rectangle Method(FRM) is proposed to manage 3D geometric constraints for complex-shaped components by approximating them with a finite set of cuboids, extending the applicability of the geometric modeling approach. Finally, the feasibility and effectiveness of the proposed MIP model are demonstrated through two numerical examples"and a real-world engineering case, which confirms its suitability for complex-shaped components and real engineering applications. 展开更多
关键词 Mixed integer programming modeling Three-dimensional component assignment Layout optimization Phi-function Finite-rectangle method
原文传递
Developed Time-OptimalModel Predictive Static Programming Method with Fish Swarm Optimization for Near-Space Vehicle
3
作者 Yuanzhuo Wang Honghua Dai 《Computer Modeling in Engineering & Sciences》 2025年第5期1463-1484,共22页
To establish the optimal reference trajectory for a near-space vehicle under free terminal time,a time-optimal model predictive static programming method is proposed with adaptive fish swarm optimization.First,the mod... To establish the optimal reference trajectory for a near-space vehicle under free terminal time,a time-optimal model predictive static programming method is proposed with adaptive fish swarm optimization.First,the model predictive static programming method is developed by incorporating neighboring terms and trust region,enabling rapid generation of precise optimal solutions.Next,an adaptive fish swarm optimization technique is employed to identify a sub-optimal solution,while a momentum gradient descent method with learning rate decay ensures the convergence to the global optimal solution.To validate the feasibility and accuracy of the proposed method,a near-space vehicle example is analyzed and simulated during its glide phase.The simulation results demonstrate that the proposed method aligns with theoretical derivations and outperforms existing methods in terms of convergence speed and accuracy.Therefore,the proposed method offers significant practical value for solving the fast trajectory optimization problem in near-space vehicle applications. 展开更多
关键词 Near-space vehicle model predictive static programming neighboring term and trust region optimal control adaptive fish swarm optimization
在线阅读 下载PDF
Adaptive Optimal Discrete-Time Output-Feedback Using an Internal Model Principle and Adaptive Dynamic Programming 被引量:1
4
作者 Zhongyang Wang Youqing Wang Zdzisław Kowalczuk 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2024年第1期131-140,共10页
In order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming(ADP) technique based on the internal model principle(IMP). The proposed metho... In order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming(ADP) technique based on the internal model principle(IMP). The proposed method, termed as IMP-ADP, does not require complete state feedback-merely the measurement of input and output data. More specifically, based on the IMP, the output control problem can first be converted into a stabilization problem. We then design an observer to reproduce the full state of the system by measuring the inputs and outputs. Moreover, this technique includes both a policy iteration algorithm and a value iteration algorithm to determine the optimal feedback gain without using a dynamic system model. It is important that with this concept one does not need to solve the regulator equation. Finally, this control method was tested on an inverter system of grid-connected LCLs to demonstrate that the proposed method provides the desired performance in terms of both tracking and disturbance rejection. 展开更多
关键词 Adaptive dynamic programming(ADP) internal model principle(IMP) output feedback problem policy iteration(PI) value iteration(VI)
在线阅读 下载PDF
Kinetic modeling and multi-objective optimization of an industrial hydrocracking process with an improved SPEA2-PE algorithm
5
作者 Chen Fan Xindong Wang +1 位作者 Gaochao Li Jian Long 《Chinese Journal of Chemical Engineering》 2025年第4期130-146,共17页
Hydrocracking is one of the most important petroleum refining processes that converts heavy oils into gases,naphtha,diesel,and other products through cracking reactions.Multi-objective optimization algorithms can help... Hydrocracking is one of the most important petroleum refining processes that converts heavy oils into gases,naphtha,diesel,and other products through cracking reactions.Multi-objective optimization algorithms can help refining enterprises determine the optimal operating parameters to maximize product quality while ensuring product yield,or to increase product yield while reducing energy consumption.This paper presents a multi-objective optimization scheme for hydrocracking based on an improved SPEA2-PE algorithm,which combines path evolution operator and adaptive step strategy to accelerate the convergence speed and improve the computational accuracy of the algorithm.The reactor model used in this article is simulated based on a twenty-five lumped kinetic model.Through model and test function verification,the proposed optimization scheme exhibits significant advantages in the multiobjective optimization process of hydrocracking. 展开更多
关键词 HYDROCRACKING multi-objective optimization Improved SPEA2 Kinetic modeling
在线阅读 下载PDF
Multi-Objective Optimization of Marine Winch Based on Surrogate Model and MOGA
6
作者 Chunhuan Jin Linsen Zhu +1 位作者 Quanliang Liu Ji Lin 《Computer Modeling in Engineering & Sciences》 2025年第5期1689-1711,共23页
This study proposes a multi-objective optimization framework for electric winches in fiber-reinforced plastic(FRP)fishing vessels to address critical limitations of conventional designs,including excessive weight,mate... This study proposes a multi-objective optimization framework for electric winches in fiber-reinforced plastic(FRP)fishing vessels to address critical limitations of conventional designs,including excessive weight,material inefficiency,and performance redundancy.By integrating surrogate modeling techniques with a multi-objective genetic algorithm(MOGA),we have developed a systematic approach that encompasses parametric modeling,finite element analysis under extreme operational conditions,and multi-fidelity performance evaluation.Through a 10-t electric winch case study,the methodology’s effectiveness is demonstrated via parametric characterization of structural integrity,stiffness behavior,and mass distribution.The comparative analysis identified optimal surrogate models for predicting key performance metrics,which enabled the construction of a robust multi-objective optimization model.The MOGA-derived Pareto solutions produced a design configuration achieving 7.86%mass reduction,2.01%safety factor improvement,and 23.97%deformation mitigation.Verification analysis confirmed the optimization scheme’s reliability in balancing conflicting design requirements.This research establishes a generalized framework for marine deck machinery modernization,particularly addressing the structural compatibility challenges in FRP vessel retrofitting.The proposed methodology demonstrates significant potential for facilitating sustainable upgrades of fishing vessel equipment through systematic performance optimization. 展开更多
关键词 Marine winch multi-objective optimization surrogate model
在线阅读 下载PDF
Advanced Machine Learning and Gene Expression Programming Techniques for Predicting CO_(2)-Induced Alterations in Coal Strength
7
作者 Zijian Liu Yong Shi +3 位作者 ChuanqiLi Xiliang Zhang Jian Zhou Manoj Khandelwal 《Computer Modeling in Engineering & Sciences》 2025年第4期153-183,共31页
Given the growing concern over global warming and the critical role of carbon dioxide(CO_(2))in this phenomenon,the study of CO_(2)-induced alterations in coal strength has garnered significant attention due to its im... Given the growing concern over global warming and the critical role of carbon dioxide(CO_(2))in this phenomenon,the study of CO_(2)-induced alterations in coal strength has garnered significant attention due to its implications for carbon sequestration.A large number of experiments have proved that CO_(2) interaction time(T),saturation pressure(P)and other parameters have significant effects on coal strength.However,accurate evaluation of CO_(2)-induced alterations in coal strength is still a difficult problem,so it is particularly important to establish accurate and efficient prediction models.This study explored the application of advancedmachine learning(ML)algorithms and Gene Expression Programming(GEP)techniques to predict CO_(2)-induced alterations in coal strength.Sixmodels were developed,including three metaheuristic-optimized XGBoost models(GWO-XGBoost,SSA-XGBoost,PO-XGBoost)and three GEP models(GEP-1,GEP-2,GEP-3).Comprehensive evaluations using multiple metrics revealed that all models demonstrated high predictive accuracy,with the SSA-XGBoost model achieving the best performance(R2—Coefficient of determination=0.99396,RMSE—Root Mean Square Error=0.62102,MAE—Mean Absolute Error=0.36164,MAPE—Mean Absolute Percentage Error=4.8101%,RPD—Residual Predictive Deviation=13.4741).Model interpretability analyses using SHAP(Shapley Additive exPlanations),ICE(Individual Conditional Expectation),and PDP(Partial Dependence Plot)techniques highlighted the dominant role of fixed carbon content(FC)and significant interactions between FC and CO_(2) saturation pressure(P).Theresults demonstrated that the proposedmodels effectively address the challenges of CO_(2)-induced strength prediction,providing valuable insights for geological storage safety and environmental applications. 展开更多
关键词 CO_(2)-induced coal strength meta-heuristic optimization algorithms XGBoost gene expression programming model interpretability
在线阅读 下载PDF
Principal-subordinate hierarchical multi-objective programming model of initial water rights allocation 被引量:5
8
作者 Dan WU Feng-ping WU Yan-ping CHEN 《Water Science and Engineering》 EI CAS 2009年第2期105-116,共12页
The principal-subordinate hierarchical multi-objective programming model of initial water rights allocation was developed based on the principle of coordinated and sustainable development of different regions and wate... The principal-subordinate hierarchical multi-objective programming model of initial water rights allocation was developed based on the principle of coordinated and sustainable development of different regions and water sectors within a basin. With the precondition of strictly controlling maximum emissions rights, initial water rights were allocated between the first and the second levels of the hierarchy in order to promote fair and coordinated development across different regions of the basin and coordinated and efficient water use across different water sectors, realize the maximum comprehensive benefits to the basin, promote the unity of quantity and quality of initial water rights allocation, and eliminate water conflict across different regions and water sectors. According to interactive decision-making theory, a principal-subordinate hierarchical interactive iterative algorithm based on the satisfaction degree was developed and used to solve the initial water rights allocation model. A case study verified the validity of the model. 展开更多
关键词 initial water rights allocation principal-subordinate hierarchy multi-objective programming model satisfaction degree
在线阅读 下载PDF
MULTI-OBJECTIVE PROGRAMMING MODEL OF TROPICAL CROPS IN HAINAN ISLAND
9
作者 Zhou Zhaode(Department of Cultivation,South China College of Tropical Crops, Chanxian, Hainan 571700People’s Republic of China)Zheng Jianfei(Department of Agrometeorology,Bejing Agricultural University, Bejing 100094People’s Repulblic of China) 《Journal of Geographical Sciences》 SCIE CSCD 1994年第Z1期48-60,共13页
According to Hainan Island's biological characteristics, and existing structure of productivity of tropical crops and local climatic conditions, this paper carries on regional division of tropical crops by fuzzy m... According to Hainan Island's biological characteristics, and existing structure of productivity of tropical crops and local climatic conditions, this paper carries on regional division of tropical crops by fuzzy mathematics. Based on calculation of basic parameters for tl1e formation of production, near-tem optimum models of tropical crops structure of each region was established by means of multi-objective programming, and a far-term grey programming model was set up through the above-mentioned near-term model and prediction of future parameters. Conclusion shows that the near-term programming may raise the profit by 5. 1-55.7 percent and far-tem programming by 54-90 percent, both gainingobvious economic benefits. 展开更多
关键词 Hainan Island tropical crops multi-objective programming
在线阅读 下载PDF
Selecting China's strategic petroleum reserve sites by multi-objective programming model
10
作者 Hui Li Ren-Jin Sun +3 位作者 Kang-Yin Dong Xiu-Cheng Dong Zhong-Bin Zhou Xia Leng 《Petroleum Science》 SCIE CAS CSCD 2017年第3期622-635,共14页
An important decision for policy makers is selecting strategic petroleum reserve sites. However, policy makers may not choose the most suitable and efficient locations for strategic petroleum reserve(SPR) due to the... An important decision for policy makers is selecting strategic petroleum reserve sites. However, policy makers may not choose the most suitable and efficient locations for strategic petroleum reserve(SPR) due to the complexity in the choice of sites. This paper proposes a multi-objective programming model to determine the optimal locations for China's SPR storage sites. This model considers not only the minimum response time but also the minimum transportation cost based on a series of reasonable assumptions and constraint conditions. The factors influencing SPR sites are identified to determine potential demand points and candidate storage sites. Estimation and suggestions are made for the selection of China's future SPR storage sites based on the results of this model. When the number of petroleum storage sites is less than or equals 25 and the maximum capacity of storage sites is restricted to 10 million tonnes, the model's result best fit for the current layout scheme selected thirteen storage sites in four scenarios. Considering the current status of SPR in China,Tianjin, Qingdao, Dalian, Daqing and Zhanjiang, Chengdu,Xi'an, and Yueyang are suggested to be the candidate locations for the third phase of the construction plan. The locations of petroleum storage sites suggested in this work could be used as a reference for decision makers. 展开更多
关键词 Strategic petroleum reserve Storage siteselection multi-objective modeling China
原文传递
Multistage Stochastic Programming Model for the Portfolio Problem of a Property-Liability Insurance Company 被引量:3
11
作者 王春峰 杨建林 蒋祥林 《Transactions of Tianjin University》 EI CAS 2002年第3期203-206,共4页
The current portfolio model for property-liability insurance company is only single period that can not meet the practical demands of portfolio management, and the purpose of this paper is to develop a multiperiod mod... The current portfolio model for property-liability insurance company is only single period that can not meet the practical demands of portfolio management, and the purpose of this paper is to develop a multiperiod model for its portfolio problem. The model is a multistage stochastic programming which considers transaction costs, cash flow between time periods, and the matching of asset and liability; it does not depend on the assumption for normality of return distribution. Additionally, an investment constraint is added. The numerical example manifests that the multiperiod model can more effectively assist the property-liability insurer to determine the optimal composition of insurance and investment portfolio and outperforms the single period one. 展开更多
关键词 property-liability insurance company portfolio management multiperiod model multistage stochastic programming
在线阅读 下载PDF
Multi-Objective Optimization for Hydrodynamic Performance of A Semi-Submersible FOWT Platform Based on Multi-Fidelity Surrogate Models and NSGA-Ⅱ Algorithms 被引量:1
12
作者 QIAO Dong-sheng MEI Hao-tian +3 位作者 QIN Jian-min TANG Guo-qiang LU Lin OU Jin-ping 《China Ocean Engineering》 CSCD 2024年第6期932-942,共11页
This study delineates the development of the optimization framework for the preliminary design phase of Floating Offshore Wind Turbines(FOWTs),and the central challenge addressed is the optimization of the FOWT platfo... This study delineates the development of the optimization framework for the preliminary design phase of Floating Offshore Wind Turbines(FOWTs),and the central challenge addressed is the optimization of the FOWT platform dimensional parameters in relation to motion responses.Although the three-dimensional potential flow(TDPF)panel method is recognized for its precision in calculating FOWT motion responses,its computational intensity necessitates an alternative approach for efficiency.Herein,a novel application of varying fidelity frequency-domain computational strategies is introduced,which synthesizes the strip theory with the TDPF panel method to strike a balance between computational speed and accuracy.The Co-Kriging algorithm is employed to forge a surrogate model that amalgamates these computational strategies.Optimization objectives are centered on the platform’s motion response in heave and pitch directions under general sea conditions.The steel usage,the range of design variables,and geometric considerations are optimization constraints.The angle of the pontoons,the number of columns,the radius of the central column and the parameters of the mooring lines are optimization constants.This informed the structuring of a multi-objective optimization model utilizing the Non-dominated Sorting Genetic Algorithm Ⅱ(NSGA-Ⅱ)algorithm.For the case of the IEA UMaine VolturnUS-S Reference Platform,Pareto fronts are discerned based on the above framework and delineate the relationship between competing motion response objectives.The efficacy of final designs is substantiated through the time-domain calculation model,which ensures that the motion responses in extreme sea conditions are superior to those of the initial design. 展开更多
关键词 semi-submersible FOWT platforms Co-Kriging neural network algorithm multi-fidelity surrogate model NSGA-II multi-objective algorithm Pareto optimization
在线阅读 下载PDF
New partial cooperation model for bilevel programming problems 被引量:4
13
作者 Shihui Jia Zhongping Wan +1 位作者 Yuqiang Feng Guangmin Wang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2011年第2期263-266,共4页
Partial cooperation models are studied for many years to solve the bilevel programming problems where the follower’s optimal reaction is not unique. However, in these existed models, the follower’s cooperation level... Partial cooperation models are studied for many years to solve the bilevel programming problems where the follower’s optimal reaction is not unique. However, in these existed models, the follower’s cooperation level does not depend on the leader’s decision. A new model is proposed to solve this deficiency. It is proved the feasibility of the new model when the reaction set of the lower level is lower semicontinuous. And the numerical results show that the new model has optimal solutions when the reaction set of the lower level is discrete, lower semi-continuous and non-lower semi-continuous. 展开更多
关键词 bilevel programming reaction set optimistic model pessimistic model partial cooperation model cooperation level.
在线阅读 下载PDF
Application of numerical modeling and genetic programming to estimate rock mass modulus of deformation 被引量:6
14
作者 Ebrahim Ghotbi Ravandi Reza Rahmannejad +1 位作者 Amir Ehsan Feili Monfared Esmaeil Ghotbi Ravandi 《International Journal of Mining Science and Technology》 SCIE EI 2013年第5期733-737,共5页
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. 展开更多
关键词 Modulus of deformation(Em) DISPLACEMENT Numerical modeling Genetic programming(GP) Back analysis
在线阅读 下载PDF
ARTIFICIAL NEURAL NETWORKS-MODELING, PROGRAMMING AND APPLICATION IN MATERIAL HOT WORKING 被引量:4
15
作者 H. T. Li Y. Deng and J. T. Niu (Analysis and Measurement Center, Harbin Institute of Technology, Harbin 150001, China) 《Acta Metallurgica Sinica(English Letters)》 SCIE EI CAS CSCD 2000年第2期825-831,共7页
The developments of modern mathematics and computer science make artificial neural networks become most useful tools in wide range of fields. Modeling methods of artificial neural networks are described in this paper... The developments of modern mathematics and computer science make artificial neural networks become most useful tools in wide range of fields. Modeling methods of artificial neural networks are described in this paper. The programming technique by using Matlab neural networks toolbox is discussed. The application in Material Hot Working of neural networks is also introduced. 展开更多
关键词 artificial neural network modelING programming
在线阅读 下载PDF
A simulation-based two-stage interval-stochastic programming model for water resources management in Kaidu-Konqi watershed,China 被引量:6
16
作者 Yue HUANG Xi CHEN +2 位作者 YongPing LI AnMing BAO YongGang MA 《Journal of Arid Land》 SCIE 2012年第4期390-398,共9页
This study presented a simulation-based two-stage interval-stochastic programming (STIP) model to support water resources management in the Kaidu-Konqi watershed in Northwest China. The modeling system coupled a dis... This study presented a simulation-based two-stage interval-stochastic programming (STIP) model to support water resources management in the Kaidu-Konqi watershed in Northwest China. The modeling system coupled a distributed hydrological model with an interval two-stage stochastic programing (ITSP). The distributed hydrological model was used for establishing a rainfall-runoff forecast system, while random parameters were pro- vided by the statistical analysis of simulation outcomes water resources management planning in Kaidu-Konqi The developed STIP model was applied to a real case of watershed, where three scenarios with different water re- sources management policies were analyzed. The results indicated that water shortage mainly occurred in agri- culture, ecology and forestry sectors. In comparison, the water demand from municipality, industry and stock- breeding sectors can be satisfied due to their lower consumptions and higher economic values. Different policies for ecological water allocation can result in varied system benefits, and can help to identify desired water allocation plans with a maximum economic benefit and a minimum risk of system disruption under uncertainty. 展开更多
关键词 OPTIMIZATION two-stage stochastic programming UNCERTAINTY water resources management hydrological model Kaidu-Konqi watershed Tarim River Basin
在线阅读 下载PDF
Linear-in-Parameter Models Based on Parsimonious Genetic Programming Algorithm and Its Application to Aero-Engine Start Modeling 被引量:3
17
作者 李应红 尉询楷 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2006年第4期295-303,共9页
A novel Parsimonious Genetic Programming (PGP) algorithm together with a novel aero-engine optimum data-driven dynamic start process model based on PGP is proposed. In application of this method, first, the traditio... A novel Parsimonious Genetic Programming (PGP) algorithm together with a novel aero-engine optimum data-driven dynamic start process model based on PGP is proposed. In application of this method, first, the traditional Genetic Programming(GP) is used to generate the nonlinear input-output models that are represented in a binary tree structure; then, the Orthogonal Least Squares algorithm (OLS) is used to estimate the contribution of the branches of the tree (refer to basic function term that cannot be decomposed anymore according to special rule) to the accuracy of the model, which contributes to eliminate complex redundant subtrees and enhance GP's convergence speed; and finally, a simple, reliable and exact linear-in-parameter nonlinear model via GP evolution is obtained. The real aero-engine start process test data simulation and the comparisons with Support Vector Machines (SVM) validate that the proposed method can generate more applicable, interpretable models and achieve comparable, even superior results to SVM. 展开更多
关键词 aerospace propulsion system linear-in-parameter nonlinear model Parsimonious Genetic programming (PGP) aero-engine dynamic start model
在线阅读 下载PDF
Bi-level programming model for reconstruction of urban branch road network 被引量:6
18
作者 史峰 黄恩厚 +1 位作者 陈群 王英姿 《Journal of Central South University》 SCIE EI CAS 2009年第1期172-176,共5页
Considering the decision-making variables of the capacities of branch roads and the optimization targets of lowering the saturation of arterial roads and the reconstruction expense of branch roads, the bi-level progra... Considering the decision-making variables of the capacities of branch roads and the optimization targets of lowering the saturation of arterial roads and the reconstruction expense of branch roads, the bi-level programming model for reconstructing the branch roads was set up. The upper level model was for determining the enlarged capacities of the branch roads, and the lower level model was for calculating the flows of road sections via the user equilibrium traffic assignment method. The genetic algorithm for solving the bi-level model was designed to obtain the reconstruction capacities of the branch roads. The results show that by the bi-level model and its algorithm, the optimum scheme of urban branch roads reconstruction can be gained, which reduces the saturation of arterial roads apparently, and alleviates traffic congestion. In the data analysis the arterial saturation decreases from 1.100 to 0.996, which verifies the micro-circulation transportation's function of urban branch road network. 展开更多
关键词 branch road RECONSTRUCTION bi-level programming model micro-circulation traffic
在线阅读 下载PDF
Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus 被引量:5
19
作者 ZUO Zhengkang HU Ying +2 位作者 HUANG Qing WANG Yuan WANG Changjing 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2022年第5期405-414,共10页
The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existi... The automatic algorithm programming model can increase the dependability and efficiency of algorithm program development,including specification generation,program refinement,and formal verification.However,the existing model has two flaws:incompleteness of program refinement and inadequate automation of formal verification.This paper proposes an automatic algorithm programming model based on the improved Morgan’s refinement calculus.It extends the Morgan’s refinement calculus rules and designs the C++generation system for realizing the complete process of refinement.Meanwhile,the automation tools VCG(Verification Condition Generator)and Isabelle are used to improve the automation of formal verification.An example of a stock’s maximum income demonstrates the effectiveness of the proposed model.Furthermore,the proposed model has some relevance for automatic software generation. 展开更多
关键词 automatic algorithm programming model program refinement VCG ISABELLE Morgan’s refinement calculus
原文传递
Prediction Model-based Multi-objective Optimization for Mix-ratio Design of Recycled Aggregate Concrete
20
作者 CHEN Tao WU Di YAO Xiaojun 《Journal of Wuhan University of Technology(Materials Science)》 SCIE EI CAS CSCD 2024年第6期1507-1517,共11页
The prediction model for mechanical properties of RAC was established through the Bayesian optimization-based Gaussian process regression(BO-GPR)method,where the input variables in BO-GPR model depend on the mix ratio... The prediction model for mechanical properties of RAC was established through the Bayesian optimization-based Gaussian process regression(BO-GPR)method,where the input variables in BO-GPR model depend on the mix ratio of concrete.Then the compressive strength prediction model,the material cost,and environmental factors were simultaneously considered as objectives,while a multi-objective gray wolf optimization algorithm was developed for finding the optimal mix ratio.A total of 730 RAC datasets were used for training and testing the predication model,while the optimal design method for mix ratio was verified through RAC experiments.The experimental results show that the predicted,testing,and expected compressive strengths are nearly consistent,illustrating the effectiveness of the proposed method. 展开更多
关键词 recycled coarse aggregate mix ratio multi-objective optimization prediction model compressive strength
原文传递
上一页 1 2 250 下一页 到第
使用帮助 返回顶部