Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “program verification”

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 1,297 records · Page 72

User's manual for the Heat Pipe Space Radiator design and analysis Code (HEPSPARC)

A heat pipe space radiatior code (HEPSPARC), was written for the NASA Lewis Research Center and is used for the design and analysis of a radiator that is constructed from a pumped fluid loop that transfers heat to the evaporative section of heat pipes. This manual is designed to familiarize the user with this new code and to serve as a reference for its use. This manual documents the completed work and is intended to be the first step towards verification of the HEPSPARC code. Details are furnished to provide a description of all the requirements and variables used in the design and analysis of a combined pumped loop/heat pipe radiator system. A description of the subroutines used in the program is furnished for those interested in understanding its detailed workings.

Hainley, Donald C.↗

Rotorcraft transmissions

Highlighted here is that portion of the Lewis Research Center's helicopter propulsion systems program that deals with drive train technology and the related mechanical components. The major goals of the program are to increase life, reliability, and maintainability, to reduce weight, noise, and vibration, and to maintain the relatively high mechanical efficiency of the gear train. The current activity emphasizes noise reduction technology and analytical code development, followed by experimental verification. Selected significant advances in technology for transmissions are reviewed, including advanced configurations and new analytical tools. Finally, the plan for transmission research in the future is presented.

Coy, John J.↗

Technology Development for Dry Storage of Aluminum-Clad Spent Nuclear Fuel - 20490

A candidate disposition pathway for the > 13 MTHM of aluminum-clad spent nuclear fuel (ASNF), owned and managed by the U.S. Department of Energy, is the drying and placement of the SNF into sealed-canister dry storage, with the ASNF-in- canisters 'road-ready' for transportation to and final direct disposal in a repository waste package. Technical information gaps in fuel drying, and fuel dry storage behavior, have previously challenged the declaration of technology readiness for drying and placement of this fuel into the DOE Standard Canister design for > 50 years of safe dry storage. The principal technical information gaps included: i) characterization and thermal dehydration behavior of aluminum (oxy)hydroxide films attendant on the cladding due to film formation during reactor operation and during post-discharge up to long-term wet storage histories; and ii) G-value data to enable estimation of the radiolytic gas generation from the cladding with its (oxy)hydroxide films. Thus, the oxide films on the ASNF challenged the safety of a sealed storage canister with thermal and radiolytic decomposition of the waters on the films that can lead to corrosion, pressurization, and flammability issues. These gaps in the technical information base have largely been closed. This paper discusses the investigations at the Idaho National Laboratory (INL) and the Savannah River National laboratory (SRNL), and outlines the pending technology development work for input to an engineering design to enable a road-ready dry storage system for ASNF. The ASNF inventory considered for road-ready dry storage is stored at the Savannah River Site (SRS) and at the Idaho Nuclear Technology and Engineering Center (INTEC) at the INL. The ASNF inventory in the SRS L Basin is from foreign and domestic research reactors (FRR and DRR), and is diverse in terms of design, irradiation, and post-reactor-discharge storage conditions; these factors yield a range of characteristics of cladding oxide films on ASNF. Mixed aluminum (oxy)hydroxide (boehmite and bayerite/gibbsite) films, non-uniform in thicknesses up to a maximum local thickness bounded by 25 μm, were observed on ASNF materials removed from wet storage in the L Basin and in non-sealed dry storage at the SRS following reactor service and a long-term (up to 40+ years) interim storage history. The ASNF inventory at INTEC, in both wet and vented dry storage, is predominantly from the Advanced Test Reactor (ATR), but it also includes DRR and FRR fuel. To address a profound behavior of these films, radiolysis testing of aluminum specimens with mixed type boehmite/bayerite oxide films was performed to develop basic data on G-values for production of radiolytic hydrogen under dry storage conditions with nominal relative humidity, temperature, and cover gas. Modeling and simulation of canister internal environments with postulated inventories of oxide films provides estimation of the evolution of the conditions of the canister loaded with ASNF. Simultaneous Thermal Analysis (TGA/DSC) of hydrated oxide powders, and laboratory-scale aluminum specimens with a bayerite film (∼10 μm) using TGA methods, inform drying time/temperature conditions to be used for the ASNF. A demonstration project is recommended for Verification and Validation of the drying and storage of the ASNF. Remaining major tasks leading up to the hot demonstration include scale-up radiolysis testing and scale-up drying testing. Engineering design with the information from the technology program will establish the safety basis and enable long-term (> 50 years) dry storage compatibility with ASNF in the DOE Standard Canister pending its transportation to and disposal in a repository. This full capability would show the ASNF-in-canister storage system to be road-ready. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

