Search NASA⌕ Search

SEARCH · Search NASA

Results for “program”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 793 records · Page 44
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

1996 NASA-Hampton University American Society for Engineering Education (ASEE) Summer Faculty Fellowship Program

NASA has supported a program of summer faculty fellowships for engineering and science educators. In a series of collaborations between NASA research and development centers and nearby universities, engineering faculty members spend 10 weeks working with professional peers on research. The Summer Faculty Program Committee of the American Society for Engineering Education supervises the programs. The objectives were: (1) To further the professional knowledge of qualified engineering and science faculty members; (2) To stimulate and exchange ideas between participants and NASA; (3) To enrich and refresh the research and teaching activities of participants institutions; (4) To contribute to the research objectives of the NASA Center. Program Description: College or university faculty members will be appointed as Research Fellows to spend 10 weeks in cooperative research and study at the NASA Langley Research Center. The Fellow will devote approximately 90 percent of the time to a research problem and the remaining time to a study program. The study program will consist of lectures and seminars on topics of interest or that are directly relevant to the Fellows' research topics. The lectures and seminar leaders will be distinguished scientists and engineers from NASA, education, or industry.

Spencer, John H.↗
NASA NTRS1996

MCTP Summer Research Internship Program. Research Presentation Day: Experience Mathematics and Science in the Real World

This paper presents the summaries of the MCTP Summer Research Internship Program. Technological areas discussed include: Mathematical curriculum development for real world problems; Rain effects on air-water gas exchange; multi-ring impact basins on mars; developing an interactive multimedia educational cd-rom on remote sensing; a pilot of an activity for for the globe program; fossils in maryland; developing children's programming for the american horticultural society at river farm; children's learning, educational programs of the national park service; a study of climate and student satisfaction in two summer programs for disadvantaged students interested in careers in mathematics and science; the maryland governor's academy, integrating technology into the classroom; stream sampling with the maryland biological stream survey (MBSS); the imaging system inspection software technology, the preparation and detection of nominal and faulted steel ingots; event-based science, the development of real-world science units; correlation between anxiety and past experiences; environmental education through summer nature camp; enhancing learning opportunities at the Salisbury zoo; plant growth experiment, a module for the middle school classroom; the effects of proxisome proliferators in Japanese medaka embryos; development of a chapter on birth control and contraceptive methodologies as part of an interactive computer-based education module on hiv and aids; excretion of gentamicin in toadfish and goldfish; the renaissance summer program; and Are field trips important to the regional math science center?

Source record↗
NASA NTRS1996

NASA-ASEE Summer Faculty Fellowship Program at NASA Lewis Research Center

During the summer of 1996, a ten-week Summer Faculty Fellowship Program was conducted at the NASA Lewis Research Center (LeRC) in collaboration with Case Western Reserve University (CWRU), and the Ohio Aerospace Institute (OAI). This is the thirty-third summer of this program at Lewis. It was one of nine summer programs sponsored by NASA in 1996, at various field centers under the auspices of the American Society for Engineering Education (ASEE). The objectives of the program are: (1) to further the professional knowledge of qualified engineering and science educators, (2) to stimulate an exchange of ideas between participants and NASA, (3) to enrich and refresh the research activities of participants' institutions. (4) to contribute to the research objectives of LeRC. This report is intended to recapitulate the activities comprising the 1996 Lewis Summer Faculty Fellowship Program, to summarize evaluations by the participants, and to make recommendations regarding future programs.

Prahl, Joseph M.↗
NASA NTRS1997

NASA/OAI Collaborative Aerospace Internship and Fellowship Program

The NASA/OAI Collaborative Aerospace Internship and Fellowship Program is a collaborative undertaking by the Office of Educational Programs at the NASA Lewis Research Center and the Department of Workforce Enhancement at the Ohio Aerospace Institute. This program provides 12 or 14 week internships and 10 or 12 week fellowships for undergraduate and graduate students of science and engineering, and for secondary school teachers. Approximately 150 interns are selected to participate in this program and begin arriving the second week in May. Each intern is assigned a NASA mentor who facilitates a research assignment. An important aspect of the program is that it includes students with diverse social, cultural and economic backgrounds. The purpose of this report is to document the program accomplishments for 1995.

