The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in futu...The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in future low carbon societies.However,uncertainties from renewable energy and load variability threaten system safety and economy.Conventional chance-constrained programming(CCP)ensures reliable operation by limiting risk.However,increasing source-load uncertainties that can render CCP models infeasible and exacerbate operational risks.To address this,this paper proposes a risk-adjustable chance-constrained goal programming(RACCGP)model,integrating CCP and goal programming to balance risk and cost based on system risk assessment.An intelligent nonlinear goal programming method based on the state transition algorithm(STA)is developed,along with an improved discretized step transformation,to handle model nonlinearity and enhance computational efficiency.Experimental results show that the proposed model reduces costs while controlling risk compared to traditional CCP,and the solution method outperforms average sample sampling in efficiency and solution quality.展开更多
Generating dynamically feasible trajectory for fixed-wing Unmanned Aerial Vehicles(UAVs)in dense obstacle environments remains computationally intractable.This paper proposes a Safe Flight Corridor constrained Sequent...Generating dynamically feasible trajectory for fixed-wing Unmanned Aerial Vehicles(UAVs)in dense obstacle environments remains computationally intractable.This paper proposes a Safe Flight Corridor constrained Sequential Convex Programming(SFC-SCP)to improve the computation efficiency and reliability of trajectory generation.SFC-SCP combines the front-end convex polyhedron SFC construction and back-end SCP-based trajectory optimization.A Sparse A^(*)Search(SAS)driven SFC construction method is designed to efficiently generate polyhedron SFC according to the geometric relation among obstacles and collision-free waypoints.Via transforming the nonconvex obstacle-avoidance constraints to linear inequality constraints,SFC can mitigate infeasibility of trajectory planning and reduce computation complexity.Then,SCP casts the nonlinear trajectory optimization subject to SFC into convex programming subproblems to decrease the problem complexity.In addition,a convex optimizer based on interior point method is customized,where the search direction is calculated via successive elimination to further improve efficiency.Simulation experiments on dense obstacle scenarios show that SFC-SCP can generate dynamically feasible safe trajectory rapidly.Comparative studies with state-of-the-art SCP-based methods demonstrate the efficiency and reliability merits of SFC-SCP.Besides,the customized convex optimizer outperforms off-the-shelf optimizers in terms of computation time.展开更多
Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells c...Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.展开更多
The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functio...The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functioning(Soles et al.,2023).Synthesized by neural and glial cells,the brain's ECM regulates a myriad of homeostatic cellular processes,including neuronal plasticity and firing(Miyata et al.,2012),cation buffering(Moraws ki et al.,2015),and glia-neuron interactions(Anderson et al.,2016).Considering the diversity of functions,dynamic remodeling of the brain's ECM indicates that this understudied medium is an active participant in both normal physiology and neurological diseases.展开更多
In the context of the“dual carbon”goals,to address issues such as high energy consumption,high costs,and low power quality in the rapid development of electrified railways,this study focused on the China Railways Hi...In the context of the“dual carbon”goals,to address issues such as high energy consumption,high costs,and low power quality in the rapid development of electrified railways,this study focused on the China Railways High-Speed 5 Electric Multiple Unit and proposed a mathematical model and capacity optimization method for an onboard energy storage system using lithium batteries and supercapacitors as storage media.Firstly,considering the electrical characteristics,weight,and volume of the storage media,a mathematical model of the energy storage system was established.Secondly,to tackle problems related to energy consumption and power quality,an energy management strategy was proposed that comprehensively considers peak shaving and valley filling and power quality by controlling the charge/discharge thresholds of the storage system.Thecapacity optimization adopted a bilevel programming model,with the series/parallel number of storage modules as variables,considering constraints imposed by the Direct Current to Direct Current converter,train load,and space.An improved Particle Swarm Optimization algorithm and linear programming solver were used to solve specific cases.The results show that the proposed onboard energy storage system can effectively achieve energy savings,reduce consumption,and improve power qualitywhile meeting the load and space limitations of the train.展开更多
With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply ...With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply explored the application principles,advantages,and limitations of AIGC in intelligent code generation,analyzed the new mode of human-computer collaboration in high-level language programming courses driven by AIGC,discussed the impact of human-computer collaboration on programming efficiency and code quality through practical case studies,and looks forward to future development trends.This research aims to provide theoretical and practical guidance for high-level language programming courses and promote innovative development of high-level language programming courses under the human-computer collaboration paradigm.展开更多
Integral reinforcement learning(IRL)is an effective tool for solving optimal control problems of nonlinear systems,and it has been widely utilized in optimal controller design for solving discrete-time nonlinearity.Ho...Integral reinforcement learning(IRL)is an effective tool for solving optimal control problems of nonlinear systems,and it has been widely utilized in optimal controller design for solving discrete-time nonlinearity.However,solving the Hamilton-Jacobi-Bellman(HJB)equations for nonlinear systems requires precise and complicated dynamics.Moreover,the research and application of IRL in continuous-time(CT)systems must be further improved.To develop the IRL of a CT nonlinear system,a data-based adaptive neural dynamic programming(ANDP)method is proposed to investigate the optimal control problem of uncertain CT multi-input systems such that the knowledge of the dynamics in the HJB equation is unnecessary.First,the multi-input model is approximated using a neural network(NN),which can be utilized to design an integral reinforcement signal.Subsequently,two criterion networks and one action network are constructed based on the integral reinforcement signal.A nonzero-sum Nash equilibrium can be reached by learning the optimal strategies of the multi-input model.In this scheme,the NN weights are constantly updated using an adaptive algorithm.The weight convergence and the system stability are analyzed in detail.The optimal control problem of a multi-input nonlinear CT system is effectively solved using the ANDP scheme,and the results are verified by a simulation study.展开更多
Computing-in-memory(CIM)has been a promising candidate for artificial-intelligent applications thanks to the absence of data transfer between computation and storage blocks.Resistive random access memory(RRAM)based CI...Computing-in-memory(CIM)has been a promising candidate for artificial-intelligent applications thanks to the absence of data transfer between computation and storage blocks.Resistive random access memory(RRAM)based CIM has the advantage of high computing density,non-volatility as well as high energy efficiency.However,previous CIM research has predominantly focused on realizing high energy efficiency and high area efficiency for inference,while little attention has been devoted to addressing the challenges of on-chip programming speed,power consumption,and accuracy.In this paper,a fabri-cated 28 nm 576K RRAM-based CIM macro featuring optimized on-chip programming schemes is proposed to address the issues mentioned above.Different strategies of mapping weights to RRAM arrays are compared,and a novel direct-current ADC design is designed for both programming and inference stages.Utilizing the optimized hybrid programming scheme,4.67×programming speed,0.15×power saving and 4.31×compact weight distribution are realized.Besides,this macro achieves a normalized area efficiency of 2.82 TOPS/mm2 and a normalized energy efficiency of 35.6 TOPS/W.展开更多
More than seventy years before airplanes were invented,a twelve⁃year⁃old girl named Ada Lovelace dreamed of flying.She studied birds and experimented with materials to make wings,even writing a guide called Flyology.B...More than seventy years before airplanes were invented,a twelve⁃year⁃old girl named Ada Lovelace dreamed of flying.She studied birds and experimented with materials to make wings,even writing a guide called Flyology.But her curiosity didnt stop there.展开更多
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.展开更多
Steam power systems(SPSs)in industrial parks are the typical utility systems for heat and electricity supply.In SPSs,electricity is generated by steam turbines,and steam is generally produced and supplied at multiple ...Steam power systems(SPSs)in industrial parks are the typical utility systems for heat and electricity supply.In SPSs,electricity is generated by steam turbines,and steam is generally produced and supplied at multiple levels to serve the heat demands of consumers with different temperature grades,so that energy is utilized in cascade.While a large number of steam levels enhances energy utilization efficiency,it also tends to cause a complex steam pipeline network in the industrial park.In practice,a moderate number of steam levels is always adopted in SPSs,leading to temperature mismatches between heat supply and demand for some consumers.This study proposes a distributed steam turbine system(DSTS)consisting of main steam turbines on the energy supply side and auxiliary steam turbines on the energy consumption side,aiming to balance the heat production costs,the distance-related costs,and the electricity generation of SPSs in industrial parks.A mixed-integer nonlinear programming model is established for the optimization of SPSs,with the objective of minimizing the total annual cost(TAC).The optimal number of steam levels and the optimal configuration of DSTS for an industrial park can be determined by solving the model.A case study demonstrates that the TAC of the SPS is reduced by 220.6×10^(3)USD(2.21%)through the arrangement of auxiliary steam turbines.The sub-optimal number of steam levels and a non-optimal operating condition slightly increase the TAC by 0.46%and 0.28%,respectively.The sensitivity analysis indicates that the optimal number of steam levels tends to decrease from 3 to 2 as electricity price declines.展开更多
With the continuous advancement of the New Engineering Education initiative,universities are raising the standards for cultivating engineering talents.C Programming Language,as a core course for computer science and r...With the continuous advancement of the New Engineering Education initiative,universities are raising the standards for cultivating engineering talents.C Programming Language,as a core course for computer science and related majors,plays a fundamental role in developing logical thinking,programming skills,and engineering practice.However,problems such as outdated content,weak practical connections,and single assessment methods still exist in current teaching,which affects both learning outcomes and students’skill development.Based on the outcome-based education(OBE)approach and supported by AI-assisted teaching tools,this paper proposes a reform plan focusing on teaching content,instructional methods,and evaluation systems.The goal is to enhance students’overall abilities and practical innovation skills,and to align the course more closely with modern industry needs.展开更多
In this paper,a strength-constrained unit commitment(UC)model incorporating system strength constraints based on the weighted short-circuit ratio(WSCR)is proposed.This model facilitates the comprehensive assessment of...In this paper,a strength-constrained unit commitment(UC)model incorporating system strength constraints based on the weighted short-circuit ratio(WSCR)is proposed.This model facilitates the comprehensive assessment of area-wide system strength in power systems with high inverter-based resource(IBR)penetration,thereby contributing to the mitigation of weak grid issues.Unlike traditional models,this approach considers the interactions among multiple IBRs.The UC problem is initially formulated as a mixed-integer nonlinear programming(MINLP)model,reflecting WSCR and bus impedance matrix modification constraints.To enhance computational tractability,the model is transformed into a mixed-integer linear programming(MILP)form.The effectiveness of the proposed approach is validated through simulations on the IEEE 5-bus,IEEE 39-bus,and a modified Korean power system,demonstrating the ability of the proposed UC model enhancing system strength compared to the conventional methodologies.展开更多
Prenatal caffeine exposure(PCE)leads to intrauterine growth retardation and altered glucose homeostasis after birth,but the underlying mechanism remains unclear.This study aims to investigate the alteration of pancrea...Prenatal caffeine exposure(PCE)leads to intrauterine growth retardation and altered glucose homeostasis after birth,but the underlying mechanism remains unclear.This study aims to investigate the alteration of pancreatic development and insulin biosynthesis in the PCE female offspring and explore the intrauterine programming mechanism.Pregnant rats were orally treated with 120 mg/(kg·day)of caffeine from gestational day(GD)9 to 20.Results showed that fetal pancreaticβ-cells in the PCE group exhibited reduced mass and impaired insulin synthesis function,as evidenced by decreased expression of developmental and functional genes and reduced pancreatic insulin content.At postnatal week(PW)12,the PCE offspring exhibited glucose intolerance,diminishedβ-cell mass,and lower blood insulin levels.However,by PW28,glucose tolerance showed some improvement.Both in vivo and in vitro findings collectively indicated that excessive serum corticosterone(CORT)levels of the PCE fetuses may act through the activation of the pancreatic glucocorticoid receptor(GR)and recruitment of histone deacetylase 9(HDAC9),leading to H3K9 deacetylation in promoter and downregulation of insulin-like growth factor 1(IGF1),thereby inhibiting pancreatic islet morphogenesis and insulin synthesis in fetal rats.Furthermore,the PCE offspring after birth exhibited decreased blood CORT levels,increased H3K9 acetylation in promoter and upregulated gene expression of the pancreatic IGF1 promoter region,accompanied by elevated insulin biosynthesis.However,when exposed to chronic stress,the above changes were totally reversed.Conclusively,“glucocorticoid-insulin like growth factor 1(GC-IGF1)axis”programming may be involved in pancreaticβ-cell dysplasia and dysfunction in the PCE female offspring.展开更多
This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digiti...This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives.展开更多
Evolutionary algorithms have been extensively utilized in practical applications.However,manually designed population updating formulas are inherently prone to the subjective influence of the designer.Genetic programm...Evolutionary algorithms have been extensively utilized in practical applications.However,manually designed population updating formulas are inherently prone to the subjective influence of the designer.Genetic programming(GP),characterized by its tree-based solution structure,is a widely adopted technique for optimizing the structure of mathematical models tailored to real-world problems.This paper introduces a GP-based framework(GPEAs)for the autonomous generation of update formulas,aiming to reduce human intervention.Partial modifications to tree-based GP have been instigated,encompassing adjustments to its initialization process and fundamental update operations such as crossover and mutation within the algorithm.By designing suitable function sets and terminal sets tailored to the selected evolutionary algorithm,and ultimately derive an improved update formula.The Cat Swarm Optimization Algorithm(CSO)is chosen as a case study,and the GP-EAs is employed to regenerate the speed update formulas of the CSO.To validate the feasibility of the GP-EAs,the comprehensive performance of the enhanced algorithm(GP-CSO)was evaluated on the CEC2017 benchmark suite.Furthermore,GP-CSO is applied to deduce suitable embedding factors,thereby improving the robustness of the digital watermarking process.The experimental results indicate that the update formulas generated through training with GP-EAs possess excellent performance scalability and practical application proficiency.展开更多
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.展开更多
This paper deals with reduction of losses in electric power distribution system through a dynamic reconfiguration case study of a grid in the city of Mostar,Bosnia and Herzegovina.The proposed solution is based on a n...This paper deals with reduction of losses in electric power distribution system through a dynamic reconfiguration case study of a grid in the city of Mostar,Bosnia and Herzegovina.The proposed solution is based on a nonlinear model predictive control algorithm which determines the optimal switching operations of the distribution system.The goal of the control algorithm is to find the optimal radial network topology which minimizes cumulative active power losses and maximizes voltages across the network while simultaneously satisfying all system constraints.The optimization results are validated through multiple simulations(using real power demand data collected for a few characteristic days during winter and summer)which demonstrate the efficiency and usefulness of the developed control algorithm in reducing the grid losses by up to 14%.展开更多
The paper develops a robust control approach for nonaffine nonlinear continuous systems with input constraints and unknown uncertainties. Firstly, this paper constructs an affine augmented system(AAS) within a pre-com...The paper develops a robust control approach for nonaffine nonlinear continuous systems with input constraints and unknown uncertainties. Firstly, this paper constructs an affine augmented system(AAS) within a pre-compensation technique for converting the original nonaffine dynamics into affine dynamics. Secondly, the paper derives a stability criterion linking the original nonaffine system and the auxiliary system, demonstrating that the obtained optimal policies from the auxiliary system can achieve the robust controller of the nonaffine system. Thirdly, an online adaptive dynamic programming(ADP) algorithm is designed for approximating the optimal solution of the Hamilton–Jacobi–Bellman(HJB) equation.Moreover, the gradient descent approach and projection approach are employed for updating the actor-critic neural network(NN) weights, with the algorithm's convergence being proven. Then, the uniformly ultimately bounded stability of state is guaranteed. Finally, in simulation, some examples are offered for validating the effectiveness of this presented approach.展开更多
As one of the core courses for computer-related majors,the Python programming course has become increasingly important in the era of artificial intelligence.It aims to help students develop good computer thinking and ...As one of the core courses for computer-related majors,the Python programming course has become increasingly important in the era of artificial intelligence.It aims to help students develop good computer thinking and improve their abilities in programming and data analysis.The application of artificial intelligence technology in the teaching of Python programming courses is of great significance for optimizing the allocation of teaching resources,enriching students’learning experience,and significantly improving teaching quality.Based on this,this paper first briefly expounds on the importance of applying artificial intelligence technology in the teaching of Python programming courses.On this basis,it focuses on exploring effective strategies for the teaching reform of Python programming courses based on artificial intelligence technology,hoping to provide new ideas for the teaching of Python programming courses and contribute to cultivating more Python programming talents with artificial intelligence literacy.展开更多
基金Project(2022YFC2904502)supported by the National Key Research and Development Program of ChinaProject(62273357)supported by the National Natural Science Foundation of China。
文摘The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in future low carbon societies.However,uncertainties from renewable energy and load variability threaten system safety and economy.Conventional chance-constrained programming(CCP)ensures reliable operation by limiting risk.However,increasing source-load uncertainties that can render CCP models infeasible and exacerbate operational risks.To address this,this paper proposes a risk-adjustable chance-constrained goal programming(RACCGP)model,integrating CCP and goal programming to balance risk and cost based on system risk assessment.An intelligent nonlinear goal programming method based on the state transition algorithm(STA)is developed,along with an improved discretized step transformation,to handle model nonlinearity and enhance computational efficiency.Experimental results show that the proposed model reduces costs while controlling risk compared to traditional CCP,and the solution method outperforms average sample sampling in efficiency and solution quality.
基金supported by the National Natural Science Foundation of China(No.62203256)。
文摘Generating dynamically feasible trajectory for fixed-wing Unmanned Aerial Vehicles(UAVs)in dense obstacle environments remains computationally intractable.This paper proposes a Safe Flight Corridor constrained Sequential Convex Programming(SFC-SCP)to improve the computation efficiency and reliability of trajectory generation.SFC-SCP combines the front-end convex polyhedron SFC construction and back-end SCP-based trajectory optimization.A Sparse A^(*)Search(SAS)driven SFC construction method is designed to efficiently generate polyhedron SFC according to the geometric relation among obstacles and collision-free waypoints.Via transforming the nonconvex obstacle-avoidance constraints to linear inequality constraints,SFC can mitigate infeasibility of trajectory planning and reduce computation complexity.Then,SCP casts the nonlinear trajectory optimization subject to SFC into convex programming subproblems to decrease the problem complexity.In addition,a convex optimizer based on interior point method is customized,where the search direction is calculated via successive elimination to further improve efficiency.Simulation experiments on dense obstacle scenarios show that SFC-SCP can generate dynamically feasible safe trajectory rapidly.Comparative studies with state-of-the-art SCP-based methods demonstrate the efficiency and reliability merits of SFC-SCP.Besides,the customized convex optimizer outperforms off-the-shelf optimizers in terms of computation time.
基金supported by Canada First Research Excellence Fund,Medicine by Design(to CMM)。
文摘Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.
基金supported by National Institute on Aging(NIH-NIA)R21 AG074152(to KMA)National Institute of Allergy and Infectious Diseases(NIAID)grant DP2 AI171150(to KMA)Department of Defense(DoD)grant AZ210089(to KMA)。
文摘The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functioning(Soles et al.,2023).Synthesized by neural and glial cells,the brain's ECM regulates a myriad of homeostatic cellular processes,including neuronal plasticity and firing(Miyata et al.,2012),cation buffering(Moraws ki et al.,2015),and glia-neuron interactions(Anderson et al.,2016).Considering the diversity of functions,dynamic remodeling of the brain's ECM indicates that this understudied medium is an active participant in both normal physiology and neurological diseases.
基金funded by the National Natural Science Foundation of China(52167013)the Key Program of Natural Science Foundation of Gansu Province(24JRRA225)Natural Science Foundation of Gansu Province(23JRRA891).
文摘In the context of the“dual carbon”goals,to address issues such as high energy consumption,high costs,and low power quality in the rapid development of electrified railways,this study focused on the China Railways High-Speed 5 Electric Multiple Unit and proposed a mathematical model and capacity optimization method for an onboard energy storage system using lithium batteries and supercapacitors as storage media.Firstly,considering the electrical characteristics,weight,and volume of the storage media,a mathematical model of the energy storage system was established.Secondly,to tackle problems related to energy consumption and power quality,an energy management strategy was proposed that comprehensively considers peak shaving and valley filling and power quality by controlling the charge/discharge thresholds of the storage system.Thecapacity optimization adopted a bilevel programming model,with the series/parallel number of storage modules as variables,considering constraints imposed by the Direct Current to Direct Current converter,train load,and space.An improved Particle Swarm Optimization algorithm and linear programming solver were used to solve specific cases.The results show that the proposed onboard energy storage system can effectively achieve energy savings,reduce consumption,and improve power qualitywhile meeting the load and space limitations of the train.
基金Education and Teaching Research Project of Beijing University of Technology(ER2024KCB08)。
文摘With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply explored the application principles,advantages,and limitations of AIGC in intelligent code generation,analyzed the new mode of human-computer collaboration in high-level language programming courses driven by AIGC,discussed the impact of human-computer collaboration on programming efficiency and code quality through practical case studies,and looks forward to future development trends.This research aims to provide theoretical and practical guidance for high-level language programming courses and promote innovative development of high-level language programming courses under the human-computer collaboration paradigm.
文摘Integral reinforcement learning(IRL)is an effective tool for solving optimal control problems of nonlinear systems,and it has been widely utilized in optimal controller design for solving discrete-time nonlinearity.However,solving the Hamilton-Jacobi-Bellman(HJB)equations for nonlinear systems requires precise and complicated dynamics.Moreover,the research and application of IRL in continuous-time(CT)systems must be further improved.To develop the IRL of a CT nonlinear system,a data-based adaptive neural dynamic programming(ANDP)method is proposed to investigate the optimal control problem of uncertain CT multi-input systems such that the knowledge of the dynamics in the HJB equation is unnecessary.First,the multi-input model is approximated using a neural network(NN),which can be utilized to design an integral reinforcement signal.Subsequently,two criterion networks and one action network are constructed based on the integral reinforcement signal.A nonzero-sum Nash equilibrium can be reached by learning the optimal strategies of the multi-input model.In this scheme,the NN weights are constantly updated using an adaptive algorithm.The weight convergence and the system stability are analyzed in detail.The optimal control problem of a multi-input nonlinear CT system is effectively solved using the ANDP scheme,and the results are verified by a simulation study.
基金supported in part by the National Natural Science Foundation of China (62422405, 62025111,62495100, 92464302)the STI 2030-Major Projects(2021ZD0201200)+1 种基金the Shanghai Municipal Science and Technology Major Projectthe Beijing Advanced Innovation Center for Integrated Circuits
文摘Computing-in-memory(CIM)has been a promising candidate for artificial-intelligent applications thanks to the absence of data transfer between computation and storage blocks.Resistive random access memory(RRAM)based CIM has the advantage of high computing density,non-volatility as well as high energy efficiency.However,previous CIM research has predominantly focused on realizing high energy efficiency and high area efficiency for inference,while little attention has been devoted to addressing the challenges of on-chip programming speed,power consumption,and accuracy.In this paper,a fabri-cated 28 nm 576K RRAM-based CIM macro featuring optimized on-chip programming schemes is proposed to address the issues mentioned above.Different strategies of mapping weights to RRAM arrays are compared,and a novel direct-current ADC design is designed for both programming and inference stages.Utilizing the optimized hybrid programming scheme,4.67×programming speed,0.15×power saving and 4.31×compact weight distribution are realized.Besides,this macro achieves a normalized area efficiency of 2.82 TOPS/mm2 and a normalized energy efficiency of 35.6 TOPS/W.
文摘More than seventy years before airplanes were invented,a twelve⁃year⁃old girl named Ada Lovelace dreamed of flying.She studied birds and experimented with materials to make wings,even writing a guide called Flyology.But her curiosity didnt stop there.
基金Education and Teaching Research Project of Beijing University of Technology(ER2024KCB08)。
文摘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.
基金Financial support from the National Natural Science Foundation of China under Grant(22393954 and 22078358)is gratefully acknowledged.
文摘Steam power systems(SPSs)in industrial parks are the typical utility systems for heat and electricity supply.In SPSs,electricity is generated by steam turbines,and steam is generally produced and supplied at multiple levels to serve the heat demands of consumers with different temperature grades,so that energy is utilized in cascade.While a large number of steam levels enhances energy utilization efficiency,it also tends to cause a complex steam pipeline network in the industrial park.In practice,a moderate number of steam levels is always adopted in SPSs,leading to temperature mismatches between heat supply and demand for some consumers.This study proposes a distributed steam turbine system(DSTS)consisting of main steam turbines on the energy supply side and auxiliary steam turbines on the energy consumption side,aiming to balance the heat production costs,the distance-related costs,and the electricity generation of SPSs in industrial parks.A mixed-integer nonlinear programming model is established for the optimization of SPSs,with the objective of minimizing the total annual cost(TAC).The optimal number of steam levels and the optimal configuration of DSTS for an industrial park can be determined by solving the model.A case study demonstrates that the TAC of the SPS is reduced by 220.6×10^(3)USD(2.21%)through the arrangement of auxiliary steam turbines.The sub-optimal number of steam levels and a non-optimal operating condition slightly increase the TAC by 0.46%and 0.28%,respectively.The sensitivity analysis indicates that the optimal number of steam levels tends to decrease from 3 to 2 as electricity price declines.
基金funded by Xinjiang Natural Science Foundation of China(2023D01C52)University Key Project(2023YSZD004).
文摘With the continuous advancement of the New Engineering Education initiative,universities are raising the standards for cultivating engineering talents.C Programming Language,as a core course for computer science and related majors,plays a fundamental role in developing logical thinking,programming skills,and engineering practice.However,problems such as outdated content,weak practical connections,and single assessment methods still exist in current teaching,which affects both learning outcomes and students’skill development.Based on the outcome-based education(OBE)approach and supported by AI-assisted teaching tools,this paper proposes a reform plan focusing on teaching content,instructional methods,and evaluation systems.The goal is to enhance students’overall abilities and practical innovation skills,and to align the course more closely with modern industry needs.
基金partially supported by Korea Electrotechnology Research Institute(KERI)Primary research program through the National Research Council of Science&Technology(NST)funded by the Ministry of Science and ICT(MSIT)(No.25A01038)partially supported by the National Research Foundation of Korea(NRF)grant funded by the Korea government(MSIT)(No.RS-2024-00218377).
文摘In this paper,a strength-constrained unit commitment(UC)model incorporating system strength constraints based on the weighted short-circuit ratio(WSCR)is proposed.This model facilitates the comprehensive assessment of area-wide system strength in power systems with high inverter-based resource(IBR)penetration,thereby contributing to the mitigation of weak grid issues.Unlike traditional models,this approach considers the interactions among multiple IBRs.The UC problem is initially formulated as a mixed-integer nonlinear programming(MINLP)model,reflecting WSCR and bus impedance matrix modification constraints.To enhance computational tractability,the model is transformed into a mixed-integer linear programming(MILP)form.The effectiveness of the proposed approach is validated through simulations on the IEEE 5-bus,IEEE 39-bus,and a modified Korean power system,demonstrating the ability of the proposed UC model enhancing system strength compared to the conventional methodologies.
基金supported by grants from the National Key Research and Development Program of China(2020YFA0803900)the National Natural Science Foundation of China(U23A20407,82414020,81703631)the Hubei Provincial Natural Science Foundation of China(2024AFB742)。
文摘Prenatal caffeine exposure(PCE)leads to intrauterine growth retardation and altered glucose homeostasis after birth,but the underlying mechanism remains unclear.This study aims to investigate the alteration of pancreatic development and insulin biosynthesis in the PCE female offspring and explore the intrauterine programming mechanism.Pregnant rats were orally treated with 120 mg/(kg·day)of caffeine from gestational day(GD)9 to 20.Results showed that fetal pancreaticβ-cells in the PCE group exhibited reduced mass and impaired insulin synthesis function,as evidenced by decreased expression of developmental and functional genes and reduced pancreatic insulin content.At postnatal week(PW)12,the PCE offspring exhibited glucose intolerance,diminishedβ-cell mass,and lower blood insulin levels.However,by PW28,glucose tolerance showed some improvement.Both in vivo and in vitro findings collectively indicated that excessive serum corticosterone(CORT)levels of the PCE fetuses may act through the activation of the pancreatic glucocorticoid receptor(GR)and recruitment of histone deacetylase 9(HDAC9),leading to H3K9 deacetylation in promoter and downregulation of insulin-like growth factor 1(IGF1),thereby inhibiting pancreatic islet morphogenesis and insulin synthesis in fetal rats.Furthermore,the PCE offspring after birth exhibited decreased blood CORT levels,increased H3K9 acetylation in promoter and upregulated gene expression of the pancreatic IGF1 promoter region,accompanied by elevated insulin biosynthesis.However,when exposed to chronic stress,the above changes were totally reversed.Conclusively,“glucocorticoid-insulin like growth factor 1(GC-IGF1)axis”programming may be involved in pancreaticβ-cell dysplasia and dysfunction in the PCE female offspring.
文摘This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives.
文摘Evolutionary algorithms have been extensively utilized in practical applications.However,manually designed population updating formulas are inherently prone to the subjective influence of the designer.Genetic programming(GP),characterized by its tree-based solution structure,is a widely adopted technique for optimizing the structure of mathematical models tailored to real-world problems.This paper introduces a GP-based framework(GPEAs)for the autonomous generation of update formulas,aiming to reduce human intervention.Partial modifications to tree-based GP have been instigated,encompassing adjustments to its initialization process and fundamental update operations such as crossover and mutation within the algorithm.By designing suitable function sets and terminal sets tailored to the selected evolutionary algorithm,and ultimately derive an improved update formula.The Cat Swarm Optimization Algorithm(CSO)is chosen as a case study,and the GP-EAs is employed to regenerate the speed update formulas of the CSO.To validate the feasibility of the GP-EAs,the comprehensive performance of the enhanced algorithm(GP-CSO)was evaluated on the CEC2017 benchmark suite.Furthermore,GP-CSO is applied to deduce suitable embedding factors,thereby improving the robustness of the digital watermarking process.The experimental results indicate that the update formulas generated through training with GP-EAs possess excellent performance scalability and practical application proficiency.
基金supported by the National Natural Science Foundation of China(No.92371206)the Postgraduate Scientific Research Innovation Project of Hunan Province,China(No.CX2023063).
文摘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.
基金supported in part by the European Regional Development Fund under Grant KK.01.1.1.01.0009(DATACROSS).
文摘This paper deals with reduction of losses in electric power distribution system through a dynamic reconfiguration case study of a grid in the city of Mostar,Bosnia and Herzegovina.The proposed solution is based on a nonlinear model predictive control algorithm which determines the optimal switching operations of the distribution system.The goal of the control algorithm is to find the optimal radial network topology which minimizes cumulative active power losses and maximizes voltages across the network while simultaneously satisfying all system constraints.The optimization results are validated through multiple simulations(using real power demand data collected for a few characteristic days during winter and summer)which demonstrate the efficiency and usefulness of the developed control algorithm in reducing the grid losses by up to 14%.
基金Project supported by the National Natural Science Foundation of China (Grant No. 62103408)Beijing Nova Program (Grant No. 20240484516)the Fundamental Research Funds for the Central Universities (Grant No. KG16314701)。
文摘The paper develops a robust control approach for nonaffine nonlinear continuous systems with input constraints and unknown uncertainties. Firstly, this paper constructs an affine augmented system(AAS) within a pre-compensation technique for converting the original nonaffine dynamics into affine dynamics. Secondly, the paper derives a stability criterion linking the original nonaffine system and the auxiliary system, demonstrating that the obtained optimal policies from the auxiliary system can achieve the robust controller of the nonaffine system. Thirdly, an online adaptive dynamic programming(ADP) algorithm is designed for approximating the optimal solution of the Hamilton–Jacobi–Bellman(HJB) equation.Moreover, the gradient descent approach and projection approach are employed for updating the actor-critic neural network(NN) weights, with the algorithm's convergence being proven. Then, the uniformly ultimately bounded stability of state is guaranteed. Finally, in simulation, some examples are offered for validating the effectiveness of this presented approach.
文摘As one of the core courses for computer-related majors,the Python programming course has become increasingly important in the era of artificial intelligence.It aims to help students develop good computer thinking and improve their abilities in programming and data analysis.The application of artificial intelligence technology in the teaching of Python programming courses is of great significance for optimizing the allocation of teaching resources,enriching students’learning experience,and significantly improving teaching quality.Based on this,this paper first briefly expounds on the importance of applying artificial intelligence technology in the teaching of Python programming courses.On this basis,it focuses on exploring effective strategies for the teaching reform of Python programming courses based on artificial intelligence technology,hoping to provide new ideas for the teaching of Python programming courses and contribute to cultivating more Python programming talents with artificial intelligence literacy.
