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 523 records · Page 29

Adding Assurance to Automatically Generated Code

Code to estimate position and attitude of a spacecraft or aircraft belongs to the most safety-critical parts of flight software. The complex underlying mathematics and abundance of design details make it error-prone and reliable implementations costly. AutoFilter is a program synthesis tool for the automatic generation of state estimation code from compact specifications. It can automatically produce additional safety certificates which formally guarantee that each generated program individually satisfies a set of important safety policies. These safety policies (e.g.. array-bounds, variable initialization) form a core of properties which are essential for high-assurance software. Here we describe the AutoFilter system and its certificate generator and compare our approach to the static analysis tool PolySpace.

Denney, Ewen↗

Program control in NASA: Needs and opportunities

NASA has successfully managed some of this country's most complex technology and development programs. These successes have included the application of sound program control processes. The impetus for this study arose from the NASA Management Study Group findings that over time, some program control tools and disciplined procedures and processes had weakened. The Study Group recommended that steps be taken to establish a comprehensive training approach in program management, and specifically, in program control functions. This study looks at program control processes within NASA currently in use, defines a 'model' of program control functions, and provides recommendations on program control training needs and opportunities.

Lilly, William E.↗

A Retrofit Tool for Improving Energy Efficiency of Commercial Buildings

Existing buildings will dominate energy use in commercial buildings in the United States for three decades or longer and even in China for the about two decades. Retrofitting these buildings to improve energy efficiency and reduce energy use is thus critical to achieving the target of reducing energy use in the buildings sector. However there are few evaluation tools that can quickly identify and evaluate energy savings and cost effectiveness of energy conservation measures (ECMs) for retrofits, especially for buildings in China. This paper discusses methods used to develop such a tool and demonstrates an application of the tool for a retrofit analysis. The tool builds on a building performance database with pre-calculated energy consumption of ECMs for selected commercial prototype buildings using the EnergyPlus program. The tool allows users to evaluate individual ECMs or a package of ECMs. It covers building envelope, lighting and daylighting, HVAC, plug loads, service hot water, and renewable energy. The prototype building can be customized to represent an actual building with some limitations. Energy consumption from utility bills can be entered into the tool to compare and calibrate the energy use of the prototype building. The tool currently can evaluate energy savings and payback of ECMs for shopping malls in China. We have used the tool to assess energy and cost savings for retrofit of the prototype shopping mall in Shanghai. Future work on the tool will simplify its use and expand it to cover other commercial building types and other countries.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

pnnl/CPACE

C-PACE Market Assessment Tool This tool was developed for the U.S. Department of Energy’s Commercial Property Assessed Clean Energy (C-PACE) Working Group to support state and local governments creating, joining, and implementing C-PACE programs. This tool allows users to input a jurisdiction (city, county, or state) and automate a report with building characteristics, energy use, and energy efficiency savings opportunities for commercial buildings in that jurisdiction. The report generated by the tool identifies jurisdiction-specific energy end uses, building use types, and building technologies that a local C-PACE program should consider focusing on to more effectively allocate limited resources and maximize energy savings and investment.

Keene, Kevin↗

Flow Simulations for Martian and Lunar Lander Plume-Surface Interaction Prediction

Landing vehicle propulsive systems introduce several risks associated with plume/surface interactions (PSI) during the final stages of descent. For example, view obscuration during descent due to the liberation of dust driven by the rocket plume’s interaction with the lunar surface was reported on several Apollo missions. Plume-driven debris impacts on vehicle and nearby assets as well as landing instabilities due to crater formation are also potential risks associated with plume/surface interactions. The importance of studying these plume/surface interactions has been elevated due to NASA’s mission to land humans on the Moon by 2024. Existing and under-development predictive simulation tools are currently being brought to application readiness under a project awarded by the NASA Space Technology Mission Directorate (STMD) Game Changing Development (GCD) program. This tool development is divided into four tasks: (1) simulating plume structure in low-pressure environments, (2) simulating crater development and ejecta, (3) regolith particle phase modeling, and (4) gas-particle interaction modeling. Recent efforts under task 1 include demonstrating existing computational fluid dynamics (CFD) tools for simulating plume structure in low pressure environments similar to those found on Mars. The results of these demonstrative simulations are compared to available experimental data. Emerging capability being developed under task 2 is also presented, demonstrating simulations of crater formation in Lunar conditions.