Source record↗
NASA NTRS1997

The Application of New Software Technology to the Architecture of the National Cycle Program

As part of the Numerical Propulsion System Simulation (NPSS) effort of NASA Lewis in conjunction with the United States aeropropulsion industry, a new system simulation framework, the National Cycle Program (NCP), capable of combining existing empirical engine models with new detailed component-based computational models is being developed. The software architecture of the NCP program involves a generalized object- oriented framework and a base-set of engine component models along with supporting tool kits which will support engine simulation in a distributed environment. As the models are extended to contain two and three dimensions the computing load increases rapidly and it is intended that this load be distributed across multiple work stations executing concurrently in order to get acceptably fast results. The research carried out was directed toward performance analysis of the distributed object system. More specifically, the performance of the actor-based distributed object design I created earlier was desired. To this end, the research was directed toward the design and implementation of suitable performance-analysis techniques and software to demonstrate those techniques. There were three specific results which are reported in two separate reports submitted separately as NASA Technical Memoranda. The results are: (1) Design, implementation, and testing of a performance analysis program for a set of active objects (actor based objects) which allowed the individual actors to be assigned to arbitrary processes on an arbitrary set of machines. (2) The global-balance-equation approach has the fundamental limitation that the number of equations increases exponentially with the number of actors. Hence, unlike many approximate approaches to this problem, the nearest-neighbor approach allows checking of the solution and an estimate of the error. The technique was demonstrated in a prototype analysis program as part of this research. The results of the program were checked against the global-balance solution discussed above. Late during the grant, a much better approximation was developed and this is discussed in result below. As a consequence, a proposal was submitted to continue the research by developing the new approximation including development of a complete program from the prototype. (3) The source of approximation in the nearest-neighbor algorithm is the requirement for estimating some joint probabilities from some marginal distributions. A completely ad hoc estimate was used in the prototype.

Schoeffler, James D.↗
NASA NTRS1998

NASA Aeronautics Multidisciplinary Analysis and Design Fellowship Program

For a number of years, Virginia Tech had been on the forefront of research in the area of multidisciplinary analysis and design. In June of 1994, faculty members from aerospace and ocean engineering, engineering science and mechanics, mechanical engineering, industrial engineering, mathematics and computer sciences, at Virginia Tech joined together to form the Multidisciplinary Analysis and Design (MAD) Center for Advanced Vehicles. The center was established with the single goal: to perform research that is relevant to the needs of the US industry and to foster collaboration between the university, government and industry. In October of 1994, the center was chosen by NASA headquarters as one of the five university centers to establish a fellowship program to develop a graduate program in multidisciplinary analysis and design. The fellowship program provides full stipend and tuition support for seven U. S. students per year during their graduate studies. To advise us regarding the problems faced by the industry, an industrial advisory board has been formed consisting of representatives from industry as well as government laboratories. The function of the advisory board is to channel information from its member companies to faculty members concerning problems that need research attention in the general area of multidisciplinary design optimization (MDO). The faculty and their graduate students make proposals to the board on how to address these problems. At the annual board meeting in Blacksburg, the board discusses the proposals and suggests which students get funded under the NASA fellowship program. All students participating in the program are required to spend 3-6 months in industry working on their research projects. We are completing the third year of the fellowship program and have had three advisory board meetings in Blacksburg.

Grossman, B.↗
NASA NTRS1995

NASA/OAI Collaborative Aerospace Internship and Fellowship Program

The NASA/OAI Collaborative Aerospace Internship and Fellowship Program is a collaborative undertaking by the Office of Educational Programs at the NASA Lewis Research Center and the Department of Workforce Enhancement at the Ohio Aerospace Institute. This program provides 12 or 14 week internships and 10 or 12 week fellowships for undergraduate and graduate students of science and engineering, and for secondary school teachers. Approximately 200 interns are selected to participate in this program and begin arriving the second week in May. Each intern is assigned a NASA mentor who facilitates a research assignment. An important aspect of the program is that it includes students with diverse social, cultural and economic backgrounds. The purpose of this report is to document the program accomplishments for 1994.

