Search NASA⌕ Search

SEARCH · Search NASA

Results for “programming tools”

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 505 records · Page 28

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

This paper introduces a static analysis technique for computing formally verified round-off error bounds of floating-point functional expressions. The technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-o errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verified numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-o Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.

Moscato, Mariano↗

Performance, Stability and Compatibility of Oxygen/RP-1 Multi-Element Oxidizer-Rich Staged-Combustion Injectors

In 2015 and 2016, the National Aeronautics and Space Administration Marshall Space Flight Center designed, fabricated, assembled and hot-fire tested an oxygen/RP-1 propellant multi-element oxidizer-rich staged-combustion test article. The main objective was to provide thrust chamber combustion stability data as part of the Combustion Stability Tool Development program, although demonstration of performance and compatibility of oxidizer-rich main injectors was also important. Funding was provided by the Air Force Space and Missile Systems Center. Five configurations of main injectors were designed and fabricated, using conventional gas-centered swirl coaxial injector element designs generally similar to those used in oxygen/kerosene oxidizer-rich staged combustion engines such as the Russian RD-180 or NK-33 engines. Variations of element features included element size, recess depth, fuel gap width, and the presence of the sleeve separating the swirling fuel flow from the axial oxidizer flow. Ablative combustion chambers were fabricated based on hardware previously used at the NASA MSFC for testing at similar size and pressure. Existing oxygen/RP-1 oxidizer-rich subscale preburner injectors and hot gas ducts from a previous NASA-funded program were modified for use to supply the oxidizer-rich combustion products to the oxidizer circuit of the main injector of the thrust chamber. Testing of the resulting integrated test article - which included the preburner, inter-connecting hot gas duct, main injector, and ablative combustion chamber - was conducted at Test Stand 116 at the East Test Area of the NASA MSFC. The test article was well instrumented with static and dynamic pressure, temperature, and vibration sensors. This paper presents and discusses all the hot-fire test results of the integrated test article thrust chamber. Eighteen successful hot-fire tests of the integrated rig were conducted. Testing was accomplished with all five of the injector element concepts. Main combustion chamber pressures ranged from 710 to 2350 psia, and main combustion chamber mixture ratios ranged from 2.47 to 2.87. A chamber barrier fuel film coolant of about 2% to 4% of the total fuel flow was used for most tests. Characteristic exhaust velocity efficiency excluding the influence of the fuel film cooling ranged from 91% to 98% of theoretical. All tests of the thrust chamber exhibited stable combustion, even down to 40% of nominal operating pressures. Compatibility of the injector face and combustion chamber walls was acceptable. This paper is a follow-on to publication of preliminary test data presented at the 2016 JANNAF Liquid Propulsion Subcommittee meeting.

Hulka, J. R.↗

TPSAS-NF1676L-29916-DND

The CCMC is a multi-agency partnership to enable, support and perform the research and development for next-generation space science and space weather models. NASA’s CCMC resources support a variety of activities in the US and international space science and engineering communities including - Access to sophisticated space science models - Access to space weather data and models - Applied science support, engineering tools, and program support

Joseph Minow↗

Controlling properties by chemistry in doped shape memory alloys

Shape memory alloys find increasing use in airspace applications. Using theoretical and computational methods, we investigate correlations between the selected properties and composition in doped NiTi-based shape memory alloys. Among the properties we consider relative energies, phase transition temperature, and hysteresis. We compare predictions to experimental data. Our theoretical guidance facilitates design of future alloys. We acknowledge support from the NASA Transformative Aeronautics Concepts Program, Transformational Tools & Technologies (TTT) Project.

NiTi↗

PRECiSA: a static analysis tool for floating-point programs

This presentation introduces PRECiSA, a static analysis framework for analyzing floating-point programs. PRECiSA computes round-off error bounds for a class of floating-point programs, and produces a formal proof certificate of the correctness of these bounds. PRECiSA also has the capability of generating C code which is instrumented to detect unstable branching conditions from a real-number algorithm specification.

Floating-point↗

