Abstract
INTENSE (INTElligent Nonlinear Systems of Equations solver) is a problem-solving environment that provides necessary computational facilities for finding numerical solutions of ordinary differential equations and systems of nonlinear algebraic equations. INTENSE offers facilities such as a user-friendly interface for specification of problems, an automatic detection of the properties of a problem, a user-friendly interface for specification of a method, an automatic detection of the properties of methods, a mechanism that matches the properties of problems with the properties of methods, the application of a numerical method and supervision of the errors, some lists or graphics of the values of approximate solutions, and solving the problem without specification of a particular method. Bibliography: 35 titles.
REFERENCES
H. Abelson, M. Eisenberg, M. Halfant, J. Katzenelson, E. Sacks, G. J. Sussman, J. Wisdom, and K. Yip, "Intelligence in scientific computing," Comm. ACM, 32, 546-562 (1989).
B. Chandrasekaran, "Design problem solving. A task analysis," AI Mag., 59-71 (1990).
J. M. David, "Les systèmes experts de second gènèration ou de l'importance de la modelisation dans la construction de systèmes à base de connaissances," Tech. Sci. Informatiques, 14, 435-471 (1995).
N. Jacobstein, C. T. Kitzmiller, and J. S. Kowalik, "Integrating symbolic and numerical methods in knowledge-based systems: current status, future prospects, driving events," in: Coupling Symbolic and Numeric Computing in Expert Systems, Elsevier (1988), pp. 3-11.
M. S. Kamel, W. S. Ma, and W. H. Enright, "ODEXPERT: An expert system to select numerical solvers for initial value ODE systems," ACM Trans. Math. Software, 19, 44-61 (1993).
C. T. Kitzmiller and J. S. Kowalik, "Symbolic and numerical computing in knowledge-based systems," in: Coupling Symbolic and Numeric Computing in Expert Systems, Elsevier (1986), pp. 3-15.
J. S. Kowalik, Coupling Symbolic and Numeric Computing in Expert Systems, Elsevier (1986).
S. Maruster, Numerical Methods in Nonlinear Equations Solving, Editura Tehn. (1981).
V. Negru, "Polymers characteristics determination using a blackboard model," in: Artificial Intelligence: Methodology, Systems, Applications, World Scientific (1994), pp. 291-297.
V. Negru, S. Maruster, L. Maruster, M. Marin, and C. Sandru, "Intelligent system for solving simultaneous nonlinear equations. A CLIPS implementation," Research report, Timişoara West Univ. (1995).
V. Negru and L. Maruster, "Nonlinear equations systems solver," in: Artificial Intelligence: Methodology, Systems, Applications, IOS Press (1997), pp. 330-339.
C. Sandru and V. Negru, "A distributed task-oriented problem solving system," in: W-DAIMAS' 97, Intern. Workshop Distributed Artificial Intelligence and Multi-Agent Systems (1997), pp. 193-203.
A. Newell, "The knowledge level," Artificial Intelligence Year, No. 18, 1-20 (1981).
C. Pierret-Golbreich, "Vers une nouvelle architecture pour l'explicitation du raisonnement au niveau connaissances: task," Univ. Paris-Sud, Rapport recherche No. 09/674, Orsay (1991).
F. Rechenmann, Modeling Tasks and Methods in Knowledge Based PDE Solver (1991).
M. F. Russo, R. L. Peskin, and A. D. Kowalski, "Using symbolic computation for the automatic development of numerical programs," in: Coupling Symbolic and Numeric Computing in Expert Systems, Elsevier (1988), pp. 77-89.
R. Simmons, "Generate, test, and debug: A paradigm for combining associational and causal reasoning," in: Second-Generation Expert Systems, Springer-Verlag (1993).
L. Steels, "Components of expertise," AI Mag. (1990).
S. N. Talukdar, E. Cardozo, L. Leao, R. Banares, and R. Jacobbani, "A system for distributed problem solving," in: Coupling Symbolic and Numeric Computing in Expert Systems, Elsevier (1986), pp. 59-65.
B. Wielinga and G. Schreiber, "KADS: Model based KBS development," in: GWAI-90, 14th German Workshop on Artificial Intelligence, Springer-Verlag (1990), pp. 322-333.
L. Winkelbauer, "A structure for the incremental construction of coupled systems: A bridge between shallow and deep coupling," in: Coupling Symbolic and Numeric Computing in Expert Systems, Elsevier (1988), pp. 145-156.
C. Culbert, G. Riley, and B. Donnell, CLIPS Reference Manual, Vols. 1-3, Johnson Space Center-NASA (1993).
J. Smart, Reference Manual for wxWindows 1.50: A portable C++ GUI Toolkit, AIAI, Univ. Edinburgh (1993).
J. E. Dennis and J. J. More, "Quasi-Newton methods, motivation, and theory," SIAM J. Numer. Anal., 19, 46-89 (1977).
J. E. Dennis, "On the convergence of single-rank quasi-Newton methods," Math. Comp., 24, 365-382 (1970).
V. M. Fridman, "Iterative method with minimal error for non-linear operator equations," Dokl. Akad. Nauk SSSR, 139, 1063-1066 (1961).
S. Maruster, "On the two-step gradient method for nonlinear equations," Anal. Univ. Timişoara, 25, No. 3, 69-84 (1987).
R. B. Kellog, "A nonlinear alternating direction method," Math. Comp., 23, 23-27 (1969).
J. M. Ortega, "Stability of difference equations and convergence of iterative processes," SIAM J. Numer. Anal., 10 (1973).
W. B. Gragg and R. A. Tapia, "Optimal error bounds for the Newton-Kantorovich theorem," SIAM J. Numer. Anal., 11, 10-13 (1974).
S. Weerawarana et al., "PYNTHIA: A knowledge-based system to select scientific algorithms," ACM Trans. Math. Software, 22, No. 4 (1986).
E. Hairer, P. P. Norsett, and G. Wanner, Solving Ordinary Differential Equations, Vols. I, II, Springer-Verlag (1987, 1991).
D. Petcu, Multistep Methods for Stiff Initial-Value Problems (Math. Monographs, 50), Timişoara Univ. Press (1995).
D. Petcu, Parallel Numerical Algorithms, Part I. Solving Systems of Linear, Nonlinear, or Differential Equations (Math. Monographs, 60), Timişoara Univ. Press (1996).
D. Petcu, "Implementation of some multiprocessor algorithms for ODEs using PVM," Lect. Notes Comp. Sci., 1332, 475-481 (1997).
Rights and permissions
About this article
Cite this article
Măaruşter, S., Negru, V., Petcu, D. et al. Intelligent Front-End for Solving Nonlinear Systems of Differential and Algebraic Equations. Journal of Mathematical Sciences 108, 1139–1151 (2002). https://doi.org/10.1023/A:1013560909786
Issue Date:
DOI: https://doi.org/10.1023/A:1013560909786