Source record↗
NASA NTRS1997

Reusable Launch Vehicle Technology Program

Industry/NASA reusable launch vehicle (RLV) technology program efforts are underway to design, test, and develop technologies and concepts for viable commercial launch systems that also satisfy national needs at acceptable recurring costs. Significant progress has been made in understanding the technical challenges of fully reusable launch systems and the accompanying management and operational approaches for achieving a low cost program. This paper reviews the current status of the RLV technology program including the DC-XA, X-33 and X-34 flight systems and associated technology programs. It addresses the specific technologies being tested that address the technical and operability challenges of reusable launch systems including reusable cryogenic propellant tanks, composite structures, thermal protection systems, improved propulsion and subsystem operability enhancements. The recently concluded DC-XA test program demonstrated some of these technologies in ground and flight test. Contracts were awarded recently for both the X-33 and X-34 flight demonstrator systems. The Orbital Sciences Corporation X-34 flight test vehicle will demonstrate an air-launched reusable vehicle capable of flight to speeds of Mach 8. The Lockheed-Martin X-33 flight test vehicle will expand the test envelope for critical technologies to flight speeds of Mach 15. A propulsion program to test the X-33 linear aerospike rocket engine using a NASA SR-71 high speed aircraft as a test bed is also discussed. The paper also describes the management and operational approaches that address the challenge of new cost effective, reusable launch vehicle systems.

Freeman, Delma C., Jr.↗
NASA NTRS1998

Development of an Outreach Program for NASA: "NASA Ambassadors"

The NASA Ambassadors Program is designed to present the excitement and importance of NASA's programs to its customers, the general public. Those customers, which are identified in the "Science Communications Strategy" developed by the Space Sciences Laboratory at the MSFC, are divided into three categories: (1) Not interested and not knowledgeable; (2) Interested but not knowledgeable; and (3) Science attentive. In it they recognize that it makes the most sense to attempt to communicate with those described in the last two categories. However, their plan suggests that the media and the educational institutions are the only means of outreach. The NASA Ambassadors Program allows NASA to reach its target audience directly. Steps to be taken in order for the program to commence: (1) MSFC chooses to support the NASA Ambassadors Program - decision point; (2) Designate an "Office In Charge". (3) Assign the "Operation" phase to in-house MSFC personnel or to a contractor - decision point; (4) Name a point of contact; (5) Identify partners in the program and enlist their assistance; (6) Process an unsolicited proposal from an outside source to accomplish those tasks which MSFC chooses to out-source.

Lebo, George↗
NASA NTRS1998

MRM Evaluation Research Program

This is an interim report on the current output of the MRM evaluation research program. During 1998 this research program has used new and existing data to create an important tool for the development and improvement of "maintenance resource management" (MRM). Thousands of surveys completed by participants in airline MRM training and/or behavior change programs have, for the first time, been consolidated into a panel of "MRM Attitudes and Opinion Profiles." These profiles can be used to compare the attitudes about decision making and communication in any given company at any stage in its MRM program with attitudes of a large sample of like employees during a similar period in their MRM involvement. This panel of comparison profiles for attitudes and opinions is a tool to help audit the effectiveness of a maintenance human factors program. The profile panel is the first of several tools envisioned for applying the information accumulating in MRM databases produced as one of the program's long range objectives.

Taylor, James C.↗
NASA NTRS1998

1998 NASA-HU American Society for Engineering Education (ASEE) Summer Faculty Fellowship Program