RELAP5-3D Solutions to Exercise 1 of the OECD-NEA HTTF Benchmark

Discussion of RELAP5-3D solutions to Exercise 1 of the OECD-NEA High Temperature Test Facility (HTTF) Benchmark. Results from ongoing benchmark activities supported by the Advanced Reactor Technologies - Gas-Cooled Reactor Program with use of the High Performance Computing Center at Idaho National Laboratory. Also discussion of Ultra Safe Nuclear Corporation and BWXT plans for the decade, and issues of modern thermal hydraulic tools for prismatic HTGR modeling. Open discussion of verification and validation and ART-GCR campaign to spearhead the development of an HTGR thermal hydraulics benchmark based on the HTTF.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

A Summary of the Development and Validation of the Scale for Habitat Usability (SHU)

Usability is an important concept to consider when designing space habitats/vehicles. In addition to objective outcomes (success rate, net habitable volume etc.), collecting users’ subjective judgments via comments and questionnaires can provide valuable data for evaluating conceptual designs, identifying potential layout issues, improving concept of operations, substantiating design changes, or selecting between competing mockups. Historically at NASA, there has been no “gold standard” questionnaire for capturing users’ subjective viewpoint regarding habitat design. To address this gap a Human Research Program (HRP) study was conducted to create a new measurement tool: the Scale for Habitat Usability (SHU).

Usability↗

Diode step stress program for JANTX1N4570A

The effect of power/temperature step stress when applied to a variety of semiconductor devices was evaluated. Performance of the zener diode JANTX1N4570A manufactured by Siemens and Motorola is reported. A total of 48 samples from each manufacturer was submitted to the process outlined in Table 1. In addition, two control sample units were maintained for verification of the electrical parametric testing.

Source record↗

Experimental verification of a computational procedure for the design of TWT-refocuser-MDC systems

A comparison of analytical and experimental results is presented for a high performance dual-mode helix TWT, equipped with multistage depressed collectors (MDC), and operated over conditions ranging from saturation to the linear regime. The computations are carried out with advanced multidimensional computer programs which model the electron beam as a series of disks or rings of charge and follow their trajectories from the RF input of the TWT, through the slow-wave structure, through the refocusing system, to their points of impact in the depressed collector. TWT performance, collector efficiency, and collector current distribution are computed and compared with measurements. Very good agreement is obtained between computed and measured TWT performance and collector efficiencies. The analytical techniques were subsequently applied to the design of a smaller MDC of nearly equal efficiency.

Dayton, J. A., Jr.↗

VENTSAR V3.0: A Python GUI for Estimating Contaminant Concentrations on or Near Buildings Due to Building Effects and Plume Rise and For Calculating Inhalation and Plume Shine Doses

