Theoretical and practical aspects of parallel numerical algorithms for initial value problems, with applications

Theoretical and practical aspects of parallel numerical methods for solving initial value problems are investigated, with particular attention to two applications from electrical engineering. First, algorithms for massively parallel circuit-level simulation of the grid-based analog signal processing arrays currently being developed for robotic vision applications are described, and simulation results presented. The trapezoidal rule is used to discretize the differential equations that describe the analog array behavior, Newton's method is used to solve the nonlinear equations generated at each time-step, and a block preconditioned conjugate-gradient squared algorithm is used to solve the linear equations generated by Newton's method. Excellent parallel performance of the algorithm is achieved through the use of a novel, but very natural, mapping of the circuit data onto a massively parallel architecture. The mapping takes advantage of the underlying computer architecture and the structure of the analog array problem. Experimental results demonstrate that a fullsize Connection Machine can provide a 650 times speedup over a SUN-4/490 workstation. Next, a new conjugate direction algorithm for accelerating waveform relaxation applied to the semiconductor device transient simulation problem is developed. A Galerkin method is applied to solving the system of second-kind Volterra integral equations which characterize the classical dynamic iteration methods for the linear time-varying initial value problem. It is shown that the Galerkin approximations can be computed iteratively using conjugate-direction algorithms. The resulting iterative methods are combined with an operator Newton method and applied to solving the nonlinear differential-algebraic system generated by spatial discretization of the time-dependent semiconductor device equations. Experimental results ae included which demonstrate the conjugate-direction methods are significantly faster than classical dynamic iteration methods. The results from both applications are encouraging and demonstrate that for specific initial value problems, the largest performance gains can be achieved by using closely matched algorithms and architectures to exploit characteristic features of the particular problem to be solved.

[1]  B. F. Oscillator Large-Signal Analysis of a Silicon Read Diode Oscillator , 1969 .

[2]  Yousef Saad,et al.  Hybrid Krylov Methods for Nonlinear Systems of Equations , 1990, SIAM J. Sci. Comput..

[3]  Ulla Miekkala,et al.  Dynamic iteration methods applied to linear DAE systems , 1989 .

[4]  H. Elman Iterative methods for large, sparse, nonsymmetric systems of linear equations , 1982 .

[5]  James M. Ortega,et al.  Iterative solution of nonlinear equations in several variables , 2014, Computer science and applied mathematics.

[6]  O. Nevanlinna,et al.  Convergence of dynamic iteration methods for initial value problems , 1987 .

[7]  G. Golub,et al.  Gmres: a Generalized Minimum Residual Algorithm for Solving , 2022 .

[8]  I︠u︡. V. Vorobʹev Method of moments in applied mathematics , 1965 .

[9]  Kishore Singhal,et al.  Computer Methods for Circuit Analysis and Design , 1983 .

[10]  R. Freund,et al.  QMR: a quasi-minimal residual method for non-Hermitian linear systems , 1991 .

[11]  Charles Tong The Preconditioned Conjugate Gradient Method on the Connection Machine , 1989, Int. J. High Speed Comput..

[12]  Jacob K. White,et al.  SIMLAB programmer's guide , 1994 .

[13]  K. Atkinson,et al.  A survey of numerical methods for the solution of Fredholm integral equations of the second kind , 1977 .

[14]  Carver Mead,et al.  Analog VLSI and neural systems , 1989 .

[15]  C. Wagner,et al.  On the Numerical Solution of Volterra Integral Equations , 1953 .

[16]  R. Kanwal Linear Integral Equations , 1925, Nature.

[17]  Resve A. Saleh,et al.  Accelerating relaxation algorithms for circuit simulation using waveform-Newton and step-size refinement , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[18]  Philippe Blanchard,et al.  Variational Methods in Mathematical Physics , 1992 .

[19]  Jacob K. White,et al.  Relaxation Techniques for the Simulation of VLSI Circuits , 1986 .

[20]  Patrick H. Worley Limits on Parallelism in the Numerical Solution of Linear Partial Differential Equations , 1991, SIAM J. Sci. Comput..

[21]  Kartikeya Mayaram,et al.  PGS and PLUCGS-two new matrix solution techniques for general circuit simulation , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[22]  W. Daniel Hillis,et al.  The connection machine , 1985 .

[23]  John L. Wyatt,et al.  Nonlinear analog networks for image smoothing and segmentation , 1991, J. VLSI Signal Process..

[24]  Leon O. Chua,et al.  Computer-Aided Analysis Of Electronic Circuits , 1975 .

[25]  Rainer Laur,et al.  MEDUSA--A Simulator for Modular Circuits , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[26]  M. Sain Finite dimensional linear systems , 1972 .

[27]  A. Jimenez,et al.  Algorithms for ASTAP--A network-analysis program , 1973 .

[28]  Pierpaolo Omari On the fast convergence of a Galerkin-like method for equations of the second kind , 1989 .

[29]  George Miel,et al.  Iterative refinement of the method of moments , 1988 .

[30]  Peter Linz,et al.  Analytical and numerical methods for Volterra equations , 1985, SIAM studies in applied and numerical mathematics.

[31]  Alberto L. Sangiovanni-Vincentelli,et al.  Circuit Simulation on the Connection Machine , 1987, 24th ACM/IEEE Design Automation Conference.

[32]  S. Selberherr Analysis and simulation of semiconductor devices , 1984 .

[33]  Kartikeya Mayaram,et al.  A parallel block-diagonal preconditioned conjugate-gradient solution algorithm for circuit and device simulations , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[34]  Randolph E. Bank,et al.  Transient simulation of silicon devices and circuits , 1985, IEEE Transactions on Electron Devices.

[35]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[36]  Alberto L. Sangiovanni-Vincentelli,et al.  The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[37]  P. Sonneveld CGS, A Fast Lanczos-Type Solver for Nonsymmetric Linear systems , 1989 .