From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are ...From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.展开更多
Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This p...Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This paper proposes a novel approach to realize concurrent object-oriented programming based on Message-passing interface(MPI) in which future method communication is adopted between concurrent objects. A state behavior set is proposed to solve inheritance anomaly, and a bounded buffer is taken as an example to illustrate this proposal. The definition of ParaMPI class, which is the most important class in the concurrent class library, and implementation issues are briefly described.展开更多
Object-oriented programming divides the crop production into subsystems and simulates their behaviors. Many classes were designed to simulate the behaviors of different parts or different physiological processes in cr...Object-oriented programming divides the crop production into subsystems and simulates their behaviors. Many classes were designed to simulate the behaviors of different parts or different physiological processes in crop production system. At the same time, many classes have to be employed for bettering user's interface. But how to manage these classes on a higher level to cooperate them into a perfect system is another problem to study. The Rice Growth Models (RGM) system represents an effort to define and implement a framework to manage these classes. In RGM system, the classes were organized into the model-document-view architecture to separate the domain models, data management and user interface. A single document with multiple views interface frame window was adopted in RGM. In the architectures, the simulation models only exchange data with documents while documents act as intermediacies between simulation models and interfaces. Views get data from documents and show the results to users. The classes for the different functions can be grouped into different architectures. Different architectures communicate with each other through documents. The classes for the different functions can be grouped into different architectures. By using the architecture, communication between classes is more efficient. Modeler can add classes in architectures or other architectures to extend the system without having to change system structure, which is useful for construction and maintenance of agricultural system models.展开更多
The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes libra...The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes library of finite element analysis program and Windows-type Graphical User Interfaces by VC + + and its MFC are developed. The reliability, reusability and extensibility of program are enhanced. It is a reference to develop the large-scale, versatile and powerful systems of object-oriented finite element software.展开更多
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 h2/(4√2),where h is the piecewise length.展开更多
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.展开更多
It is important for a lunar lander to possess a large divert capability during the final landing phase,as this can enhance the tolerance for flight deviations in the early phase or improve the obstacle avoidance perfo...It is important for a lunar lander to possess a large divert capability during the final landing phase,as this can enhance the tolerance for flight deviations in the early phase or improve the obstacle avoidance performance.Therefore,when designing the powered descent trajectory,sufficient final phase divert capability should be reserved at the minimum propellant cost.To this end,a multi-phase trajectory programming(MPTP)method for powered descent with approaching phase divert capability is proposed.First,the entire powered descent trajectory is divided into the main braking phase and the approaching phase.The main braking phase is responsible for dissipating the majority of the initial velocity.The approaching phase is responsible for safely and precisely flying toward the landing site.It is nominally a vertical descent trajectory and possesses equal divert capability in all horizontal directions.Then,a constant-thrust linear tangent guidance(LTG)accounting for the lunar curvature is designed for the main braking phase.For the approaching phase,a variable-thrust lossless convex programming(LCP)guidance considering the constraints of tilt angle and glide-slope angle is developed.Subsequently,to connect the two phases and further optimize the propellant consumption throughout the entire trajectory,a method for determining the phase switching condition is proposed.The originally difficult-to-solve two-parameter optimization problem is decomposed into two more easily solvable subproblems,which are solved iteratively via a bilevel optimization framework.Finally,the divert capability of the proposed method is verified through numerical simulation.The programmed trajectory is basically consistent with the results of the pseudospectral method,with the difference in propellant consumption being only 0.006%.This method is suitable for the rapid iterative design of nominal trajectories for lunar lander powered descent in engineering applications.展开更多
This paper delves into the H∞optimal output regulation problem for continuous-time linear systems with an unknown system model.By integrating the internal model principle with optimal control,we derive an optimal con...This paper delves into the H∞optimal output regulation problem for continuous-time linear systems with an unknown system model.By integrating the internal model principle with optimal control,we derive an optimal control policy and a worst-case disturbance policy through the formulation and solution of a zero-sum game problem.Subsequently,leveraging adaptive dynamic programming,we propose a policy iteration learning algorithm capable of learning both the optimal control policy and the worst-case disturbance policy directly from system data.The existing algorithms necessitate an initial stabilizing policy,a full-rank condition,and the storage of historical data to guarantee algorithm convergence.In contrast,we design a dual policy iteration algorithm equipped with an online learning mechanism,thereby eliminating these additional prerequisites.Simulation results with an antonomous ground vehicle underscore the effectiveness of our proposed algorithm,and its superiority is further demonstrated through comparisons with existing methodologies.展开更多
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.展开更多
Natural convection in enclosures containing nanofluids has attracted significant attention due to its relevance in thermal management systems.In this context,this study presents a comprehensive numerical investigation...Natural convection in enclosures containing nanofluids has attracted significant attention due to its relevance in thermal management systems.In this context,this study presents a comprehensive numerical investigation of flow and heat transfer in a square cavity saturated with water-based CuO nanofluid having a centrally placed sinusoidal-shaped heated element.All the enclosure walls satisfy the no-slip velocity condition.Thermally,the vertical walls are kept at a cold reference temperature,the lower wall is partially heated at its center,and the remaining portions of the lower and entire upper walls are adiabatic.The internal sinusoidal element is also uniformly heated.The flow dynamics and thermal fields are governed by the two-dimensional steady-state Navier-Stokes and energy equations,solved using the Galerkin finite element method.Additionally,a novel hybrid approach integrating multi-expression programming(MEP)technique with a convolutional neural network bidirectional gated recurrent unit(CNN-BiGRU)deep learning network is also applied to enhance flow and thermal prediction accuracy.This hybrid approach enables precise evaluation of how heater waviness,magnetic field orientation,and nanoparticle dispersion influence flow structure and heat transfer.Results reveal stronger convection at high Rayleigh numbers,magnetic damping at increased Hartmann numbers,and higher temperatures with reduced velocity at greater nanoparticle concentrations.Among the analyzed situations,increasing heater waviness improves heat-transfer performance.Both the MEP and CNN-BiGRU models accurately capture the key features of flow and heat transport trends,indicating that the hybrid approach provides enhanced predictive capability for complex convection-driven nanofluid systems.展开更多
This paper proposes a hybrid sequential second-order cone programming(HSSOCP)method with a three-layer scheme for the entry trajectory optimization of the cross-domain morphing vehicles(CDMVs).By defining the new morp...This paper proposes a hybrid sequential second-order cone programming(HSSOCP)method with a three-layer scheme for the entry trajectory optimization of the cross-domain morphing vehicles(CDMVs).By defining the new morphing rate control variable and using relaxation techniques to relax the bank angle constraint,the SOCP-based entry problem is constructed.A dynamic relaxation penal-ization technique is developed in the first layer to overcome artificial infeasibility and significantly enhance initialization robustness.A novel standard oscillation identification(SOI)method is proposed to precisely identify the iteration oscillations of basic SSOCP in the second layer,which can significantly improve the solution accuracy.A soft-trust-region strategy is applied in the third layer to eliminate oscillations and accelerate convergence.Simulation results of two scenarios demonstrate that the proposed SOI method effectively avoids non-standard oscillation interference versus traditional methods.The morphing aircraft can complete tasks better with a 7.01%and 10.43%reduction in heat load respectively compared to fixed-wing aircraft.The HSSOCP method can maintain accuracy while reducing computation time by 63.47%and 73.86%versus VATSSOCP.Monte Carlo simulations further validate the robustness.展开更多
This paper develops an Oscillation-avoidance-based Multistage Trust-region Sequential Convex Programming(OMTSCP)method for the highly nonlinear entry trajectory optimization problem of Cross-Domain Morphing Vehicles(C...This paper develops an Oscillation-avoidance-based Multistage Trust-region Sequential Convex Programming(OMTSCP)method for the highly nonlinear entry trajectory optimization problem of Cross-Domain Morphing Vehicles(CDMVs).The decoupling of states and controls for complex nonlinear dynamics is achieved by defining new control and state variables.A series of sub convex problems is formulated by successive linearization and discretization of the constraints.The proposed Trust-region Sequential Convex Programming(TSCP)scheme consists of three stages:an initial guess generation stage,a basic solution stage,and an optimal solution stage.An approach to penalize the dynamic relaxation is firstly developed to obtain an initial guess with considerable accuracy and significantly improve the robustness of the algorithm by overcoming the drawbacks of potential artificial infeasibility.The oscillation phenomenon of the TSCP method under rectangular trust region is then investigated,and a novel N-shape-based oscillation identification method is proposed to identify the oscillation accurately.Finally,an oscillation-avoidance method based on the sort trust-region is proposed to improve the convergence of the TSCP algorithm.Numerical comparisons of the proposed method and a typical TSCP method,as well as the morphing and fixed-morphing vehicles are provided to demonstrate the effectiveness and efficiency of the proposed method and the performance advantages of the morphing vehicle.The robustness of the method is further verified by Monte Carlo simulation.展开更多
Programmableeprogrammable 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...Programmableeprogrammable 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.展开更多
Structures located in high seismic zones often utilize reinforced concrete(RC)frame-wall systems for improved lateral strength and stiffness,whereby the structural walls serve as a critical component of the lateral lo...Structures located in high seismic zones often utilize reinforced concrete(RC)frame-wall systems for improved lateral strength and stiffness,whereby the structural walls serve as a critical component of the lateral load resisting system.To effectively assess the potential vulnerability of structural systems across different levels of seismic demands,it is important to establish clear,quantitative thresholds for specific damage states,especially for the critical structural components within a building system.The currently available damage state definitions for RC structural walls are based on empirical limits and do not provide predictions for damage thresholds based on key design characteristics of a wall.To address this challenge,the present study employs genetic programming(GP),a form of artificial intelligence,to formulate accurate expressions for drift prediction for various damage states,using a dataset of 8,125 analytically studied specimens of RC structural walls.These expressions take into account the effects of various design characteristics,such as wall aspect ratio,axial load ratio,boundary element longitudinal reinforcement ratio,web longitudinal reinforcement ratio,and ratio of boundary element length to wall length in determining deformation limits.The developed prediction models have been evaluated for accuracy and validity using various statistical measures.In addition,the proposed equations have been compared with other available deformation limits in relevant design standards and the available literature to predict experimental results of RC wall components.The findings of these analyses indicate that the developed expressions provide significantly higher accuracy and superior predictions compared to existing empirical damage state definitions.展开更多
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.展开更多
This paper proposes an intuitive,modular teaching framework for dynamic programming(DP).Beginning with the fundamental concept of recursion,the framework leverages dependency graphs to visually illustrate structural r...This paper proposes an intuitive,modular teaching framework for dynamic programming(DP).Beginning with the fundamental concept of recursion,the framework leverages dependency graphs to visually illustrate structural relationships among subproblems.This visual approach helps students intuitively grasp the underlying logic of tabulation,enabling them to independently determine correct tabulation orders.The plug-and-play design significantly reduces the barrier to learning,while strengthening students'analytical thinking and problem-solving skills.The effectiveness of this method is demonstrated through classroom application using classic examples such as the longest common subsequence(LCS),matrix chain multiplication(MCM),and rod cutting problems.展开更多
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“Fundamentals of Programming”course employs a blended learning model that integrates online resources with offline instruction to enhance students’self-directed learning and practical skills.Powered by knowledge...The“Fundamentals of Programming”course employs a blended learning model that integrates online resources with offline instruction to enhance students’self-directed learning and practical skills.Powered by knowledge graphs,the curriculum enables personalized learning paths where students autonomously design their study plans,while instructors dynamically adjust teaching strategies based on learning data to achieve precision education.The gamified practice platform transforms grammar training into immersive gaming experiences,significantly boosting learning engagement and practical retention.The teaching strategy adopts tiered cultivation,combining macro-level projects with micro-level knowledge points to strengthen computational thinking and practical abilities.Implementation results demonstrate improved mastery of knowledge points,continuous enhancement of coding and debugging skills,and markedly strengthened learning motivation.This model creates a closed-loop system for knowledge transfer and competency development,laying a solid foundation for subsequent specialized courses.It embodies innovative concepts of knowledge graph-driven learning,gamified practice,and tiered cultivation,effectively fostering students’self-directed learning drive and critical thinking.展开更多
Addressing the high cognitive barriers and abstract nature of early programming for children aged 5-8,this study integrates narrative theory into the design of Tangible User Interfaces(TUIs).We developed a five-dimens...Addressing the high cognitive barriers and abstract nature of early programming for children aged 5-8,this study integrates narrative theory into the design of Tangible User Interfaces(TUIs).We developed a five-dimensional narrative model encompassing themes,characters,actions,scenes,and props to mitigate learners’cognitive load through contextualized representation.A one-week comparative experiment demonstrated that children in the narrative tangible programming group significantly outperformed those in traditional computer programming and abstract tangible programming groups in terms of core concept comprehension,task efficiency,and self-correction proficiency.The findings suggest that narrative design achieves the“de-abstraction”of programming logic by embedding it into concrete storylines,fostering deep logical understanding in autonomous learning environments.This research provides valuable insights and design pathways for the development of early programming educational tools.展开更多
Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defec...Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defective to some extent.However,these detection techniques are mainly based on text features and have weak detection capabilities across programs.Compared with the uncertainty of the code and text caused by the developer’s personalization,the programming language has a stricter logical specification,which reflects the rules and requirements of the language itself and the developer’s potential way of thinking.This article replaces text analysis with programming logic modeling,breaks through the limitation of code text analysis solely relying on the probability of sentence/word occurrence in the code,and proposes an object-oriented language programming logic construction method based on method constraint relationships,selecting features through hypothesis testing ideas,and construct support vector machine classifier to detect class files with defects and reduce the impact of personalized programming on detection methods.In the experiment,some representative Android applications were selected to test and compare the proposed methods.In terms of the accuracy of code defect detection,through cross validation,the proposed method and the existing leading methods all reach an average of more than 90%.In the aspect of cross program detection,the method proposed in this paper is superior to the other two leading methods in accuracy,recall and F1 value.展开更多
基金The National Science Fund for Distinguished Young Scholars (No.60425206)the National Natural Science Foundation of China (No.60633010)the Natural Science Foundation of Jiangsu Province(No.BK2006094)
摘要From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.
摘要Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This paper proposes a novel approach to realize concurrent object-oriented programming based on Message-passing interface(MPI) in which future method communication is adopted between concurrent objects. A state behavior set is proposed to solve inheritance anomaly, and a bounded buffer is taken as an example to illustrate this proposal. The definition of ParaMPI class, which is the most important class in the concurrent class library, and implementation issues are briefly described.
摘要Object-oriented programming divides the crop production into subsystems and simulates their behaviors. Many classes were designed to simulate the behaviors of different parts or different physiological processes in crop production system. At the same time, many classes have to be employed for bettering user's interface. But how to manage these classes on a higher level to cooperate them into a perfect system is another problem to study. The Rice Growth Models (RGM) system represents an effort to define and implement a framework to manage these classes. In RGM system, the classes were organized into the model-document-view architecture to separate the domain models, data management and user interface. A single document with multiple views interface frame window was adopted in RGM. In the architectures, the simulation models only exchange data with documents while documents act as intermediacies between simulation models and interfaces. Views get data from documents and show the results to users. The classes for the different functions can be grouped into different architectures. Different architectures communicate with each other through documents. The classes for the different functions can be grouped into different architectures. By using the architecture, communication between classes is more efficient. Modeler can add classes in architectures or other architectures to extend the system without having to change system structure, which is useful for construction and maintenance of agricultural system models.
摘要The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes library of finite element analysis program and Windows-type Graphical User Interfaces by VC + + and its MFC are developed. The reliability, reusability and extensibility of program are enhanced. It is a reference to develop the large-scale, versatile and powerful systems of object-oriented finite element software.
基金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 h2/(4√2),where h is the piecewise length.
基金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.
基金Fourth Phase of the China's Lunar Exploration ProgramChina National Space Administration (D040103)+1 种基金National Natural Science Foundation of China (62394354)National Key Research and Development Program of China (2025YFF0513303).
摘要It is important for a lunar lander to possess a large divert capability during the final landing phase,as this can enhance the tolerance for flight deviations in the early phase or improve the obstacle avoidance performance.Therefore,when designing the powered descent trajectory,sufficient final phase divert capability should be reserved at the minimum propellant cost.To this end,a multi-phase trajectory programming(MPTP)method for powered descent with approaching phase divert capability is proposed.First,the entire powered descent trajectory is divided into the main braking phase and the approaching phase.The main braking phase is responsible for dissipating the majority of the initial velocity.The approaching phase is responsible for safely and precisely flying toward the landing site.It is nominally a vertical descent trajectory and possesses equal divert capability in all horizontal directions.Then,a constant-thrust linear tangent guidance(LTG)accounting for the lunar curvature is designed for the main braking phase.For the approaching phase,a variable-thrust lossless convex programming(LCP)guidance considering the constraints of tilt angle and glide-slope angle is developed.Subsequently,to connect the two phases and further optimize the propellant consumption throughout the entire trajectory,a method for determining the phase switching condition is proposed.The originally difficult-to-solve two-parameter optimization problem is decomposed into two more easily solvable subproblems,which are solved iteratively via a bilevel optimization framework.Finally,the divert capability of the proposed method is verified through numerical simulation.The programmed trajectory is basically consistent with the results of the pseudospectral method,with the difference in propellant consumption being only 0.006%.This method is suitable for the rapid iterative design of nominal trajectories for lunar lander powered descent in engineering applications.
基金supported by the National Natural Science Foundation of China(62322305,62495090,62495095)。
摘要This paper delves into the H∞optimal output regulation problem for continuous-time linear systems with an unknown system model.By integrating the internal model principle with optimal control,we derive an optimal control policy and a worst-case disturbance policy through the formulation and solution of a zero-sum game problem.Subsequently,leveraging adaptive dynamic programming,we propose a policy iteration learning algorithm capable of learning both the optimal control policy and the worst-case disturbance policy directly from system data.The existing algorithms necessitate an initial stabilizing policy,a full-rank condition,and the storage of historical data to guarantee algorithm convergence.In contrast,we design a dual policy iteration algorithm equipped with an online learning mechanism,thereby eliminating these additional prerequisites.Simulation results with an antonomous ground vehicle underscore the effectiveness of our proposed algorithm,and its superiority is further demonstrated through comparisons with existing methodologies.
基金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.
摘要Natural convection in enclosures containing nanofluids has attracted significant attention due to its relevance in thermal management systems.In this context,this study presents a comprehensive numerical investigation of flow and heat transfer in a square cavity saturated with water-based CuO nanofluid having a centrally placed sinusoidal-shaped heated element.All the enclosure walls satisfy the no-slip velocity condition.Thermally,the vertical walls are kept at a cold reference temperature,the lower wall is partially heated at its center,and the remaining portions of the lower and entire upper walls are adiabatic.The internal sinusoidal element is also uniformly heated.The flow dynamics and thermal fields are governed by the two-dimensional steady-state Navier-Stokes and energy equations,solved using the Galerkin finite element method.Additionally,a novel hybrid approach integrating multi-expression programming(MEP)technique with a convolutional neural network bidirectional gated recurrent unit(CNN-BiGRU)deep learning network is also applied to enhance flow and thermal prediction accuracy.This hybrid approach enables precise evaluation of how heater waviness,magnetic field orientation,and nanoparticle dispersion influence flow structure and heat transfer.Results reveal stronger convection at high Rayleigh numbers,magnetic damping at increased Hartmann numbers,and higher temperatures with reduced velocity at greater nanoparticle concentrations.Among the analyzed situations,increasing heater waviness improves heat-transfer performance.Both the MEP and CNN-BiGRU models accurately capture the key features of flow and heat transport trends,indicating that the hybrid approach provides enhanced predictive capability for complex convection-driven nanofluid systems.
基金supported by the Open Fund of Laboratory of Aerospace Servo Actuation and Transmission(No.LASAT-2022-A03).
摘要This paper proposes a hybrid sequential second-order cone programming(HSSOCP)method with a three-layer scheme for the entry trajectory optimization of the cross-domain morphing vehicles(CDMVs).By defining the new morphing rate control variable and using relaxation techniques to relax the bank angle constraint,the SOCP-based entry problem is constructed.A dynamic relaxation penal-ization technique is developed in the first layer to overcome artificial infeasibility and significantly enhance initialization robustness.A novel standard oscillation identification(SOI)method is proposed to precisely identify the iteration oscillations of basic SSOCP in the second layer,which can significantly improve the solution accuracy.A soft-trust-region strategy is applied in the third layer to eliminate oscillations and accelerate convergence.Simulation results of two scenarios demonstrate that the proposed SOI method effectively avoids non-standard oscillation interference versus traditional methods.The morphing aircraft can complete tasks better with a 7.01%and 10.43%reduction in heat load respectively compared to fixed-wing aircraft.The HSSOCP method can maintain accuracy while reducing computation time by 63.47%and 73.86%versus VATSSOCP.Monte Carlo simulations further validate the robustness.
基金supported by the Open Fund of Laboratory of Aerospace Servo Actuation and Transmission,China(No.LASAT-2022-A03)。
摘要This paper develops an Oscillation-avoidance-based Multistage Trust-region Sequential Convex Programming(OMTSCP)method for the highly nonlinear entry trajectory optimization problem of Cross-Domain Morphing Vehicles(CDMVs).The decoupling of states and controls for complex nonlinear dynamics is achieved by defining new control and state variables.A series of sub convex problems is formulated by successive linearization and discretization of the constraints.The proposed Trust-region Sequential Convex Programming(TSCP)scheme consists of three stages:an initial guess generation stage,a basic solution stage,and an optimal solution stage.An approach to penalize the dynamic relaxation is firstly developed to obtain an initial guess with considerable accuracy and significantly improve the robustness of the algorithm by overcoming the drawbacks of potential artificial infeasibility.The oscillation phenomenon of the TSCP method under rectangular trust region is then investigated,and a novel N-shape-based oscillation identification method is proposed to identify the oscillation accurately.Finally,an oscillation-avoidance method based on the sort trust-region is proposed to improve the convergence of the TSCP algorithm.Numerical comparisons of the proposed method and a typical TSCP method,as well as the morphing and fixed-morphing vehicles are provided to demonstrate the effectiveness and efficiency of the proposed method and the performance advantages of the morphing vehicle.The robustness of the method is further verified by Monte Carlo simulation.
基金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)。
摘要Programmableeprogrammable 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.
摘要Structures located in high seismic zones often utilize reinforced concrete(RC)frame-wall systems for improved lateral strength and stiffness,whereby the structural walls serve as a critical component of the lateral load resisting system.To effectively assess the potential vulnerability of structural systems across different levels of seismic demands,it is important to establish clear,quantitative thresholds for specific damage states,especially for the critical structural components within a building system.The currently available damage state definitions for RC structural walls are based on empirical limits and do not provide predictions for damage thresholds based on key design characteristics of a wall.To address this challenge,the present study employs genetic programming(GP),a form of artificial intelligence,to formulate accurate expressions for drift prediction for various damage states,using a dataset of 8,125 analytically studied specimens of RC structural walls.These expressions take into account the effects of various design characteristics,such as wall aspect ratio,axial load ratio,boundary element longitudinal reinforcement ratio,web longitudinal reinforcement ratio,and ratio of boundary element length to wall length in determining deformation limits.The developed prediction models have been evaluated for accuracy and validity using various statistical measures.In addition,the proposed equations have been compared with other available deformation limits in relevant design standards and the available literature to predict experimental results of RC wall components.The findings of these analyses indicate that the developed expressions provide significantly higher accuracy and superior predictions compared to existing empirical damage state definitions.
基金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.
摘要This paper proposes an intuitive,modular teaching framework for dynamic programming(DP).Beginning with the fundamental concept of recursion,the framework leverages dependency graphs to visually illustrate structural relationships among subproblems.This visual approach helps students intuitively grasp the underlying logic of tabulation,enabling them to independently determine correct tabulation orders.The plug-and-play design significantly reduces the barrier to learning,while strengthening students'analytical thinking and problem-solving skills.The effectiveness of this method is demonstrated through classroom application using classic examples such as the longest common subsequence(LCS),matrix chain multiplication(MCM),and rod cutting problems.
基金Supported by the National Natural Science Foundation of China(Grant Nos.12571317 and 12071133).
摘要In this paper,we study a class of Linear Fractional Programming on a nonempty bounded set,called the Problem(LFP),and design a branch and bound algorithm to find the global optimal solution of the problem(LFP).First,we convert the problem(LFP)to the equivalent problem(EP2).Secondly,by applying the linear relaxation technique to the problem(EP2),the linear relaxation programming problem(LRP2Y)was obtained.Then,the overall framework of the algorithm is given,and the convergence and complexity of the algorithm are analyzed.Finally,experimental results are listed to illustrate the effectiveness of the algorithm.
基金supported by the General Project of Educational and Teaching Reform Research of the State Ethnic Affairs Commission of China in 2025(No.2025-GMJ-233):Integration of Intelligent Teaching and Education&Jointly Forging a Shared Future:Research on the Digital Teaching Reform and Collaborative Innovation of Multidimensional Resource Bank for the Course of An Introduction to the Chinese Nation Communitysupported by the 2025 Teaching Reform Project of Dalian Minzu University(No.YB202554).
摘要The“Fundamentals of Programming”course employs a blended learning model that integrates online resources with offline instruction to enhance students’self-directed learning and practical skills.Powered by knowledge graphs,the curriculum enables personalized learning paths where students autonomously design their study plans,while instructors dynamically adjust teaching strategies based on learning data to achieve precision education.The gamified practice platform transforms grammar training into immersive gaming experiences,significantly boosting learning engagement and practical retention.The teaching strategy adopts tiered cultivation,combining macro-level projects with micro-level knowledge points to strengthen computational thinking and practical abilities.Implementation results demonstrate improved mastery of knowledge points,continuous enhancement of coding and debugging skills,and markedly strengthened learning motivation.This model creates a closed-loop system for knowledge transfer and competency development,laying a solid foundation for subsequent specialized courses.It embodies innovative concepts of knowledge graph-driven learning,gamified practice,and tiered cultivation,effectively fostering students’self-directed learning drive and critical thinking.
摘要Addressing the high cognitive barriers and abstract nature of early programming for children aged 5-8,this study integrates narrative theory into the design of Tangible User Interfaces(TUIs).We developed a five-dimensional narrative model encompassing themes,characters,actions,scenes,and props to mitigate learners’cognitive load through contextualized representation.A one-week comparative experiment demonstrated that children in the narrative tangible programming group significantly outperformed those in traditional computer programming and abstract tangible programming groups in terms of core concept comprehension,task efficiency,and self-correction proficiency.The findings suggest that narrative design achieves the“de-abstraction”of programming logic by embedding it into concrete storylines,fostering deep logical understanding in autonomous learning environments.This research provides valuable insights and design pathways for the development of early programming educational tools.
基金This work was supported by National Key RD Program of China under Grant 2017YFB0802901.
摘要Code defects can lead to software vulnerability and even produce vulnerability risks.Existing research shows that the code detection technology with text analysis can judge whether object-oriented code files are defective to some extent.However,these detection techniques are mainly based on text features and have weak detection capabilities across programs.Compared with the uncertainty of the code and text caused by the developer’s personalization,the programming language has a stricter logical specification,which reflects the rules and requirements of the language itself and the developer’s potential way of thinking.This article replaces text analysis with programming logic modeling,breaks through the limitation of code text analysis solely relying on the probability of sentence/word occurrence in the code,and proposes an object-oriented language programming logic construction method based on method constraint relationships,selecting features through hypothesis testing ideas,and construct support vector machine classifier to detect class files with defects and reduce the impact of personalized programming on detection methods.In the experiment,some representative Android applications were selected to test and compare the proposed methods.In terms of the accuracy of code defect detection,through cross validation,the proposed method and the existing leading methods all reach an average of more than 90%.In the aspect of cross program detection,the method proposed in this paper is superior to the other two leading methods in accuracy,recall and F1 value.