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.展开更多
Predictive maintenance(PdM)is vital for ensuring the reliability,safety,and cost efficiency of heavyduty vehicle fleets.However,real-world sensor data are often highly imbalanced,noisy,and temporally irregular,posing ...Predictive maintenance(PdM)is vital for ensuring the reliability,safety,and cost efficiency of heavyduty vehicle fleets.However,real-world sensor data are often highly imbalanced,noisy,and temporally irregular,posing significant challenges to model robustness and deployment.Using multivariate time-series data from Scania trucks,this study proposes a novel PdM framework that integrates efficient feature summarization with cost-sensitive hierarchical classification.First,the proposed last_k_summary method transforms recent operational records into compact statistical and trend-based descriptors while preserving missingness,allowing LightGBM to leverage its inherent split rules without ad-hoc imputation.Then,a two-stage LightGBM framework is developed for fault detection and severity classification:Stage A performs safety-prioritized fault screening(normal vs.fault)with a false-negativeweighted objective,and Stage B refines the detected faults into four severity levels through a cascaded hierarchy of binary classifiers.Under the official cost matrix of the IDA Industrial Challenge,the framework achieves total misclassification costs of 36,113(validation)and 36,314(test),outperforming XGBoost and Bi-LSTM by 3.8%-13.5%while maintaining high recall for the safety-critical class(0.83 validation,0.77 test).These results demonstrate that the proposed approach not only improves predictive accuracy but also provides a practical and deployable PdM solution that reduces maintenance cost,enhances fleet safety,and supports data-driven decision-making in industrial environments.展开更多
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 study presented a simulation-based two-stage interval-stochastic programming （STIP） model to support water resources management in the Kaidu-Konqi watershed in Northwest China. The modeling system coupled a dis...This study presented a simulation-based two-stage interval-stochastic programming （STIP） model to support water resources management in the Kaidu-Konqi watershed in Northwest China. The modeling system coupled a distributed hydrological model with an interval two-stage stochastic programing （ITSP）. The distributed hydrological model was used for establishing a rainfall-runoff forecast system, while random parameters were pro- vided by the statistical analysis of simulation outcomes water resources management planning in Kaidu-Konqi The developed STIP model was applied to a real case of watershed, where three scenarios with different water re- sources management policies were analyzed. The results indicated that water shortage mainly occurred in agri- culture, ecology and forestry sectors. In comparison, the water demand from municipality, industry and stock- breeding sectors can be satisfied due to their lower consumptions and higher economic values. Different policies for ecological water allocation can result in varied system benefits, and can help to identify desired water allocation plans with a maximum economic benefit and a minimum risk of system disruption under uncertainty.展开更多
An improved approach is presented in this paper to implement highly constrained cooperative guidance to attack a stationary target.The problem with time-varying Proportional Navigation(PN)gain is first formulated as a...An improved approach is presented in this paper to implement highly constrained cooperative guidance to attack a stationary target.The problem with time-varying Proportional Navigation(PN)gain is first formulated as a nonlinear optimal control problem,which is difficult to solve due to the existence of nonlinear kinematics and nonconvex constraints.After convexification treatments and discretization,the solution to the original problem can be approximately obtained by solving a sequence of Second-Order Cone Programming(SOCP)problems,which can be readily solved by state-of-the-art Interior-Point Methods(IPMs).To mitigate the sensibility of the algorithm on the user-provided initial profile,a Two-Stage Sequential Convex Programming(TSSCP)method is presented in detail.Furthermore,numerical simulations under different mission scenarios are conducted to show the superiority of the proposed method in solving the cooperative guidance problem.The research indicated that the TSSCP method is more tractable and reliable than the traditional methods and has great potential for real-time processing and on-board implementation.展开更多
The steelmaking process scheduling problem by considering variable electricity price （SMSPVEP） was in- vestigated. A decomposition approach was proposed for the SMSPVEP. At the first stage, mathematical program-ming...The steelmaking process scheduling problem by considering variable electricity price （SMSPVEP） was in- vestigated. A decomposition approach was proposed for the SMSPVEP. At the first stage, mathematical program-ming was utilized to minimize the maximum completion time for each cast without considering variable electricity price. At the second stage, based on obtained relative schedules of all casts, a mathematical model was formulated with an objective of minimizing the energy cost for all casts scheduling problem. The two-stage models were tested on randomly generated instances based on the practical process in a Chinese steelmaking plant. Computational results demonstrate the effectiveness of the proposed approach.展开更多
In short-term operation of natural gas network,the impact of demand uncertainty is not negligible.To address this issue we propose a two-stage robust model for power cost minimization problem in gunbarrel natural gas ...In short-term operation of natural gas network,the impact of demand uncertainty is not negligible.To address this issue we propose a two-stage robust model for power cost minimization problem in gunbarrel natural gas networks.The demands between pipelines and compressor stations are uncertain with a budget parameter,since it is unlikely that all the uncertain demands reach the maximal deviation simultaneously.During solving the two-stage robust model we encounter a bilevel problem which is challenging to solve.We formulate it as a multi-dimensional dynamic programming problem and propose approximate dynamic programming methods to accelerate the calculation.Numerical results based on real network in China show that we obtain a speed gain of 7 times faster in average without compromising optimality compared with original dynamic programming algorithm.Numerical results also verify the advantage of robust model compared with deterministic model when facing uncertainties.These findings offer short-term operation methods for gunbarrel natural gas network management to handle with uncertainties.展开更多
An optimization design technique to obtain global solution for a two-stage operational amplifier(op-amp) with frequency compensation is presented.This frequency compensation technique can adjust the equivalent resista...An optimization design technique to obtain global solution for a two-stage operational amplifier(op-amp) with frequency compensation is presented.This frequency compensation technique can adjust the equivalent resistance to guarantee that the phase margin is stable even though circumstance temperature varies.Geometric programming is used to optimize the component values and transistor dimensions.It is used in this analog integrated circuit design to calculate these parameters automatically.This globally optimal amplifier obtains minimum power while other specifications are fulfilled.展开更多
A new unified constitutive model was developed to predict the two-stage creep-aging(TSCA)behavior of Al-Zn-Mg-Cu alloys.The particular bimodal precipitation feature was analyzed and modeled by considering the primary ...A new unified constitutive model was developed to predict the two-stage creep-aging(TSCA)behavior of Al-Zn-Mg-Cu alloys.The particular bimodal precipitation feature was analyzed and modeled by considering the primary micro-variables evolution at different temperatures and their interaction.The dislocation density was incorporated into the model to capture the effect of creep deformation on precipitation.Quantitative transmission electron microscopy and experimental data obtained from a previous study were used to calibrate the model.Subsequently,the developed constitutive model was implemented in the finite element(FE)software ABAQUS via the user subroutines for TSCA process simulation and the springback prediction of an integral panel.A TSCA test was performed.The result shows that the maximum radius deviation between the formed plate and the simulation results is less than 0.4 mm,thus validating the effectiveness of the developed constitutive model and FE model.展开更多
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.展开更多
This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digiti...This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives.展开更多
With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply ...With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply explored the application principles,advantages,and limitations of AIGC in intelligent code generation,analyzed the new mode of human-computer collaboration in high-level language programming courses driven by AIGC,discussed the impact of human-computer collaboration on programming efficiency and code quality through practical case studies,and looks forward to future development trends.This research aims to provide theoretical and practical guidance for high-level language programming courses and promote innovative development of high-level language programming courses under the human-computer collaboration paradigm.展开更多
Lexical analysis is a fundamental task in natural language processing,which involves several subtasks,such as word segmentation(WS),part-of-speech(POS)tagging,and named entity recognition(NER).Recent works have shown ...Lexical analysis is a fundamental task in natural language processing,which involves several subtasks,such as word segmentation(WS),part-of-speech(POS)tagging,and named entity recognition(NER).Recent works have shown that taking advantage of relatedness between these subtasks can be beneficial.This paper proposes a unified neural framework to address these subtasks simultaneously.Apart from the sequence tagging paradigm,the proposed method tackles the multitask lexical analysis via two-stage sequence span classification.Firstly,the model detects the word and named entity boundaries by multilabel classification over character spans in a sentence.Then,the authors assign POS labels and entity labels for words and named entities by multi-class classification,respectively.Furthermore,a Gated Task Transformation(GTT)is proposed to encourage the model to share valuable features between tasks.The performance of the proposed model was evaluated on Chinese and Thai public datasets,demonstrating state-of-the-art results.展开更多
Applying bio-oxidation waste solution(BOS)to chemical-biological two-stage oxidation process can significantly improve the bio-oxidation efficiency of arsenopyrite.This study aims to clarify the enhanced oxidation mec...Applying bio-oxidation waste solution(BOS)to chemical-biological two-stage oxidation process can significantly improve the bio-oxidation efficiency of arsenopyrite.This study aims to clarify the enhanced oxidation mechanism of arsenopyrite by evaluating the effects of physical and chemical changes of arsenopyrite in BOS chemical oxidation stage on mineral dissolution kinetics,as well as microbial growth activity and community structure composition in bio-oxidation stage.The results showed that the chemical oxidation contributed to destroying the physical and chemical structure of arsenopyrite surface and reducing the particle size,and led to the formation of nitrogenous substances on mineral surface.These chemical oxidation behaviors effectively promoted Fe^(3+)cycling in the bio-oxidation system and weakened the inhibitory effect of the sulfur film on ionic diffusion,thereby enhancing the dissolution kinetics of the arsenopyrite.Therefore,the bio-oxidation efficiency of arsenopyrite was significantly increased in the two-stage oxidation process.After 18 d,the two-stage oxidation process achieved total extraction rates of(88.8±2.0)%,(86.7±1.3)%,and(74.7±3.0)%for As,Fe,and S elements,respectively.These values represented a significant increase of(50.8±3.4)%,(47.1±2.7)%,and(46.0±0.7)%,respectively,compared to the one-stage bio-oxidation process.展开更多
基金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 GRRC program of Gyeonggi province[GRRC KGU 2023-B01,Research on Intelligent Industrial Data Analytics].
文摘Predictive maintenance(PdM)is vital for ensuring the reliability,safety,and cost efficiency of heavyduty vehicle fleets.However,real-world sensor data are often highly imbalanced,noisy,and temporally irregular,posing significant challenges to model robustness and deployment.Using multivariate time-series data from Scania trucks,this study proposes a novel PdM framework that integrates efficient feature summarization with cost-sensitive hierarchical classification.First,the proposed last_k_summary method transforms recent operational records into compact statistical and trend-based descriptors while preserving missingness,allowing LightGBM to leverage its inherent split rules without ad-hoc imputation.Then,a two-stage LightGBM framework is developed for fault detection and severity classification:Stage A performs safety-prioritized fault screening(normal vs.fault)with a false-negativeweighted objective,and Stage B refines the detected faults into four severity levels through a cascaded hierarchy of binary classifiers.Under the official cost matrix of the IDA Industrial Challenge,the framework achieves total misclassification costs of 36,113(validation)and 36,314(test),outperforming XGBoost and Bi-LSTM by 3.8%-13.5%while maintaining high recall for the safety-critical class(0.83 validation,0.77 test).These results demonstrate that the proposed approach not only improves predictive accuracy but also provides a practical and deployable PdM solution that reduces maintenance cost,enhances fleet safety,and supports data-driven decision-making in industrial environments.
基金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 Basic Research Program of China(2010CB951002)the Dr.Western-funded Project of Chinese Academy of Science(XBBS201010 and XBBS201005)+1 种基金the National Natural Sciences Foundation of China (51190095)the Open Research Fund Program of State Key Laboratory of Hydro-science and Engineering(sklhse-2012-A03)
文摘This study presented a simulation-based two-stage interval-stochastic programming （STIP） model to support water resources management in the Kaidu-Konqi watershed in Northwest China. The modeling system coupled a distributed hydrological model with an interval two-stage stochastic programing （ITSP）. The distributed hydrological model was used for establishing a rainfall-runoff forecast system, while random parameters were pro- vided by the statistical analysis of simulation outcomes water resources management planning in Kaidu-Konqi The developed STIP model was applied to a real case of watershed, where three scenarios with different water re- sources management policies were analyzed. The results indicated that water shortage mainly occurred in agri- culture, ecology and forestry sectors. In comparison, the water demand from municipality, industry and stock- breeding sectors can be satisfied due to their lower consumptions and higher economic values. Different policies for ecological water allocation can result in varied system benefits, and can help to identify desired water allocation plans with a maximum economic benefit and a minimum risk of system disruption under uncertainty.
基金supported by the Joint Foundation of the Ministry of Education of China(No.6141A02022340).
文摘An improved approach is presented in this paper to implement highly constrained cooperative guidance to attack a stationary target.The problem with time-varying Proportional Navigation(PN)gain is first formulated as a nonlinear optimal control problem,which is difficult to solve due to the existence of nonlinear kinematics and nonconvex constraints.After convexification treatments and discretization,the solution to the original problem can be approximately obtained by solving a sequence of Second-Order Cone Programming(SOCP)problems,which can be readily solved by state-of-the-art Interior-Point Methods(IPMs).To mitigate the sensibility of the algorithm on the user-provided initial profile,a Two-Stage Sequential Convex Programming(TSSCP)method is presented in detail.Furthermore,numerical simulations under different mission scenarios are conducted to show the superiority of the proposed method in solving the cooperative guidance problem.The research indicated that the TSSCP method is more tractable and reliable than the traditional methods and has great potential for real-time processing and on-board implementation.
基金Item Sponsored by National Natural Science Foundation of China (71171038,71021061 )Fundamental Research Funds for Central Universities of China (N100504001)
文摘The steelmaking process scheduling problem by considering variable electricity price （SMSPVEP） was in- vestigated. A decomposition approach was proposed for the SMSPVEP. At the first stage, mathematical program-ming was utilized to minimize the maximum completion time for each cast without considering variable electricity price. At the second stage, based on obtained relative schedules of all casts, a mathematical model was formulated with an objective of minimizing the energy cost for all casts scheduling problem. The two-stage models were tested on randomly generated instances based on the practical process in a Chinese steelmaking plant. Computational results demonstrate the effectiveness of the proposed approach.
基金partially supported by the National Science Foundation of China(Grants 71822105 and 91746210)。
文摘In short-term operation of natural gas network,the impact of demand uncertainty is not negligible.To address this issue we propose a two-stage robust model for power cost minimization problem in gunbarrel natural gas networks.The demands between pipelines and compressor stations are uncertain with a budget parameter,since it is unlikely that all the uncertain demands reach the maximal deviation simultaneously.During solving the two-stage robust model we encounter a bilevel problem which is challenging to solve.We formulate it as a multi-dimensional dynamic programming problem and propose approximate dynamic programming methods to accelerate the calculation.Numerical results based on real network in China show that we obtain a speed gain of 7 times faster in average without compromising optimality compared with original dynamic programming algorithm.Numerical results also verify the advantage of robust model compared with deterministic model when facing uncertainties.These findings offer short-term operation methods for gunbarrel natural gas network management to handle with uncertainties.
基金the Shanghai Application Material(AM) Research Foundation (No.08700740700)
文摘An optimization design technique to obtain global solution for a two-stage operational amplifier(op-amp) with frequency compensation is presented.This frequency compensation technique can adjust the equivalent resistance to guarantee that the phase margin is stable even though circumstance temperature varies.Geometric programming is used to optimize the component values and transistor dimensions.It is used in this analog integrated circuit design to calculate these parameters automatically.This globally optimal amplifier obtains minimum power while other specifications are fulfilled.
基金supported by the National Key R&D Program of China(No.2021YFB3400900)the National Natural Science Foundation of China(Nos.52175373,52205435)+1 种基金Natural Science Foundation of Hunan Province,China(No.2022JJ40621)the Innovation Fund of National Commercial Aircraft Manufacturing Engineering Technology Center,China(No.COMACSFGS-2022-1875)。
文摘A new unified constitutive model was developed to predict the two-stage creep-aging(TSCA)behavior of Al-Zn-Mg-Cu alloys.The particular bimodal precipitation feature was analyzed and modeled by considering the primary micro-variables evolution at different temperatures and their interaction.The dislocation density was incorporated into the model to capture the effect of creep deformation on precipitation.Quantitative transmission electron microscopy and experimental data obtained from a previous study were used to calibrate the model.Subsequently,the developed constitutive model was implemented in the finite element(FE)software ABAQUS via the user subroutines for TSCA process simulation and the springback prediction of an integral panel.A TSCA test was performed.The result shows that the maximum radius deviation between the formed plate and the simulation results is less than 0.4 mm,thus validating the effectiveness of the developed constitutive model and FE model.
基金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.
文摘This study proposes a novel approach to optimizing individual work schedules for book digitization using mixed-integer programming (MIP). By leveraging the power of MIP solvers, we aimed to minimize the overall digitization time while considering various constraints and process dependencies. The book digitization process involves three key steps: cutting, scanning, and binding. Each step has specific requirements and limitations such as the number of pages that can be processed simultaneously and potential bottlenecks. To address these complexities, we formulate the problem as a one-machine job shop scheduling problem with additional constraints to capture the unique characteristics of book digitization. We conducted a series of experiments to evaluate the performance of our proposed approach. By comparing the optimized schedules with the baseline approach, we demonstrated significant reductions in the overall processing time. In addition, we analyzed the impact of different weighting schemes on the optimization results, highlighting the importance of identifying and prioritizing critical processes. Our findings suggest that MIP-based optimization can be a valuable tool for improving the efficiency of individual work schedules, even in seemingly simple tasks, such as book digitization. By carefully considering specific constraints and objectives, we can save time and leverage resources by carefully considering specific constraints and objectives.
基金Education and Teaching Research Project of Beijing University of Technology(ER2024KCB08)。
文摘With the rapid development of artificial intelligence technology,AIGC(Artificial Intelligence-Generated Content)has triggered profound changes in the field of high-level language programming courses.This paper deeply explored the application principles,advantages,and limitations of AIGC in intelligent code generation,analyzed the new mode of human-computer collaboration in high-level language programming courses driven by AIGC,discussed the impact of human-computer collaboration on programming efficiency and code quality through practical case studies,and looks forward to future development trends.This research aims to provide theoretical and practical guidance for high-level language programming courses and promote innovative development of high-level language programming courses under the human-computer collaboration paradigm.
基金supported by National Natural Science Foundation of China(Grant No.62266028,62266027,U21B2027,and U24A20334)Major Science and Technology Programs in Yunnan Province(Grant No.202302AD080003,202402AG050007,and 202303AP140008)+1 种基金Yunnan Province Basic Research Program(Grant No.202301AS070047,202301AT070471,and 202401BC070021)Kunming University of Science and Technology's"Double First-rate"construction joint project(Grant No.202201BE070001-021).
文摘Lexical analysis is a fundamental task in natural language processing,which involves several subtasks,such as word segmentation(WS),part-of-speech(POS)tagging,and named entity recognition(NER).Recent works have shown that taking advantage of relatedness between these subtasks can be beneficial.This paper proposes a unified neural framework to address these subtasks simultaneously.Apart from the sequence tagging paradigm,the proposed method tackles the multitask lexical analysis via two-stage sequence span classification.Firstly,the model detects the word and named entity boundaries by multilabel classification over character spans in a sentence.Then,the authors assign POS labels and entity labels for words and named entities by multi-class classification,respectively.Furthermore,a Gated Task Transformation(GTT)is proposed to encourage the model to share valuable features between tasks.The performance of the proposed model was evaluated on Chinese and Thai public datasets,demonstrating state-of-the-art results.
基金Project(52274348)supported by the National Natural Science Foundation of ChinaProject(2022JH1/10400024)supported by the Major Projects for the“Revealed Top”Science and Technology of Liaoning Province,China。
文摘Applying bio-oxidation waste solution(BOS)to chemical-biological two-stage oxidation process can significantly improve the bio-oxidation efficiency of arsenopyrite.This study aims to clarify the enhanced oxidation mechanism of arsenopyrite by evaluating the effects of physical and chemical changes of arsenopyrite in BOS chemical oxidation stage on mineral dissolution kinetics,as well as microbial growth activity and community structure composition in bio-oxidation stage.The results showed that the chemical oxidation contributed to destroying the physical and chemical structure of arsenopyrite surface and reducing the particle size,and led to the formation of nitrogenous substances on mineral surface.These chemical oxidation behaviors effectively promoted Fe^(3+)cycling in the bio-oxidation system and weakened the inhibitory effect of the sulfur film on ionic diffusion,thereby enhancing the dissolution kinetics of the arsenopyrite.Therefore,the bio-oxidation efficiency of arsenopyrite was significantly increased in the two-stage oxidation process.After 18 d,the two-stage oxidation process achieved total extraction rates of(88.8±2.0)%,(86.7±1.3)%,and(74.7±3.0)%for As,Fe,and S elements,respectively.These values represented a significant increase of(50.8±3.4)%,(47.1±2.7)%,and(46.0±0.7)%,respectively,compared to the one-stage bio-oxidation process.
