CONVERGENCE ANALYSIS OF RUNGE-KUTTA METHODS FOR A CLASS OF RETARDED DIFFERENTIAL ALGEBRAIC SYSTEMS

This article deals with a class of numerical methods for retarded differential algebraic systems with time-variable delay. The methods can be viewed as a combination of Runge-Kutta methods and Lagrange interpolation. A new convergence concept, called DA-convergence, is introduced. The DA-convergence result for the methods is derived. At the end, a numerical example is given to verify the computational effectiveness and the theoretical result.

A Back Propagation-Type Neural Network Architecture for Solving the Complete n ×n Nonlinear Algebraic System of Equations

The objective of this research is the presentation of a neural network capable of solving complete nonlinear algebraic systems of n equations with n unknowns. The proposed neural solver uses the classical back propagation algorithm with the identity function as the output function, and supports the feature of the adaptive learning rate for the neurons of the second hidden layer. The paper presents the fundamental theory associated with this approach as well as a set of experimental results that evaluate the performance and accuracy of the proposed method against other methods found in the literature.

Computation Method for the Real-Time Control Problems in Differential-Algebraic Systems

In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.

Algebraic Structure of the Dynamical Equations of Holonomic Mechanical System in Relative Motion

Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was determined. Results and Conclusion The equations a Lie algebraic structure if any nonpotential generalized force doesn't exist while while the equations possess a Lie-admissible algebraic structure if nonpotential generalized forces exist .

Feedback control of nonlinear differential algebraic systems using Hamiltonian function method

The stabilization and H∞ control of nonlinear differential algebraic systems （NDAS） are investigated using the Hamiltonian function method. Firstly, we put forward a novel dissipative Hamiltonian realization （DHR） structure and give the condition to complete the Hamiltonian realization. Then, based on the DHR, we present a criterion for the stability analysis of NDAS and construct a stabilization controller for NDAS in absence of disturbances. Finally, for NDAS in presence of disturbances, the L2 gain is analyzed via generalized Hamilton-Jacobi inequality and an H∞ control strategy is constructed. The proposed stabilization and robust controller can effectively take advantage of the structural characteristics of NDAS and is simple in form.

Parallel Digital Simulation for the Control Problem in Differential Algebraic System

In this paper, a parallel simulation algorithm for the control problem in differential algebraic system is presented. The error of the algorithm is estimated. The stability analysis is made for a model problem and the stability region is given. The numerical example demonstrates that the method is efficient.

Emitter-couple logic circuit design based on the threshold-arithmetic algebraic system

Based on the threshold-arithmetic algebraic system which has been proposed for current-mode circuit design,we propose a systematic methodology for emitter-couple logic(ECL)circuit design.Compared to the traditional methodologies and the theory of differential current switches,the proposed methodology uses the HE map and the characteristics of the internal current signals of ECL circuits to determine the external voltage signals.The operations of the HE map are direct and simple,and the current signals are easy to add or subtract,which make this methodology more flexible,direct,and effective,and make it possible to design arbitrary binary and multi-valued logic functions.Two example circuits are designed and simulated by HSPICE using 0.18μm TSMC technology.Simulation results confirm the validity of the proposed methodology.

An Algebraic System and Its Application

An algebraic system X is constructed by using the known loop .A1. Then a new isospectral problem is established by taking advantage of X, which is devoted to working out the well-known Volterra lattice hierarchy. And an extended algebraic system X of X is presented, from which the integrable coupling systems of the Volterra lattice is obtained.

The Multiplicity of Zeros of Algebraic System in Eigenvalue Method

This article deals with the structure relations between solutions toalgebraic system and matrices in eigenvalue method for solving the algebraic system-The authors first discuss the condition on the ideal generated by the given systemunder which the eigenspace of matrix has dimension 1 since in this case the zerocan be easily found. Then they study the relations between the multiplicity of zerosof the given system and orders of Jordan blocks of matrices formed in eigenvaluemethod.

THE GROWTH OF SOLUTIONS OF SYSTEMS OF COMPLEX NONLINEAR ALGEBRAIC DIFFERENTIAL EQUATIONS

We investigate the problem of growth order of solutions of a type of systems of non-linear algebraic differential equations, and extend some results of the growth order of solutions of algebraic differential equations to systems of algebraic differential equations.

The Algebraic Criteria for the All-delay Stabilityof Two-dim ensional Degenerate Differential System swith Delay

This paper give the algebraic criteria for all delay stability of two dimensional degenerate differential systems with delays and give two examples to illustrate the use of them.

