Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations

Computational science and engineering design can benefit from software tools that facilitate construction of programs for simulating physical systems. Our research adapts the methodology of deductive program synthesis to the problem of synthesizing numerical simulation codes. We have focused on simulators that can be represented as second-order functional programs composed of numerical integration and root-extraction routines. Synthesis of second-order programs appears to present a problem for deductive systems that operate in first order logic. We present a recursive synthesis algorithm that overcomes this difficulty for a class of program synthesis problems. Our system has successfully constructed numerical simulators for computational design of jet-engine nozzles and sailing yachts, among others.

[1]  Michal Rimon,et al.  A knowledge-based prototyping environment for construction of scientific modeling software , 1994, Automated Software Engineering.

[2]  Mark Schwabacher,et al.  Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design , 1993, AAAI.

[3]  D. Smith,et al.  A Search Space Toolkit , 1995, Proceedings the 11th Conference on Artificial Intelligence for Applications.

[4]  Michael R. Lowry,et al.  A formal approach to domain-oriented software design environments , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.