In this paper, two different finite differences schemes are presented for numerical solution of two-dimensional moving boundary problem. The methods are illustrated by solving sample problem in two-dimensional solidification of the square prism. The finite difference schemes developed for this purpose are based on the method of lines using interpolation polynomials. The fully explicit method de...

We address the problem of computing a low-rank estimate Y of the solution X of the Lyapunov equation AX + XA′ + Q = 0 without computing the matrix X itself. This problem has applications in both the reduced-order modeling and the control of large dimensional systems as well as in a hybrid algorithm for the rapid numerical solution of the Lyapunov equation via the alternating direction implicit ...

The fundamental idea behind all multigrid methods is to compute using diierent scales in order to obliterate error components of diierent scales. Error components can be thought of as waves. A long wave, which has low frequency, on one grid is a short wave, or high frequency, on a coarse enough related grid. A number of iterative methods (e.g., relaxation and alternating direction implicit meth...

This paper introduces a new logic transformation that integrates retiming with algebraic and Boolean transformations at the technology-independent level. It ooers an additional degree of freedom in sequential network optimization resulting from implicit retiming across logic blocks and fanout stems. The application of this transformation to sequential network synthesis results in the optimizati...