The derivation of a diagonally loaded sample-matrix inversion (LSMI) algorithm on the busis of inverse matrix recursion (i.e.LSMI-IMR algorithm) is conducted by reconstructing the recursive formulation of covarian...The derivation of a diagonally loaded sample-matrix inversion (LSMI) algorithm on the busis of inverse matrix recursion (i.e.LSMI-IMR algorithm) is conducted by reconstructing the recursive formulation of covariance matrix. For the new algorithm, diagonal loading is by setting initial inverse matrix without any addition of computation. In addition, a corresponding improved recursive algorithm is presented, which is low computational complexity. This eliminates the complex multiplications of the scalar coefficient and updating matrix, resulting in significant computational savings. Simulations show that the LSMI-IMR algorithm is valid.展开更多
In the strip rolling process, shape control system possesses the characteristics of nonlinearity, strong coupling, time delay and time variation. Based on self adapting Elman dynamic recursion network prediction model...In the strip rolling process, shape control system possesses the characteristics of nonlinearity, strong coupling, time delay and time variation. Based on self adapting Elman dynamic recursion network prediction model, the fuzzy control method was used to control the shape on four-high cold mill. The simulation results showed that the system can be applied to real time on line control of the shape.展开更多
This paper gives a recursion operator for a 1-constrained CKP hierarchy, and by the recursion operator it proves that the 1-constrained CKP hierarchy can be reduced to the mKdV hierarchy under condition q = r.
In this paper establishing model of the fault diagnosis of hydraulic equipment isdescribed in details. It also studies the advantage of the recursion least square method. When theLSM is used in compuring the fault of...In this paper establishing model of the fault diagnosis of hydraulic equipment isdescribed in details. It also studies the advantage of the recursion least square method. When theLSM is used in compuring the fault of hydraulic equipment, not only does it save the computerCPU-time and memory, but it also has a high computation speed and,makes it easy to identifythe estimation parameters.展开更多
In this article, we study the Lax pairs of -dimensional equation: the modified generalized dispersive long wave (MGDLW) equation. Based on the well-known binary Darboux transformation, we dig out the recursion formula...In this article, we study the Lax pairs of -dimensional equation: the modified generalized dispersive long wave (MGDLW) equation. Based on the well-known binary Darboux transformation, we dig out the recursion formulas of the first part of the Lax pairs. Then by further discussion and doing some revisional work, we make the recursion formulas fit for the second part of Lax pairs. At last, some solutions to the MGDLW equation are worked out by using the recursion formula.展开更多
From Lax representations,recursion operators for the supersymmetric KdV and the supersymmetric Kaup-Kupershimdt (SKK) equations are proposed explicitly.Under some special conditions,the recursion operator of the super...From Lax representations,recursion operators for the supersymmetric KdV and the supersymmetric Kaup-Kupershimdt (SKK) equations are proposed explicitly.Under some special conditions,the recursion operator of the supersymmetric Sawada-Kotera equation can be recovered by the one of the SKK equation.展开更多
An expose about covering method on differential equations was given. The general formulae to determine nonlocal symmetries were derived which are analogous to the prolongation formulae of generalized symmetries. In ad...An expose about covering method on differential equations was given. The general formulae to determine nonlocal symmetries were derived which are analogous to the prolongation formulae of generalized symmetries. In addition., a new definition of nonlocal recursion operators was proposed, which gave a satisfactory explaination in covering theory for the integro-differential recursion operators.展开更多
Though the Bǎcklund transformation on time-like surfaces with constant mean curvature surfaces in R^2,1 has been obtained, it is not easy to obtain corresponding surfaces because the procedure of solving the related ...Though the Bǎcklund transformation on time-like surfaces with constant mean curvature surfaces in R^2,1 has been obtained, it is not easy to obtain corresponding surfaces because the procedure of solving the related integrable system cannot be avoided when the Bǎcklund transformation is used, For sake of this, in this article, some special work is done to reform the Bǎcklund transformation to a recursion formula, by which we can construct time-like surfaces with constant mean curvature form known ones just by quadrature procedure.展开更多
Most important recursion operators of differential equations are integro-differential operators. One often runs into difficulties in trying to obtain a full hierarchy of symmetries. The lack of precision sometimes lea...Most important recursion operators of differential equations are integro-differential operators. One often runs into difficulties in trying to obtain a full hierarchy of symmetries. The lack of precision sometimes leads to bogus symmetries. In this paper, a generalization of recursion operators is given, which eliminates the problem. Several examples are also given to demonstrate the generalization and the significance of the generalization is shown simultaneously.展开更多
The quantitative rules of the transfer and variation of errors,when the Gaussian integral functions F.(z) are evaluated sequentially by recurring,have been expounded.The traditional viewpoint to negate the applicabili...The quantitative rules of the transfer and variation of errors,when the Gaussian integral functions F.(z) are evaluated sequentially by recurring,have been expounded.The traditional viewpoint to negate the applicability and reliability of upward recursive formula in principle is amended.An optimal scheme of upward-and downward-joint recursions has been developed for the sequential F(z) computations.No additional accuracy is needed with the fundamental term of recursion because the absolute error of Fn(z) always decreases with the recursive approach.The scheme can be employed in modifying any of existent subprograms for Fn<z> computations.In the case of p-d-f-and g-type Gaussians,combining this method with Schaad's formulas can reduce,at least,the additive operations by a factor 40%;the multiplicative and exponential operations by a factor 60%.展开更多
In this paper, we give precise formulas for the general two-dimensional recursion sequences by generating function method, and make use of the multivariate generating functions asymptotic estimation technique to compu...In this paper, we give precise formulas for the general two-dimensional recursion sequences by generating function method, and make use of the multivariate generating functions asymptotic estimation technique to compute their asymptotic values.展开更多
In this paper we make a study of the use of the iniiai values of a recursion skilfully, so that the count for finding a solution of any recursion will be more simplified. Finally, we give out the "moving forth pr...In this paper we make a study of the use of the iniiai values of a recursion skilfully, so that the count for finding a solution of any recursion will be more simplified. Finally, we give out the "moving forth prineiple" of initial values of a recursion.展开更多
New approach to systems of polynomial recursions is developed based on the Carleman linearization procedure. The article is divided into two main sections: firstly, we focus on the case of uni-variable depth-one polyn...New approach to systems of polynomial recursions is developed based on the Carleman linearization procedure. The article is divided into two main sections: firstly, we focus on the case of uni-variable depth-one polynomial recurrences. Subsequently, the systems of depth-one polynomial recurrence relations are discussed. The corresponding transition matrix is constructed and upper triangularized. Furthermore, the powers of the transition matrix are calculated using the back substitution procedure. The explicit expression for a solution to a broad family of recurrence relations is obtained. We investigate to which recurrences the framework can be applied and construct sufficient conditions for the method to work. It is shown how introduction of auxiliary variables can be used to reduce arbitrary depth systems to the depth-one system of recurrences dealt with earlier. Finally, the limitations of the method are discussed, outlining possible directions for future research.展开更多
The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonline...The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonlinear program construction and verification method based on partition recursion and Morgan’s refinement rules.First,we use recursive definition technique to characterize the initial specification.The specification is then transformed into GCL(Guarded Command Language)programs using loop invariant derivation and Morgan’s refinement rules.Furthermore,VCG(Verification Condition Generator)is used in the GCL program to generate the verification condition automatically.The Isabelle theorem prover then validates the GCL program’s correctness.Finally,the GCL code generates a C++executable program automatically via the conversion system.The effectiveness of this method is demonstrated using binary tree preorder traversal program construction and verification as an example.This method addresses the problem that the construction process’s loop invariant is difficult to obtain and the refinement process is insufficiently detailed.At the same time,the method improves verification process automation and reduces the manual verification workload.展开更多
In this manuscript,we study a new version of the optical recursional binormal microbeam model for a flexible binormal microscale beam in terms of a binormal normalized operator.Also,we give new explanations for the op...In this manuscript,we study a new version of the optical recursional binormal microbeam model for a flexible binormal microscale beam in terms of a binormal normalized operator.Also,we give new explanations for the optical recursional visco Landau-Lifshitz binormal electromagnetic binormal microscale beam.Finally,we obtain an optical application for the normalized visco Landau-Lifshitz electromagnetic binormal optimistic density with an optical binormal resonator.展开更多
This paper proposes a novel approach for identifying distributed dynamic loads in the time domain.Using polynomial andmodal analysis,the load is transformed intomodal space for coefficient identification.This allows t...This paper proposes a novel approach for identifying distributed dynamic loads in the time domain.Using polynomial andmodal analysis,the load is transformed intomodal space for coefficient identification.This allows the distributed dynamic load with a two-dimensional form in terms of time and space to be simultaneously identified in the form of modal force,thereby achieving dimensionality reduction.The Impulse-based Force Estimation Algorithm is proposed to identify dynamic loads in the time domain.Firstly,the algorithm establishes a recursion scheme based on convolution integral,enabling it to identify loads with a long history and rapidly changing forms over time.Secondly,the algorithm introduces moving mean and polynomial fitting to detrend,enhancing its applicability in load estimation.The aforementioned methodology successfully accomplishes the reconstruction of distributed,instead of centralized,dynamic loads on the continuum in the time domain by utilizing acceleration response.To validate the effectiveness of the method,computational and experimental verification were conducted.展开更多
We prove that non-recursive base conversion can always be implemented by using a deterministic Markov process. Our paper discusses the pros and cons of recursive and non-recursive methods, in general. And we include a...We prove that non-recursive base conversion can always be implemented by using a deterministic Markov process. Our paper discusses the pros and cons of recursive and non-recursive methods, in general. And we include a comparison between non-recursion and a deterministic Markov process, proving that the Markov process is twice as efficient.展开更多
To address the low accuracy and stability when applying classical control theory in distribution networks with distributed generation,a control method involving flexible multistate switches(FMSs)is proposed in this st...To address the low accuracy and stability when applying classical control theory in distribution networks with distributed generation,a control method involving flexible multistate switches(FMSs)is proposed in this study.This approach is based on an improved double-loop recursive fuzzy neural network(DRFNN)sliding mode,which is intended to stably achieve multiterminal power interaction and adaptive arc suppression for single-phase ground faults.First,an improved DRFNN sliding mode control(SMC)method is proposed to overcome the chattering and transient overshoot inherent in the classical SMC and reduce the reliance on a precise mathematical model of the control system.To improve the robustness of the system,an adaptive parameter-adjustment strategy for the DRFNN is designed,where its dynamic mapping capabilities are leveraged to improve the transient compensation control.Additionally,a quasi-continuous second-order sliding mode controller with a calculus-driven sliding mode surface is developed to improve the current monitoring accuracy and enhance the system stability.The stability of the proposed method and the convergence of the network parameters are verified using the Lyapunov theorem.A simulation model of the three-port FMS with its control system is constructed in MATLAB/Simulink.The simulation result confirms the feasibility and effectiveness of the proposed control strategy based on a comparative analysis.展开更多
This article provides an introduction to on-shell recursion relations for calculations of tree-level amplitudes. Starting with the basics, such as spinor notations and color decompositions, we ex- pose analytic proper...This article provides an introduction to on-shell recursion relations for calculations of tree-level amplitudes. Starting with the basics, such as spinor notations and color decompositions, we ex- pose analytic properties of gauge-boson amplitudes, BCFW-deformations, the large z-behavior of amplitudes, and on-shell recursion relations of gluons. We discuss further developments of on-shell recursion relations, including generalization to other quantum field theories, supersymmetric theo- ties in particular, recursion relations for off-shell currents, recursion relation with nonzero boundary contributions, bonus relations, relations for rational parts of one-loop amplitudes, recursion relations in 3D and a proof of CSW rules. Finally, we present samples of applications, including solutions of split helicity amplitudes and of Af = 4 SYM theories, consequences of consistent conditions under re- cursion relation, Kleiss-Kuijf (KK) and Bern-Carrasco-Johansson (BCJ) relations for color-ordered gluon tree amplitudes, Kawai-Lewellen-Tye (KLT) relations.展开更多
文摘The derivation of a diagonally loaded sample-matrix inversion (LSMI) algorithm on the busis of inverse matrix recursion (i.e.LSMI-IMR algorithm) is conducted by reconstructing the recursive formulation of covariance matrix. For the new algorithm, diagonal loading is by setting initial inverse matrix without any addition of computation. In addition, a corresponding improved recursive algorithm is presented, which is low computational complexity. This eliminates the complex multiplications of the scalar coefficient and updating matrix, resulting in significant computational savings. Simulations show that the LSMI-IMR algorithm is valid.
基金ItemSponsored by Provincial Natural Science Foundation of Hebei Province of China (E2004000206)
文摘In the strip rolling process, shape control system possesses the characteristics of nonlinearity, strong coupling, time delay and time variation. Based on self adapting Elman dynamic recursion network prediction model, the fuzzy control method was used to control the shape on four-high cold mill. The simulation results showed that the system can be applied to real time on line control of the shape.
基金NSFC (10671187 10971109)the Program for NCET (NECT-08-0515)
文摘This paper gives a recursion operator for a 1-constrained CKP hierarchy, and by the recursion operator it proves that the 1-constrained CKP hierarchy can be reduced to the mKdV hierarchy under condition q = r.
文摘In this paper establishing model of the fault diagnosis of hydraulic equipment isdescribed in details. It also studies the advantage of the recursion least square method. When theLSM is used in compuring the fault of hydraulic equipment, not only does it save the computerCPU-time and memory, but it also has a high computation speed and,makes it easy to identifythe estimation parameters.
基金The project supported by National Natural Science Foundation of China under Grant No.10101025
文摘In this article, we study the Lax pairs of -dimensional equation: the modified generalized dispersive long wave (MGDLW) equation. Based on the well-known binary Darboux transformation, we dig out the recursion formulas of the first part of the Lax pairs. Then by further discussion and doing some revisional work, we make the recursion formulas fit for the second part of Lax pairs. At last, some solutions to the MGDLW equation are worked out by using the recursion formula.
基金Supported by Zhejiang Provincial Natural Science Foundations of China under Grant No.Y6090592National Natural Science Foundation of China under Grant Nos.10735030 and 11041003+1 种基金Ningbo Natural Science Foundation under Grant Nos.2009B21003,2010A610103 and 2009B21003K.C.Wong Magna Fund in Ningbo University
文摘From Lax representations,recursion operators for the supersymmetric KdV and the supersymmetric Kaup-Kupershimdt (SKK) equations are proposed explicitly.Under some special conditions,the recursion operator of the supersymmetric Sawada-Kotera equation can be recovered by the one of the SKK equation.
文摘An expose about covering method on differential equations was given. The general formulae to determine nonlocal symmetries were derived which are analogous to the prolongation formulae of generalized symmetries. In addition., a new definition of nonlocal recursion operators was proposed, which gave a satisfactory explaination in covering theory for the integro-differential recursion operators.
基金The project supported by National Natural Science Foundation of China under Grant Nos. 10571149, 10571165, and 10101025 We are grateful to Sha Nan-Shi and Zhang Wen-Jing, who are both students in Department of Statistics and Finance, University of Science and Technology of China, for their valuable and creative ideas in stimulating discussions as well as conscientious work of computing.
文摘Though the Bǎcklund transformation on time-like surfaces with constant mean curvature surfaces in R^2,1 has been obtained, it is not easy to obtain corresponding surfaces because the procedure of solving the related integrable system cannot be avoided when the Bǎcklund transformation is used, For sake of this, in this article, some special work is done to reform the Bǎcklund transformation to a recursion formula, by which we can construct time-like surfaces with constant mean curvature form known ones just by quadrature procedure.
文摘Most important recursion operators of differential equations are integro-differential operators. One often runs into difficulties in trying to obtain a full hierarchy of symmetries. The lack of precision sometimes leads to bogus symmetries. In this paper, a generalization of recursion operators is given, which eliminates the problem. Several examples are also given to demonstrate the generalization and the significance of the generalization is shown simultaneously.
文摘The quantitative rules of the transfer and variation of errors,when the Gaussian integral functions F.(z) are evaluated sequentially by recurring,have been expounded.The traditional viewpoint to negate the applicability and reliability of upward recursive formula in principle is amended.An optimal scheme of upward-and downward-joint recursions has been developed for the sequential F(z) computations.No additional accuracy is needed with the fundamental term of recursion because the absolute error of Fn(z) always decreases with the recursive approach.The scheme can be employed in modifying any of existent subprograms for Fn<z> computations.In the case of p-d-f-and g-type Gaussians,combining this method with Schaad's formulas can reduce,at least,the additive operations by a factor 40%;the multiplicative and exponential operations by a factor 60%.
文摘In this paper, we give precise formulas for the general two-dimensional recursion sequences by generating function method, and make use of the multivariate generating functions asymptotic estimation technique to compute their asymptotic values.
文摘In this paper we make a study of the use of the iniiai values of a recursion skilfully, so that the count for finding a solution of any recursion will be more simplified. Finally, we give out the "moving forth prineiple" of initial values of a recursion.
文摘New approach to systems of polynomial recursions is developed based on the Carleman linearization procedure. The article is divided into two main sections: firstly, we focus on the case of uni-variable depth-one polynomial recurrences. Subsequently, the systems of depth-one polynomial recurrence relations are discussed. The corresponding transition matrix is constructed and upper triangularized. Furthermore, the powers of the transition matrix are calculated using the back substitution procedure. The explicit expression for a solution to a broad family of recurrence relations is obtained. We investigate to which recurrences the framework can be applied and construct sufficient conditions for the method to work. It is shown how introduction of auxiliary variables can be used to reduce arbitrary depth systems to the depth-one system of recurrences dealt with earlier. Finally, the limitations of the method are discussed, outlining possible directions for future research.
基金Supported by the National Natural Science Foundation of China(62262031)Science and Technology Key Project of Education Department of Jiangxi Province(GJJ2200302,GJJ210307)the Graduate Innovative Special Fund Projects of Jiangxi Province(YJS2022064)
文摘The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonlinear program construction and verification method based on partition recursion and Morgan’s refinement rules.First,we use recursive definition technique to characterize the initial specification.The specification is then transformed into GCL(Guarded Command Language)programs using loop invariant derivation and Morgan’s refinement rules.Furthermore,VCG(Verification Condition Generator)is used in the GCL program to generate the verification condition automatically.The Isabelle theorem prover then validates the GCL program’s correctness.Finally,the GCL code generates a C++executable program automatically via the conversion system.The effectiveness of this method is demonstrated using binary tree preorder traversal program construction and verification as an example.This method addresses the problem that the construction process’s loop invariant is difficult to obtain and the refinement process is insufficiently detailed.At the same time,the method improves verification process automation and reduces the manual verification workload.
文摘In this manuscript,we study a new version of the optical recursional binormal microbeam model for a flexible binormal microscale beam in terms of a binormal normalized operator.Also,we give new explanations for the optical recursional visco Landau-Lifshitz binormal electromagnetic binormal microscale beam.Finally,we obtain an optical application for the normalized visco Landau-Lifshitz electromagnetic binormal optimistic density with an optical binormal resonator.
文摘This paper proposes a novel approach for identifying distributed dynamic loads in the time domain.Using polynomial andmodal analysis,the load is transformed intomodal space for coefficient identification.This allows the distributed dynamic load with a two-dimensional form in terms of time and space to be simultaneously identified in the form of modal force,thereby achieving dimensionality reduction.The Impulse-based Force Estimation Algorithm is proposed to identify dynamic loads in the time domain.Firstly,the algorithm establishes a recursion scheme based on convolution integral,enabling it to identify loads with a long history and rapidly changing forms over time.Secondly,the algorithm introduces moving mean and polynomial fitting to detrend,enhancing its applicability in load estimation.The aforementioned methodology successfully accomplishes the reconstruction of distributed,instead of centralized,dynamic loads on the continuum in the time domain by utilizing acceleration response.To validate the effectiveness of the method,computational and experimental verification were conducted.
文摘We prove that non-recursive base conversion can always be implemented by using a deterministic Markov process. Our paper discusses the pros and cons of recursive and non-recursive methods, in general. And we include a comparison between non-recursion and a deterministic Markov process, proving that the Markov process is twice as efficient.
基金the Natural Science Foundation of Fujian,China(No.2021J01633).
文摘To address the low accuracy and stability when applying classical control theory in distribution networks with distributed generation,a control method involving flexible multistate switches(FMSs)is proposed in this study.This approach is based on an improved double-loop recursive fuzzy neural network(DRFNN)sliding mode,which is intended to stably achieve multiterminal power interaction and adaptive arc suppression for single-phase ground faults.First,an improved DRFNN sliding mode control(SMC)method is proposed to overcome the chattering and transient overshoot inherent in the classical SMC and reduce the reliance on a precise mathematical model of the control system.To improve the robustness of the system,an adaptive parameter-adjustment strategy for the DRFNN is designed,where its dynamic mapping capabilities are leveraged to improve the transient compensation control.Additionally,a quasi-continuous second-order sliding mode controller with a calculus-driven sliding mode surface is developed to improve the current monitoring accuracy and enhance the system stability.The stability of the proposed method and the convergence of the network parameters are verified using the Lyapunov theorem.A simulation model of the three-port FMS with its control system is constructed in MATLAB/Simulink.The simulation result confirms the feasibility and effectiveness of the proposed control strategy based on a comparative analysis.
文摘This article provides an introduction to on-shell recursion relations for calculations of tree-level amplitudes. Starting with the basics, such as spinor notations and color decompositions, we ex- pose analytic properties of gauge-boson amplitudes, BCFW-deformations, the large z-behavior of amplitudes, and on-shell recursion relations of gluons. We discuss further developments of on-shell recursion relations, including generalization to other quantum field theories, supersymmetric theo- ties in particular, recursion relations for off-shell currents, recursion relation with nonzero boundary contributions, bonus relations, relations for rational parts of one-loop amplitudes, recursion relations in 3D and a proof of CSW rules. Finally, we present samples of applications, including solutions of split helicity amplitudes and of Af = 4 SYM theories, consequences of consistent conditions under re- cursion relation, Kleiss-Kuijf (KK) and Bern-Carrasco-Johansson (BCJ) relations for color-ordered gluon tree amplitudes, Kawai-Lewellen-Tye (KLT) relations.