Since 1964, the National Aeronautics and Space Administration (NASA) has supported a program of summer faculty fellowships for engineering and science educators. In a series of collaborations between NASA research and development centers and nearby universities, engineering faculty members spend 10 weeks working with professional peers on research. The Summer Faculty Program Committee of the American Society for Engineering Education supervises the programs. The program objectives include: (1) To further the professional knowledge of qualified engineering and science faculty members; (2) To stimulate and exchange ideas between participants and NASA; (3) To enrich and refresh the research and teaching activities of participants' institutions; (4) To contribute to the research objectives of the NASA center. College or university faculty members will be appointed as Research Fellows to spend 10 weeks in cooperative research and study at the NASA Langley Research Center. The Fellow will devote approximately 90 percent of the time to a research problem and the remaining time to a study program. The study program will consist of lectures and seminars on topics of interest or that are directly relevant to the Fellows' research topics. The lecture and seminar leaders will be distinguished scientists and engineers from NASA, education, and industry.

Marable, William P.↗
NASA NTRS1997

The Solar-Stellar Connection (NAG5-6124: SOHO Guest Investigator Program)

The following is a final report from the SOHO Guest Investigator program to use the SUMER far-UV spectrometer to obtain imaging spectroscopy in support of the goals of the so-called "solar-stellar connection." In particular, a major emphasis was utilization of the long-slit time-resolved maps of the solar surface in bright far-UV emission lines to deduce how particular aspects of the temporally and spatially averaged line profiles trace back to individual structural features of the magnetically disturbed outer atmosphere; to help interpret the unresolved line profiles from high quality stellar observations (say, with the Space Telescope Imaging Spectrograph). The researchers served two tours of duty in the SOHO Operations Center as SUMER planners, during which time we conducted an extensive series of observing programs. These can be divided into three general categories: surface mapping, translimb spectroscopy, and active region diagnostics. We have analyzed some of the large volumes of data to the point where we have presented them in poster papers, and in invited papers at national and international meetings. Listed below are the titles of the preliminary publications we have written, including brief abstracts to indicate the main results. (1) Chromospheric structure and Dynamics-- Observations -- The chromosphere is a highly structured dynamic 'layer' of the solar outer atmosphere. Here, not only are the effects of mechanical heating first evident (moving upward in altitude from the deep photosphere), but also the amount of nonradiative energy deposited is far greater than in the albeit much hotter overlying transition region and corona. Further, the chromosphere is by far the thickest zone of the solar atmosphere with respect to the pressure scale height. A major goal of stellar astrophysics is to understand how the chromosphere is heated and why it adopts its peculiar structure. A cursory examination of solar filtergrams and high-resolution movies demonstrates that much of the chromospheric "action" must be occurring on fine spatial scales and short times; particularly in the cell interior transient brightenings, but also in the longer-lived network fragments. That regime of investigation is far removed from what one usually associates with "synoptic" measurements. Nevertheless, synoptic observations of chromospheric indices, filtergrams, and globally-averaged profile parameters not only can provide important insight concerning the crucial role of the cycle-variable part of the solar magnetic field; but they also can forge a key link with analogous measurements of the stars, where often the phenomena can be significantly exaggerated from the solar case, but high spatial resolution reconnaissance is not even a remote possibility. In addition to discussing the synoptic aspects of chromospheric structure and dynamics, I summarized new insights into the general problem of the solar chromosphere that have been obtained recently with the SUMER far-ultraviolet spectrometer on SOHO. (2) CO and the Temperature Structure of the Solar Atmosphere -- The surface layers of the Sun provide a crucial boundary condition for many of the processes that occur in the deep interior. The stratification of the outer solar atmosphere once was thought to be well understood. However, studies of thermally sensitive molecular absorptions in the infrared revealed puzzling anomalies. Strong lines of the CO fundamental vibration-rotation bands near 5 microns showed very cool temperatures at the extreme limb, and remarkable off-limb emissions extending well into the supposedly hot chromosphere. The conflicting pictures of the photosphere/chromosphere interface, from the widely separated wavelength regimes, has raised suspicions that those "layers" of the atmosphere are much more inhomogeneous than previously suspected. One proposal is that the low chromosphere is dominated by cool gas, the "COmosphere," which is threaded by a network of persistent small-scale hot magnetic filaments and occasionally disrupted by localized acoustic disturbances. The COmosphere is capped by the merged fields of the network elements in the chromospheric "canopy." (3) Translimb Spectroscopy with SOHO/SUMER -- We have used SUMER to obtain deep exposures of the 1300-1400 A spectrum, at the extreme limb and off-limb. Previous "translimb" studies in the thermal infrared had revealed remarkable extensions of cold material (T is approximately equal to 3000 K)-traced by carbon monoxide emission lines-into the heart of the hot chromosphere. A main objective of our program was to search for corresponding far-UV signatures of the "thermally-bifurcated" low chromosphere; for example, radiatively fluoresced emissions of the CO A-X 4th-positive system (collisional excitation would be negligible in cold gas). We conducted two separate observing programs with SUMER. Both made use of the 1 inch-diameter circular aperture, translated across the limb in the minimum motor step increments of 0."375, along the central meridian in the Northern polar coronal hole. The first program executed for nine hours beginning 19UT 25 Oct 1996. The full wavelength range was 1340-1400 A. It was recorded in two overlapping segments, placing key regions of the spectrum alternately on the KBr and bare parts of the detector, to help isolate 2nd-order features. Each segment was integrated for 500 s, and 32 pairs were obtained to span a 12" swath centered on the optical limb. The second program was conducted 00-09UT 01 Dec 1996. It consisted of a single wavelength setting (1300-1340 A) with exposure time 500 s, but twice the spatial coverage of the earlier series: 64 steps, for a total displacement of 24". The strong chromospheric resonance lines of atomic oxygen (1302-1305 A) and ionized carbon (1334-1335 A) were observed on the bare part of the MCP camera.

