Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming model specification”

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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS1996

Fifth NASA Goddard Conference on Mass Storage Systems and Technologies

This document contains copies of those technical papers received in time for publication prior to the Fifth Goddard Conference on Mass Storage Systems and Technologies held September 17 - 19, 1996, at the University of Maryland, University Conference Center in College Park, Maryland. As one of an ongoing series, this conference continues to serve as a unique medium for the exchange of information on topics relating to the ingestion and management of substantial amounts of data and the attendant problems involved. This year's discussion topics include storage architecture, database management, data distribution, file system performance and modeling, and optical recording technology. There will also be a paper on Application Programming Interfaces (API) for a Physical Volume Repository (PVR) defined in Version 5 of the Institute of Electrical and Electronics Engineers (IEEE) Reference Model (RM). In addition, there are papers on specific archives and storage products.

Kobler, Benjamin↗
NASA NTRS1984

Solving the "Hidden Line" Problem

David Hedgley Jr., a mathematician at Dryden Flight Research Center, has developed an accurate computer program that considers whether a line in a graphic model of a three dimensional object should or should not be visible. The Hidden Line Computer Code, program automatically removes superfluous lines and permits the computer to display an object from specific viewpoints, just as the human eye would see it. Users include Rowland Institute for Science in Cambridge, MA, several departments of Lockheed Georgia Co., and Nebraska Public Power District (NPPD).

Source record↗
NASA NTRS2006

Developing Formal Correctness Properties from Natural Language Requirements

This viewgraph presentation reviews the rationale of the program to transform natural language specifications into formal notation.Specifically, automate generation of Linear Temporal Logic (LTL)correctness properties from natural language temporal specifications. There are several reasons for this approach (1) Model-based techniques becoming more widely accepted, (2) Analytical verification techniques (e.g., model checking, theorem proving) significantly more effective at detecting types of specification design errors (e.g., race conditions, deadlock) than manual inspection, (3) Many requirements still written in natural language, which results in a high learning curve for specification languages, associated tools and increased schedule and budget pressure on projects reduce training opportunities for engineers, and (4) Formulation of correctness properties for system models can be a difficult problem. This has relevance to NASA in that it would simplify development of formal correctness properties, lead to more widespread use of model-based specification, design techniques, assist in earlier identification of defects and reduce residual defect content for space mission software systems. The presentation also discusses: potential applications, accomplishments and/or technological transfer potential and the next steps.

requirements engineering↗
NASA NTRS2012

Cognitive Systems Engineering: The Next 30 Years

This presentation is part of panel discussion on Cognitive Systems Engineering. The purpose of this panel is to discuss the challenges and future directions of Cognitive Systems Engineering for the next 30 years. I intended to present the work we have been doing with the Aviation Safety program and Space Human Factors Engineering project on Work Domain Analysis and some areas of Research Focus. Specifically, I intend to focus on the shift on the need to understand and model attention in mixed-initiative systems, the need for methods which can generate results to be used in trade-off decisions, and the need to account for a range of human behavior in the design.

Feary, Michael↗
NASA NTRS2021

NASA ARMD Wildfire Management Workshop

In response to the increasing severity and cost of wildfires in the United States, the NASA Aeronautics Research Mission Directorate (ARMD) conducted a one-day Wildfire Management Workshop on May 13, 2021. The NASA Aeronautics Research Institute (NARI) at the NASA Ames Research Center organized the event. The goal of the workshop was to provide a forum for representatives from wildfire organizations (government, private, and academic) to raise important issues and discuss solutions. The proceedings consisted of presentations from the U.S. Forest Service, NASA Space Technology Mission Directorate, and NASA Applied Sciences Disasters Program. Also included were two sessions of breakout groups that focused on specific wildfire management issues. Some major themes that emerged from the breakout groups included data access and management, wildfire modeling, improving organizational collaboration, the use of aircraft in fighting fires and collecting data, and providing front line firefighters with the information tools they need to be effective. The output of the workshop will be used by ARMD to consider avenues that NASA might take to help with wildfire management.

Wildfire Management↗
NASA NTRS2021

NASA ARMD Wildfire Management Workshop