VENTSAR: Originated as VENTAX (Smith and Weber 1983) on the IBM Mainframe at the Savannah River Site (SRS) as a Fortran program. Updated to VENTSAR XL V1.0 (Simpkins 1997) as a spreadsheet version using macros created in Microsoft Excel. Later updated to VENTSAR XL V2.0 (Dixon 2018) as a spreadsheet executing a modified version of the original VENTAX Fortran code. Estimates contaminant concentrations on or near a building from a release at a nearby location. Calculates concentrations for a given meteorological exceedance probability or for a given stability and wind speed combination. Can model a single building with or without a penthouse on top or a ground location from either a stack or ground release. Plume rise can be considered. Contaminant releases can be chemical or radioactive with downwind concentrations determined at user-specified distances. Wind passing over and around buildings creates a complicated dispersion pattern. Air-intake vents may be located on building roofs or near the ground downwind of a release source. An estimation of pollutant concentrations on or near a structure is important in determining expected pollutant levels. Meteorological data are selected based on a specific area of the site. Fortran-based VENTAX able to make fast, complex mathematical calculations. Not user-friendly VENTSAR XL V1.0 no longer supported due to obsolete Excel macros. VENTSAR XL V2.0 an interim solution using an Excel spreadsheet to interface with the modified VENTAX Fortran code. Requires user to have Microsoft Excel. Not an intuitive interface for someone unfamiliar with VENTSAR. Does not perform dose calculations. VENTSAR V3.0 goal to combine the strengths of previous versions of VENTSAR into a single, powerful yet user-friendly program with a Graphical User Interface (GUI). Not dependent upon a specific program or plug-ins. Self-contained package to be used on any computer running Microsoft Windows. User-friendly, intuitive GUI created in Python for parameter input. Executes same modified VENTAX Fortran code as VENTSAR XL V2.0. Outputs formatted text file of completed calculations for easy review and dissemination. Performs inhalation and plume shine dose calculations for up to 11 user-selected nuclides from a nuclide dose factor library of almost 500 nuclides. 12 test cases were created for verification of V1.0 and V2.0. Same test cases run in V3.0 to verify correct performance. V3.0 produced similar results to V1.0. Confirmed GUI did not alter calculations in any way. Comparisons of the test case results confirm the V3.0 GUI does not influence the VENTSAR calculations. Simply passes same input parameters to VENTAX Fortran code for execution. Provides end user an easy-to-use, intuitive tool to quickly make building effect and plume rise calculations, as well as, inhalation and plume shine dose calculations. No experience with or working knowledge of Fortran, Excel, command line, or macros required. Self-contained package allows VENTSAR be deployed to any Windows computer without the need for specific programs or plug-ins.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Field Evaluation of the High Efficiency Dehumidification System (HEDS) at the Timken Museum of Art - Summary of Measurement and Verification (M&V) Results from Summer 2023

The National Renewable Energy Laboratory (NREL) is performing a measurement and verification (M&V) assessment of the Conservant High Efficiency Dehumidification System (HEDS) at the Timken Museum of Art in San Diego, California. The HEDS was selected for evaluation by the U.S. Department of Energy (DOE) High Impact Technology Catalyst (HIT) evaluation program in 2022. This report documents recently completed analysis of data collected as an initial assessment of the HEDS system performance. Data was collected for the summer M&V during several weeks in August and September 2023 while operating the Timken Museum's HVAC system in several operating modes.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

An operational application of satellite snow cover observations, northwest United States

LANDSAT-1 imagery showing extent of snow cover was collected and is examined for the 1973 and 1974 snowmelt seasons for three Columbia River Basins. Snowlines were mapped and the aerial snow cover was determined using satellite data. Satellite snow mapping products were compared products from conventional information sources (computer programming and aerial photography was used). Available satellite data were successfully analyzed by radiance thresholding to determine snowlines and the attendant snow-covered area. Basin outline masks, contour elevation masks, and grid overlays were utilized as satellite data interpretation aids. Verification of the LANDSAT-1 data was generally good although there were exceptions. A major problem was lack of adequate cloud-free satellite imagery of high resolution and determining snowlines in forested areas.

Dillard, J. P.↗

Advanced turboprop testbed systems study

The proof of concept, feasibility, and verification of the advanced prop fan and of the integrated advanced prop fan aircraft are established. The use of existing hardware is compatible with having a successfully expedited testbed ready for flight. A prop fan testbed aircraft is definitely feasible and necessary for verification of prop fan/prop fan aircraft integrity. The Allison T701 is most suitable as a propulsor and modification of existing engine and propeller controls are adequate for the testbed. The airframer is considered the logical overall systems integrator of the testbed program.

Goldsmith, I. M.↗

Analysis of Landsat-4 Thematic Mapper data for classification of forest stands in Baldwin County, Alabama

A computer-implemented classification has been derived from Landsat-4 Thematic Mapper data acquired over Baldwin County, Alabama on January 15, 1983. One set of spectral signatures was developed from the data by utilizing a 3x3 pixel sliding window approach. An analysis of the classification produced from this technique identified forested areas. Additional information regarding only the forested areas. Additional information regarding only the forested areas was extracted by employing a pixel-by-pixel signature development program which derived spectral statistics only for pixels within the forested land covers. The spectral statistics from both approaches were integrated and the data classified. This classification was evaluated by comparing the spectral classes produced from the data against corresponding ground verification polygons. This iterative data analysis technique resulted in an overall classification accuracy of 88.4 percent correct for slash pine, young pine, loblolly pine, natural pine, and mixed hardwood-pine. An accuracy assessment matrix has been produced for the classification.

