Transformation Systems at NASA Ames
نویسندگان
چکیده
In this paper, we describe the experiences of the Automated Software Engineering Group at the NASA Ames Research Center in the development and application of three di erent transformation systems. The systems span the entire technology range, from deductive synthesis, to logic-based transformation, to almost compiler-like source-to-source transformation. These systems also span a range of NASA applications, including solving solar system geometry problems, generating data analysis software, and analyzing multithreaded Java code.
منابع مشابه
Experience with Parallel Computers at NASA Ames
Beginning in 1988, the Numerical Aerodynamic Simulation (NAS) organization at NASA Ames Research Center has studied the usability of highly parallel computers on computational uid dynamics and other aerophysics applications. Presently this organization operates a CM-2 with 32,768 nodes and an Intel iPSC/860 with 128 nodes. This note gives an overview of the experience in using these systems, hi...
متن کاملConsolidated laser-induced fluorescence diagnostic systems for the NASA Ames arc jet facilities
The spectroscopic diagnostic technique of two photon absorption laser-induced fluorescence (LIF) of atomic species for non-intrusive arc jet flow property measurement was first implemented at NASA Ames in the mid-1990s. In 2013-2014, NASA combined the agency’s large-scale arc jet test capabilities at NASA Ames. Concurrent with that effort, the agency also sponsored a project to establish two co...
متن کاملA Survey of Knowledge Management Research & Development at NASA Ames Research Center
This chapter catalogs knowledge management research and development activities at NASA Ames Research Center as of April 2002. A general categorization scheme for knowledge management systems is first introduced. This categorization scheme divides knowledge managemnt capabilities into five broad categories: knowledge capture, knowledge preservation, knowledge augmentation, knowledge disseminatio...
متن کاملBuilding Intelligent Systems: Artificial Intelligence Research at NASA Ames Research Center
متن کامل
The Nasa/ames Mars General Circulation Model: Model Improvements and Comparison with Observations
R.M. Haberle, NASA/Ames Research Center ([email protected]), J.L Hollingsworth, NASA/Ames Research Center ([email protected]), A. Colaprete, NASA/Ames Research Center ([email protected]) A.F.C. Bridger, San Jose State University ([email protected]), C.P. McKay, NASA/Ames Research Center ([email protected]), J.R. Murphy, New Mexico State University (mur...
متن کامل