A neruon-oriented programming system based on parallel neural information processing has been presented. With the neural programming system built upon 4～8 process elements(TMS C30), the system has thus provided users...A neruon-oriented programming system based on parallel neural information processing has been presented. With the neural programming system built upon 4～8 process elements(TMS C30), the system has thus provided users high speed, general purpose and large scale neural network application development platforms etc.展开更多
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.展开更多
In this paper,an intelligent constraint programming system for manufacturing material resource planning(MMRP)was presented.It is aimed to tackling large,particularly combinatorial,problems during the MMRP process,whic...In this paper,an intelligent constraint programming system for manufacturing material resource planning(MMRP)was presented.It is aimed to tackling large,particularly combinatorial,problems during the MMRP process,which increasingly involves complex sets of objectives and constraints in today’s industrial manufacturing.The system consists of a do-main-specific architecture,an algorithm library,and a pre-defined solution library,based on which intelligent agents can effi-ciently construct MMRP problem specifications,select suitable algorithms to solve problems,and evolve a population of solutions to-wards a Pareto-optimal frontier.Our system significantly improves the efficiency,effectiveness,and reliability of MMRP prob-lem solving.展开更多
This Paper presents an automatic programming system developed for NC laser onning of Chinese charaCterswhich combines AutoCAD with NC Under Windows environment, and generates numerical controlled Programs by extractin...This Paper presents an automatic programming system developed for NC laser onning of Chinese charaCterswhich combines AutoCAD with NC Under Windows environment, and generates numerical controlled Programs by extracting outline (stroke) figures of Chinese Characters from outline character base, optimizing cutting routes, transferring them to AutoCAD for editing operations, such as rotation transfer, enlarging an mirroring, the system can transferto a laser cutting machine througy RS-232 series interface to accomplish laser cutting of large Chinese characters.展开更多
Pair Programming (PP) that has gained extensive focus within pedagogical and industrial environments is a programming practice in which two programmers use the same computer to work together on analysis, design, and p...Pair Programming (PP) that has gained extensive focus within pedagogical and industrial environments is a programming practice in which two programmers use the same computer to work together on analysis, design, and programming of the same segment of code. Distributed Pair Programming (DPP) system is a programming system to aid two programmers, the driver and the navigator, to finish a common task such as analysis, design and programming on the same software from different locations. This paper first reviews the existing DPP tools and discusses the interaction and coordination mechanism in DPP process. By means of activity theory and language-action theory, some basic requirements of the DPP system are presented. Then, a design framework of such system and functions of each sub-system are deeply analyzed. Finally, a system prototype is implemented by plug-in style in Microsoft Visual Studio environment.展开更多
PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. The PARCS model is based on the conception o...PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. The PARCS model is based on the conception of a control space, which is used to describe parallel interacting processes. Structurally, the control space consists of addressable “points” and “channels”. Executing modules are assigned to points and communicate through channels connecting points. Recursive embeddings of processes are allowed. The effective implementation of PARCS on cloud platforms Microsoft AZURE and Amazon EC2 is also presented.展开更多
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.展开更多
The multi-satellite electromagnetic formation flight system is nonlinear and strongly coupled,which makes modeling and optimization challenging.To simplify electromagnetic force evaluation and dynamics modeling,we int...The multi-satellite electromagnetic formation flight system is nonlinear and strongly coupled,which makes modeling and optimization challenging.To simplify electromagnetic force evaluation and dynamics modeling,we introduce a reference frame consistent with each satellite body frame,in which the electromagnetic dipoles and electromagnetic forces are represented as two-dimensional vectors.Then,the maneuver time is divided into time intervals,and different satellite sets are activated in each interval,converting the multi-satellite formation reconfiguration problem into an optimal trajectory problem of each two-satellite subsystem.To this end,a token-based dynamic programming method with a switching penalty of active satellite sets is proposed to determine the sequence of satellite sets participating in each time interval,thereby enabling all satellites to reach their desired states.For the two-satellite subsystem with the objectives of minimizing maneuver time and energy consumption,the Gauss pseudo-spectral method is employed to generate the optimal reconfiguration trajectory.Numerical simulations verify the effectiveness of the proposed optimization method.展开更多
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.展开更多
This paper presents a broad outline and some implementation techniques of the literate programming system CDS.Compared with the previous ones(e.g.WEB,Cweb),CDS has two main characteristics: 1)A Chinese-English typeset...This paper presents a broad outline and some implementation techniques of the literate programming system CDS.Compared with the previous ones(e.g.WEB,Cweb),CDS has two main characteristics: 1)A Chinese-English typesetting system was developed to produce the documentation.This makes the Chinese documentation possible.2)A suitable method for automatic formatting was introduced to gener- ate the software documentation automatically.This frees the programmer from typesetting details while still allowing programmer's interference.展开更多
文摘A neruon-oriented programming system based on parallel neural information processing has been presented. With the neural programming system built upon 4～8 process elements(TMS C30), the system has thus provided users high speed, general purpose and large scale neural network application development platforms etc.
基金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.
基金Founded by the Natural Science Foundation of China(50235030 and 60573080)
文摘In this paper,an intelligent constraint programming system for manufacturing material resource planning(MMRP)was presented.It is aimed to tackling large,particularly combinatorial,problems during the MMRP process,which increasingly involves complex sets of objectives and constraints in today’s industrial manufacturing.The system consists of a do-main-specific architecture,an algorithm library,and a pre-defined solution library,based on which intelligent agents can effi-ciently construct MMRP problem specifications,select suitable algorithms to solve problems,and evolve a population of solutions to-wards a Pareto-optimal frontier.Our system significantly improves the efficiency,effectiveness,and reliability of MMRP prob-lem solving.
文摘This Paper presents an automatic programming system developed for NC laser onning of Chinese charaCterswhich combines AutoCAD with NC Under Windows environment, and generates numerical controlled Programs by extracting outline (stroke) figures of Chinese Characters from outline character base, optimizing cutting routes, transferring them to AutoCAD for editing operations, such as rotation transfer, enlarging an mirroring, the system can transferto a laser cutting machine througy RS-232 series interface to accomplish laser cutting of large Chinese characters.
文摘Pair Programming (PP) that has gained extensive focus within pedagogical and industrial environments is a programming practice in which two programmers use the same computer to work together on analysis, design, and programming of the same segment of code. Distributed Pair Programming (DPP) system is a programming system to aid two programmers, the driver and the navigator, to finish a common task such as analysis, design and programming on the same software from different locations. This paper first reviews the existing DPP tools and discusses the interaction and coordination mechanism in DPP process. By means of activity theory and language-action theory, some basic requirements of the DPP system are presented. Then, a design framework of such system and functions of each sub-system are deeply analyzed. Finally, a system prototype is implemented by plug-in style in Microsoft Visual Studio environment.
文摘PARCS (Parallel Asynchronous Recursive Control System) programming tools that allow unified add-on parallel extensions over traditional programming languages are described. The PARCS model is based on the conception of a control space, which is used to describe parallel interacting processes. Structurally, the control space consists of addressable “points” and “channels”. Executing modules are assigned to points and communicate through channels connecting points. Recursive embeddings of processes are allowed. The effective implementation of PARCS on cloud platforms Microsoft AZURE and Amazon EC2 is also presented.
基金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.
文摘The multi-satellite electromagnetic formation flight system is nonlinear and strongly coupled,which makes modeling and optimization challenging.To simplify electromagnetic force evaluation and dynamics modeling,we introduce a reference frame consistent with each satellite body frame,in which the electromagnetic dipoles and electromagnetic forces are represented as two-dimensional vectors.Then,the maneuver time is divided into time intervals,and different satellite sets are activated in each interval,converting the multi-satellite formation reconfiguration problem into an optimal trajectory problem of each two-satellite subsystem.To this end,a token-based dynamic programming method with a switching penalty of active satellite sets is proposed to determine the sequence of satellite sets participating in each time interval,thereby enabling all satellites to reach their desired states.For the two-satellite subsystem with the objectives of minimizing maneuver time and energy consumption,the Gauss pseudo-spectral method is employed to generate the optimal reconfiguration trajectory.Numerical simulations verify the effectiveness of the proposed optimization method.
基金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.
基金This wrok was supported partly by the National Natural Science Foundationthe Ministry of Electronic Industries and High Technology Program under the National Commission of Science & Technology.
文摘This paper presents a broad outline and some implementation techniques of the literate programming system CDS.Compared with the previous ones(e.g.WEB,Cweb),CDS has two main characteristics: 1)A Chinese-English typesetting system was developed to produce the documentation.This makes the Chinese documentation possible.2)A suitable method for automatic formatting was introduced to gener- ate the software documentation automatically.This frees the programmer from typesetting details while still allowing programmer's interference.
基金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