Hill, C. L.↗

VETA-1 x ray detection system

The alignment and X-ray imaging performance of the Advanced X-ray Astrophysics Facility (AXAF) Verification Engineering Test Article-I (VETA-I) was measured by the VETA-I X-Ray Detection System (VXDS). The VXDS was based on the X-ray detection system utilized in the AXAF Technology Mirror Assembly (TMA) program, upgraded to meet the more stringent requirements of the VETA-I test program. The VXDS includes two types of X-ray detectors: (1) a High Resolution Imager (HRI) which provides X-ray imaging capabilities, and (2) sealed and flow proportional counters which, in conjunction with apertures of various types and precision translation stages, provide the most accurate measurement of VETA-I performance. Herein we give an overview of the VXDS hardware including X-ray detectors, translation stages, apertures, proportional counters and flow counter gas supply system and associated electronics. We also describe the installation of the VXDS into the Marshall Space Flight Center (MSFC) X-Ray Calibration Facility (XRCF). We discuss in detail the design and performance of those elements of the VXDS which have not been discussed elsewhere; translation systems, flow counter gas supply system, apertures and thermal monitoring system.

Podgorski, W. A.↗

Aerodynamic investigation with focusing schlieren in a cryogenic wind tunnel

A flow visualization study was performed using a focusing schlieren system in the 0.3m Transonic Cryogenic Tunnel at NASA Langley Research Center. The design employed proved to be a useful flow visualization tool for flows as low as M = 0.4. This study marked the first verification of the focusing schlieren technique in a major subsonic/transonic wind tunnel, and the first time that high quality, detailed pictures of high-Reynolds number flows were obtained in a cryogenic wind tunnel. This test was part of a development program to implement instrumentation techniques in cryogenic wind tunnels, with the ultimate aim to use them in the National Transonic Facility (NTF).

Gartenberg, Ehud↗

Production Support Flight Control Computers: Research Capability for F/A-18 Aircraft at Dryden Flight Research Center

NASA Dryden Flight Research Center (DFRC) is working with the United States Navy to complete ground testing and initiate flight testing of a modified set of F/A-18 flight control computers. The Production Support Flight Control Computers (PSFCC) can give any fleet F/A-18 airplane an in-flight, pilot-selectable research control law capability. NASA DFRC can efficiently flight test the PSFCC for the following four reasons: (1) Six F/A-18 chase aircraft are available which could be used with the PSFCC; (2) An F/A-18 processor-in-the-loop simulation exists for validation testing; (3) The expertise has been developed in programming the research processor in the PSFCC; and (4) A well-defined process has been established for clearing flight control research projects for flight. This report presents a functional description of the PSFCC. Descriptions of the NASA DFRC facilities, PSFCC verification and validation process, and planned PSFCC projects are also provided.

Carter, John F.↗

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↗

International Space Station Payload Operations Integration Center (POIC) Overview

Objectives and Goals: Maintain and operate the POIC and support integrated Space Station command and control functions. Provide software and hardware systems to support ISS payloads and Shuttle for the POIF cadre, Payload Developers and International Partners. Provide design, development, independent verification &validation, configuration, operational product/system deliveries and maintenance of those systems for telemetry, commanding, database and planning. Provide Backup Control Center for MCC-H in case of shutdown. Provide certified personnel and systems to support 24x7 facility operations per ISS Program. Payloads CoFR Implementation Plan (SSP 52054) and MSFC Payload Operations CoFR Implementation Plan (POIF-1006).

Ijames, Gayleen N.↗

Managing Complexity in the MSL/Curiosity Entry, Descent, and Landing Flight Software and Avionics Verification and Validation Campaign

The complexity of the Mars Science Laboratory (MSL) mission presented the Entry, Descent, and Landing systems engineering team with many challenges in its Verification and Validation (V&V) campaign. This paper describes some of the logistical hurdles related to managing a complex set of requirements, test venues, test objectives, and analysis products in the implementation of a specific portion of the overall V&V program to test the interaction of flight software with the MSL avionics suite. Application-specific solutions to these problems are presented herein, which can be generalized to other space missions and to similar formidable systems engineering problems.

Stehura, Aaron↗