Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a ...Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a solid data foundation when attempting to improve the error feedback mechanisms.This paper makes a survey of 834 students across various programming courses and investigates student perceptions of error feedback mechanisms on online programming platforms.It explores the effectiveness of existing feedback,student satisfaction,and preferences for potential improvements,focusing on automatic error localization and program repair mechanisms.Results reveal a significant portion of students are dissatisfied with current feedback due to its limited informativeness.Students also express a clear demand for stronger feedback mechanisms,such as error localization and repair hints.Nevertheless,they prefer feedback that subtly guides them toward solutions,rather than providing direct and explicit answers,valuing the opportunity to enhance their debugging skills.The findings suggest a need for balanced,educational-focused feedback mechanisms that aid learning while promoting independent problem-solving.展开更多
The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programmi...The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programming(LGP)has been developed for a full-scale annular ramjet combustor.The LGP is used to generate control laws that include multi-frequency forcing.These laws are then transformed into square waves to actuate the solenoid valve,which modulates the kerosene supply for open-loop control.The results show that the duty cycle has little effect on instability amplitude,whereas an increase in frequency leads to a remarked reduction in combustion amplitude.After five generations evolvements,the pressure amplitude is reduced by 40.6% under the optimal control law generated by LGP.Furthermore,the machine learning process is depicted using a proximity map of control law similarity,with the search pathway visualized by the steepest descent.All individuals go forward to the upper left corner of the map with the evolution process,terminating at the optimal individual of the fifth generation.展开更多
Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disruptin...Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.展开更多
In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,w...In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.展开更多
With the widespread application of combined heat and power(CHP)units,the economic dispatch of integrated electric and district heating systems(IEHSs)has drawn increasing attention.Because the electric power system(EPS...With the widespread application of combined heat and power(CHP)units,the economic dispatch of integrated electric and district heating systems(IEHSs)has drawn increasing attention.Because the electric power system(EPS)and district heating system(DHS)are generally managed separately,the decentralized dispatch pattern is preferable for the IEHS dispatch problem.However,many common decentralized methods suffer from the drawbacks of slow and local convergence.Moreover,the uncertainties of renewable generation cannot be ignored in a decentralized pattern.Additionally,the most commonly used individual chance constraints in distributionally robust optimization cannot consider safety constraints simultaneously,so the safe operation of an IEHS cannot be guaranteed.Thus,distributionally robust joint chance constraints and robust constraints are jointly introduced into the IEHS dispatch problem in this paper to obtain a stronger safety guarantee,and a method combined with Bonferroni and conditional value at risk(CVaR)approximation is presented to transform the original model into a quadratic program.Additionally,a dynamic boundary response(DBR)-based distributed algorithm based on multiparametric programming is proposed for a fast solution.Case studies showcase the necessity of using mixed distributionally robust joint chance constraints and robust constraints,as well as the effectiveness of the DBR algorithm.展开更多
Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,compl...Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,complex,untethered,and rapid deformations.However,current MRC-based devices primarily rely on soft matrices,which revert to their original shapes and cease functioning when external magnetic fields are removed.Moreover,their magnetization programming,deformations,and functioning need to alternate between encoding and actuation platforms,limiting the adaptability and efficiency.Here,we present a reprogrammable magnetic shape-memory composite(RM-SMC)integrating a shape-memory polymer(SMP)skeleton with phase-transition magnetic microcapsules.High-intensity laser melts microcapsules for magnetic realignment under programmed fields,while low-intensity laser softens SMP for structural reconfiguration without compromising integrity.This dual-laser strategy facilitates in situ magnetization programming,shape morphing,and function execution within a single material system.Our innovative approach enables unique applications,including omnidirectional multi-degree-of-freedom actuators that can activate light switches,solar trackers that optimize energy capture,and adaptive impellers that modulate fluid pumping.By eliminating platform alternation and enabling shape/function retention post-actuation,the RM-SMC platform overcomes critical limitations in conventional MRCs,establishing a paradigm for multifunctional devices requiring persistent configuration control and field-independent operation.展开更多
This paper focuses on the leader-following positive consensus problems of heterogeneous switched multi-agent systems.First,a state-feedback controller with dynamic compensation is introduced to achieve positive consen...This paper focuses on the leader-following positive consensus problems of heterogeneous switched multi-agent systems.First,a state-feedback controller with dynamic compensation is introduced to achieve positive consensus under average dwell time switching.Then sufficient conditions are derived to guarantee the positive consensus.The gain matrices of the control protocol are described using a matrix decomposition approach and the corresponding computational complexity is reduced by resorting to linear programming and co-positive Lyapunov functions.Finally,two numerical examples are provided to illustrate the results obtained.展开更多
To systematically elucidate the central role of the cardiac autonomic nervous system(ANS)in maintaining cardiovascular homeostasis,analyze the pathological mechanisms underlying its dysregulation,integrate multidiscip...To systematically elucidate the central role of the cardiac autonomic nervous system(ANS)in maintaining cardiovascular homeostasis,analyze the pathological mechanisms underlying its dysregulation,integrate multidisciplinary research findings from the U.S.stimulating peripheral nerves to alleviate disease symptoms(SPARC)program,and evaluate the unique advantages and current limitations of acupuncture in modulating cardiac ANS function,ultimately proposing novel strategies for the prevention and treatment of cardiovascular diseases.A systematic literature review was conducted to synthesize current knowledge on the fundamental regulatory mechanisms of the cardiac ANS,the SPARC program's innovative contributions to neuroanatomy and neural pathway mapping,as well as clinical and experimental evidence supporting acupuncture's modulation of the ANS.The SPARC program has made significant progress in elucidating the anatomical organization and neural circuitry of the cardiac ANS through interdisciplinary collaboration,offering novel insights and methodological frameworks for studying cardiac autonomic regulation.Acupuncture,as a cornerstone of traditional medicine,has demonstrated both specificity and multi-target regulatory effects on the cardiac ANS through clinical and experimental studies.However,challenges remain,including an incomplete mechanistic understanding,technical limitations in research methodologies,and difficulties in translating findings into clinical practice.Future research on acupuncture should build upon its inherent strengths while advancing its integration with modern scientific and technological approaches.Strengthening interdisciplinary collaboration and leveraging artificial intelligence can open new frontiers in mechanistic exploration and technological innovation.These efforts will facilitate the internationalization of acupuncture research and contribute innovative perspectives and therapeutic strategies for cardiovascular disease prevention and treatment.展开更多
During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive...During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive distance)to a moving target as quickly as possible,resulting in the extended minimum-time intercept problem(EMTIP).Existing research has primarily focused on the zero-distance intercept problem,MTIP,establishing the necessary or sufficient conditions for MTIP optimality,and utilizing analytic algorithms,such as root-finding algorithms,to calculate the optimal solutions.However,these approaches depend heavily on the properties of the analytic algorithm,making them inapplicable when problem settings change,such as in the case of a positive effective range or complicated target motions outside uniform rectilinear motion.In this study,an approach employing a high-accuracy and quality-guaranteed mixed-integer piecewise-linear program(QG-PWL)is proposed for the EMTIP.This program can accommodate different effective interception ranges and complicated target motions(variable velocity or complicated trajectories).The high accuracy and quality guarantees of QG-PWL originate from elegant strategies such as piecewise linearization and other developed operation strategies.The approximate error in the intercept path length is proved to be bounded to h^(2)/(4√2),where h is the piecewise length.展开更多
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.展开更多
In this article,a novel model-free coordinated optimal regulation design methodology is proposed for the rigidly connected dual permanent magnet synchronous motor(PMSM)system via adaptive dynamic programming(ADP).Firs...In this article,a novel model-free coordinated optimal regulation design methodology is proposed for the rigidly connected dual permanent magnet synchronous motor(PMSM)system via adaptive dynamic programming(ADP).First,we adopt the classical master-slave structure to maintain torque synchronization by virtue of field-oriented control.Then,a reducedorder model of the dual-PMSM system is established through the application of singular perturbation theory(SPT),which is of significance to decrease the learning time and computational complexity in the outer speed loop design.Afterwards,we design a coordinated adaptive optimal regulator in framework of ADP to drive the speed of girth gear asymptotic tracking the reference signal and accommodate the load torque disturbance,which is independent of the knowledge of model parameters of the system.According to SPT,we analyze the suboptimality,closed-loop stability,and robustness properties of the obtained controller under mild conditions.Finally,comprehensive experimental studies are provided to verify that the proposed control strategy can achieve the speed regulation and the torque synchronization,as well as ameliorate the transient response.展开更多
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.展开更多
Off-line programming （OLP） system becomes one of the most important programming modules for the robotic belt grinding process, however there lacks research on increasing the grinding dexterous space depending on the...Off-line programming （OLP） system becomes one of the most important programming modules for the robotic belt grinding process, however there lacks research on increasing the grinding dexterous space depending on the OLP system. A new type of grinding robot and a novel robotic belt grinding workcell are forwarded, and their features are briefly introduced. An open and object-oriented off-line programming system is developed for this robotic belt grinding system. The parameters of the trimmed surface are read from the initial graphics exchange specification （IGES） file of the CAD model of the workpiece. The deBoor-Cox basis function is used to sample the grinding target with local contact frame on the workpiece. The numerical formula of inverse kinematics is set up based on Newton＇s iterative procedure, to calculate the grinding robot configurations corresponding to the grinding targets. After the grinding path is obtained, the OLP system turns to be more effective than the teach-by-showing system. In order to improve the grinding workspace, an optimization algorithm for dynamic tool frame is proposed and performed on the special robotic belt grinding system. The initial tool frame and the interval of neighboring tool frames are defined as the preparation of the algorithm. An optimized tool local frame can be selected to grind the complex surface for a maximum dexterity index of the robot. Under the optimization algorithm, a simulation of grinding a vane is included and comparison of grinding workspace is done before and after the tool frame optimization. By the algorithm, the grinding workspace can be enlarged. Moreover the dynamic tool frame can be considered to add one degree-of-freedom to the grinding kinematical chain, which provides the theoretical support for the improvement of robotic dexterity for the complex surface grinding.展开更多
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.展开更多
Recent research on deterministic methods for circulating cooling water systems optimization has been well developed. However, the actual operating conditions of the system are mostly variable, so the system obtained u...Recent research on deterministic methods for circulating cooling water systems optimization has been well developed. However, the actual operating conditions of the system are mostly variable, so the system obtained under deterministic conditions may not be stable and economical. This paper studies the optimization of circulating cooling water systems under uncertain circumstance. To improve the reliability of the system and reduce the water and energy consumption, the influence of different uncertain parameters is taken into consideration. The chance constrained programming method is used to build a model under uncertain conditions, where the confidence level indicates the degree of constraint violation. Probability distribution functions are used to describe the form of uncertain parameters. The objective is to minimize the total cost and obtain the optimal cooling network configuration simultaneously.An algorithm based on Monte Carlo method is proposed, and GAMS software is used to solve the mixed integer nonlinear programming model. A case is optimized to verify the validity of the model. Compared with the deterministic optimization method, the results show that when considering the different types of uncertain parameters, a system with better economy and reliability can be obtained(total cost can be reduced at least 2%).展开更多
This paper deals with the estimation of crest settlement in a concrete face rockfill dam （CFRD）, utilizing intelligent methods. Following completion of dam construction, considerable movements of the crest and the b...This paper deals with the estimation of crest settlement in a concrete face rockfill dam （CFRD）, utilizing intelligent methods. Following completion of dam construction, considerable movements of the crest and the body of the dam can develop during the first impoundment of the reservoir. Although there is vast experience worldwide in CFRD design and construction, few accurate experimental relationships are available to predict the settlement in CFRD. The goal is to advance the development of intelligent methods to estimate the subsidence of dams at the design stage. Due to dam zonifieation and uncertainties in material properties, these methods appear to be the appropriate choice. In this study, the crest settlement behavior of CFRDs is analyzed based on compiled data of 24 CFRDs constructed during recent years around the world, along with the utilization of gene ex- pression programming （GEP） and adaptive neuro-fuzzy inference system （ANFIS） methods. In addition, dam height （H）, shape factor （St）, and time （t, time after first operation） are also assessed, being considered major factors in predicting the settlement behavior. From the relationships proposed, the values ofR2 for both equations of GEP （with and without constant） were 0.9603 and 0.9734, and for the three approaches of ANFIS （grid partitioning （GP）, subtractive clustering method （SCM）, and fuzzy c-means clustering （FCM）） were 0.9693, 0.8657, and 0.8848, respectively. The obtained results indicate that the overall behavior evaluated by this approach is consistent with the measured data of other CFRDs.展开更多
Due to the small size,active mobility,and intrinsic softness,miniature soft robots hold promising po-tentials in reaching the deep region inside living bodies otherwise inaccessible with compelling agility,adaptabilit...Due to the small size,active mobility,and intrinsic softness,miniature soft robots hold promising po-tentials in reaching the deep region inside living bodies otherwise inaccessible with compelling agility,adaptability and safety.Various materials and actuation strategies have been developed for creating soft robots,among which,ferromagnetic soft materials that self-actuate in response to external magnetic fields have attracted worldwide attention due to their remote controllability and excellent compatibil-ity with biological tissues.This review presents comprehensive and systematic research advancements in the design,fabrication,and applications of ferromagnetic soft materials for miniature robots,providing in-sights into their potential use in biomedical fields and beyond.The programming strategies of ferromag-netic soft materials are summarized and classified,including mold-assisted programming,3D printing-assisted programming,microassembly-assisted programming,and magnetization reprogramming.Each approach possesses unique advantages in manipulating the magnetic responsiveness of ferromagnetic soft materials to achieve outstanding actuation and deformation performances.We then discuss the biomedi-cal applications of ferromagnetic soft material-based soft robots(e.g.,minimally invasive surgery,targeted delivery,and tissue engineering),highlighting their potentials in revolutionizing biomedical technologies.This review also points out the current challenges and provides insights into future research directions,which we hope can serve as a useful reference for the development of next-generation adaptive miniature robots.展开更多
Learning-based methods have become mainstream for solving residential energy scheduling problems. In order to improve the learning efficiency of existing methods and increase the utilization of renewable energy, we pr...Learning-based methods have become mainstream for solving residential energy scheduling problems. In order to improve the learning efficiency of existing methods and increase the utilization of renewable energy, we propose the Dyna actiondependent heuristic dynamic programming(Dyna-ADHDP)method, which incorporates the ideas of learning and planning from the Dyna framework in action-dependent heuristic dynamic programming. This method defines a continuous action space for precise control of an energy storage system and allows online optimization of algorithm performance during the real-time operation of the residential energy model. Meanwhile, the target network is introduced during the training process to make the training smoother and more efficient. We conducted experimental comparisons with the benchmark method using simulated and real data to verify its applicability and performance. The results confirm the method's excellent performance and generalization capabilities, as well as its excellence in increasing renewable energy utilization and extending equipment life.展开更多
This paper studies data-driven learning-based methods for the finite-horizon optimal control of linear time-varying discretetime systems. First, a novel finite-horizon Policy Iteration (PI) method for linear time-vary...This paper studies data-driven learning-based methods for the finite-horizon optimal control of linear time-varying discretetime systems. First, a novel finite-horizon Policy Iteration (PI) method for linear time-varying discrete-time systems is presented. Its connections with existing in finite-horizon PI methods are discussed. Then, both data-drive n off-policy PI and Value Iteration (VI) algorithms are derived to find approximate optimal controllers when the system dynamics is completely unknown. Under mild conditions, the proposed data-driven off-policy algorithms converge to the optimal solution. Finally, the effectiveness and feasibility of the developed methods are validated by a practical example of spacecraft attitude control.展开更多
基金supported by the National Natural Science Foundation of China under Grant No.92582204,No.62577007,and No.62177003the Fundamental Research Funds for the Central Universities under Grant No.JKF-2025011975129.
文摘Online programming platforms are popular in programming education.However,there has been no research investigating students’real opinions and expectations of the error feedback mechanisms,leaving educators without a solid data foundation when attempting to improve the error feedback mechanisms.This paper makes a survey of 834 students across various programming courses and investigates student perceptions of error feedback mechanisms on online programming platforms.It explores the effectiveness of existing feedback,student satisfaction,and preferences for potential improvements,focusing on automatic error localization and program repair mechanisms.Results reveal a significant portion of students are dissatisfied with current feedback due to its limited informativeness.Students also express a clear demand for stronger feedback mechanisms,such as error localization and repair hints.Nevertheless,they prefer feedback that subtly guides them toward solutions,rather than providing direct and explicit answers,valuing the opportunity to enhance their debugging skills.The findings suggest a need for balanced,educational-focused feedback mechanisms that aid learning while promoting independent problem-solving.
基金support from the National Natural Science Foundation of China(No.12002372)the Young Elite Scientists Sponsorship Program by China Association for Science and Technology(No.2022QNRC001)the Natural Science Foundation of Hunan Province,China(No.2021JJ40674)。
文摘The operational demands of a wide range significantly exacerbate combustion instability issues within ramjet combustor.To suppress combustion oscillations,an open-loop control system utilizing Linear Genetic Programming(LGP)has been developed for a full-scale annular ramjet combustor.The LGP is used to generate control laws that include multi-frequency forcing.These laws are then transformed into square waves to actuate the solenoid valve,which modulates the kerosene supply for open-loop control.The results show that the duty cycle has little effect on instability amplitude,whereas an increase in frequency leads to a remarked reduction in combustion amplitude.After five generations evolvements,the pressure amplitude is reduced by 40.6% under the optimal control law generated by LGP.Furthermore,the machine learning process is depicted using a proximity map of control law similarity,with the search pathway visualized by the steepest descent.All individuals go forward to the upper left corner of the map with the evolution process,terminating at the optimal individual of the fifth generation.
基金financially supported by Ministerio de Ciencia e Innovación projects SAF2017-82736-C2-1-R to MTMFin Universidad Autónoma de Madrid and by Fundación Universidad Francisco de Vitoria to JS+2 种基金a predoctoral scholarship from Fundación Universidad Francisco de Vitoriafinancial support from a 6-month contract from Universidad Autónoma de Madrida 3-month contract from the School of Medicine of Universidad Francisco de Vitoria。
文摘Every year, around the world, between 250,000 and 500,000 people suffer a spinal cord injury(SCI). SCI is a devastating medical condition that arises from trauma or disease-induced damage to the spinal cord, disrupting the neural connections that allow communication between the brain and the rest of the body, which results in varying degrees of motor and sensory impairment. Disconnection in the spinal tracts is an irreversible condition owing to the poor capacity for spontaneous axonal regeneration in the affected neurons.
基金Supported by the National Natural Science Foundation of China(Grant Nos.12571317 and 12071133).
文摘In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.
基金supported by National Natural Science Foundation of China(52377107,52007105)and the Taishan Scholars Program.
文摘With the widespread application of combined heat and power(CHP)units,the economic dispatch of integrated electric and district heating systems(IEHSs)has drawn increasing attention.Because the electric power system(EPS)and district heating system(DHS)are generally managed separately,the decentralized dispatch pattern is preferable for the IEHS dispatch problem.However,many common decentralized methods suffer from the drawbacks of slow and local convergence.Moreover,the uncertainties of renewable generation cannot be ignored in a decentralized pattern.Additionally,the most commonly used individual chance constraints in distributionally robust optimization cannot consider safety constraints simultaneously,so the safe operation of an IEHS cannot be guaranteed.Thus,distributionally robust joint chance constraints and robust constraints are jointly introduced into the IEHS dispatch problem in this paper to obtain a stronger safety guarantee,and a method combined with Bonferroni and conditional value at risk(CVaR)approximation is presented to transform the original model into a quadratic program.Additionally,a dynamic boundary response(DBR)-based distributed algorithm based on multiparametric programming is proposed for a fast solution.Case studies showcase the necessity of using mixed distributionally robust joint chance constraints and robust constraints,as well as the effectiveness of the DBR algorithm.
基金supported by the National Natural Science Foundation of China(Nos.52075516,61927814,62325507,and 52122511)the National Key Research and Development Program of China(No.2021YFF0502700)+2 种基金the Major Scientific and Technological Projects in Anhui Province(202103a05020005,202203a05020014)the Students’Innovation and Entrepreneurship Foundation of USTC(CY2022G09)the Hefei Municipal Natural Science Foundation(No.HZR2450)。
文摘Programmable/reprogrammable magneto-responsive composites(MRCs)are highly desirable for applications in soft robotics,morphable actuators,and biomedical devices due to their capabilities of undergoing reversible,complex,untethered,and rapid deformations.However,current MRC-based devices primarily rely on soft matrices,which revert to their original shapes and cease functioning when external magnetic fields are removed.Moreover,their magnetization programming,deformations,and functioning need to alternate between encoding and actuation platforms,limiting the adaptability and efficiency.Here,we present a reprogrammable magnetic shape-memory composite(RM-SMC)integrating a shape-memory polymer(SMP)skeleton with phase-transition magnetic microcapsules.High-intensity laser melts microcapsules for magnetic realignment under programmed fields,while low-intensity laser softens SMP for structural reconfiguration without compromising integrity.This dual-laser strategy facilitates in situ magnetization programming,shape morphing,and function execution within a single material system.Our innovative approach enables unique applications,including omnidirectional multi-degree-of-freedom actuators that can activate light switches,solar trackers that optimize energy capture,and adaptive impellers that modulate fluid pumping.By eliminating platform alternation and enabling shape/function retention post-actuation,the RM-SMC platform overcomes critical limitations in conventional MRCs,establishing a paradigm for multifunctional devices requiring persistent configuration control and field-independent operation.
基金supported by the National Natural Science Foundation of China(62463007,62463005)the Natural Science Foundation of Hainan Province(625RC710,625MS047)+1 种基金the System Control and Information Processing Education Ministry Key Laboratory Open Funding,China(Scip20240119)the Science Research Funding of Hainan University,China(KYQD(ZR)22180,KYQD(ZR)23180).
文摘This paper focuses on the leader-following positive consensus problems of heterogeneous switched multi-agent systems.First,a state-feedback controller with dynamic compensation is introduced to achieve positive consensus under average dwell time switching.Then sufficient conditions are derived to guarantee the positive consensus.The gain matrices of the control protocol are described using a matrix decomposition approach and the corresponding computational complexity is reduced by resorting to linear programming and co-positive Lyapunov functions.Finally,two numerical examples are provided to illustrate the results obtained.
基金supported by the National Natural Science Foundation of China(82174513)Fundamental Research Funds for the Central Public Welfare Research Institutes(ZZ-JQ2023003).
文摘To systematically elucidate the central role of the cardiac autonomic nervous system(ANS)in maintaining cardiovascular homeostasis,analyze the pathological mechanisms underlying its dysregulation,integrate multidisciplinary research findings from the U.S.stimulating peripheral nerves to alleviate disease symptoms(SPARC)program,and evaluate the unique advantages and current limitations of acupuncture in modulating cardiac ANS function,ultimately proposing novel strategies for the prevention and treatment of cardiovascular diseases.A systematic literature review was conducted to synthesize current knowledge on the fundamental regulatory mechanisms of the cardiac ANS,the SPARC program's innovative contributions to neuroanatomy and neural pathway mapping,as well as clinical and experimental evidence supporting acupuncture's modulation of the ANS.The SPARC program has made significant progress in elucidating the anatomical organization and neural circuitry of the cardiac ANS through interdisciplinary collaboration,offering novel insights and methodological frameworks for studying cardiac autonomic regulation.Acupuncture,as a cornerstone of traditional medicine,has demonstrated both specificity and multi-target regulatory effects on the cardiac ANS through clinical and experimental studies.However,challenges remain,including an incomplete mechanistic understanding,technical limitations in research methodologies,and difficulties in translating findings into clinical practice.Future research on acupuncture should build upon its inherent strengths while advancing its integration with modern scientific and technological approaches.Strengthening interdisciplinary collaboration and leveraging artificial intelligence can open new frontiers in mechanistic exploration and technological innovation.These efforts will facilitate the internationalization of acupuncture research and contribute innovative perspectives and therapeutic strategies for cardiovascular disease prevention and treatment.
基金supported by the National Natural Sci‐ence Foundation of China(Grant No.62306325)。
文摘During the use of robotics in applications such as antiterrorism or combat,a motion-constrained pursuer vehicle,such as a Dubins unmanned surface vehicle(USV),must get close enough(within a prescribed zero or positive distance)to a moving target as quickly as possible,resulting in the extended minimum-time intercept problem(EMTIP).Existing research has primarily focused on the zero-distance intercept problem,MTIP,establishing the necessary or sufficient conditions for MTIP optimality,and utilizing analytic algorithms,such as root-finding algorithms,to calculate the optimal solutions.However,these approaches depend heavily on the properties of the analytic algorithm,making them inapplicable when problem settings change,such as in the case of a positive effective range or complicated target motions outside uniform rectilinear motion.In this study,an approach employing a high-accuracy and quality-guaranteed mixed-integer piecewise-linear program(QG-PWL)is proposed for the EMTIP.This program can accommodate different effective interception ranges and complicated target motions(variable velocity or complicated trajectories).The high accuracy and quality guarantees of QG-PWL originate from elegant strategies such as piecewise linearization and other developed operation strategies.The approximate error in the intercept path length is proved to be bounded to h^(2)/(4√2),where h is the piecewise length.
基金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(62073327,62403467,62373090,62273350,62521001)the Natural Science Foundation of Jiangsu Province(BK20241635)+2 种基金the Postdoctoral Fellowship Program of China Postdoctoral Science Foundation(CPSF)(GZB20240827)Jiangsu Funding Program for Excellent Postdoctoral Talent(2024ZB604)the China Postdoctoral Science Foundation(2024M763545,2025T054ZGMK).
文摘In this article,a novel model-free coordinated optimal regulation design methodology is proposed for the rigidly connected dual permanent magnet synchronous motor(PMSM)system via adaptive dynamic programming(ADP).First,we adopt the classical master-slave structure to maintain torque synchronization by virtue of field-oriented control.Then,a reducedorder model of the dual-PMSM system is established through the application of singular perturbation theory(SPT),which is of significance to decrease the learning time and computational complexity in the outer speed loop design.Afterwards,we design a coordinated adaptive optimal regulator in framework of ADP to drive the speed of girth gear asymptotic tracking the reference signal and accommodate the load torque disturbance,which is independent of the knowledge of model parameters of the system.According to SPT,we analyze the suboptimality,closed-loop stability,and robustness properties of the obtained controller under mild conditions.Finally,comprehensive experimental studies are provided to verify that the proposed control strategy can achieve the speed regulation and the torque synchronization,as well as ameliorate the transient response.
基金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.
基金supported by National Hi-tech Research and Development Program of China (863 Program, Grant No. 2007AA04Z2443)State Key Laboratory for Man ufacturing Systems Engineering of Xi’an Jiaotong University of China
文摘Off-line programming （OLP） system becomes one of the most important programming modules for the robotic belt grinding process, however there lacks research on increasing the grinding dexterous space depending on the OLP system. A new type of grinding robot and a novel robotic belt grinding workcell are forwarded, and their features are briefly introduced. An open and object-oriented off-line programming system is developed for this robotic belt grinding system. The parameters of the trimmed surface are read from the initial graphics exchange specification （IGES） file of the CAD model of the workpiece. The deBoor-Cox basis function is used to sample the grinding target with local contact frame on the workpiece. The numerical formula of inverse kinematics is set up based on Newton＇s iterative procedure, to calculate the grinding robot configurations corresponding to the grinding targets. After the grinding path is obtained, the OLP system turns to be more effective than the teach-by-showing system. In order to improve the grinding workspace, an optimization algorithm for dynamic tool frame is proposed and performed on the special robotic belt grinding system. The initial tool frame and the interval of neighboring tool frames are defined as the preparation of the algorithm. An optimized tool local frame can be selected to grind the complex surface for a maximum dexterity index of the robot. Under the optimization algorithm, a simulation of grinding a vane is included and comparison of grinding workspace is done before and after the tool frame optimization. By the algorithm, the grinding workspace can be enlarged. Moreover the dynamic tool frame can be considered to add one degree-of-freedom to the grinding kinematical chain, which provides the theoretical support for the improvement of robotic dexterity for the complex surface grinding.
基金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 National Natural Science Foundation of China(61100159,61233007)National High Technology Research and Development Program of China(863 Program)(2011AA040103)+2 种基金Foundation of Chinese Academy of Sciences(KGCX2-EW-104)Financial Support of the Strategic Priority Research Program of Chinese Academy of Sciences(XDA06021100)the Cross-disciplinary Collaborative Teams Program for Science,Technology and Innovation,of Chinese Academy of Sciences-Network and System Technologies for Security Monitoring and Information Interaction in Smart Grid Energy Management System for Micro-smart Grid
基金Financial support from the National Natural Science Foundation of China (22022816, 22078358)。
文摘Recent research on deterministic methods for circulating cooling water systems optimization has been well developed. However, the actual operating conditions of the system are mostly variable, so the system obtained under deterministic conditions may not be stable and economical. This paper studies the optimization of circulating cooling water systems under uncertain circumstance. To improve the reliability of the system and reduce the water and energy consumption, the influence of different uncertain parameters is taken into consideration. The chance constrained programming method is used to build a model under uncertain conditions, where the confidence level indicates the degree of constraint violation. Probability distribution functions are used to describe the form of uncertain parameters. The objective is to minimize the total cost and obtain the optimal cooling network configuration simultaneously.An algorithm based on Monte Carlo method is proposed, and GAMS software is used to solve the mixed integer nonlinear programming model. A case is optimized to verify the validity of the model. Compared with the deterministic optimization method, the results show that when considering the different types of uncertain parameters, a system with better economy and reliability can be obtained(total cost can be reduced at least 2%).
文摘This paper deals with the estimation of crest settlement in a concrete face rockfill dam （CFRD）, utilizing intelligent methods. Following completion of dam construction, considerable movements of the crest and the body of the dam can develop during the first impoundment of the reservoir. Although there is vast experience worldwide in CFRD design and construction, few accurate experimental relationships are available to predict the settlement in CFRD. The goal is to advance the development of intelligent methods to estimate the subsidence of dams at the design stage. Due to dam zonifieation and uncertainties in material properties, these methods appear to be the appropriate choice. In this study, the crest settlement behavior of CFRDs is analyzed based on compiled data of 24 CFRDs constructed during recent years around the world, along with the utilization of gene ex- pression programming （GEP） and adaptive neuro-fuzzy inference system （ANFIS） methods. In addition, dam height （H）, shape factor （St）, and time （t, time after first operation） are also assessed, being considered major factors in predicting the settlement behavior. From the relationships proposed, the values ofR2 for both equations of GEP （with and without constant） were 0.9603 and 0.9734, and for the three approaches of ANFIS （grid partitioning （GP）, subtractive clustering method （SCM）, and fuzzy c-means clustering （FCM）） were 0.9693, 0.8657, and 0.8848, respectively. The obtained results indicate that the overall behavior evaluated by this approach is consistent with the measured data of other CFRDs.
基金the National Key R&D Program of China(No.2023YFE0208700)National Natural Sci-ence Foundation of China(No.92163109 and 52072095)+7 种基金Shenzhen Science and Technology Program(No.RCJC20231211090000001,GXWD20231129101105001)the National Natural Science Foundation of China(No.52205590)the Natural Science Foundation of Jiangsu Province(No.BK20220834)the Start-up Research Fund of Southeast University(No.RF1028623098)the State Key Laboratory of Robotics and Systems(HIT)(No.SKLRS-2024-KF-11)National Natural Science Foundation of China(No.52202348)Guangdong Basic and Applied Basic Research Foundation(No.2023A1515011491)Shenzhen Science and Technology Program(Nos.GXWD20220818224716001,KJZD20231023100302006).
文摘Due to the small size,active mobility,and intrinsic softness,miniature soft robots hold promising po-tentials in reaching the deep region inside living bodies otherwise inaccessible with compelling agility,adaptability and safety.Various materials and actuation strategies have been developed for creating soft robots,among which,ferromagnetic soft materials that self-actuate in response to external magnetic fields have attracted worldwide attention due to their remote controllability and excellent compatibil-ity with biological tissues.This review presents comprehensive and systematic research advancements in the design,fabrication,and applications of ferromagnetic soft materials for miniature robots,providing in-sights into their potential use in biomedical fields and beyond.The programming strategies of ferromag-netic soft materials are summarized and classified,including mold-assisted programming,3D printing-assisted programming,microassembly-assisted programming,and magnetization reprogramming.Each approach possesses unique advantages in manipulating the magnetic responsiveness of ferromagnetic soft materials to achieve outstanding actuation and deformation performances.We then discuss the biomedi-cal applications of ferromagnetic soft material-based soft robots(e.g.,minimally invasive surgery,targeted delivery,and tissue engineering),highlighting their potentials in revolutionizing biomedical technologies.This review also points out the current challenges and provides insights into future research directions,which we hope can serve as a useful reference for the development of next-generation adaptive miniature robots.
基金supported in part by the National Key Research and Development Program of China(2024YFB4709100,2021YFE0206100)the National Natural Science Foundation of China(62073321)+1 种基金the National Defense Basic Scientific Research Program(JCKY2019203C029)the Science and Technology Development Fund,Macao SAR,China(0015/2020/AMJ)
文摘Learning-based methods have become mainstream for solving residential energy scheduling problems. In order to improve the learning efficiency of existing methods and increase the utilization of renewable energy, we propose the Dyna actiondependent heuristic dynamic programming(Dyna-ADHDP)method, which incorporates the ideas of learning and planning from the Dyna framework in action-dependent heuristic dynamic programming. This method defines a continuous action space for precise control of an energy storage system and allows online optimization of algorithm performance during the real-time operation of the residential energy model. Meanwhile, the target network is introduced during the training process to make the training smoother and more efficient. We conducted experimental comparisons with the benchmark method using simulated and real data to verify its applicability and performance. The results confirm the method's excellent performance and generalization capabilities, as well as its excellence in increasing renewable energy utilization and extending equipment life.
基金The work of B. Pang and Z.-P. Jiang has been supported in part by the National Science Foundation (No. ECCS-1501044).
文摘This paper studies data-driven learning-based methods for the finite-horizon optimal control of linear time-varying discretetime systems. First, a novel finite-horizon Policy Iteration (PI) method for linear time-varying discrete-time systems is presented. Its connections with existing in finite-horizon PI methods are discussed. Then, both data-drive n off-policy PI and Value Iteration (VI) algorithms are derived to find approximate optimal controllers when the system dynamics is completely unknown. Under mild conditions, the proposed data-driven off-policy algorithms converge to the optimal solution. Finally, the effectiveness and feasibility of the developed methods are validated by a practical example of spacecraft attitude control.
