Approximate Dynamic Inversion has been established as a method to control minimum-phase, nonaffine-incontrol systems [1]. In this report, we re-state the main results of [1], clarify some minor notational errors, and prove the same results in an expanded form. In the large, the main results of [1] still stand. The development follows [1] closely, and no novelty is claimed herein. The purpose of...

the principal aim of this paper is to serve the numerical solution of an integral-algebraic equation (iae) by using the bernoulli polynomials and the residual correction method. after implementation of our scheme, the main problem would be transformed into a system of algebraic equations such that its solutions are the unknown bernoulli coefficients. thismethod gives an analytic solution when t...

In this paper we present an algorithm which attempts to align pairs of subsequences from a database of DNA sequences. The algorithm simulates the classical dynamic programming alignment algorithm over a digital index of the database. The running time of the algorithm is subquadratic on average with respect to the database size. A similar algorithm solves the approximate string matching problem ...

hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior‎. ‎the hybrid differential equations have a wide range of applications in science and engineering‎. ‎the hybrid systems are devoted to modeling‎, ‎design‎, ‎and validation of interactive systems of computer programs and continuous systems‎. ‎hybrid fuzzy differential equations (hfdes) is considered by ...

This paper describes our effort to mark and annotate read Cantonese speech for both citation pronunciation and reading aloud sentences/phrases. Four signals are recorded simultaneously to assist marking and annotation: acoustic, laryngograph, nasal and air burst signals. A coarse match between voiced segments of speech and voiced segments of the phonetic spelling of the utterance is executed by...

analysis of structures for earthquake induced loads is very expensive in terms of the computational burden. In this study, to reduce the computational effort a new neural system which is called parallel wavelet back propagation (PWBP) neural networks has been introduced. Training of PWBP is implemented in two phases. In the first phase, the input space is classified by using competitive neural ...

All techniques and tools for verification of multi-threaded programs must cope with the huge number of possible thread interleavings. Tools based on systematic exploration of a program state space employ partial order reduction to avoid redundant thread interleavings and unnecessary thread choices. The key idea is to make non-deterministic thread choices only at statements that read or modify t...