Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of ...Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity.Due to this reason,various MIP methods are proposed for various subclasses of PNs.This work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)PR.In particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution space.Experimental results show that the proposed MIP method has higher computational efficiency.Furthermore,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.展开更多
The double row layout problem(DRLP)is to assign facilities on two rows in parallel so that the total cost of material handling among facilities is minimized.Since it is vital to save cost and enhance productivity,the ...The double row layout problem(DRLP)is to assign facilities on two rows in parallel so that the total cost of material handling among facilities is minimized.Since it is vital to save cost and enhance productivity,the DRLP plays an important role in many application fields.Nevertheless,it is very hard to handle the DRLP because of its complex model.In this paper,we consider a new simplified model for the DRLP(SM-DRLP)and provide a mixed integer programming(MIP)formulation for it.The continuous decision variables of the DRLP are divided into two parts:start points of double rows and adjustable clearances between adjacent facilities.The former one is considered in the new simplified model for the DRLP with the purpose of maintaining solution quality,while the latter one is not taken into account with the purpose of reducing computational time.To evaluate its performance,our SM-DRLP is compared with the model of a general DRLP and the model of another simplified DRLP.The experimental results show the efficiency of our proposed model.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
Two classes of mixed-integer nonlinear bilevel programming problems are discussed. One is that the follower＇s functions are separable with respect to the follower＇s variables, and the other is that the follower＇s f...Two classes of mixed-integer nonlinear bilevel programming problems are discussed. One is that the follower＇s functions are separable with respect to the follower＇s variables, and the other is that the follower＇s functions are convex if the follower＇s variables are not restricted to integers. A genetic algorithm based on an exponential distribution is proposed for the aforementioned problems. First, for each fixed leader＇s variable x, it is proved that the optimal solution y of the follower＇s mixed-integer programming can be obtained by solving associated relaxed problems, and according to the convexity of the functions involved, a simplified branch and bound approach is given to solve the follower＇s programming for the second class of problems. Furthermore, based on an exponential distribution with a parameter λ, a new crossover operator is designed in which the best individuals are used to generate better offspring of crossover. The simulation results illustrate that the proposed algorithm is efficient and robust.展开更多
Many important integer and mixed-integer programming problems are difficult to solve.A representative example is unit commitment with combined cycle units and transmission capacity constraints.Complicated transitions ...Many important integer and mixed-integer programming problems are difficult to solve.A representative example is unit commitment with combined cycle units and transmission capacity constraints.Complicated transitions within combined cycle units are difficult to follow,and system-wide coupling transmission capacity constraints are difficult to handle.Another example is the quadratic assignment problem.The presence of cross-products in the objective function leads to nonlinearity.In this study,building upon the novel integration of surrogate Lagrangian relaxation and branch-and-cut,such problems will be solved by relaxing selected coupling constraints.Monotonicity of the relaxed problem will be assumed and exploited and nonlinear terms will be dynamically linearised.The linearity of the resulting problem will be exploited using branch-and-cut.To achieve fast convergence,guidelines for selecting stepsizing parameters will be developed.The method opens up directions for solving nonlinear mixed-integer problems,and numerical results indicate that the new method is efficient.展开更多
The modeling flexibility and the optimality guarantees provided by mixed-integer programming greatly aid the design of robust and future-proof decision support systems.The complexity of industrial-scale supply chain o...The modeling flexibility and the optimality guarantees provided by mixed-integer programming greatly aid the design of robust and future-proof decision support systems.The complexity of industrial-scale supply chain optimization,however,often poses limits to the application of general mixed-integer programming solvers.In this paper we describe algorithmic innovations that help to ensure that MIP solver performance matches the complexity of the large supply chain problems and tight time limits encountered in practice.Our computational evaluation is based on a diverse set,modeling real-world scenarios supplied by our industry partner SAP.展开更多
Most existing distribution networks are difficult to withstand the impact of meteorological disasters. With the development of active distribution networks(ADNs), more and more upgrading and updating resources are app...Most existing distribution networks are difficult to withstand the impact of meteorological disasters. With the development of active distribution networks(ADNs), more and more upgrading and updating resources are applied to enhance the resilience of ADNs. A two-stage stochastic mixed-integer programming(SMIP) model is proposed in this paper to minimize the upgrading and operation cost of ADNs by considering random scenarios referring to different operation scenarios of ADNs caused by disastrous weather events. In the first stage, the planning decision is formulated according to the measures of hardening existing distribution lines, upgrading automatic switches, and deploying energy storage resources. The second stage is to evaluate the operation cost of ADNs by considering the cost of load shedding due to disastrous weather and optimal deployment of energy storage systems(ESSs) under normal weather condition. A novel modeling method is proposed to address the uncertainty of the operation state of distribution lines according to the canonical representation of logical constraints. The progressive hedging algorithm(PHA) is adopted to solve the SMIP model. The IEEE 33-node test system is employed to verify the feasibility and effectiveness of the proposed method. The results show that the proposed model can enhance the resilience of the ADN while ensuring economy.展开更多
Elementary siphons are useful in the development of a deadlock prevention policy for a discrete event system modeled with Petri nets. This paper proposes an algorithm to iteratively extract a set of elementary siphons...Elementary siphons are useful in the development of a deadlock prevention policy for a discrete event system modeled with Petri nets. This paper proposes an algorithm to iteratively extract a set of elementary siphons in a class of Petri nets, called system of simple sequential processes with resources （S3pR）. At each iteration, by a mixed-integer programming （MIP） method, the proposed algorithm finds a maximal unmarked siphon, classifies the places in it, extracts an elementary siphon from the classified places, and adds a new constraint in order to extract the next elementary siphon. This algorithm iteratively executes until no new unmarked siphons can be found. It finally obtains a unique set of elementary siphons and avoids a complete siphon enumeration. A theoretical analysis and examples are given to demonstrate its efficiency and practical potentials.展开更多
Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells c...Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.展开更多
The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functio...The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functioning(Soles et al.,2023).Synthesized by neural and glial cells,the brain's ECM regulates a myriad of homeostatic cellular processes,including neuronal plasticity and firing(Miyata et al.,2012),cation buffering(Moraws ki et al.,2015),and glia-neuron interactions(Anderson et al.,2016).Considering the diversity of functions,dynamic remodeling of the brain's ECM indicates that this understudied medium is an active participant in both normal physiology and neurological diseases.展开更多
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.展开更多
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.展开更多
To properly describe and solve complex decision problems,research on theoretical properties and solution of mixed-integer quadratic programs is becoming very important.We establish in this paper different Lipschitz-ty...To properly describe and solve complex decision problems,research on theoretical properties and solution of mixed-integer quadratic programs is becoming very important.We establish in this paper different Lipschitz-type continuity results about the optimal value function and optimal solutions of mixed-integer parametric quadratic programs with parameters in the linear part of the objective function and in the right-hand sides of the linear constraints.The obtained results extend some existing results for continuous quadratic programs,and,more importantly,lay the foundation for further theoretical study and corresponding algorithm analysis on mixed-integer quadratic programs.展开更多
基金supported in part by Zhejiang Provincial Key Research and Development Program(2018C01084)Zhejiang Natural Science Foundation(LQ20F020009)Zhejiang Gongshang University,Zhejiang Provincial Key Laboratory of New Network Standards and Technologies(2013E10012)。
文摘Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity.Due to this reason,various MIP methods are proposed for various subclasses of PNs.This work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)PR.In particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution space.Experimental results show that the proposed MIP method has higher computational efficiency.Furthermore,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.
基金Supported by the National Natural Science Foundation of China(61871204,62174033)the Natural Science Foundation of Fujian Province(2017J01767,2020J01843)+1 种基金the Program for New Century Excellent Talents in Fujian Province Universitythe Science and Technology Project of Minjiang University(MYK19017)。
文摘The double row layout problem(DRLP)is to assign facilities on two rows in parallel so that the total cost of material handling among facilities is minimized.Since it is vital to save cost and enhance productivity,the DRLP plays an important role in many application fields.Nevertheless,it is very hard to handle the DRLP because of its complex model.In this paper,we consider a new simplified model for the DRLP(SM-DRLP)and provide a mixed integer programming(MIP)formulation for it.The continuous decision variables of the DRLP are divided into two parts:start points of double rows and adjustable clearances between adjacent facilities.The former one is considered in the new simplified model for the DRLP with the purpose of maintaining solution quality,while the latter one is not taken into account with the purpose of reducing computational time.To evaluate its performance,our SM-DRLP is compared with the model of a general DRLP and the model of another simplified DRLP.The experimental results show the efficiency of our proposed model.
基金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.
基金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.
基金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.
基金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.
基金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 Fundation of China (60374063)
文摘Two classes of mixed-integer nonlinear bilevel programming problems are discussed. One is that the follower＇s functions are separable with respect to the follower＇s variables, and the other is that the follower＇s functions are convex if the follower＇s variables are not restricted to integers. A genetic algorithm based on an exponential distribution is proposed for the aforementioned problems. First, for each fixed leader＇s variable x, it is proved that the optimal solution y of the follower＇s mixed-integer programming can be obtained by solving associated relaxed problems, and according to the convexity of the functions involved, a simplified branch and bound approach is given to solve the follower＇s programming for the second class of problems. Furthermore, based on an exponential distribution with a parameter λ, a new crossover operator is designed in which the best individuals are used to generate better offspring of crossover. The simulation results illustrate that the proposed algorithm is efficient and robust.
基金supported by the United States National Science Foundation[grant numbers ECCS-1028870 and ECCS-1509666]and Southern California Edison.
文摘Many important integer and mixed-integer programming problems are difficult to solve.A representative example is unit commitment with combined cycle units and transmission capacity constraints.Complicated transitions within combined cycle units are difficult to follow,and system-wide coupling transmission capacity constraints are difficult to handle.Another example is the quadratic assignment problem.The presence of cross-products in the objective function leads to nonlinearity.In this study,building upon the novel integration of surrogate Lagrangian relaxation and branch-and-cut,such problems will be solved by relaxing selected coupling constraints.Monotonicity of the relaxed problem will be assumed and exploited and nonlinear terms will be dynamically linearised.The linearity of the resulting problem will be exploited using branch-and-cut.To achieve fast convergence,guidelines for selecting stepsizing parameters will be developed.The method opens up directions for solving nonlinear mixed-integer problems,and numerical results indicate that the new method is efficient.
文摘The modeling flexibility and the optimality guarantees provided by mixed-integer programming greatly aid the design of robust and future-proof decision support systems.The complexity of industrial-scale supply chain optimization,however,often poses limits to the application of general mixed-integer programming solvers.In this paper we describe algorithmic innovations that help to ensure that MIP solver performance matches the complexity of the large supply chain problems and tight time limits encountered in practice.Our computational evaluation is based on a diverse set,modeling real-world scenarios supplied by our industry partner SAP.
基金supported by National Natural Science Foundation of China (No. U1866603)Innovation Support Program of Chongqing for Preferential Returned Chinese Scholars (No. cx2021036)Natural Science Foundation of Chongqing,China (No. CSTB2022NSCQ-BHX0729)。
文摘Most existing distribution networks are difficult to withstand the impact of meteorological disasters. With the development of active distribution networks(ADNs), more and more upgrading and updating resources are applied to enhance the resilience of ADNs. A two-stage stochastic mixed-integer programming(SMIP) model is proposed in this paper to minimize the upgrading and operation cost of ADNs by considering random scenarios referring to different operation scenarios of ADNs caused by disastrous weather events. In the first stage, the planning decision is formulated according to the measures of hardening existing distribution lines, upgrading automatic switches, and deploying energy storage resources. The second stage is to evaluate the operation cost of ADNs by considering the cost of load shedding due to disastrous weather and optimal deployment of energy storage systems(ESSs) under normal weather condition. A novel modeling method is proposed to address the uncertainty of the operation state of distribution lines according to the canonical representation of logical constraints. The progressive hedging algorithm(PHA) is adopted to solve the SMIP model. The IEEE 33-node test system is employed to verify the feasibility and effectiveness of the proposed method. The results show that the proposed model can enhance the resilience of the ADN while ensuring economy.
基金supported by the Natural Science Foundation of China under Grant No.60773001,61074035, 61064003,and 50978129the Fundamental Research Funds for the Central Universities under Grant No. JY 10000904001+2 种基金the National Research Foundation for the Doctoral Program of Higher Education,the Ministry of Education,P.R.China,under Grant No.20090203110009the"863"High-tech Research and Development Program of China under Grant No.2008AA04Z 109the Alexander von Humboldt Foundation
文摘Elementary siphons are useful in the development of a deadlock prevention policy for a discrete event system modeled with Petri nets. This paper proposes an algorithm to iteratively extract a set of elementary siphons in a class of Petri nets, called system of simple sequential processes with resources （S3pR）. At each iteration, by a mixed-integer programming （MIP） method, the proposed algorithm finds a maximal unmarked siphon, classifies the places in it, extracts an elementary siphon from the classified places, and adds a new constraint in order to extract the next elementary siphon. This algorithm iteratively executes until no new unmarked siphons can be found. It finally obtains a unique set of elementary siphons and avoids a complete siphon enumeration. A theoretical analysis and examples are given to demonstrate its efficiency and practical potentials.
基金supported by Canada First Research Excellence Fund,Medicine by Design(to CMM)。
文摘Over the last two decades,the dogma that cell fate is immutable has been increasingly challenged,with important implications for regenerative medicine.The brea kth rough discovery that induced pluripotent stem cells could be generated from adult mouse fibroblasts is powerful proof that cell fate can be changed.An exciting extension of the discovery of cell fate impermanence is the direct cellular reprogram ming hypothesis-that terminally differentiated cells can be reprogrammed into other adult cell fates without first passing through a stem cell state.
基金supported by National Institute on Aging(NIH-NIA)R21 AG074152(to KMA)National Institute of Allergy and Infectious Diseases(NIAID)grant DP2 AI171150(to KMA)Department of Defense(DoD)grant AZ210089(to KMA)。
文摘The brain's extracellular matrix(ECM),which is comprised of protein and glycosaminoglycan(GAG)scaffolds,constitutes 20%-40% of the human brain and is considered one of the largest influencers on brain cell functioning(Soles et al.,2023).Synthesized by neural and glial cells,the brain's ECM regulates a myriad of homeostatic cellular processes,including neuronal plasticity and firing(Miyata et al.,2012),cation buffering(Moraws ki et al.,2015),and glia-neuron interactions(Anderson et al.,2016).Considering the diversity of functions,dynamic remodeling of the brain's ECM indicates that this understudied medium is an active participant in both normal physiology and neurological diseases.
基金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.
基金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.
基金Supported by the National Natural Science Foundation of China(10571141,70971109)the Key Projectof the National Natural Science Foundation of China(70531030)
文摘To properly describe and solve complex decision problems,research on theoretical properties and solution of mixed-integer quadratic programs is becoming very important.We establish in this paper different Lipschitz-type continuity results about the optimal value function and optimal solutions of mixed-integer parametric quadratic programs with parameters in the linear part of the objective function and in the right-hand sides of the linear constraints.The obtained results extend some existing results for continuous quadratic programs,and,more importantly,lay the foundation for further theoretical study and corresponding algorithm analysis on mixed-integer quadratic programs.
