This paper presents a new, compact, canonical representation for arithmetic expressions, called Taylor Expansion Diagram. It can be used to facilitate the verification of RTL specifications and hardware implementations of arithmetic designs, and specifically the equivalence checking of complex algebraic and arithmetic expressions that arise in symbolic verification. This new representation is b...

The sparse matrix/canonical grid (SMCG) Method, which has been shown to be an efficient method for calculating the scattering from one-dimensional and two-dimensional random rough surfaces, is extended to three-dimensional (3-D) dense media scattering. In particular, we study the scattering properties of media containing randomly positioned and oriented dielectric spheroids. Mutual interactions...

System modeling can help designers make and verify design decisions early in the design process if the model’s accuracy can be determined. The formula typically used to analytically propagate error is based on a first-order Taylor series expansion. Consequently, this formula can be wrong by one or more orders of magnitude for nonlinear systems. Clearly, adding higher-order terms increases the a...

The Taylor series expansionand least squares-based lattice Boltzmann method (TLLBM) was used in this paper to extend the current thermal model to an arbitrary geometry so that it can be used to solve practical thermo-hydrodynamics in the incompressible limit. The new explicit method is based on the standard lattice Boltzmann method (LBM), Taylor series expansion and the least squares approach. ...

The nonlinear filters based on Taylor series approximation are broadly used for computational simplicity, even though their filtering estimates are clearly biased. In this paper, first, we analyze what is approximated when we apply the expanded nonlinear functions to the standard linear recursive Kalman filter algorithm. Next, since the state variables αt and αt−1 are approximated as a conditio...

This paper is a companion to a recent paper on fast rotation functions [Storoni et al. (2004), Acta Cryst. D60, 432-438], which showed how a Taylor-series expansion of the maximum-likelihood rotation function leads to improved likelihood-enhanced fast rotation functions. In a similar manner, it is shown here how linear and quadratic Taylor-series expansions and least-squares approximations of t...

In this paper, we propose a novel computational method for solving non-linear optimal control problems. The is based on the use of Fourier–Hermite series approximating action-value function arising in dynamic programming instead conventional Taylor-series expansion used differential (DDP). coefficients can be numerically computed by using sigma-point methods, which leads to class methods. We al...