Project Objectives
- Qualitative improvement in ability to carry out engineering analyses
- Corresponding improvements in research, design, and engineering
- Improve multiple-domain simulator technology necessary for complex systems such as engines or aircraft
- Automatic retargeting of engineering analysis codes between high performance parallel machines
Project Approaches
- Exploit powerful synergy between geometric modeling, symbolic mathematics, formal methods, numerical analysis and compilation/code generation.
- Develop highly flexible tools for manipulating mathematical objects.
- Use transformation technologies to convert a high-level mixed mathematical/programming language into retargetable executable code.
- Use formal methods to develop the basis of a communications mechanism between a variety of mathematical tools.
Project Results
- The SPL/Weyl Scientific Programming
Language.
- A very high-level language for scientific computing.
- The Guaranteed Quality Mesher.
- Software for creating guaranteed quality triangulations for flat and curved surfaces.
- The Chains Algebraic-Topological
Programming Language
- A prototype system for programming scientific software based on topological primitives.
- The Vista Microstorage
Architecture.
- A flexible interface to storage.