In response to the increasing severity and cost of wildfires in the United States, the NASA Aeronautics Research Mission Directorate (ARMD) conducted a one-day Wildfire Management Workshop on May 13, 2021. The NASA Aeronautics Research Institute (NARI) at the NASA Ames Research Center organized the event. The goal of the workshop was to provide a forum for representatives from wildfire organizations (government, private, and academic) to raise important issues and discuss solutions. The proceedings consisted of presentations from the U.S. Forest Service, NASA Space Technology Mission Directorate, and NASA Applied Sciences Disasters Program. Also included were two sessions of breakout groups that focused on specific wildfire management issues. Some major themes that emerged from the breakout groups included data access and management, wildfire modeling, improving organizational collaboration, the use of aircraft in fighting fires and collecting data, and providing front line firefighters with the information tools they need to be effective. The output of the workshop will be used by ARMD to consider avenues that NASA might take to help with wildfire management.

Parimal Kopardekar↗
NASA NTRS2021

NASA ARMD Wildfire Management Workshop

In response to the increasing severity and cost of wildfires in the United States, the NASA Aeronautics Research Mission Directorate (ARMD) conducted a one-day Wildfire Management Workshop on May 13, 2021. The NASA Aeronautics Research Institute (NARI) at the NASA Ames Research Center organized the event. The goal of the workshop was to provide a forum for representatives from wildfire organizations (government, private, and academic) to raise important issues and discuss solutions. The proceedings consisted of presentations from the U.S. Forest Service, NASA Space Technology Mission Directorate, and NASA Applied Sciences Disasters Program. Also included were two sessions of breakout groups that focused on specific wildfire management issues. Some major themes that emerged from the breakout groups included data access and management, wildfire modeling, improving organizational collaboration, the use of aircraft in fighting fires and collecting data, and providing front line firefighters with the information tools they need to be effective. The output of the workshop will be used by ARMD to consider avenues that NASA might take to help with wildfire management.

Wildfire↗
NASA NTRS2009

Cold-Flow Testing of a Proposed Integrated Center-Body Diffuser/Steam Blocker Concept for Plum Brook Station's B-2 Test Facility

The center-body diffuser (CBD) steam blocker (SB) system is a concept that incorporates a set of secondary drive nozzles into the envelope of a CBD, such that both nozzle systems (i.e., the rocket engine and the steam blocking nozzles) utilize the same supersonic diffuser, and will operate either singularly or concurrently. In this manner, the SB performs as an exhaust system stage when the rocket engine is not operating, and virtually eliminates discharge flow on rocket engine shutdown. A 2.25-percent scale model of a proposed SB integrated into a diffuser for the Plum Brook B-2 facility was constructed and cold-flow tested for the purpose of evaluating performance characteristics of various design options. These specific design options addressed secondary drive nozzle design (method of steam injection), secondary drive nozzle location relative to CBD throat, and center-body throat length to diameter (L/D) ratios. The objective of the test program is to identify the desired configuration to carry forward should the next phase of design proceed. The tested scale model can provide data for various pressure ratios; however, its design is based on a proposed B-2 spray chamber (SC) operating pressure of 4.0 psia and a steam supply pressure of 165 psia. Evaluation of the test data acquired during these tests indicate that either the discrete axial or annular nozzle configuration integrated into a CBD, with an annular throat length of 1.5 L/D at the nominal injection position, would be suitable to carry forward from the SB's perspective. Selection between these two then becomes more a function of constructability and implementation than performance. L/D also has some flexibility, and final L/D selection can be a function of constructability issues within a limited range.

Edwards, Daryl A.↗
NASA NTRS1979

HEAP: Heat Energy Analysis Program, a computer model simulating solar receivers

A computer program which can distinguish between different receiver designs, and predict transient performance under variable solar flux, or ambient temperatures, etc. has a basic structure that fits a general heat transfer problem, but with specific features that are custom-made for solar receivers. The code is written in MBASIC computer language. The methodology followed in solving the heat transfer problem is explained. A program flow chart, an explanation of input and output tables, and an example of the simulation of a cavity-type solar receiver are included.

Lansing, F. L.↗
NASA NTRS1992

The software-cycle model for re-engineering and reuse