A New Rational Algebraic Approach to Find Exact Analytical Solutions to a （2＋1）-Dimensional System

In this paper, we present a new rational algebraic approach to uniformly construct a series of exact analytical solutions for nonlinear partial differential equations. Compared with most existing tanh methods and other sophisticated methods, the proposed method not only recovers some known solutions, but also finds some new and general solutions. The solutions obtained in this paper include rational form triangular periodic wave solutions, solitary wave solutions, and elliptic doubly periodic wave solutions. The efficiency of the method can be demonstrated on （2＋1）-dimensional dispersive long-wave equation.

2-D algebraic test for robust stability of time-delay systems with interval parameters

The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.

Algebraic structure and Poisson＇s theory of mechanico-electrical systems

The algebraic structure and Poisson＇s integral theory of mechanico-electrical systems are studied. The Hamilton canonical equations and generalized Hamilton canonical equations and their the contravariant algebraic forms for mechanico-electrical systems are obtained. The Lie algebraic structure and the Poisson＇s integral theory of Lagrange mechanico-electrical systems are derived. The Lie algebraic structure admitted and Poisson＇s integral theory of the Lagrange-Maxwell mechanico-electrical systems are presented. Two examples are presented to illustrate these results.

TWO ITERATION METHODS FOR SOLVING LINEAR ALGEBRAIC SYSTEMS WITH LOW ORDER MATRIX A AND HIGH ORDER MATRIX B:Y=(AB)Y+Ф

This paper presents optimum an one-parameter iteration (OOPI) method and a multi-parameter iteration direct (MPID) method for efficiently solving linear algebraic systems with low order matrix A and high order matrix B: Y = (A B)Y + Φ. On parallel computers (also on serial computer) the former will be efficient, even very efficient under certain conditions, the latter will be universally very efficient.

An Algebraic Detection Approach for Control Systems under Multiple Stochastic Cyber-attacks

In order to compromise a target control system successfully, hackers possibly attempt to launch multiple cyberattacks aiming at multiple communication channels of the control system. However, the problem of detecting multiple cyber-attacks has been hardly investigated so far. Therefore, this paper deals with the detection of multiple stochastic cyber-attacks aiming at multiple communication channels of a control system. Our goal is to design a detector for the control system under multiple cyberattacks. Based on frequency-domain transformation technique and auxiliary detection tools, an algebraic detection approach is proposed. By applying the presented approach, residual information caused by different attacks is obtained respectively and anomalies in the control system are detected. Sufficient and necessary conditions guaranteeing the detectability of the multiple stochastic cyber-attacks are obtained. The presented detection approach is simple and straightforward. Finally, two simulation examples are provided, and the simulation results show that the detection approach is effective and feasible. © 2014 Chinese Association of Automation.

Biorthogonal Wavelet Based Algebraic Multigrid Preconditioners for Large Sparse Linear Systems

In this article algebraic multigrid as preconditioners are designed, with biorthogonal wavelets, as intergrid operators for the Krylov subspace iterative methods. Construction of hierarchy of matrices in algebraic multigrid context is based on lowpass filter version of Wavelet Transform. The robustness and efficiency of this new approach is tested by applying it to large sparse, unsymmetric and ill-conditioned matrices from Tim Davis collection of sparse matrices. Proposed preconditioners have potential in reducing cputime, operator complexity and storage space of algebraic multigrid V-cycle and meet the desired accuracy of solution compared with that of orthogonal wavelets.

On the Order of the Solutions of Systems of Complex Algebraic Differential Equations

This paper is concerned with the order of the solutions of systems of high-order complex algebraic differential equations.By means of Zalcman Lemma,the systems of equations of[1]is extended to more general form.

SEVERAL RESULTS ON IDEAL THEORY OF ALGEBRAIC SYSTEM SLOPE

Several main results on the ideal theory of algebraic system slope are given in this letter. Definition 1. A slope is a structure consisting of an empty set P together with two binary compositions '+' and '·' in P such that (ⅰ) (P;+) is a semi-lattice; (ⅱ) (P;·) is a commutative semigroup; (ⅲ) a·(b+c)=a·b+a·c; (ⅳ)

A COMMON METHOD TO FUZZIFY NONFUZZY CONCEPT AND FUZZY ALGEBRAIC SYSTEM

The fuzzifying of nonfuzzy sets is one of the basic problems in fuzzy set theory. The methods defined by piecemeal of fuzzifying nonfuzzy sets which are prevalent at present cannot embody that fuzzification is a uniform concept.