Ayres, Thomas R.↗
NASA NTRS1998

Studying Turbulence Using Numerical Simulation Databases: Proceedings of the Summer Program - No. 7

The Seventh Summer Program of the Center for Turbulence Research took place in the four-week period, July 5 to July 31, 1998. This was the largest CTR Summer Program to date, involving thirty-six participants from the U. S. and nine other countries. Thirty-one Stanford and NASA-Ames staff members facilitated and contributed to most of the Summer projects. A new feature, and perhaps a preview of the future programs, was that many of the projects were executed on non-NASA computers. These included supercomputers located in Europe as well as those operated by the Departments of Defense and Energy in the United States. In addition, several simulation programs developed by the visiting participants at their home institutions were used. Another new feature was the prevalence of lap-top personal computers which were used by several participants to carry out some of the work that in the past were performed on desk-top workstations. We expect these trends to continue as computing power is enhanced and as more researchers (many of whom CTR alumni) use numerical simulations to study turbulent flows. CTR's main role continues to be in providing a forum for the study of turbulence for engineering analysis and in facilitating intellectual exchange among the leading researchers in the field. Once again the combustion group was the largest. Turbulent combustion has enjoyed remarkable progress in using simulations to address increasingly complex and practically more relevant questions. The combustion group's studies included such challenging topics as fuel evaporation, soot chemistry, and thermonuclear reactions. The latter study was one of three projects related to the Department of Energy's ASCI Program (www.llnl.gov/asci); the other two (rocket propulsion and fire safety) were carried out in the turbulence modeling group. The flow control and acoustics group demonstrated a successful application of the so-called evolution algorithms which actually led to a previously unknown forcing strategy for jets yielding increased spreading rate. A very efficient algorithm for flow in complex geometries with moving boundaries based on the immersed boundary forcing technique was tested with very encouraging results. Also a new strategy for the destruction of aircraft trailing vortices was introduced and tested. The Reynolds Averaged Modeling (RANS) group demonstrated that the elliptic relaxation concept for RANS calculations is also applicable to transonic flows with shocks; however, prediction of laminar/turbulent transition remains an important pacing item. A large fraction of the LES effort was devoted to the development and testing of a new algorithmic procedure (as opposed to phenomenological model) for subgrid scale modeling based on regularized de-filtering of the flow variables. This appears to be a very promising approach, and a significant effort is currently underway to assess its robustness in high Reynolds number flows and in conjunction with numerical methods for complex flows. As part of the Summer Program two review tutorials were given on Turbulent structures in hydrocarbon pool fires (Sheldon Tieszen), and Turbulent combustion modeling: from RANS to LES via DNS (Luc Vervisch); and two seminars entitled Assessment of turbulence models for engineering applications (Paul Durbin) and Subgrid-scale modeling for non-premixed, turbulent reacting flows (James Riley) were presented. A number of colleagues from universities, government agencies, and industry attended the final presentations of the participants on July 31 and participated in the discussions. There are twenty-six papers in this volume grouped in five areas. Each group is preceded with an overview by its coordinator.

