Time synchronization is a prerequisite for ensuring determinism in time-sensitive networking(TSN).While time synchronization errors cannot be overlooked,pursuing minimal time errors may incur unnecessary costs.Using c...Time synchronization is a prerequisite for ensuring determinism in time-sensitive networking(TSN).While time synchronization errors cannot be overlooked,pursuing minimal time errors may incur unnecessary costs.Using complex network theory,this study proposes a hierarchy for TSN and introduces the concept of bounded time error.A coupling model between traffic scheduling and time synchronization is established,deriving functional relationships among end-to-end delay,delay jitter,gate window,and time error.These relationships illustrate that time errors can trigger jumps in delay and delay jitter.To evaluate different time errors impact on traffic scheduling performance,an end-to-end transmission experiment scheme is designed,along with the construction of a TSN test platform implementing two representative cases.Case A is a closed TSN domain scenario with pure TSN switches emulating closed factory floor network.Case B depicts remote factory interconnection where TSN domains link via non-TSN domains composed of OpenFlow switches.Results from Case A show that delay and delay jitter on a single node are most significantly affected by time errors,up to one gating cycle.End-to-end delay jitter tends to increase with the number of hops.When the ratio of time error bound to window exceeds 10%,the number of schedulable traffic flows decreases rapidly.Case B reveals that when time error is below 1μs,the number of schedulable traffic flows begins to increase significantly,approaching full schedulability at errors below 0.6μs.展开更多
Considering mechanical limitation or device restriction in practical application, this paper investigates impulsive stabilization of nonlinear systems with impulsive gain error. Compared with the existing impulsive an...Considering mechanical limitation or device restriction in practical application, this paper investigates impulsive stabilization of nonlinear systems with impulsive gain error. Compared with the existing impulsive analytical approaches,the proposed impulsive control method is more practically applicable, which includes control gain error with an acceptable boundary. A sufficient criterion for global exponential stability of an impulsive control system is derived, which relaxes the condition for precise impulsive gain efficiently. The effectiveness of the proposed method is confirmed by theoretical analysis and numerical simulation based on Chua＇s circuit.展开更多
The Unsteady Adaptive Stochastic Finite Elements(UASFE)approach is a robust and efficient uncertainty quantification method for resolving the effect of random parameters in unsteady simulations.In this paper,it is sho...The Unsteady Adaptive Stochastic Finite Elements(UASFE)approach is a robust and efficient uncertainty quantification method for resolving the effect of random parameters in unsteady simulations.In this paper,it is shown that the underlying Adaptive Stochastic Finite Elements(ASFE)method for steady problems based on Newton-Cotes quadrature in simplex elements is extrema diminishing(ED).It is also shown that the method is total variation diminishing(TVD)for one random parameter and for multiple random parameters for first degree Newton-Cotes quadrature.It is proven that the interpolation of oscillatory samples at constant phase in the UASFE method for unsteady problems results in a bounded error as function of the phase for periodic responses and under certain conditions also in a bounded error in time.The two methods are applied to a steady transonic airfoil flow and a transonic airfoil flutter problem.展开更多
It is demonstrated that the recently introduced semantic intelligence spontaneously maintains bounded logical and quantal error on each and every semantic trajectory, unlike its algorithmic counterpart which is not ab...It is demonstrated that the recently introduced semantic intelligence spontaneously maintains bounded logical and quantal error on each and every semantic trajectory, unlike its algorithmic counterpart which is not able to. This result verifies the conclusion about the assignment of equal evolutionary value to the motion on the set of all the semantic trajectories sharing the same homeostatic pattern. The evolutionary value of permanent and spontaneous maintenance of boundedness of logical and quantal error on each and every semantic trajectory is to make available spontaneous maintenance of the notion of a kind intact in the long run.展开更多
Based on the concept of constitutive relation error along with the residual of both origin and dual problems, a goal-oriented error estimation method with extended degrees of freedom is developed in this paper. It lea...Based on the concept of constitutive relation error along with the residual of both origin and dual problems, a goal-oriented error estimation method with extended degrees of freedom is developed in this paper. It leads to high quality local error bounds in the problem of fracture mechanics simulation with extended finite element method （XFEM）, which involves enrichment to solve a stress singularity in the crack. Since goal-oriented error estimation with enriched degrees of freedom gives us a chance to evaluate the XFEM simulation, the stress intensity factor calculated by two kinds of XFEM programs developed by ourselves and by commercial code ABAQUS are compared in this work. By comparing the reliability of the stress intensity factor calculation, the accuracy of two programs in different cases is evaluated and the source of error is discussed. A 2-dimensional XFEM example is given to illustrate the computational procedure.展开更多
Krawtchouk polynomials are frequently applied in modern physics. Based on the results which were educed by Li and Wong, the asymptotic expansions of Krawtchouk polynomials are improved by using Airy function, and unif...Krawtchouk polynomials are frequently applied in modern physics. Based on the results which were educed by Li and Wong, the asymptotic expansions of Krawtchouk polynomials are improved by using Airy function, and uniform asymptotic expansions are got. Furthermore, the asymptotic expansions of the zeros for Krawtchouk polynomials are again deduced by using the property of the zeros of Airy function, and their corresponding error bounds axe discussed. The obtained results give the asymptotic property of Krawtchouk polynomials with their zeros, which are better than the results educed by Li and Wong.展开更多
Due to their complex structure,2-D models are challenging to work with;additionally,simulation,analysis,design,and control get increasingly difficult as the order of the model grows.Moreover,in particular time interva...Due to their complex structure,2-D models are challenging to work with;additionally,simulation,analysis,design,and control get increasingly difficult as the order of the model grows.Moreover,in particular time intervals,Gawronski and Juang’s time-limited model reduction schemes produce an unstable reduced-order model for the 2-D and 1-D models.Researchers revealed some stability preservation solutions to address this key flaw which ensure the stability of 1-D reduced-order systems;nevertheless,these strategies result in large approximation errors.However,to the best of the authors’knowledge,there is no literature available for the stability preserving time-limited-interval Gramian-based model reduction framework for the 2-D discrete-time systems.In this article,2-D models are decomposed into two separate sub-models(i.e.,two cascaded 1-D models)using the condition of minimal rank-decomposition.Model reduction procedures are conducted on these obtained two 1-D sub-models using limited-time Gramian.The suggested methodology works for both 2-D and 1-D models.Moreover,the suggested methodology gives the stability of the reduced model as well as a priori error-bound expressions for the 2-D and 1-D models.Numerical results and comparisons between existing and suggested methodologies are provided to demonstrate the effectiveness of the suggested methodology.展开更多
We consider some classes of generalized gap functions for two kinds of generalized variational inequality problems. We obtain error bounds for the underlying variational inequalities using the generalized gap function...We consider some classes of generalized gap functions for two kinds of generalized variational inequality problems. We obtain error bounds for the underlying variational inequalities using the generalized gap functions under the condition that the involved mapping F is g-strongly monotone with respect to the solution, but not necessarily continuous differentiable, even not locally Lipschitz.展开更多
The inverse heat conduction problem （IHCP） is a severely ill-posed problem in the sense that the solution （ if it exists） does not depend continuously on the data. But now the results on inverse heat conduction pr...The inverse heat conduction problem （IHCP） is a severely ill-posed problem in the sense that the solution （ if it exists） does not depend continuously on the data. But now the results on inverse heat conduction problem are mainly devoted to the standard inverse heat conduction problem. Some optimal error bounds in a Sobolev space of regularized approximation solutions for a sideways parabolic equation, i. e. , a non-standard inverse heat conduction problem with convection term which appears in some applied subject are given.展开更多
It＇s well-known that there is a very powerful error bound for Gaussians put forward by Madych and Nelson in 1992. It＇s of the form｜f（x） - s（x）｜≤（Cd）c/d｜｜f｜｜h where C, c are constants, h is the Gaussian ...It＇s well-known that there is a very powerful error bound for Gaussians put forward by Madych and Nelson in 1992. It＇s of the form｜f（x） - s（x）｜≤（Cd）c/d｜｜f｜｜h where C, c are constants, h is the Gaussian function, s is the interpolating function, and d is called fill distance which, roughly speaking, measures the spacing of the points at which interpolation occurs. This error bound gets small very fast as d → 0. The constants C and c are very sensitive. A slight change of them will result in a huge change of the error bound. The number c can be calculated as shown in [9]. However, C cannot be calculated, or even approximated. This is a famous question in the theory of radial basis functions. The purpose of this paper is to answer this question.展开更多
In this paper, we consider the global error bound for the generalized complementarity problem (GCP) with analytic functions. Based on the new technique, we establish computable global error bound under milder conditio...In this paper, we consider the global error bound for the generalized complementarity problem (GCP) with analytic functions. Based on the new technique, we establish computable global error bound under milder conditions, which refines the previously known results.展开更多
We consider the abstract linear inequality system （A, C, b） and give a sufficient condition for the system （A, C, b） to have an error bound, which extends the previous result.
This paper investigates double sampling series derivatives for bivariate functions defined on R2 that are in the Bernstein space. For this sampling series, we estimate some of the pointwise and uniform bounds when the...This paper investigates double sampling series derivatives for bivariate functions defined on R2 that are in the Bernstein space. For this sampling series, we estimate some of the pointwise and uniform bounds when the function satisfies some decay conditions. The truncated series of this formula allow us to approximate any order of partial derivatives for function from Bernstein space using only a finite number of samples from the function itself. This sampling formula will be useful in the approximation theory and its applications, especially after having the truncation error well-established. Examples with tables and figures are given at the end of the paper to illustrate the advantages of this formula.展开更多
In this paper we develop periodic quartic spline interpolation theory which,in general,gives better fus to continuous functions than does the existing quintic spline interpolation theory.The main theorem of the paper ...In this paper we develop periodic quartic spline interpolation theory which,in general,gives better fus to continuous functions than does the existing quintic spline interpolation theory.The main theorem of the paper is to establish that r=0,1,2,3.Also,the nanperiodic cases cannot be constructed empoly-ing the methodology of this paper because that will involve several other end conditions entirely different than(1,10).展开更多
Similar to having done for the mid-point and trapezoid quadrature rules,we obtain alternative estimations of error bounds for the Simpson＇s quadrature rule involving n-time（1 ≤ n ≤ 4） differentiable mappings and ...Similar to having done for the mid-point and trapezoid quadrature rules,we obtain alternative estimations of error bounds for the Simpson＇s quadrature rule involving n-time（1 ≤ n ≤ 4） differentiable mappings and then to the estimations of error bounds for the adaptive Simpson＇s quadrature rule.展开更多
In this paper,the kernel of the cubic spline interpolation is given.An optimal error bound for the cu- bic spline interpolation of lower smooth functions is obtained.
An approach is presented for computing integral values, such as areas and volumes of revo-lution . of regions bounded by rational plane B zier curves. The method approximates rational curveswith polynomial curves, an...An approach is presented for computing integral values, such as areas and volumes of revo-lution . of regions bounded by rational plane B zier curves. The method approximates rational curveswith polynomial curves, and then computes the integral values on those polynomial curves. Errorbounds are provided. For high precision, this new algorithm performs much more quickly than con-ventional numerical methods.展开更多
为快速、准确地观测系统中的未知扰动及状态,提出一种有限时间线性扩张状态观测器(Finite-time linear extended state observer,FT-LESO),它具有期望的收敛性能且结构简单、易于设计.假设系统的状态无法量测,观测器设计问题转化为扰动...为快速、准确地观测系统中的未知扰动及状态,提出一种有限时间线性扩张状态观测器(Finite-time linear extended state observer,FT-LESO),它具有期望的收敛性能且结构简单、易于设计.假设系统的状态无法量测,观测器设计问题转化为扰动下的输出反馈控制问题.针对该问题,提出一种扰动下的有限时间线性输出反馈控制方法,得到控制器参数与闭环系统状态向量2-范数间的解析关系.在此基础上,提出有限时间线性扩张状态观测器,得到观测器参数与观测误差收敛速度及稳态观测误差间的解析关系,给出一充分条件保证观测误差有限时间有界、且能以不低于指数收敛的速度收敛到给定范围内,为观测器参数设计提供理论依据.通过数值仿真验证提出的观测器,仿真结果与理论分析相符,提出的观测器是有效的.展开更多
A robust fault diagnosis approach is developed by incorporating a set-membership identification (SMI) method. A class of systems with linear models in the form of fault related parameters is investigated, with model u...A robust fault diagnosis approach is developed by incorporating a set-membership identification (SMI) method. A class of systems with linear models in the form of fault related parameters is investigated, with model uncertainties and parameter variations taken into account explicitly and treated as bounded errors. An ellipsoid bounding set-membership identification algorithm is proposed to propagate bounded uncertainties rigorously and the guaranteed feasible set of faults parameters enveloping true parameter values is given. Faults arised from abrupt parameter variations can be detected and isolated on-line by consistency check between predicted and observed parameter sets obtained in the identification procedure. The proposed approach provides the improved robustness with its ability to distinguish real faults from model uncertainties, which comes with the inherent guaranteed robustness of the set-membership framework. Efforts are also made in this work to balance between conservativeness and computation complexity of the overall algorithm. Simulation results for the mobile robot with several slipping faults scenarios demonstrate the correctness of the proposed approach for faults detection and isolation (FDI).展开更多
基金supported in part by the Science and Technology Research and Development Foundation of China Academy of Railway Sciences Corporation Limited(Grant No.2023YJ364)in part by National Key R&D Program of China(Grant No.2022YFC3803700)in part by the project of Beijing Laboratory of Advanced Information Networks.
文摘Time synchronization is a prerequisite for ensuring determinism in time-sensitive networking(TSN).While time synchronization errors cannot be overlooked,pursuing minimal time errors may incur unnecessary costs.Using complex network theory,this study proposes a hierarchy for TSN and introduces the concept of bounded time error.A coupling model between traffic scheduling and time synchronization is established,deriving functional relationships among end-to-end delay,delay jitter,gate window,and time error.These relationships illustrate that time errors can trigger jumps in delay and delay jitter.To evaluate different time errors impact on traffic scheduling performance,an end-to-end transmission experiment scheme is designed,along with the construction of a TSN test platform implementing two representative cases.Case A is a closed TSN domain scenario with pure TSN switches emulating closed factory floor network.Case B depicts remote factory interconnection where TSN domains link via non-TSN domains composed of OpenFlow switches.Results from Case A show that delay and delay jitter on a single node are most significantly affected by time errors,up to one gating cycle.End-to-end delay jitter tends to increase with the number of hops.When the ratio of time error bound to window exceeds 10%,the number of schedulable traffic flows decreases rapidly.Case B reveals that when time error is below 1μs,the number of schedulable traffic flows begins to increase significantly,approaching full schedulability at errors below 0.6μs.
基金Project supported by the Major State Basic Research Development Program of China(Grant No.2012CB215202)the National Natural Science Foundation of China(Grant Nos.61104080 and 61134001)the Fundamental Research Funds for the Central Universities(Grant No.CDJZR13 175501)
文摘Considering mechanical limitation or device restriction in practical application, this paper investigates impulsive stabilization of nonlinear systems with impulsive gain error. Compared with the existing impulsive analytical approaches,the proposed impulsive control method is more practically applicable, which includes control gain error with an acceptable boundary. A sufficient criterion for global exponential stability of an impulsive control system is derived, which relaxes the condition for precise impulsive gain efficiently. The effectiveness of the proposed method is confirmed by theoretical analysis and numerical simulation based on Chua＇s circuit.
基金This research was supported by the Technology Foundation STW,applied science division of NWO and the technology programme of the Ministry of Economic Affairs.
文摘The Unsteady Adaptive Stochastic Finite Elements(UASFE)approach is a robust and efficient uncertainty quantification method for resolving the effect of random parameters in unsteady simulations.In this paper,it is shown that the underlying Adaptive Stochastic Finite Elements(ASFE)method for steady problems based on Newton-Cotes quadrature in simplex elements is extrema diminishing(ED).It is also shown that the method is total variation diminishing(TVD)for one random parameter and for multiple random parameters for first degree Newton-Cotes quadrature.It is proven that the interpolation of oscillatory samples at constant phase in the UASFE method for unsteady problems results in a bounded error as function of the phase for periodic responses and under certain conditions also in a bounded error in time.The two methods are applied to a steady transonic airfoil flow and a transonic airfoil flutter problem.
文摘It is demonstrated that the recently introduced semantic intelligence spontaneously maintains bounded logical and quantal error on each and every semantic trajectory, unlike its algorithmic counterpart which is not able to. This result verifies the conclusion about the assignment of equal evolutionary value to the motion on the set of all the semantic trajectories sharing the same homeostatic pattern. The evolutionary value of permanent and spontaneous maintenance of boundedness of logical and quantal error on each and every semantic trajectory is to make available spontaneous maintenance of the notion of a kind intact in the long run.
基金Project supported by the National Natural Science Foundation of China(No.10876100)
文摘Based on the concept of constitutive relation error along with the residual of both origin and dual problems, a goal-oriented error estimation method with extended degrees of freedom is developed in this paper. It leads to high quality local error bounds in the problem of fracture mechanics simulation with extended finite element method （XFEM）, which involves enrichment to solve a stress singularity in the crack. Since goal-oriented error estimation with enriched degrees of freedom gives us a chance to evaluate the XFEM simulation, the stress intensity factor calculated by two kinds of XFEM programs developed by ourselves and by commercial code ABAQUS are compared in this work. By comparing the reliability of the stress intensity factor calculation, the accuracy of two programs in different cases is evaluated and the source of error is discussed. A 2-dimensional XFEM example is given to illustrate the computational procedure.
基金Project supported by Scientific Research Common Program of Beijing Municipal Commission of Education of China (No.KM200310015060)
文摘Krawtchouk polynomials are frequently applied in modern physics. Based on the results which were educed by Li and Wong, the asymptotic expansions of Krawtchouk polynomials are improved by using Airy function, and uniform asymptotic expansions are got. Furthermore, the asymptotic expansions of the zeros for Krawtchouk polynomials are again deduced by using the property of the zeros of Airy function, and their corresponding error bounds axe discussed. The obtained results give the asymptotic property of Krawtchouk polynomials with their zeros, which are better than the results educed by Li and Wong.
文摘Due to their complex structure,2-D models are challenging to work with;additionally,simulation,analysis,design,and control get increasingly difficult as the order of the model grows.Moreover,in particular time intervals,Gawronski and Juang’s time-limited model reduction schemes produce an unstable reduced-order model for the 2-D and 1-D models.Researchers revealed some stability preservation solutions to address this key flaw which ensure the stability of 1-D reduced-order systems;nevertheless,these strategies result in large approximation errors.However,to the best of the authors’knowledge,there is no literature available for the stability preserving time-limited-interval Gramian-based model reduction framework for the 2-D discrete-time systems.In this article,2-D models are decomposed into two separate sub-models(i.e.,two cascaded 1-D models)using the condition of minimal rank-decomposition.Model reduction procedures are conducted on these obtained two 1-D sub-models using limited-time Gramian.The suggested methodology works for both 2-D and 1-D models.Moreover,the suggested methodology gives the stability of the reduced model as well as a priori error-bound expressions for the 2-D and 1-D models.Numerical results and comparisons between existing and suggested methodologies are provided to demonstrate the effectiveness of the suggested methodology.
基金supported by the National Natural Science Foundation of China (No. 10671050)the Natural Science Foundation of Heilongjiang Province of China (No. A200607)
文摘We consider some classes of generalized gap functions for two kinds of generalized variational inequality problems. We obtain error bounds for the underlying variational inequalities using the generalized gap functions under the condition that the involved mapping F is g-strongly monotone with respect to the solution, but not necessarily continuous differentiable, even not locally Lipschitz.
文摘The inverse heat conduction problem （IHCP） is a severely ill-posed problem in the sense that the solution （ if it exists） does not depend continuously on the data. But now the results on inverse heat conduction problem are mainly devoted to the standard inverse heat conduction problem. Some optimal error bounds in a Sobolev space of regularized approximation solutions for a sideways parabolic equation, i. e. , a non-standard inverse heat conduction problem with convection term which appears in some applied subject are given.
文摘It＇s well-known that there is a very powerful error bound for Gaussians put forward by Madych and Nelson in 1992. It＇s of the form｜f（x） - s（x）｜≤（Cd）c/d｜｜f｜｜h where C, c are constants, h is the Gaussian function, s is the interpolating function, and d is called fill distance which, roughly speaking, measures the spacing of the points at which interpolation occurs. This error bound gets small very fast as d → 0. The constants C and c are very sensitive. A slight change of them will result in a huge change of the error bound. The number c can be calculated as shown in [9]. However, C cannot be calculated, or even approximated. This is a famous question in the theory of radial basis functions. The purpose of this paper is to answer this question.
基金supported by National Natural Science Foundation of China (Nos. 11171180 and 11101303)Specialized Research Fund for the Doctoral Program of Chinese Higher Education (No. 20113705110002)Shandong Provincial Natural Science Foundation (Nos. ZR2010AL005 and ZR2011FL017)
文摘In this paper, we consider the global error bound for the generalized complementarity problem (GCP) with analytic functions. Based on the new technique, we establish computable global error bound under milder conditions, which refines the previously known results.
基金Supported by the National Science Foundation of China（10361008） Supported by the Natural Science Foundation of Yunnan Province（2003A0002M）
文摘We consider the abstract linear inequality system （A, C, b） and give a sufficient condition for the system （A, C, b） to have an error bound, which extends the previous result.
文摘This paper investigates double sampling series derivatives for bivariate functions defined on R2 that are in the Bernstein space. For this sampling series, we estimate some of the pointwise and uniform bounds when the function satisfies some decay conditions. The truncated series of this formula allow us to approximate any order of partial derivatives for function from Bernstein space using only a finite number of samples from the function itself. This sampling formula will be useful in the approximation theory and its applications, especially after having the truncation error well-established. Examples with tables and figures are given at the end of the paper to illustrate the advantages of this formula.
文摘In this paper we develop periodic quartic spline interpolation theory which,in general,gives better fus to continuous functions than does the existing quintic spline interpolation theory.The main theorem of the paper is to establish that r=0,1,2,3.Also,the nanperiodic cases cannot be constructed empoly-ing the methodology of this paper because that will involve several other end conditions entirely different than(1,10).
基金Supported by the Natural Science Foundation of Zhejiang Province（Y6090361）
文摘Similar to having done for the mid-point and trapezoid quadrature rules,we obtain alternative estimations of error bounds for the Simpson＇s quadrature rule involving n-time（1 ≤ n ≤ 4） differentiable mappings and then to the estimations of error bounds for the adaptive Simpson＇s quadrature rule.
文摘In this paper,the kernel of the cubic spline interpolation is given.An optimal error bound for the cu- bic spline interpolation of lower smooth functions is obtained.
文摘An approach is presented for computing integral values, such as areas and volumes of revo-lution . of regions bounded by rational plane B zier curves. The method approximates rational curveswith polynomial curves, and then computes the integral values on those polynomial curves. Errorbounds are provided. For high precision, this new algorithm performs much more quickly than con-ventional numerical methods.
文摘为快速、准确地观测系统中的未知扰动及状态,提出一种有限时间线性扩张状态观测器(Finite-time linear extended state observer,FT-LESO),它具有期望的收敛性能且结构简单、易于设计.假设系统的状态无法量测,观测器设计问题转化为扰动下的输出反馈控制问题.针对该问题,提出一种扰动下的有限时间线性输出反馈控制方法,得到控制器参数与闭环系统状态向量2-范数间的解析关系.在此基础上,提出有限时间线性扩张状态观测器,得到观测器参数与观测误差收敛速度及稳态观测误差间的解析关系,给出一充分条件保证观测误差有限时间有界、且能以不低于指数收敛的速度收敛到给定范围内,为观测器参数设计提供理论依据.通过数值仿真验证提出的观测器,仿真结果与理论分析相符,提出的观测器是有效的.
基金supported by the National Natural Science Foundation of China(616732546157310061573101)
文摘A robust fault diagnosis approach is developed by incorporating a set-membership identification (SMI) method. A class of systems with linear models in the form of fault related parameters is investigated, with model uncertainties and parameter variations taken into account explicitly and treated as bounded errors. An ellipsoid bounding set-membership identification algorithm is proposed to propagate bounded uncertainties rigorously and the guaranteed feasible set of faults parameters enveloping true parameter values is given. Faults arised from abrupt parameter variations can be detected and isolated on-line by consistency check between predicted and observed parameter sets obtained in the identification procedure. The proposed approach provides the improved robustness with its ability to distinguish real faults from model uncertainties, which comes with the inherent guaranteed robustness of the set-membership framework. Efforts are also made in this work to balance between conservativeness and computation complexity of the overall algorithm. Simulation results for the mobile robot with several slipping faults scenarios demonstrate the correctness of the proposed approach for faults detection and isolation (FDI).