This paper reports on the progress of a study which will contribute to our ability to perform high-level, component-based programming by describing means to obtain useful components, methods for the configuration and integration of those components, and an underlying economic model of the costs and benefits associated with this approach to reuse. One goal of the study is to develop and demonstrate methods to recover reusable components from domain-specific software through a combination of tools, to perform the identification, extraction, and re-engineering of components, and domain experts, to direct the applications of those tools. A second goal of the study is to enable the reuse of those components by identifying techniques for configuring and recombining the re-engineered software. This component-recovery or software-cycle model addresses not only the selection and re-engineering of components, but also their recombination into new programs. Once a model of reuse activities has been developed, the quantification of the costs and benefits of various reuse options will enable the development of an adaptable economic model of reuse, which is the principal goal of the overall study. This paper reports on the conception of the software-cycle model and on several supporting techniques of software recovery, measurement, and reuse which will lead to the development of the desired economic model.

Bailey, John W.↗
NASA NTRS1992

Automating FEA programming

In this paper we briefly describe a combined symbolic and numeric approach for solving mathematical models on parallel computers. An experimental software system, PIER, is being developed in Common Lisp to synthesize computationally intensive and domain formulation dependent phases of finite element analysis (FEA) solution methods. Quantities for domain formulation like shape functions, element stiffness matrices, etc., are automatically derived using symbolic mathematical computations. The problem specific information and derived formulae are then used to generate (parallel) numerical code for FEA solution steps. A constructive approach to specify a numerical program design is taken. The code generator compiles application oriented input specifications into (parallel) FORTRAN77 routines with the help of built-in knowledge of the particular problem, numerical solution methods and the target computer.

Sharma, Naveen↗
NASA NTRS1974

A study of remote sensing as applied to regional and small watersheds. Volume 2: Supporting technical details

The Stanford Watershed Model, the Kentucky Watershed Model and OPSET program, and the NASA-IBM system for simulation and analysis of watersheds are described in terms of their applications to the study of remote sensing of water resources. Specific calibration processes and input and output parameters that are instrumental in the simulations are explained for the following kinds of data: (1) hourly precipitation data; (2) daily discharge data; (3) flood hydrographs; (4) temperature and evaporation data; and (5) snowmelt data arrays. The Sensitivity Analysis Task, which provides a method for evaluation of any of the separate simulation runs in the form of performance indices, is also reported. The method is defined and a summary of results is given which indicates the values obtained in the simulation runs performed for Town Creek, Alabama; Alamosa Creek, Colorado; and Pearl River, Louisiana. The results are shown in tabular and plot graph form. For Vol. 1, see N74-27813.

Source record↗
NASA NTRS1981

A comparison of laboratory measured temperatures with predictions for a spar/skin type aircraft structure

A typical spar/skin aircraft structure was heated nonuniformly in a laboratory and the resulting temperatures were measured. The heat transfer NASTRAN computer program was used to provide predictions. Calculated temperatures based on a thermal model with conduction, radiation, and convection features compared closely to measured spar temperatures. Results were obtained without the thermal conductivity, specific heat, or emissivity with temperature. All modes of heat transfer (conduction, radiation, and convection) show to affect the magnitude and distribution of structural temperatures.

Jenkins, J. M.↗
NASA NTRS1989

A center for commercial development of space: Real-time satellite mapping. Remote sensing-based agricultural information expert system

The research project results in a powerful yet user friendly CROPCAST expert system for use by a client to determine the crop yield production of a certain crop field. The study is based on the facts that heuristic assessment and decision making in agriculture are significant and dominate much of agribusiness. Transfer of the expert knowledge concerning remote sensing based crop yield production into a specific expert system is the key program in this study. A knowledge base consisting of a root frame, CROP-YIELD-FORECAST, and four subframes, namely, SATELLITE, PLANT-PHYSIOLOGY, GROUND, and MODEL were developed to accommodate the production rules obtained from the domain expert. The expert system shell Personal Consultant Plus version 4.0. was used for this purpose. An external geographic program was integrated to the system. This project is the first part of a completely built expert system. The study reveals that much effort was given to the development of the rules. Such effort is inevitable if workable, efficient, and accurate rules are desired. Furthermore, abundant help statements and graphics were included. Internal and external display routines add to the visual capability of the system. The work results in a useful tool for the client for making decisions on crop yield production.

Hadipriono, Fabian C.↗
NASA NTRS1993

Autonomous vehicle motion control, approximate maps, and fuzzy logic

