Search NASA⌕ Search

SEARCH · Search NASA

Results for “program implementation”

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 901 records · Page 50
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

Using Runtime Analysis to Guide Model Checking of Java Programs

This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java programs. Runtime analysis is based on the idea of executing the program once. and observing the generated run to extract various kinds of information. This information can then be used to predict whether other different runs may violate some properties of interest, in addition of course to demonstrate whether the generated run itself violates such properties. These runtime analyses can be performed stand-alone to generate a set of warnings. It is furthermore demonstrated how these warnings can be used to guide a model checker, thereby reducing the search space. The described techniques have been implemented in the b e grown Java model checker called PathFinder.

Havelund, Klaus↗
NASA NTRS2002

Strategic Plan

The purpose of this document is to present the strategic plan and associated organizational structure that the National Space Biomedical Research Institute (NSBRI) will utilize to achieve the defined mission and objectives provided by NASA. Much of the information regarding the background and establishment of the NSBRI by NASA has been provided in other documentation and will not be repeated in this Strategic Plan. This Strategic Plan is presented in two volumes. Volume I (this volume) begins with an Introduction (Section 2) that provides the Institute's NASA-defined mission and objectives, and the organizational structure adopted to implement these through three Strategic Programs: Countermeasure Research; Education, Training and Outreach; and Cooperative Research and Development. These programs are described in Sections 3 to 5. Each program is presented in a similar way, using four subsections: Goals and Objectives; Current Strategies; Gaps and Modifications; and Resource Requirements. Section 6 provides the administrative infrastructure and total budget required to implement the Strategic Programs and assures that they form a single cohesive plan. This plan will ensure continued success of the Institute for the next five years. Volume II of the Strategic Plan provides an in-depth analysis of the current and future strategic programs of the 12 current NSBRI teams, including their goals, objectives, mutual interactions and schedules.

Source record↗
DOE OSTI2024

Driving Affordable Decarbonization: Inclusive Utility Program Designs for Disadvantaged Communities

Our research team worked with 17 utility partners from various U.S. regions to study current utility program practices. We identified the key characteristics of these programs and the challenges and opportunities in implementing them. Through our research, we provide a pragmatic, design-oriented, and customer-centered perspective for effective program design and implementation. We identify 13 successful characteristics of program design that may be considered by utility partners.

disadvantaged communities↗
NASA NTRS1987

A learning apprentice for software parts composition

An overview of the knowledge acquisition component of the Bauhaus, a prototype computer aided software engineering (CASE) workstation for the development of domain-specific automatic programming systems (D-SAPS) is given. D-SAPS use domain knowledge in the refinement of a description of an application program into a compilable implementation. The approach to the construction of D-SAPS was to automate the process of refining a description of a program, expressed in an object-oriented domain language, into a configuration of software parts that implement the behavior of the domain objects.

Allen, Bradley P.↗
NASA NTRS1973

Development of a two channel linear discriminant function for detecting and identifying surface water using ERTS-1 data

A method for detecting surface water using ERTS-1 multispectral scanner digital data is described. The several computer programs for processing multispectral data are described, along with the manner in which these programs were used. The use of the LARSAA program to test and demonstrate the discriminant function is explained. The discriminant function itself was later implemented in an operational program which performs only those specific operations necessary to test each data point for an indication of surface water in the scene. Several possible sources of difficulty in the use of the function are identified, and suggestions are made for avoiding or correcting those difficulties.

Source record↗
NASA NTRS1984

Design sensitivity analysis with Applicon IFAD using the adjoint variable method

A numerical method is presented to implement structural design sensitivity analysis using the versatility and convenience of existing finite element structural analysis program and the theoretical foundation in structural design sensitivity analysis. Conventional design variables, such as thickness and cross-sectional areas, are considered. Structural performance functionals considered include compliance, displacement, and stress. It is shown that calculations can be carried out outside existing finite element codes, using postprocessing data only. That is, design sensitivity analysis software does not have to be imbedded in an existing finite element code. The finite element structural analysis program used in the implementation presented is IFAD. Feasibility of the method is shown through analysis of several problems, including built-up structures. Accurate design sensitivity results are obtained without the uncertainty of numerical accuracy associated with selection of a finite difference perturbation.