Source record↗
NASA NTRS1999

Boreal Forest Watch: A BOREAS Outreach Program

The Boreal Forest Watch program was initiated in the fall of 1994 to act as an educational outreach program for the BOREAS project in both the BOREAS Southern Study Area (SSA) and Northern Study Area (NSA). Boreal Forest Watch (13FW) was designed to introduce area high school teachers and their students to the types of research activities occurring as part of the BOREAS study of Canadian boreal forests. Several teacher training workshops were offered to teachers from central and northern Saskatchewan and northern Manitoba between May, 1995 and February, 1999; teachers were introduced to techniques for involving their students in on-going environmental monitoring studies within local forested stands. Boreal Forest Watch is an educational outreach program which brings high school students and research scientists together to study the forest and foster a sustainable relationship between people and the planetary life-support system we depend upon. Personnel from the University of New Hampshire (UNH), Complex Systems Research Center (CSRC), with the cooperation from the Prince Albert National Park (PANP), instituted this program to help teachers within the BOREAS Study Areas offer real science research experience to their students. The program has the potential to complement large research projects, such as BOREAS, by providing useful student- collected data to scientists. Yet, the primary goal of BFW is to allow teachers and students to experience a hands-on, inquiry-based approach to leaming science - emulating the process followed by research scientists. In addition to introducing these teachers to on-going BOREAS research, the other goals of the BFW program were to: 1) to introduce authentic science topics and methods to students and teachers through hands-on, field-based activities; and, 2) to build a database of student-collected environmental monitoring data for future global change studies in the boreal region.

Rock, Barrett N.↗
NASA NTRS1998

Issues in NASA Program and Project Management. Special Edition: A Collection of Papers on NASA Procedures and Guidance 7120.5A

A key aspect of NASA's new Strategic Management System is improving the way we plan, approve, execute and evaluate our programs and projects. To this end, NASA has developed the NASA Program and Project Management processes and Requirements-NASA Procedures and Guidelines (NPG) 7120.5A, which formally documents the "Provide Aerospace Products and Capabilities" crosscutting process, and defines the processes and requirements that are responsive to the Program/Project Management-NPD 7120.4A. The Program/Project Management-NPD 7120.4A, issued November 14, 1996, provides the policy for managing programs and projects in a new way that is aligned with the new NASA environment. An Agencywide team has spent thousands of hours developing the NASA Program and Project Management Processes and Requirements-NPG 7120.5A. We have created significant flexibility, authority and discretion for the program and project managers to exercise and carry out their duties, and have delegated the responsibility and the accountability for their programs and projects.

Edward J. Hoffman↗
NASA NTRS2000

Developing CORBA-Based Distributed Scientific Applications from Legacy Fortran Programs

