Intelligent Mathematical Software Systems: Proceedings of the First Imacs/Ifac International Conference on Expert Systems for Numerical Computing Pu

by Imacs; Ifac International Conference on Expert Systems for Numerical Co.; Rice, John Rischard; Vichnevetsky, Robert; Houstis, E. N.; Vichnevetsky, Robert; International Association for Mathematics and Computers in Simulation

• ISBN13: 9780444886828
• ISBN10: 0444886826
• Format: Hardcover
• Copyright: 1990-10-01
• Publisher: Elsevier Science Ltd

Summary

Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ''knowledge'' or ''expertise'' into these systems. A number of developments have helped in making the systems more powerful and user-friendly: algorithm/parameter selection for the solution of well-defined mathematical engineering problems; parallel computing; computer graphics technology; interface development tools; and of course the years of experience with these systems and the increase in available computing power have made it practical to fulfill the potential seen in the early years of their development. This book covers four main areas of the subject: Application Oriented Expert Systems, Advisory Systems, Knowledge Manipulation Issues, and User Interfaces.

Table of Contents

Preface
Acknowledgements
List of Contributors
Application Oriented Expert Systems
Mathematical Expert System
Experiences with an Expert System for ODEs	p. 5
Towards the Automatic Numerical Solution of Partial Differential Equations	p. 15
Elliptic Expert: An Expert System for Elliptic Partial Differential Equations	p. 23
Anatomy of AGNES: An Automatic Generator of Numerical Equation Solutions	p. 33
Expert Systems for Inverse Problems of Wave Propagation Theory	p. 43
Expert Systems for Parallel Computing
The Use of Neural Networks in Parallel Software Systems	p. 51
Parallel (II) Ellpack: An Expert System for Parallel Processing of Partial Differential Equations	p. 63
Automatic Partitioning of PDE Solvers for Parallel Computers	p. 75
The Algorithm Mapper: A System for Modeling and Evaluating Parallel
Applications/Architecture Pairs	p. 87
A Tool for Evaluating Compiler-Based Parallelization Strategies	p. 103
Logic Parallelism in an Expert System for Solving Partial Differential Equations	p. 111
Expert Systems for Algorithm Parameter Selection
A Knowledge-Based System for the Determination of Activity Indicators for Self-Adaptive Grid Methods	p. 133
Knowledge-Based FFT and Convolution Synthesis for Any Number of Points	p. 143
Algorithm Selection Problem in the Hybrid Computation	p. 155
An Expert System for the Choice and Parameterization of Algorithms for Pade Approximation	p. 161
Assistant Systems for Scientific Software
The Guide to Available Mathematical Software Advisory System	p. 167
An Automated Consultation System for the Selection of Mathematical Software	p. 179
The Graphics Advisor: A Prototypical Advisory Expert System	p. 187
Assisting Experts in Their Data Analysis Tasks--An AI Approach	p. 197
PDE Software for Distributed Computing	p. 207
Subroutine Libraries at the University of Karlsruhe Computing Center	p. 215
Engineering Expert Systems
Integration of Artificial Intelligence Planning and Robotic Systems with Airobic	p. 227
Coupling Symbolic Manipulation and Numerical Simulation for Complex Engineering Designs	p. 241
Knowledge Manipulation Issues
Knowledge Base, Representation and Acquisition
Smalltalk--The Next Generation Scientific Computing Interface?	p. 257
Knowledge Representations for the Automatic Generation of Numerical Simulators for PDEs	p. 269
Numerical Knowledge-Based Systems	p. 281
Knowledge Acquisition and Efficient Use of Engineering Software and Finite Element Example	p. 287
User Interfaces
Expert Interfaces
Interactive/Visual DEQSOL: Interactive Creation, Debugging, Diagnosis and Visualization of Numerical Simulation	p. 301
CLAM: A Programming Language Incorporating Expert Use of Linear Solution Algorithms	p. 319
XELLPACK: An Interactive Problem-Solving Envrionment for Elliptic Partial Differential Equations	p. 331
An Experts System for Matrix Balancing	p. 343
A Critical Discussion of the User Interface of a PDE Solver in the Context of Numerical Expert Systems	p. 353
Author Index	p. 363
Table of Contents provided by Blackwell. All Rights Reserved.