Status on the Recovery of Voyager Plasma Electron Observations at Jupiter

We give status report on the recovery of Voyager 1 and 2 plasma electron observations during their Jupiter flybys. The plan is to complete this analysis including new results never published before. The original summary data tapes and later datafiles were evidently permanently lost along with our past analysis results of the plasma electron observations except for that shown in previous publications. These summary data tapes included the plasma ion and electron raw datafiles, status words needed to convert data numbers to currents, SEDR data with trajectory and attitude information and magnetic field measurements. In addition to recovering the plasma electron plasma observations (electron intensities and fluid parameters of the thermal and suprathermal electron populations, respectively), the SEDR trajectory information during the out bound passes were lost but fortunately in the past the SEDR files were converted to Spice Kernals, so this unexpected problem was solved. In addition, we had to rewrite our read routines it looked like the previous read routines so the rest of the Fortran code could be used; the Fortran- code had to be modified to work with the latest compilers and computer platforms. We will report on the- status of our work- originally funded under the Planetary Data Archiving, Restoration, and Tools (PDART)program but now being funded by the Internal Scientist Funding Model (ISFM) Exosphere Ionosphere Magnetospheres Modeling (EIMM)program at NASA Goddard Space Flight Center.

E C Sittler Jr.↗

Recovery of Voyager Plasma Electron Observations at Jupiter

We will present our recovery of Voyager 1 and 2 plasma electron observations during their Jupiter flybys. The analysis is expected to be completed by the time of the Fall AGU 2023 Meeting and stored in Goddard’s Data Center and we will present new results never published before. The original summary data tapes and later data files at first appeared to be permanently lost but eventually located at the Massachusetts Institute of Technology, while data analysis results done at Goddard Space Flight Center, except for that published in journals, were permanently lost such as electron distribution functions, spacecraft trajectory and spacecraft attitude information. In addition to recovering the electron plasma observations (electron intensities and fluid parameters of the thermal and suprathermal electron populations, respectively), we use Spice Kernels for Voyager 1 and 2 trajectory and spacecraft attitude information, fortunately produced by NASA’s Jet Propulsion Laboratory. We will present new results of our work, originally funded under the Planetary Data Archiving, Restoration, and Tools (PDART) program but now being funded by the Internal Scientist Funding Model (ISFM) Exosphere Ionosphere Magnetospheres Modeling (EIMM) program at NASA Goddard Space Flight Center. If time permits, we will also present some of our recovery of the Voyager 2 Uranus plasma electron data and analysis similar to what was done for Jupiter.

E.C. Sittler Jr.↗

Recovery of Voyager Plasma Electron Observations at Jupiter

We will present our recovery of Voyager 1 and 2 plasma electron observations during their Jupiter flybys. The analysis is expected to be completed by the time of the Fall AGU 2023 Meeting and stored in Goddard’s Data Center and we will present new results never published before. The original summary data tapes and later data files at first appeared to be permanently lost but eventually located at the Massachusetts Institute of Technology, while data analysis results done at Goddard Space Flight Center, except for that published in journals, were permanently lost such as electron distribution functions, spacecraft trajectory and spacecraft attitude information. In addition to recovering the electron plasma observations (electron intensities and fluid parameters of the thermal and suprathermal electron populations, respectively), we use Spice Kernels for Voyager 1 and 2 trajectory and spacecraft attitude information, fortunately produced by NASA’s Jet Propulsion Laboratory. We will present new results of our work, originally funded under the Planetary Data Archiving, Restoration, and Tools (PDART) program but now being funded by the Internal Scientist Funding Model (ISFM) Exosphere Ionosphere Magnetospheres Modeling (EIMM) program at NASA Goddard Space Flight Center. If time permits, we will also present some of our recovery of the Voyager 2 Uranus plasma electron data and analysis similar to what was done for Jupiter.

E.C. Sittler Jr.↗

An Evaluation of an Analytical Simulation of an Airplane with Tailplane Icing by Comparison to Flight Data