Thomas P Shurtz↗

Regional Geology Web Map Application Development: Javascript v2.0

This is a milestone report for the FY2017 continuation of the Spent Fuel, Storage, and Waste, Technology (SFSWT) program (formerly Used Fuel Disposal (UFD) program) development of the Regional Geology Web Mapping Application by the Idaho National Laboratory Geospatial Science and Engineering group. This application was developed for general public use and is an interactive web-based application built in Javascript to visualize, reference, and analyze US pertinent geological features of the SFSWT program. This tool is a version upgrade from Adobe FLEX technology. It is designed to facilitate informed decision making of the geology of continental US relevant to the SFSWT program.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Static Controls Performance Tool for Lunar Landers

This document presents a static analysis tool used to evaluate the controllability of Lunar landers. This was created as part of the NASA Lunar Cargo Transportation and Landing by Soft Touchdown (Lunar CATALYST) program. This tool is capable of accepting typical design information such as location and direction of thrusters, maximum thruster forces, gravity vectors, and center of mass locations. The tool evaluates how far the center of gravity can move from its starting position while still maintaining control. This type of analysis is intended to support results produced by time domain simulations. The code created for this project was implemented in Python, and it was designed to be integrated into systems level optimization tools to yield first-cut results on optimal thruster placement.

Aretskin-Hariton, Eliot D.↗

Kokkos v.4.0

SAND2023-07883O Kokkos software implements C++ performance portability programming models, tools and math libraries, which enables science and engineering software developers to use single-source codes for a wide range of computer architectures. Kokkos also provides implementations of existing and proposed C++ standard features that support programming model and math libraries that are used for implementing performance-portable scientific and engineering applications. The Kokkos libraries provide algorithms, data structures, and tools to enable high-performance computing developers to write performance-portable code. Capabilities fall into three broad categories: Kokkos Core, Kokkos Kernels, and Kokkos Tools. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

SciDAC↗

Overview of the Inflation Reduction Act of 2022 (IRA) Home Energy Rebate Tool

The IRA Home Energy Rebate Tool (Tool) provides if/then analysis on the impact of two provisions of the Inflation Reduction Act (IRA); 50121 - Home Energy Performance-Based Whole-House Rebates (Home Efficiency Rebates or HOMES Program) and 50122 - High-Efficiency Electric Home Rebate Program (Home Electrification and Appliance Rebates or High-Efficiency Electric Appliances Rebates Program). The Tool can generate realistic scenarios based on the legislative text. The results of the Tool should not be interpreted as forecasts or predictions of what will happen for individual households, States or the nation. This overview provides a high level summary of the data inputs and methods.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

A theoretical analysis of the electromagnetic environment of the AS330 super Puma helicopter external and internal coupling

Numerical techniques such as Finite Difference Time Domain (FDTD) computer programs, which were first developed to analyze the external electromagnetic environment of an aircraft during a wave illumination, a lightning event, or any kind of current injection, are now very powerful investigative tools. The program called GORFF-VE, was extended to compute the inner electromagnetic fields that are generated by the penetration of the outer fields through large apertures made in the all metallic body. Then, the internal fields can drive the electrical response of a cable network. The coupling between the inside and the outside of the helicopter is implemented using Huygen's principle. Moreover, the spectacular increase of computer resources, as calculations speed and memory capacity, allows the modellization structures as complex as these of helicopters with accuracy. This numerical model was exploited, first, to analyze the electromagnetic environment of an in-flight helicopter for several injection configurations, and second, to design a coaxial return path to simulate the lightning aircraft interaction with a strong current injection. The E field and current mappings are the result of these calculations.

