According to the Wide Area Network model, we formulate Internet flow control as a constrained convex programming problem, where the objective is to maximize the total utility of all sources over their transmission rat...According to the Wide Area Network model, we formulate Internet flow control as a constrained convex programming problem, where the objective is to maximize the total utility of all sources over their transmission rates. Based on this formulation, flow control can be converted to a normal unconstrained optimization problem through the barrier function method, so that it can be solved by means of a gradient projection algorithm with properly rate iterations. We prove that the algorithm converges to the global optimal point, which is also a stable proportional fair rate allocation point, provided that the step size is properly chosen. The main difficulty facing the realization of iteration algorithm is the distributed computation of congestion measure. Fortunately, Explicit Congestion Notification (ECN) is likely to be used to improve the performance of TCP in the near future. By using ECN, it is possible to realize the iteration algorithm in IP networks. Our algorithm is divided into two parts, algorithms in the router and in the source. The router marks the ECN bit with a probability that varies as its buffer occupancy varies, so that the congestion measure of links can be communicated to the source when the marked ECN bits are reflected back from its destination. Source rates are then updated by all sessions according to the received congestion measure. The main advantage of our scheme is its fast convergence ability and robustness; it can also provide the network with zero packet loss by properly choosing the queue threshold and provide differentiated service to users by applying different utility functions.展开更多
This paper presents an explicit formula based on reparameterization technique for progressively computing a simple root of a smooth function,which may have wide applications in robotics,geomagnetic navigation,geometri...This paper presents an explicit formula based on reparameterization technique for progressively computing a simple root of a smooth function,which may have wide applications in robotics,geomagnetic navigation,geometric processing and computer graphics.Comparing with Newton-like method,it can achieve convergence rate 2 by adding one more functional evaluation,improve the computational stability and ensure the convergence,and also obtain higher convergence rate and higher efficiency index.Compared with clipping methods for polynomials,it doesn't need to bound the polynomials,directly bound the roots and can also work well for non-polynomial functions with much higher computational efficiency.Comparing with previous progressive methods,it achieves a much higher computational efficiency and is extended to solve bivariate equation system.Numerical examples show its much better performance on approximation error,computational efficiency and computational stability.展开更多
The existing research on the path following of the autonomous electric vehicle(AEV)mainly focuses on the path planning and the kinematic control.However,the dynamic control with the state observation and the communica...The existing research on the path following of the autonomous electric vehicle(AEV)mainly focuses on the path planning and the kinematic control.However,the dynamic control with the state observation and the communication delay is usually ignored,so the path following performance of the AEV cannot be ensured.This article studies the observer-based path following control strategy for the AEV with the communication delay via a robust explicit model predictive control approach.Firstly,a projected interval unscented Kalman filter is proposed to observe the vehicle sideslip angle and yaw rate.The observer considers the state constraints during the observation process,and the robustness of the observer is also considered.Secondly,an explicit model predictive control is designed to reduce the computational complexity.Thirdly,considering the efficiency of the information transmission,the influence of the communication delay is considered when designing the observer-based path following control strategy.Finally,the numerical simulation and the hardware-in-the-loop test are conducted to examine the effectiveness and practicability of the proposed strategy.展开更多
In recent years,there has been a growing demand for more efficient and robust control strategies in cooperative multi-robot systems.This paper introduces the cascade explicit tube model predictive controller(CET-MPC),...In recent years,there has been a growing demand for more efficient and robust control strategies in cooperative multi-robot systems.This paper introduces the cascade explicit tube model predictive controller(CET-MPC),a control architecture designed specifically for distributed aerial robot systems.By integrating an explicit model predictive controller(MPC)with a tube MPC,our approach significantly reduces online computational demands while enhancing robustness against disturbances such as wind and measurement noise,as well as uncertainties in inertia parameters.Further,we incorporate a cascade controller to minimize steady-state errors and improve system performance dynamically.The results of this assessment provide valuable insights into the effectiveness and reliability of the CET-MPC approach under realistic operating conditions.The simulation results of flight scenarios for multi-agent quadrotors demonstrate the controller’s stability and accurate tracking of the desired path.By addressing the complexities of quadrotors’six degrees of freedom,this controller serves as a versatile solution applicable to a wide range of multi-robot systems with varying degrees of freedom,demonstrating its adaptability and scalability beyond the quadrotor domain.展开更多
This paper presents an explicit difference scheme with accuracy and branching stability for solving onedimensional parabolic type equation by the method of undetermined parameters and its truncation error is O(△t4+△...This paper presents an explicit difference scheme with accuracy and branching stability for solving onedimensional parabolic type equation by the method of undetermined parameters and its truncation error is O(△t4+△x4). The stability condition is r=a△t/△x2<1/2.展开更多
It has long been in dispute about whether explicit grammar teaching is more effective in second language learning or implicit grammar teaching is.However,there are more than one factor to take into consideration while...It has long been in dispute about whether explicit grammar teaching is more effective in second language learning or implicit grammar teaching is.However,there are more than one factor to take into consideration while discussing which way is better for L2 learners.This short essay aims at depicting three respects concerning grammar teaching,namely learning context,language learners'beliefs and needs,and grammar instruction.When educators and practitioners try to adopt grammar instruction either implicitly or explicitly in L2 learners'writing development,they probably need to consider the above three factors and to find out the best way to produce more effective teaching results among their students.展开更多
Implicit and explicit learning strategies of SL vocabulary acquisition are summarized based on precious studies and experiments. It is concluded that implicit learning strategies dolittlehelpto SL vocabulary acquisiti...Implicit and explicit learning strategies of SL vocabulary acquisition are summarized based on precious studies and experiments. It is concluded that implicit learning strategies dolittlehelpto SL vocabulary acquisition, but explicit learning strategies play a very important part in SL vocabulary acquisition. Besides, an assumption is proposed: the more obvious explicit learning is in vocabulary acquisition, the more words learners can acquire. It is hoped that this research has certain implications for SL learners and teaching.展开更多
This study investigated the effect of explicit instruction about DCs in argumentative writings by 15 Chinese learners of English. This study involved in a 4-week experiment. Pre-and post-writing tests were quantitativ...This study investigated the effect of explicit instruction about DCs in argumentative writings by 15 Chinese learners of English. This study involved in a 4-week experiment. Pre-and post-writing tests were quantitatively analyzed to examine whether the explicit instruction about DCs had a significant effect on the students'argumentative writing. The findings revealed that the ex-plicit instruction of the target DCs facilitated the improvement of the participants in their argumentative writing .展开更多
Explicit grammar teaching is a must to the students to be teachers in the future. Both accuracy and fluency are very important. "Saying that we don’t need to teach grammar is like saying that you can have a chic...Explicit grammar teaching is a must to the students to be teachers in the future. Both accuracy and fluency are very important. "Saying that we don’t need to teach grammar is like saying that you can have a chicken walking around without bones ." But the way of teaching should be communication-oriented.展开更多
A new FE modeling method of hot ring rolling was presented by solving key technologies such as contact and heat boundary conditions,motion control over guide rolls,and mass scaling.The method has the following feature...A new FE modeling method of hot ring rolling was presented by solving key technologies such as contact and heat boundary conditions,motion control over guide rolls,and mass scaling.The method has the following features:1)the elastic-plastic dynamic explicit approach instead of the static implicit approach is adopted to solve the process so as to greatly improve computational efficiency without sacrificing computational accuracy;2)the coupled thermal-mechanical effect is considered as opposed to the conventional isothermal assumption,which is more practical;3)in contrast to the simplified 2D or local 3D ring model,the full 3D ring is modeled to simulate the process.Based on the FE modeling method,two cases of hot plain ring rolling are simulated in the FEA software ABAQUS/Explicit.The simulation results are compared with the experimental measurements and the good agreement between them is observed regarding the material flow and the temperature distribution of the ring.展开更多
Taking CPU time cost and analysis accuracy into account, dynamic explicit finite ele- ment method is adopted to optimize the forming process of autobody panels that often have large sizes and complex geometry. In this...Taking CPU time cost and analysis accuracy into account, dynamic explicit finite ele- ment method is adopted to optimize the forming process of autobody panels that often have large sizes and complex geometry. In this paper, for the sake of illustrating in detail how dynamic explicit finite element method is applied to the numerical simulation of the autobody panel forming process,an example of optimization of stamping process pain meters of an inner door panel is presented. Using dynamic explicit finite element code Ls-DYNA3D, the inner door panel has been optimized by adapting pa- rameters such as the initial blank geometry and position, blank-holder forces and the location of drawbeads, and satisfied results are obtained.展开更多
An explicit finite element-finite difference method for analyzing the effects of two-dimensional visco-elastic localtopography on earthquake ground motion is prOPosed in this paper. In the method, at first, the finite...An explicit finite element-finite difference method for analyzing the effects of two-dimensional visco-elastic localtopography on earthquake ground motion is prOPosed in this paper. In the method, at first, the finite elementdiscrete model is formed by using the artificial boundary and finite element method, and the dynamic equationsof local nodes in the discrete model are obtained according to the theory of the special finite element method similar to the finite difference method, and then the explicit step-by-step integration formulas are presented by usingthe explicit difference method for solving the visco-elastic dynamic equation and Generalized Multi-transmittingBoundary. The method has the advantages of saving computing time and computer memory space, and it is suitable for any case of topography and has high computing accuracy and good computing stability.展开更多
In the present paper, a class of explicit forward time-difference schemes are established from a geometric view with strict analytical deductions. This class includes the schemes with a constant time interval and with...In the present paper, a class of explicit forward time-difference schemes are established from a geometric view with strict analytical deductions. This class includes the schemes with a constant time interval and with adjustable time intervals, which is proved to be effective and remarkably time-saving in numerical tests and applications.展开更多
In this paper, we study a differential-difference equation associated with discrete 3 × 3 matrix spectral problem. Based on gauge transformation of the spectral problm, Darboux transformation of the differential-...In this paper, we study a differential-difference equation associated with discrete 3 × 3 matrix spectral problem. Based on gauge transformation of the spectral problm, Darboux transformation of the differential-difference equation is given. In order to solve the differential-difference equation, a systematic algebraic algorithm is given. As an application, explicit soliton solutions of the differential-difference equation are given.展开更多
In this paper, a method to develop a hierarchy of explicit recursion formulas for numerical simulation in an irregular grid for scalar wave equations is presented and its accuracy is illustrated via 2-D and 1-D models...In this paper, a method to develop a hierarchy of explicit recursion formulas for numerical simulation in an irregular grid for scalar wave equations is presented and its accuracy is illustrated via 2-D and 1-D models. Approaches to develop the stable formulas which are of 2M-order accuracy in both time and space with Mbeing a positive integer for regular grids are discussed and illustrated by constructing the second order （M= 1） and the fourth order （M = 2） recursion formulas.展开更多
Ecosystem service is an emerging concept that grows to be a hot research area in ecology.Spatially explicit ecosystem service values are important for ecosystem service management.However,it is difficult to quantify e...Ecosystem service is an emerging concept that grows to be a hot research area in ecology.Spatially explicit ecosystem service values are important for ecosystem service management.However,it is difficult to quantify ecosystem services.Remote sensing provides images covering Earth surface,which by nature are spatially explicit.Thus,remote sensing can be useful for quantitative assessment of ecosystem services.This paper reviews spatially explicit ecosystem service studies conducted in ecology and remote sensing in order to find out how remote sensing can be used for ecosystem service assessment.Several important areas considered include land cover,biodiversity,and carbon,water and soil related ecosystem services.We found that remote sensing can be used for ecosystem service assessment in three different ways:direct monitoring,indirect monitoring,and combined use with ecosystem models.Some plant and water related ecosystem services can be directly monitored by remote sensing.Most commonly,remote sensing can provide surrogate information on plant and soil characteristics in an ecosystem.For ecosystem process related ecosystem services,remote sensing can help measure spatially explicit parameters.We conclude that acquiring good in-situ measurements and selecting appropriate remote sensor data in terms of resolution are critical for accurate assessment of ecosystem services.展开更多
An explicit unconditionally stable algorithm for hybrid tests,which is developed from the traditional HHT-α algorithm,is proposed.The unconditional stability is first proven by the spectral radius method for a linear...An explicit unconditionally stable algorithm for hybrid tests,which is developed from the traditional HHT-α algorithm,is proposed.The unconditional stability is first proven by the spectral radius method for a linear system.If the value of α is selected within [-0.5,0],then the algorithm is shown to be unconditionally stable.Next,the root locus method for a discrete dynamic system is applied to analyze the stability of a nonlinear system.The results show that the proposed method is conditionally stable for dynamic systems with stiffness hardening.To improve the stability of the proposed method,the structure stiffness is then identified and updated.Both numerical and pseudo-dynamic tests on a structure with the collision effect prove that the stiffness updating method can effectively improve stability.展开更多
文摘According to the Wide Area Network model, we formulate Internet flow control as a constrained convex programming problem, where the objective is to maximize the total utility of all sources over their transmission rates. Based on this formulation, flow control can be converted to a normal unconstrained optimization problem through the barrier function method, so that it can be solved by means of a gradient projection algorithm with properly rate iterations. We prove that the algorithm converges to the global optimal point, which is also a stable proportional fair rate allocation point, provided that the step size is properly chosen. The main difficulty facing the realization of iteration algorithm is the distributed computation of congestion measure. Fortunately, Explicit Congestion Notification (ECN) is likely to be used to improve the performance of TCP in the near future. By using ECN, it is possible to realize the iteration algorithm in IP networks. Our algorithm is divided into two parts, algorithms in the router and in the source. The router marks the ECN bit with a probability that varies as its buffer occupancy varies, so that the congestion measure of links can be communicated to the source when the marked ECN bits are reflected back from its destination. Source rates are then updated by all sessions according to the received congestion measure. The main advantage of our scheme is its fast convergence ability and robustness; it can also provide the network with zero packet loss by properly choosing the queue threshold and provide differentiated service to users by applying different utility functions.
基金Supported by the National Natural Science Foundation of China (61972120)。
文摘This paper presents an explicit formula based on reparameterization technique for progressively computing a simple root of a smooth function,which may have wide applications in robotics,geomagnetic navigation,geometric processing and computer graphics.Comparing with Newton-like method,it can achieve convergence rate 2 by adding one more functional evaluation,improve the computational stability and ensure the convergence,and also obtain higher convergence rate and higher efficiency index.Compared with clipping methods for polynomials,it doesn't need to bound the polynomials,directly bound the roots and can also work well for non-polynomial functions with much higher computational efficiency.Comparing with previous progressive methods,it achieves a much higher computational efficiency and is extended to solve bivariate equation system.Numerical examples show its much better performance on approximation error,computational efficiency and computational stability.
基金Supported by the National Key Research and Development Program of China(Grant No.2023YFE0204700)the National Natural Science Foundation of China(Grant Nos.52472402 and 52302469)+7 种基金the Guangdong Basic and Applied Basic Research Foundation(Grant Nos.2023A1515012327 and 2024A1515010449)the research grant of the University of Macao(Grant No.MYRG GRG2023-00235-FST-UMDF)Shandong Provincial Natural Science Foundation(Grant No.ZR2023ME133)the Fundamental Research Funds for the Central Universities(Grant No.N2403012)the Science and Technology Development Fund of Macao SAR(Grant No.0091/2023/AMJ)the China Postdoctoral Science Foundation(Grant Nos.2023M740538 and AM2024003)the Zhuhai Science and Technology Innovation Bureau(Grant No.2220004003107)the Yunfu Science and Technology Project(Grant No.2024090202).
文摘The existing research on the path following of the autonomous electric vehicle(AEV)mainly focuses on the path planning and the kinematic control.However,the dynamic control with the state observation and the communication delay is usually ignored,so the path following performance of the AEV cannot be ensured.This article studies the observer-based path following control strategy for the AEV with the communication delay via a robust explicit model predictive control approach.Firstly,a projected interval unscented Kalman filter is proposed to observe the vehicle sideslip angle and yaw rate.The observer considers the state constraints during the observation process,and the robustness of the observer is also considered.Secondly,an explicit model predictive control is designed to reduce the computational complexity.Thirdly,considering the efficiency of the information transmission,the influence of the communication delay is considered when designing the observer-based path following control strategy.Finally,the numerical simulation and the hardware-in-the-loop test are conducted to examine the effectiveness and practicability of the proposed strategy.
文摘In recent years,there has been a growing demand for more efficient and robust control strategies in cooperative multi-robot systems.This paper introduces the cascade explicit tube model predictive controller(CET-MPC),a control architecture designed specifically for distributed aerial robot systems.By integrating an explicit model predictive controller(MPC)with a tube MPC,our approach significantly reduces online computational demands while enhancing robustness against disturbances such as wind and measurement noise,as well as uncertainties in inertia parameters.Further,we incorporate a cascade controller to minimize steady-state errors and improve system performance dynamically.The results of this assessment provide valuable insights into the effectiveness and reliability of the CET-MPC approach under realistic operating conditions.The simulation results of flight scenarios for multi-agent quadrotors demonstrate the controller’s stability and accurate tracking of the desired path.By addressing the complexities of quadrotors’six degrees of freedom,this controller serves as a versatile solution applicable to a wide range of multi-robot systems with varying degrees of freedom,demonstrating its adaptability and scalability beyond the quadrotor domain.
文摘This paper presents an explicit difference scheme with accuracy and branching stability for solving onedimensional parabolic type equation by the method of undetermined parameters and its truncation error is O(△t4+△x4). The stability condition is r=a△t/△x2<1/2.
文摘It has long been in dispute about whether explicit grammar teaching is more effective in second language learning or implicit grammar teaching is.However,there are more than one factor to take into consideration while discussing which way is better for L2 learners.This short essay aims at depicting three respects concerning grammar teaching,namely learning context,language learners'beliefs and needs,and grammar instruction.When educators and practitioners try to adopt grammar instruction either implicitly or explicitly in L2 learners'writing development,they probably need to consider the above three factors and to find out the best way to produce more effective teaching results among their students.
文摘Implicit and explicit learning strategies of SL vocabulary acquisition are summarized based on precious studies and experiments. It is concluded that implicit learning strategies dolittlehelpto SL vocabulary acquisition, but explicit learning strategies play a very important part in SL vocabulary acquisition. Besides, an assumption is proposed: the more obvious explicit learning is in vocabulary acquisition, the more words learners can acquire. It is hoped that this research has certain implications for SL learners and teaching.
文摘This study investigated the effect of explicit instruction about DCs in argumentative writings by 15 Chinese learners of English. This study involved in a 4-week experiment. Pre-and post-writing tests were quantitatively analyzed to examine whether the explicit instruction about DCs had a significant effect on the students'argumentative writing. The findings revealed that the ex-plicit instruction of the target DCs facilitated the improvement of the participants in their argumentative writing .
文摘Explicit grammar teaching is a must to the students to be teachers in the future. Both accuracy and fluency are very important. "Saying that we don’t need to teach grammar is like saying that you can have a chicken walking around without bones ." But the way of teaching should be communication-oriented.
基金Project(50335060) supported by the National Natural Science Foundation for Key Program of ChinaProject(50225518) supported by the National Science Fund of China for Distinguished Young Scholars
文摘A new FE modeling method of hot ring rolling was presented by solving key technologies such as contact and heat boundary conditions,motion control over guide rolls,and mass scaling.The method has the following features:1)the elastic-plastic dynamic explicit approach instead of the static implicit approach is adopted to solve the process so as to greatly improve computational efficiency without sacrificing computational accuracy;2)the coupled thermal-mechanical effect is considered as opposed to the conventional isothermal assumption,which is more practical;3)in contrast to the simplified 2D or local 3D ring model,the full 3D ring is modeled to simulate the process.Based on the FE modeling method,two cases of hot plain ring rolling are simulated in the FEA software ABAQUS/Explicit.The simulation results are compared with the experimental measurements and the good agreement between them is observed regarding the material flow and the temperature distribution of the ring.
文摘Taking CPU time cost and analysis accuracy into account, dynamic explicit finite ele- ment method is adopted to optimize the forming process of autobody panels that often have large sizes and complex geometry. In this paper, for the sake of illustrating in detail how dynamic explicit finite element method is applied to the numerical simulation of the autobody panel forming process,an example of optimization of stamping process pain meters of an inner door panel is presented. Using dynamic explicit finite element code Ls-DYNA3D, the inner door panel has been optimized by adapting pa- rameters such as the initial blank geometry and position, blank-holder forces and the location of drawbeads, and satisfied results are obtained.
文摘An explicit finite element-finite difference method for analyzing the effects of two-dimensional visco-elastic localtopography on earthquake ground motion is prOPosed in this paper. In the method, at first, the finite elementdiscrete model is formed by using the artificial boundary and finite element method, and the dynamic equationsof local nodes in the discrete model are obtained according to the theory of the special finite element method similar to the finite difference method, and then the explicit step-by-step integration formulas are presented by usingthe explicit difference method for solving the visco-elastic dynamic equation and Generalized Multi-transmittingBoundary. The method has the advantages of saving computing time and computer memory space, and it is suitable for any case of topography and has high computing accuracy and good computing stability.
基金Partly supported by the State Major Key Project for Basic Researches of China
文摘In the present paper, a class of explicit forward time-difference schemes are established from a geometric view with strict analytical deductions. This class includes the schemes with a constant time interval and with adjustable time intervals, which is proved to be effective and remarkably time-saving in numerical tests and applications.
基金Project supported by the Talent Foundation of the Northwest Sci-Tech University of Agriculture and Forestry (01140407)
文摘In this paper, we study a differential-difference equation associated with discrete 3 × 3 matrix spectral problem. Based on gauge transformation of the spectral problm, Darboux transformation of the differential-difference equation is given. In order to solve the differential-difference equation, a systematic algebraic algorithm is given. As an application, explicit soliton solutions of the differential-difference equation are given.
基金National Basic Research Program of China Under Grant No. 2007CB714200National Natural Science Foundation of China Under Grant No. 90715038
文摘In this paper, a method to develop a hierarchy of explicit recursion formulas for numerical simulation in an irregular grid for scalar wave equations is presented and its accuracy is illustrated via 2-D and 1-D models. Approaches to develop the stable formulas which are of 2M-order accuracy in both time and space with Mbeing a positive integer for regular grids are discussed and illustrated by constructing the second order （M= 1） and the fourth order （M = 2） recursion formulas.
基金Under the auspices of National Basic Research Priorities Program of China (No 2009CB421104)National Natural Science Foundation of China (No 40801070)+1 种基金Knowledge Innovation Programs of Chinese Academy of Sciences (No KZCX2-YW-421)the CAS/SAFEA International Partnership Program for Creative Research Teams of 'Ecosystem Processes and Services'
文摘Ecosystem service is an emerging concept that grows to be a hot research area in ecology.Spatially explicit ecosystem service values are important for ecosystem service management.However,it is difficult to quantify ecosystem services.Remote sensing provides images covering Earth surface,which by nature are spatially explicit.Thus,remote sensing can be useful for quantitative assessment of ecosystem services.This paper reviews spatially explicit ecosystem service studies conducted in ecology and remote sensing in order to find out how remote sensing can be used for ecosystem service assessment.Several important areas considered include land cover,biodiversity,and carbon,water and soil related ecosystem services.We found that remote sensing can be used for ecosystem service assessment in three different ways:direct monitoring,indirect monitoring,and combined use with ecosystem models.Some plant and water related ecosystem services can be directly monitored by remote sensing.Most commonly,remote sensing can provide surrogate information on plant and soil characteristics in an ecosystem.For ecosystem process related ecosystem services,remote sensing can help measure spatially explicit parameters.We conclude that acquiring good in-situ measurements and selecting appropriate remote sensor data in terms of resolution are critical for accurate assessment of ecosystem services.
基金Scientific Research Fund of the Institute of Engineering Mechanics,CEA under Grant Nos.2017A02,2016B09 and 2016A06the National Science-technology Support Plan Projects under Grant No.2015BAK17B02the National Natural Science Foundation of China under Grant Nos.51378478,51408565,51678538 and 51161120360
文摘An explicit unconditionally stable algorithm for hybrid tests,which is developed from the traditional HHT-α algorithm,is proposed.The unconditional stability is first proven by the spectral radius method for a linear system.If the value of α is selected within [-0.5,0],then the algorithm is shown to be unconditionally stable.Next,the root locus method for a discrete dynamic system is applied to analyze the stability of a nonlinear system.The results show that the proposed method is conditionally stable for dynamic systems with stiffness hardening.To improve the stability of the proposed method,the structure stiffness is then identified and updated.Both numerical and pseudo-dynamic tests on a structure with the collision effect prove that the stiffness updating method can effectively improve stability.
