ODEXPERT: an expert system to select numerical solvers for initial value ODE systems

ABSTRACT

ODEXPERT is a prototype knowledge-based system which selects the appropriate numerical solvers for initial value ordinary differential equations. It is capable of deriving some knowledge about the input problem by performing automated tests to detect properties and structures in the problem which guide the selection process.

REFERENCES

• 1: C. A. Addison , W. H. Enright , P. W. Gaffney , I. Gladwell , P. M. Hanson, Algorithm 687: a decision tree for the numerical solution of initial value ordinary differential equations, ACM Transactions on Mathematical Software (TOMS), v.17 n.1, p.1-10, March 1991 [doi>10.1145/103147.103148]
• 2: AIRD, T. J, AND COWELL, W. R., Eds. The IMSL library. In Sources and Development of Mathematical Software. Prentice-Hall, Englewood Cliffs, N.J., 1984, 264-301.
• 3: Ronald F. Boisvert , Sally E. Howe , David K. Kahaner, GAMS: a framework for the management of scientific software, ACM Transactions on Mathematical Software (TOMS), v.11 n.4, p.313-355, Dec. 1985 [doi>10.1145/6187.6188]
• 4: CHAR, B. W., GEDDES, K. 0., GONNET, G. H., AND WATT, S.M. Maple User's Gutde. 4th ed., WATCOM Publ. Ltd., Waterloo, Ont., 1985.
• 5: E. Cuthill , J. McKee, Reducing the bandwidth of sparse symmetric matrices, Proceedings of the 1969 24th national conference, p.157-172, August 26-28, 1969 [doi>10.1145/800195.805928]
• 6: DUFF, I. S. On algorithms for obtaining a maximum transversal. Computer Science and Systems Div. Tech. Rep. CSS 49, AERE Harwell, Oct. 1978.
• 7: DUFF, I. S., ANn REID, J.K. An implementation of Tarjan's algorithm for the block triangularization of a matrix. Computer Science and Systems Div. Tech. Rep. CSS 29, AERE Harwell, Apr. 1976.
• 8: ENR1GHT, W. H., HULL, T. E., AND LINDBERG, B. Comparing numerical methods for stiff systems of O.D.Es. BIT 15, i (1975), 10-48.
• 9: FORD, B., POOL, J. C. T., AND COWELL, W. R., Eds. The evolving NAG library. In Sources and Development of Mathematical Software. Prentice-Hall, Englewood Cliffs, N.J., 1984, 375-397.
• 10: FORGY, C.L. 0PS83 User's Manual and Report. Production Systems Technologies, Inc., 1985.
• 11: P. W. Gaffney , C. A. Addison , B. Andersen , S. Bjørnestad , R. E. England , P. M. Hanson , R. Pickering , M. G. Thomason, NEXUS: towards a problem solving environment (PSE) for scientific computing, ACM SIGNUM Newsletter, v.21 n.3, p.13-24, July 1986 [doi>10.1145/1057958.1057961]
• 12: P. W. Gaffney , J. W. Wooter , K. A. Kessel , W. R. McKinney, NITPACK: An Interactive Tree Package, ACM Transactions on Mathematical Software (TOMS), v.9 n.4, p.395-417, Dec. 1983 [doi>10.1145/356056.356058]
• 13: GIBBS, N. E., POOLE, W. G., AND STOCKMEYER, P.K. An algorithm for reducing the bandwidth and profile of a sparse matrix. SIAM J. Numer. Anal. 13, 2 (Apr. 1976), 236-250.
• 14: HAZEL, P., AND O'DONOHOE, M.R. HELP numerical: The Cambridge interactive documentation system for numerical methods. In Production and Assessment of Numerical Software. Academic Press, 1980, 367-382.
• 15: HULL, T. E., ENRIGHT, W. H., FELLEN, B. M., AND SEDGWICK, A.E. Comparing numerical methods for ordinary differential equations. SIAM J. Numer. Anal. 9, 4 (Dec. 1972), 603-637.
• 16: HULL, T. E., ENRIGHT, W. H., AND JACKSON, K.R. User's guide for DVERK--a subroutine for solving non-stiff ODE's. Computer Science Tech. Rep. 1O0, Univ. of Toronto, Oct. 1976.
• 17: KAMEL, M. S., AND PANG, G. A knowledge based system for automatic selection of initial value ode system solvers. Presented at 1988 Conference on the Numemca{ Solution of IVPs for ODEs (Univ. of Toronto, June 1988).
• 18: KAMEL, M. S. Towards an intelligent system solver. In Proceedings Internatzonal ASME Conference Modelling and S~rnulatzon (Nov. 1985), 32-39.
• 19: LUCKS, M., AND GLADWELL, I. Automated selection of mathematical software. Dept. of Computer Science Tech. Rep. 90-CS-26, Southern Methodist Umv., 1990.
• 20: PETZOLD, L. Automatic selection of methods for solving stiff and non-stiff systems of ordinary differential equations. SIAM J. Sci. Stat. Comput. 4, I (Mar. 1983), 136-149.
• 21: SALLAS, W.M. Use of SEARCH in the IMSL libraries interactive documentation facihties. Tech. Rep. 6, IMSL Directions, 1989.
• 22: Klaus Schulze , Colin W. Cryer, NAXPERT: a prototype expert system for numerical software, SIAM Journal on Scientific and Statistical Computing, v.9 n.3, p.503-515, May 1988 [doi>10.1137/0909033]
• 23: L. F. Shampine, Stiffness and Nonstiff Differential Equation Solvers, II: Detecting Stiffness with Runge-Kutta Methods, ACM Transactions on Mathematical Software (TOMS), v.3 n.1, p.44-53, March 1977 [doi>10.1145/355719.355722]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

Additional Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.7 Ordinary Differential Equations
          Subjects: Initial value problems

General Terms:
Algorithms, Design

Keywords:
selection of numerical software