Recent progress in distributed object technology has enabled software applications to be developed and deployed easily such that objects or components can work together across the boundaries of the network, different operating systems, and different languages. A distributed object is not necessarily a complete application but rather a reusable, self-contained piece of software that co-operates with other objects in a plug-and-play fashion via a well-defined interface. The Common Object Request Broker Architecture (CORBA), a middleware standard defined by the Object Management Group (OMG), uses the Interface Definition Language (IDL) to specify such an interface for transparent communication between distributed objects. Since IDL can be mapped to any programming language, such as C++, Java, Smalltalk, etc., existing applications can be integrated into a new application and hence the tasks of code re-writing and software maintenance can be reduced. Many scientific applications in aerodynamics and solid mechanics are written in Fortran. Refitting these legacy Fortran codes with CORBA objects can increase the codes reusability. For example, scientists could link their scientific applications to vintage Fortran programs such as Partial Differential Equation(PDE) solvers in a plug-and-play fashion. Unfortunately, CORBA IDL to Fortran mapping has not been proposed and there seems to be no direct method of generating CORBA objects from Fortran without having to resort to manually writing C/C++ wrappers. In this paper, we present an efficient methodology to integrate Fortran legacy programs into a distributed object framework. Issues and strategies regarding the conversion and decomposition of Fortran codes into CORBA objects are discussed. The following diagram shows the conversion and decomposition mechanism we proposed. Our goal is to keep the Fortran codes unmodified. The conversion- aided tool takes the Fortran application program as input and helps programmers generate C/C++ header file and IDL file for wrapping the Fortran code. Programmers need to determine by themselves how to decompose the legacy application into several reusable components based on the cohesion and coupling factors among the functions and subroutines. However, programming effort still can be greatly reduced because function headings and types have been converted to C++ and IDL styles. Most Fortran applications use the COMMON block to facilitate the transfer of large amount of variables among several functions. The COMMON block plays the similar role of global variables used in C. In the CORBA-compliant programming environment, global variables can not be used to pass values between objects. One approach to dealing with this problem is to put the COMMON variables into the parameter list. We do not adopt this approach because it requires modification of the Fortran source code which violates our design consideration. Our approach is to extract the COMMON blocks and convert them into a structure-typed attribute in C++. Through attributes, each component can initialize the variables and return the computation result back to the client. We have tested successfully the proposed conversion methodology based on the f2c converter. Since f2c only translates Fortran to C, we still needed to edit the converted code to meet the C++ and IDL syntax. For example, C++/IDL requires a tag in the structure type, while C does not. In this paper, we identify the necessary changes to the f2c converter in order to directly generate the C++ header and the IDL file. Our future work is to add GUI interface to ease the decomposition task by simply dragging and dropping icons.

Sang, Janche↗
NASA NTRS2000

Model Checking JAVA Programs Using Java Pathfinder

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

Havelund, Klaus↗
NASA NTRS2000

Highlights of Nanosatellite Development Program at NASA-Goddard Space Flight Center

Currently the GN&C's Propulsion Branch of the NASA's Goddard Space Flight Center (GSFC) is conducting a broad technology development program for propulsion devices that are ideally suited for nanosatellite missions. The goal of our program is to develop nanosatellite propulsion systems that can be flight qualified in a few years and flown in support of nanosatellite missions. The miniature cold gas thruster technology, the first product from the GSFC's propulsion component technology development program, will be flown on the upcoming ST-5 mission in 2003. The ST-5 mission is designed to validate various nanosatellite technologies in all major subsystem areas. It is a precursor mission to more ambitious nanosatellite missions such as the Magnetospheric Constellation mission. By teaming with the industry and government partners, the GSFC propulsion component technology development program is aimed at pursuing a multitude of nanosatellite propulsion options simultaneously, ranging from miniaturized thrusters based on traditional chemical engines to MEMS based thruster systems. After a conceptual study phase to determine the feasibility and the applicability to nanosatellite missions, flight like prototypes of selected technology are fabricated for testing. The development program will further narrow down the effort to those technologies that are considered "mission-enabling" for future nanosatellite missions. These technologies will be flight qualified to be flown on upcoming nanosatellite missions. This paper will report on the status of our development program and provide details on the following technologies: Low power miniature cold gas thruster Nanosatellite solid rocket motor. Solid propellant gas generator system for cold gas thruster. Low temperature hydrazine blends for miniature hydrazine thruster. MEMS mono propellant thruster using hydrogen peroxide.

Rhee, Michael S.↗