Progress on research on the control of actions of autonomous mobile agents using fuzzy logic is presented. The innovations described encompass theoretical and applied developments. At the theoretical level, results of research leading to the combined utilization of conventional artificial planning techniques with fuzzy logic approaches for the control of local motion and perception actions are presented. Also formulations of dynamic programming approaches to optimal control in the context of the analysis of approximate models of the real world are examined. Also a new approach to goal conflict resolution that does not require specification of numerical values representing relative goal importance is reviewed. Applied developments include the introduction of the notion of approximate map. A fuzzy relational database structure for the representation of vague and imprecise information about the robot's environment is proposed. Also the central notions of control point and control structure are discussed.

Ruspini, Enrique H.↗
NASA NTRS1990

Design Graphics

A mathematician, David R. Hedgley, Jr. developed a computer program that considers whether a line in a graphic model of a three-dimensional object should or should not be visible. Known as the Hidden Line Computer Code, the program automatically removes superfluous lines and displays an object from a specific viewpoint, just as the human eye would see it. An example of how one company uses the program is the experience of Birdair which specializes in production of fabric skylights and stadium covers. The fabric called SHEERFILL is a Teflon coated fiberglass material developed in cooperation with DuPont Company. SHEERFILL glazed structures are either tension structures or air-supported tension structures. Both are formed by patterned fabric sheets supported by a steel or aluminum frame or cable network. Birdair uses the Hidden Line Computer Code, to illustrate a prospective structure to an architect or owner. The program generates a three- dimensional perspective with the hidden lines removed. This program is still used by Birdair and continues to be commercially available to the public.

Source record↗
NASA NTRS2002

Technology Assessments within NASA's Integrated Technology Assessment Center

NASA's Advanced Space Transportation Program (ASTP) founded the Integrated Technology Assessment Center (ITAC) to provide a comprehensive, systematic approach to identify long-term technology needs, to quantify payoffs for technology investments, and to assess the progress of ASTP-sponsored technology programs in the hypersonics/Earth-to-orbit area. To accomplish these goals, the ITAC has assembled an experienced team representing a broad sector of the aerospace community and developed a systematic assessment process complete with supporting tools. In the ITAC approach, concepts for transportation systems are first selected based on relevance to the ASTP. Models of these concepts are then developed and data on advanced technologies are collected. Projections of key technology characteristics with respect to the specific concepts of interest are made. Both the models and technology projections are then fed into the ITAC's probabilistic systems analysis framework. The probabilistic outputs are weighed against metrics of interest to ASTP and a multivariate decision making process is used to provide inputs for technology prioritization within the ASTP. At present, the ITAC program is working to evaluate a variety of technologies for three two-stage hypersonic vehicle concepts. Concepts include an all rocket, vertical take off-horizontal landing (VTHL) system, a horizontal take-off-horizontal landing (HTHL) RBCC-propelled first stage/all rocket second stage system, and an HTHL turbine-based first stage/all rocket second stage system. This paper will provide a status update of the ITAC program including current results and plans.

Taylor, J. L.↗
NASA NTRS2002

Technology Assessments within NASA's Integrated Technology Assessment Center

NASA's Advanced Space Transportation Program (ASTP) founded the Integrated Technology Assessment Center (ITAC) to provide a comprehensive, systematic approach to identify long-term technology needs, to quantify payoffs for technology investments, and to assess the progress of ASTP-sponsored technology programs in the hypersonics/Earth-to-orbit area. To accomplish these goals, the ITAC has assembled an experienced team representing a broad sector of the aerospace community and developed a systematic assessment process complete with supporting tools. In the ITAC approach, concepts for transportation systems are first selected based on relevance to the ASTP. Models of these concepts are then developed and data on advanced technologies are collected. Projections of key technology characteristics with respect to the specific concepts of interest are made. Both the models and technology projections are then fed into the ITAC's probabilistic systems analysis framework. The probabilistic outputs are weighed against metrics of interest to ASTP and a multivariate decision making process is used to provide inputs for technology prioritization within the ASTP. At present, the ITAC program is working to evaluate a variety of technologies for three two-stage hypersonic vehicle concepts. Concepts include an all rocket, vertical take off-horizontal landing (VTHL) system, a horizontal takeoff-horizontal landing (HTHL) RBCC-propelled first stage/all rocket second stage system, and an HTHL turbine-based first stage/all rocket second stage system. This paper will provide a status update of the ITAC program including current results and plans.

Taylor, J. L.↗