This report presents the assessment of an analytical tool developed as part of the NASA/FAA Tailplane Icing Program. The analytical tool is a specialized simulation program called TAILSM4 which was developed to model the effects of tailplane icing on the flight dynamics Twin Otter Icing Research Aircraft. This report compares the responses of the TAILSIM program directly to flight test data. The comparisons should be useful to potential users of TAILSIM. The comparisons show that the TAILSIM program qualitatively duplicates the flight test aircraft response during maneuvers with ice on the tailplane. TAILSIM is shown to be quantitatively "in the ballpark" in predicting when Ice Contaminated Tailplane Stall will occur during pushover and thrust transition maneuvers. As such, TAILSIM proved its usefulness to the flight test program by providing a general indication of the aircraft configuration and flight conditions of concern. The aircraft dynamics are shown to be modeled correctly by the equations of motion used in TAILSIM. However, the general accuracy of the TAILSIM responses is shown to be less than desired primarily due to inaccuracies in the aircraft database. The high sensitivity of the TAILSIM program responses to small changes in load factor command input is also shown to be a factor in the accuracy of the responses. A pilot model is shown to allow TAILSIM to produce more accurate responses and contribute significantly to the usefulness of the program. Suggestions to improve the accuracy of the TAILSIM responses are to further refine the database representation of the aircraft aerodynamics and tailplane flowfield and to explore a more realistic definition of the pilot model.

Hiltner, Dale W.↗

Program Helps In Analysis Of Failures

Failure Environment Analysis Tool (FEAT) computer program developed to enable people to see and better understand effects of failures in system. User selects failures from either engineering schematic diagrams or digraph-model graphics, and effects or potential causes of failures highlighted in color on same schematic-diagram or digraph representation. Uses digraph models to answer two questions: What will happen to system if set of failure events occurs? and What are possible causes of set of selected failures? Helps design reviewers understand exactly what redundancies built into system and where there is need to protect weak parts of system or remove them by redesign. Program also useful in operations, where it helps identify causes of failure after they occur. FEAT reduces costs of evaluation of designs, training, and learning how failures propagate through system. Written using Macintosh Programmers Workshop C v3.1. Can be linked with CLIPS 5.0 (MSC-21927, available from COSMIC).

Stevenson, R. W.↗

Interface To The SURE Program

Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) computer program is interface program enabling reliability engineers to design large semi-Markov mathematical models accurately. Language enables efficient description of large, complicated systems. Also offers, as part of bundled package with SURE and PAWS/STEM, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Johnson, Sally C.↗

Assessment of ProgPy - An Open-Source Condition Monitoring and Diagnostics Tool

Traditional maintenance programs, such as corrective and preventive strategies, may lead to high costs and operational inefficiencies. Condition Monitoring and Diagnostics (CM&D) aims to improve these maintenance strategies by enabling timely insights into equipment health and performance. However, implementation of CM&D can be challenging without a robust framework that manages data efficiently, supports interoperability and simplifies integration. To address these challenges ProgPy, an open-source Python-based prognostics tool developed by NASA Ames Research Center, offers a structured solution for broader Prognostics and Health Management (PHM) applications. Ongoing research is assessing the feasibility of implementing ProgPy as a Condition Monitoring and Diagnostics (CM&D) solution by comparing its framework to the guidelines for open CM&D systems recommended in the ISO 13374-2 standard. This evaluation aims to highlight ProgPy’s strengths and identify opportunities for improvement, thereby, contributing to its advancement as an effective tool for Prognostics and Health Management (PHM). This paper presents the results of an initial assessment of the ProgPy toolbox through a gearbox case study using open-source datasets.

Condition-Monitoring, Diagnostics, Failure, Gearbo↗

EDCATS: An Evaluation Tool

The purpose of this research is to explore the development of Marshall Space Flight Center Unique Programs. These academic tools provide the Education Program Office with important information from the Education Computer Aided Tracking System (EDCATS). This system is equipped to provide on-line data entry, evaluation, analysis, and report generation, with full archiving for all phases of the evaluation process. Another purpose is to develop reports and data that is tailored to Marshall Space Flight Center Unique Programs. It also attempts to acquire knowledge on how, why, and where information is derived. As a result, a user will be better prepared to decide which available tool is the most feasible for their reports.