Flourens, F.↗

SU-E-T-442: Sensitivity of Quality Assurance Tools to Delivery Errors On a Magnetic Resonance-Imaging Guided Radiation Therapy (MR-IGRT) System

Purpose: To test the sensitivity of the quality assurance (QA) tools actively used on a clinical MR-IGRT system for potential delivery errors. Methods: Patient-specific QA procedures have been implemented for a commercially available Cobalt-60 MR-IGRT system. The QA tools utilized were a MR-compatible cylindrical diode-array detector (ArcCHECK) with a custom insert which positions an ionization chamber (Exradin A18) in the middle of the device, as well as an in-house treatment delivery verification program. These tools were tested to investigate their sensitivity to delivery errors. For the ArcCHECK and ion chamber, a baseline was established with a static field irradiation to a known dose. Variations of the baseline were investigated which included rotated gantry, altered field size, directional shifts, and different delivery time. In addition, similar variations were tested with the automated delivery verification program that compared the treatment parameters in the machine delivery logs to the ones in the plan. To test the software, a 3-field conformal plan was generated as the baseline. Results: ArcCHECK noted at least a 13% decrease in passing rate from baseline in the following scenarios: gantry rotation of 1 degree from plan, 5mm change in field size, 2mm lateral shift, and delivery time decrease. Ion chamber measurements remained consistent for these variations except for the 5 second decrease in delivery time scenario which resulted in an 8% difference from baseline. The delivery verification software was able to detect and report the simulated errors such as when the gantry was rotated by 0.6 degrees, the beam weighting was changed by a percent, a single multileaf collimator was moved by 1cm, and the dose was changed from 2 to 1.8Gy. Conclusion: The results show that the current tools used for patient specific QA are capable of detecting small errors in RT delivery with presence of magnetic field.

60 APPLIED LIFE SCIENCES↗

Software for Use with Optoelectronic Measuring Tool

A computer program has been written to facilitate and accelerate the process of measurement by use of the apparatus described in "Optoelectronic Tool Adds Scale Marks to Photographic Images" (KSC-12201). The tool contains four laser diodes that generate parallel beams of light spaced apart at a known distance. The beams of light are used to project bright spots that serve as scale marks that become incorporated into photographic images (including film and electronic images). The sizes of objects depicted in the images can readily be measured by reference to the scale marks. The computer program is applicable to a scene that contains the laser spots and that has been imaged in a square pixel format that can be imported into a graphical user interface (GUI) generated by the program. It is assumed that the laser spots and the distance(s) to be measured all lie in the same plane and that the plane is perpendicular to the line of sight of the camera used to record the image

Ballard, Kim C.↗

Computer Aided Battery Engineering Consortium

A multi-national lab collaborative team was assembled that includes experts from academia and industry to enhance recently developed Computer-Aided Battery Engineering for Electric Drive Vehicles (CAEBAT)-II battery crush modeling tools and to develop microstructure models for electrode design - both computationally efficient. Task 1. The new Multi-Scale Multi-Domain model framework (GH-MSMD) provides 100x to 1,000x computation speed-up in battery electrochemical/thermal simulation while retaining modularity of particles and electrode-, cell-, and pack-level domains. The increased speed enables direct use of the full model in parameter identification. Task 2. Mechanical-electrochemical-thermal (MECT) models for mechanical abuse simulation were simultaneously coupled, enabling simultaneous modeling of electrochemical reactions during the short circuit, when necessary. The interactions between mechanical failure and battery cell performance were studied, and the flexibility of the model for various batteries structures and loading conditions was improved. Model validation is ongoing to compare with test data from Sandia National Laboratories. The ABDT tool was established in ANSYS. Task 3. Microstructural modeling was conducted to enhance next-generation electrode designs. This 3- year project will validate models for a variety of electrodes, complementing Advanced Battery Research programs. Prototype tools have been developed for electrochemical simulation and geometric reconstruction.

