For implementation&#10 of the free surface boundary condition, a new subroutine has been introduced to an existing steady 3-D body fitted code. This code was previously written for steady flow simulation in closed ducts. The algorithm used in this subroutine reduces the instability problem according to the free surface wave generation. For code validation, it was applied to two different open c...

We propose the collection, standardization, and distribution of a full-featured, production quality library for reliable scientific computing with routines using interval techniques for use by the wide community of applications developers. 1 Vision – Why are we doing this? The interval/reliable computing research community has long worked to attract practicing scientists and engineers to use it...

A program for the identification of the principal components of mixtures through interpretation of the infrared mixture spectrum (IntIRpret ) was developed. This program, which was developed as a preliminary screening tool for unknown organic mixtures, has five main subroutines: the interferogram processing and peak-selection subroutine (PUSHSUB), the automated knowledgeacquisition subroutine (...

This paper describes AMPHION1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. AMPHION is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a...