This paper introduces a wavelet-based linearization method to estimate the single-degree-of-freedom (SDOF) nonlinear system response based on the traditional equivalent linearization technique. The mechanism by which the signal is decomposed and reconstructed using the wavelet transform is investigated. Since the wavelet analysis can capture temporal variations in the time and frequency content...

This paper is concerned with a formal linearization problem for a general class of nonlinear time-varying dynamic systems. To a given system, a linearization function is made up of Chebyshev polynomials about its state variables. The nonlinear time-varying system is transformed into a linear time-varying system in terms of the linearization function using Chebyshev interpolation to state variab...

The paper aims to shed light on how serial order is computed in the human mind/brain, focusing on the nature of linearization in language. Linearization is here understood as the mapping of hierarchical syntactic structures onto linear strings. We take as our point of departure the now well-established need to subdivide Broca's region into different areas, and claim that these brain areas play ...

In this paper, an improved high-order model-free adaptive iterative control (IHOMFAILC) method for a class of nonlinear discrete-time systems is proposed based on the compact format dynamic linearization method. This adds differential tracking error in criteria function to compensate effect random disturbance. Meanwhile, estimation algorithm used estimate value pseudo partial derivative (PPD), ...

A Las Vegas randomized algorithm is given to compute the Smith multipliers for a nonsingular integer matrix A, that is, unimodular matrices U and V such AV=US, with S normal form of A. The expected running time about same as required multiply together two dimension size entries Explicit bounds are in both multipliers. main tool used by massager, relaxed version V, specifying column operations c...

We present a method for verifying the correctness of imperative programs which is based on the automated transformation of their specifications. Given a program prog, we consider a partial correctness specification of the form {φ} prog {ψ}, where the assertions φ and ψ are predicates defined by a set Spec of possibly recursive Horn clauses with linear arithmetic (LA) constraints in their premis...

This paper discusses a design of nonlinear observer by a formal linearization method using an application of Chebyshev Interpolation in order to facilitate processes for synthesizing a nonlinear observer and to improve the precision of linearization. A dynamic nonlinear system is linearized with respect to a linearization function, and a measurement equation is transformed into an augmented lin...