Frederick, Marjorie C.↗
NASA NTRS1990

An implementation of the look-ahead Lanczos algorithm for non-Hermitian matrices, part 2

It is shown how the look-ahead Lanczos process (combined with a quasi-minimal residual QMR) approach) can be used to develop a robust black box solver for large sparse non-Hermitian linear systems. Details of an implementation of the resulting QMR algorithm are presented. It is demonstrated that the QMR method is closely related to the biconjugate gradient (BCG) algorithm; however, unlike BCG, the QMR algorithm has smooth convergence curves and good numerical properties. We report numerical experiments with our implementation of the look-ahead Lanczos algorithm, both for eigenvalue problem and linear systems. Also, program listings of FORTRAN implementations of the look-ahead algorithm and the QMR method are included.

Freund, Roland W.↗
NASA NTRS1992

User needs as a basis for advanced technology

The NASA Integrated Technology Plan (ITP) is described with treatment given to the identification of U.S. technology needs, space research and technology programs, and some ITP implementations. The ITP is based on the development and transfer of technologies relevant to the space program that also have significant implications for general technological research. Among the areas of technological research identified are: astrophysics, earth sciences, microgravity, and space physics. The Office of Space Science and Applications prioritizes the technology needs in three classes; the highest priority is given to submm and microwave technologies for earth sciences and astrophysics study. Other government and commercial needs are outlined that include cryogenic technologies, low-cost engines, advanced data/signal processing, and low-cost ELVs. It is demonstrated that by identifying and addressing these areas of user technology needs NASA's research and technology program can enhance U.S. trade and industrial competitiveness.

Mankins, John C.↗
NASA NTRS2008

Hail Size Distribution Mapping

A 3-D weather radar visualization software program was developed and implemented as part of an experimental Launch Pad 39 Hail Monitor System. 3DRadPlot, a radar plotting program, is one of several software modules that form building blocks of the hail data processing and analysis system (the complete software processing system under development). The spatial and temporal mapping algorithms were originally developed through research at the University of Central Florida, funded by NASA s Tropical Rainfall Measurement Mission (TRMM), where the goal was to merge National Weather Service (NWS) Next-Generation Weather Radar (NEXRAD) volume reflectivity data with drop size distribution data acquired from a cluster of raindrop disdrometers. In this current work, we adapted these algorithms to process data from a cluster of hail disdrometers positioned around Launch Pads 39A or 39B, along with the corresponding NWS radar data. Radar data from all NWS NEXRAD sites is archived at the National Climatic Data Center (NCDC). That data can be readily accessed at . 3DRadPlot plots Level III reflectivity data at four scan elevations (this software is available at Open Channel Software, ). By using spatial and temporal interpolation/extrapolation based on hydrometeor fall dynamics, we can merge the hail disdrometer array data coupled with local Weather Surveillance Radar-1988, Doppler (WSR-88D) radial velocity and reflectivity data into a 4-D (3-D space and time) picture of hail size distributions. Hail flux maps can then be generated and used for damage prediction and assessment over specific surfaces corresponding to structures within the disdrometer array volume. Immediately following a hail storm, specific damage areas and degree of damage can be identified for inspection crews.

Source record↗
NASA NTRS1990

Development of BEM for ceramic composites

Details on the progress made during the first three years of a five-year program towards the development of a boundary element code are presented. This code was designed for the micromechanical studies of advance ceramic composites. Additional effort was made in generalizing the implementation to allow the program to be applicable to real problems in the aerospace industry. The ceramic composite formulations developed were implemented in the three-dimensional boundary element computer code BEST3D. BEST3D was adopted as the base for the ceramic composite program, so that many of the enhanced features of this general purpose boundary element code could by utilized. Some of these facilities include sophisticated numerical integration, the capability of local definition of boundary conditions, and the use of quadratic shape functions for modeling geometry and field variables on the boundary. The multi-region implementation permits a body to be modeled in substructural parts; thus dramatically reducing the cost of the analysis. Furthermore, it allows a body consisting of regions of different ceramic matrices and inserts to be studied.

