By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Ellman, T. ; Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA ; Murata, T.

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

Published in:

Knowledge-Based Software Engineering Conference, 1996., Proceedings of the 11th

Date of Conference:

25-28 Sep 1996