25 ENERGY STORAGE↗

Program For Systematic Documentation Of Tasks

Task Analysis Report Generation Tool (TARGET) computer program is graphical-interface software tool used to capture procedural knowledge and translate knowledge into hierarchical report. Designed to help programmer document expert's task, enabling programmer to build expert-system computer program that helps others perform task. Flexibility key element of design and of knowledge-acquisition session. Easy to use and tailored to accommodate users ranging from novice to experienced builder of expert systems. Written in C language.

Ortiz, Christopher John↗

Coal gasification systems engineering and analysis. Appendix H: Work breakdown structure

A work breakdown structure (WBS) is presented which encompasses the multiple facets (hardware, software, services, and other tasks) of the coal gasification program. The WBS is shown to provide the basis for the following: management and control; cost estimating; budgeting and reporting; scheduling activities; organizational structuring; specification tree generation; weight allocation and control; procurement and contracting activities; and serves as a tool for program evaluation.

Source record↗

Commercial Building Energy Asset Rating Program -- Market Research

Under contract to Pacific Northwest National Laboratory, HaydenTanner, LLC conducted an in-depth analysis of the potential market value of a commercial building energy asset rating program for the U.S. Department of Energy (DOE) Office of Energy Efficiency and Renewable Energy. The market research objectives were to: (1) Evaluate market interest and need for a program and tool to offer asset rating and rapidly identify potential energy efficiency measures for the commercial building sector. (2) Identify key input variables and asset rating outputs that would facilitate increased investment in energy efficiency. (3) Assess best practices and lessons learned from existing national and international energy rating programs. (4) Identify core messaging to motivate owners, investors, financiers, and others in the real estate sector to adopt a voluntary asset rating program and, as a consequence, deploy high-performance strategies and technologies across new and existing buildings. (5) Identify leverage factors and incentives that facilitate increased investment in these buildings. To meet these objectives, work consisted of a review of the relevant literature, examination of existing and emergent asset and operational rating systems, interviews with industry stakeholders, and an evaluation of the value implication of an asset label on asset valuation. This report documents the analysis methodology and findings, conclusion, and recommendations. Its intent is to support and inform the DOE Office of Energy Efficiency and Renewable Energy on the market need and potential value impacts of an asset labeling and diagnostic tool to encourage high-performance new buildings and building efficiency retrofit projects.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Risk Acceptance Personality Paradigm: How We View What We Don't Know We Don't Know

The purpose of integrated hazard analyses, probabilistic risk assessments, failure modes and effects analyses, fault trees and many other similar tools is to give managers of a program some idea of the risks associated with their program. All risk tools establish a set of undesired events and then try to evaluate the risk to the program by assessing the severity of the undesired event and the likelihood of that event occurring. Some tools provide qualitative results, some provide quantitative results and some do both. However, in the end the program manager and his/her team must decide which risks are acceptable and which are not. Even with a wide array of analysis tools available, risk acceptance is often a controversial and difficult decision making process. And yet, today's space exploration programs are moving toward more risk based design approaches. Thus, risk identification and good risk assessment is becoming even more vital to the engineering development process. This paper explores how known and unknown information influences risk-based decisions by looking at how the various parts of our personalities are affected by what they know and what they don't know. This paper then offers some criteria for consideration when making risk-based decisions.

Massie, Michael J.↗

The parser generator as a general purpose tool

The parser generator has proven to be an extremely useful, general purpose tool. It can be used effectively by programmers having only a knowledge of grammars and no training at all in the theory of formal parsing. Some of the application areas for which a table-driven parser can be used include interactive, query languages, menu systems, translators, and programming support tools. Each of these is illustrated by an example grammar.

Noonan, R. E.↗