Henry, D. P.↗
NASA NTRS1985

Improved productivity through interactive communication

New methods and approaches are being tried and evaluated with the goal of increasing productivity and quality. The underlying concept in all of these approaches, methods or processes is that people require interactive communication to maximize the organization's strengths and minimize impediments to productivity improvement. This paper examines Bendix Field Engineering Corporation's organizational structure and experiences with employee involvement programs. The paper focuses on methods Bendix developed and implemented to open lines of communication throughout the organization. The Bendix approach to productivity and quality enhancement shows that interactive communication is critical to the successful implementation of any productivity improvement program. The paper concludes with an examination of the Bendix methodologies which can be adopted by any corporation in any industry.

Marino, P. P.↗
NASA NTRS1996

An introduction to NASA's advanced computing program: Integrated computing systems in advanced multichip modules

Recent changes within NASA's space exploration program favor the design, implementation, and operation of low cost, lightweight, small and micro spacecraft with multiple launches per year. In order to meet the future needs of these missions with regard to the use of spacecraft microelectronics, NASA's advanced flight computing (AFC) program is currently considering industrial cooperation and advanced packaging architectures. In relation to this, the AFC program is reviewed, considering the design and implementation of NASA's AFC multichip module.

Fang, Wai-Chi↗
NASA NTRS2005

KB3D Reference Manual

This paper is a reference manual describing the implementation of the KB3D conflict detection and resolution algorithm. The algorithm has been implemented in the Java and C++ programming languages. The reference manual gives a short overview of the detection and resolution functions, the structural implementation of the program, inputs and outputs to the program, and describes how the program is used. Inputs to the program can be rectangular coordinates or geodesic coordinates. The reference manual also gives examples of conflict scenarios and the resolution outputs the program produces.

Munoz, Cesar↗
NASA NTRS2004

Human-Rated Space Vehicle Backup Flight Systems

Human rated space vehicles have historically employed a Backup Flight System (BFS) for the main purpose of mitigating the loss of the primary avionics control system. Throughout these projects, however, the underlying philosophy and technical implementation vary greatly. This paper attempts to coalesce each of the past space vehicle program's BFS design and implementation methodologies with the accompanying underlining philosophical arguments that drove each program to such decisions. The focus will be aimed at Mercury, Gemini, Apollo, and Space Shuttle However, the ideologies and implementation of several commercial and military aircraft are incorporated as well to complete the full breadth view of BFS development across the varying industries. In particular to the non-space based vehicles is the notion of deciding not to utilize a BFS. A diverse analysis of BFS to primary system benefits in terms of reliability against all aspects of project development are reviewed and traded. The risk of engaging the BFS during critical stages of flight (e.g. ascent and entry), the level of capability of the BFS (subset capability of main system vs. equivalent system), and the notion of dissimilar hardware and software design are all discussed. Finally, considerations for employing a BFS on future human-rated space missions are reviewed in light of modern avionics architectures and mission scenarios implicit in exploration beyond low Earth orbit.

Davis, Jeffrey A.↗
NASA NTRS2014

Grid2: A Program for Rapid Estimation of the Jovian Radiation Environment: A Numeric Implementation of the GIRE2 Jovian Radiation Model for Estimating Trapped Radiation for Mission Concept Studies

Grid2 is a program that utilizes the Galileo Interim Radiation Electron model 2 (GIRE2) Jovian radiation model to compute fluences and doses for Jupiter missions. (Note: The iterations of these two softwares have been GIRE and GIRE2; likewise Grid and Grid2.) While GIRE2 is an important improvement over the original GIRE radiation model, the GIRE2 model can take as long as a day or more to compute these quantities for a complete mission. Grid2 fits the results of the detailed GIRE2 code with a set of grids in local time and position thereby greatly speeding up the execution of the model--minutes as opposed to days. The Grid2 model covers the time period from 1971 to 2050and distances of 1.03 to 30 Jovian diameters (Rj). It is available as a direct-access database through a FORTRAN interface program. The new database is only slightly larger than the original grid version: 1.5 gigabytes (GB) versus 1.2 GB.

Europa↗