Heard, Pamala D.↗

Neural-Network-Development Program

NETS, software tool for development and evaluation of neural networks, provides simulation of neural-network algorithms plus computing environment for development of such algorithms. Uses back-propagation learning method for all of networks it creates. Enables user to customize patterns of connections between layers of network. Also provides features for saving, during learning process, values of weights, providing more-precise control over learning process. Written in ANSI standard C language. Machine-independent version (MSC-21588) includes only code for command-line-interface version of NETS 3.0.

Phillips, Todd A.↗

Effective Documentation Tools

Quality assurance programs provide a very effective means to monitor and evaluate medical care. Quality assurance involves: (1) Identify a problem; (2) Determine the source and nature of the problem; (3) Develop policies and methods to effect improvement; (4) Implement those polices; (5) Monitor the methods applied; and (6) Evaluate their effectiveness. Because this definition of quality assurance so closely resembles the Nursing Process, the health unit staff was able to use their knowledge of the nursing process to develop many forms which improve the quality of patient care. These forms include the NASA DFRC Service Report, the occupational injury form (Incident Report), the patient survey (Pre-hospital Evaluation/Care Report), the Laboratory Log Sheet, the 911 Run Sheet, and the Patient Assessment Stamp. Examples and steps which are followed to generate these reports are described.

Sleboda, Claire↗

Navigation for IUS deployment. TDRSS navigation accuracy in support of IUS deployment, phase 1

The navigation accuracy for tracking the orbiter prior to interim upper stage (IUS) deployment using the tracking data relay satellite system (TDRSS) was studied. The orbiter navigation accuracy for both one and two TDRSS satellites, for short and long data arcs, and for Doppler-only and Doppler-plus range solutions was examined. All test cases were run with the orbiter in a 150-n. mi. circular orbit, 28.5 degree inclination, at the time interval from the completion of the orbital maneuvering system (OMS)-2 maneuver to OMS-2 plus 2 hours (approximate time for IUS deployment). The data used were simulated by the simulation navigation (SIMNAV) program. The software tool used to process the TDRS data was the Shuttle Navigation Analysis Program (SNAP), a Kalman filter tool used to solve for the orbiter position and velocity. Results summarize the expected navigation accuracy using the TDRS system. It was concluded that: (1) data from both TDRS satellites were essential for accurate navigation results: (2) range data were essential for the short arc test case but were not needed for the long arc test case; and (3) with Doppler and range data from both TDRS satellites, the results converged to a reasonable solution after 5 to 10 minutes of data.

Wylie, A. D.↗

On Machine Capacitance Dimensional and Surface Profile Measurement System

A program was awarded under the Air Force Machine Tool Sensor Improvements Program Research and Development Announcement to develop and demonstrate the use of a Capacitance Sensor System including Capacitive Non-Contact Analog Probe and a Capacitive Array Dimensional Measurement System to check the dimensions of complex shapes and contours on a machine tool or in an automated inspection cell. The manufacturing of complex shapes and contours and the subsequent verification of those manufactured shapes is fundamental and widespread throughout industry. The critical profile of a gear tooth; the overall shape of a graphite EDM electrode; the contour of a turbine blade in a jet engine; and countless other components in varied applications possess complex shapes that require detailed and complex inspection procedures. Current inspection methods for complex shapes and contours are expensive, time-consuming, and labor intensive.

Resnick, Ralph↗

World Wind Tools Reveal Environmental Change

Originally developed under NASA's Learning Technologies program as a tool to engage and inspire students, World Wind software was released under the NASA Open Source Agreement license. Honolulu, Hawaii based Intelesense Technologies is one of the companies currently making use of the technology for environmental, public health, and other monitoring applications for nonprofit organizations and Government agencies. The company saved about $1 million in development costs by using the NASA software.

Source record↗