Engineering PapersSearch

SEARCH · Engineering Papers

Results for “AUTO Program”

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 37 records · Page 2

Industrial Productivity

NASTRAN is an offshoot of the computer-design technique used in construction of airplanes and spacecraft. [n this technique engineers create a mathematical model of the aeronautical or space vehicle and "fly" it on the ground by means of computer simulation. The technique enables them to study performance and structural behavior of a number of different designs before settling on the final configuration and proceeding with construction. From this base of aerospace experience, NASA-Goddard developed the NASTRAN general purpose computer program, which offers an exceptionally wide range of analytic capability with regard to structures. NASTRAN has been applied to autos, trucks, railroad cars, ships, nuclear power reactors, steam turbines, bridges, and office buildings. NASA-Langley provides program maintenance services regarded as vital by many NASTRAN users. NASTRAN is essentially a predictive tool. It takes an electronic look at a computerire$.dedgn and reports how the structure will react under a great many different conditions. It can, for example, note areas where high stress levels will occur-potential failure points that need strengthening. Conversely, it can identify over-designed areas where weight and material might be saved safely. NASTRAN can tell how pipes stand up under strong fluid flow, how metals are affected by high temperatures, how a building will fare in an earthquake or how powerful winds will cause a bridge to oscillate. NASTRAN analysis is quick and inexpensive. It minimizes trial-and-error in the design process and makes possible better, safe, lighter structures affording large-scale savings in development time and materials. Some examples of the broad utility NASTRAN is finding among industrial firms are shown on these pages.

Source record

NASA Tech Briefs, March 2011

Topics covered include: Optimal Tuner Selection for Kalman-Filter-Based Aircraft Engine Performance Estimation; Airborne Radar Interferometric Repeat-Pass Processing; Plug-and-Play Environmental Monitoring Spacecraft Subsystem; Power-Combined GaN Amplifier with 2.28-W Output Power at 87 GHz; Wallops Ship Surveillance System; Source Lines Counter (SLiC) Version 4.0; Guidance, Navigation, and Control Program; Single-Frame Terrain Mapping Software for Robotic Vehicles; Auto Draw from Excel Input Files; Observation Scheduling System; CFDP for Interplanetary Overlay Network; X-Windows Widget for Image Display; Binary-Signal Recovery; Volumetric 3D Display System with Static Screen; MMIC Replacement for Gunn Diode Oscillators; Feature Acquisition with Imbalanced Training Data; Mount Protects Thin-Walled Glass or Ceramic Tubes from Large Thermal and Vibration Loads; Carbon Nanotube-Based Structural Health Monitoring Sensors; Wireless Inductive Power Device Suppresses Blade Vibrations; Safe, Advanced, Adaptable Isolation System Eliminates the Need for Critical Lifts; Anti-Rotation Device Releasable by Insertion of a Tool; A Magnetically Coupled Cryogenic Pump; Single Piezo-Actuator Rotary-Hammering Drill; Fire-Retardant Polymeric Additives; Catalytic Generation of Lift Gases for Balloons; Ionic Liquids to Replace Hydrazine; Variable Emittance Electrochromics Using Ionic Electrolytes and Low Solar Absorptance Coatings; Spacecraft Radiator Freeze Protection Using a Regenerative Heat Exchanger; Multi-Mission Power Analysis Tool; Correction for Self-Heating When Using Thermometers as Heaters in Precision Control Applications; Gravitational Wave Detection with Single-Laser Atom Interferometers; Titanium Alloy Strong Back for IXO Mirror Segments; Improved Ambient Pressure Pyroelectric Ion Source; Multi-Modal Image Registration and Matching for Localization of a Balloon on Titan; Entanglement in Quantum-Classical Hybrid; Algorithm for Autonomous Landing; Quantum-Classical Hybrid for Information Processing; Small-Scale Dissipation in Binary-Species Transitional Mixing Layers; Superpixel-Augmented Endmember Detection for Hyperspectral Images; Coding for Parallel Links to Maximize the Expected Value of Decodable Messages; and Microwave Tissue Soldering for Immediate Wound Closure.

Source record

Research Supporting Satellite Communications Technology

This report describes the second year of research effort under the grant Research Supporting Satellite Communications Technology. The research program consists of two major projects: Fault Tolerant Link Establishment and the design of an Auto-Configurable Receiver. The Fault Tolerant Link Establishment protocol is being developed to assist the designers of satellite clusters to manage the inter-satellite communications. During this second year, the basic protocol design was validated with an extensive testing program. After this testing was completed, a channel error model was added to the protocol to permit the effects of channel errors to be measured. This error generation was used to test the effects of channel errors on Heartbeat and Token message passing. The C-language source code for the protocol modules was delivered to Goddard Space Flight Center for integration with the GSFC testbed. The need for a receiver autoconfiguration capability arises when a satellite-to-ground transmission is interrupted due to an unexpected event, the satellite transponder may reset to an unknown state and begin transmitting in a new mode. During Year 2, we completed testing of these algorithms when noise-induced bit errors were introduced. We also developed and tested an algorithm for estimating the data rate, assuming an NRZ-formatted signal corrupted with additive white Gaussian noise, and we took initial steps in integrating both algorithms into the SDR test bed at GSFC.

Horan Stephen

An Integrated Development Environment for the Prototype Verification System

The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrated development environment for the Prototype Verification System (PVS). This new environment integrates the editing and proof management functionalities of PVS in Visual Studio Code, a popular code editor widely used by software developers. VSCode-PVS provides functionalities that developers expect to find in modern verification tools but are not available in the standard Emacs front-end of PVS, such as auto-completion, point-and-click navigation of definitions, live diagnostics for errors, and literate programming. The main features and architecture of the environment are presented, along with a comparison with other similar tools.

Paolo Masci

Auto-Generated Semantic Processing Services

Auto-Generated Semantic Processing (AGSP) Services is a suite of software tools for automated generation of other computer programs, denoted cross-platform semantic adapters, that support interoperability of computer-based communication systems that utilize a variety of both new and legacy communication software running in a variety of operating- system/computer-hardware combinations. AGSP has numerous potential uses in military, space-exploration, and other government applications as well as in commercial telecommunications. The cross-platform semantic adapters take advantage of common features of computer- based communication systems to enforce semantics, messaging protocols, and standards of processing of streams of binary data to ensure integrity of data and consistency of meaning among interoperating systems. The auto-generation aspect of AGSP Services reduces development time and effort by emphasizing specification and minimizing implementation: In effect, the design, building, and debugging of software for effecting conversions among complex communication protocols, custom device mappings, and unique data-manipulation algorithms is replaced with metadata specifications that map to an abstract platform-independent communications model. AGSP Services is modular and has been shown to be easily integrable into new and legacy NASA flight and ground communication systems.

Davis, Rodney

Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). For full automation, however, the obligations must be aggressively preprocessed and simplified We describe the unique requirements this places on the ATP and demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATP to solve the proof tasks. Experiments on more than 25,000 tasks were carried out using Vampire, Spass, and e-setheo.

Denney, Ewen

A Strategy for Autogeneration of Space Shuttle Ground Processing Simulation Models for Project Makespan Estimations

Space Shuttle Processing is a complicated and highly variable project. The planning and scheduling problem, categorized as a Resource Constrained - Stochastic Project Scheduling Problem (RC-SPSP), has a great deal of variability in the Orbiter Processing Facility (OPF) process flow from one flight to the next. Simulation Modeling is a useful tool in estimation of the makespan of the overall process. However, simulation requires a model to be developed, which itself is a labor and time consuming effort. With such a dynamic process, often the model would potentially be out of synchronization with the actual process, limiting the applicability of the simulation answers in solving the actual estimation problem. Integration of TEAMS model enabling software with our existing schedule program software is the basis of our solution. This paper explains the approach used to develop an auto-generated simulation model from planning and schedule efforts and available data.

Madden, Michael G.

Electronics Manufacturer Provided With Testing and Evaluation Data Necessary to Obtain Additional Orders

A local electronics manufacturer, the Sterling Manufacturing Company, was presented with the opportunity to supply 30,000 automotive cellular antennas to a European subsidiary of a large U.S. auto manufacturer. Although the company built an antenna that they believed would meet the auto manufacturer's specifications, they were unable to conduct the necessary validation tests in-house. They decided to work with NASA Lewis Research Center's Space Electronics Division, which, as part of its technology development program, evaluates the performance of antennas in its Microwave Systems Lab to assess their capabilities for space communications applications. Data measured in Lewis' Microwave Systems Lab proved that Sterling's antenna performed better than specified by the auto manufacturer.

Source record

Overview: DOE/NASA automotive gas turbine and stirling projects

An overview on the progress of the automotive gas turbine and automotive Stirling engine technology projects is presented. The following items are reported: (1) formulation and execution of projects in accordance with the Auto Propulsion Research and Development Act of 1978; (2) substantive technology accomplishments; and (3) future path options of the programs.

Beremand, D. G.

Large language model evaluation for high–performance computing software development

We apply AI-assisted large language model (LLM) capabilities of GPT-3 targeting high-performance computing (HPC) kernels for (i) code generation, and (ii) auto-parallelization of serial code in C ++, Fortran, Python and Julia. Our scope includes the following fundamental numerical kernels: AXPY, GEMV, GEMM, SpMV, Jacobi Stencil, and CG, and language/programming models: (1) C++ (e.g., OpenMP [including offload], OpenACC, Kokkos, SyCL, CUDA, and HIP), (2) Fortran (e.g., OpenMP [including offload] and OpenACC), (3) Python (e.g., numpy, Numba, cuPy, and pyCUDA), and (4) Julia (e.g., Threads, CUDA.jl, AMDGPU.jl, and KernelAbstractions.jl). Kernel implementations are generated using GitHub Copilot capabilities powered by the GPT-based OpenAI Codex available in Visual Studio Code given simple + + prompt variants. To quantify and compare the generated results, we propose a proficiency metric around the initial 10 suggestions given for each prompt. For auto-parallelization, we use ChatGPT interactively giving simple prompts as in a dialogue with another human including simple “prompt engineering” follow ups. Results suggest that correct outputs for C++ correlate with the adoption and maturity of programming models. For example, OpenMP and CUDA score really high, whereas HIP is still lacking. We found that prompts from either a targeted language such as Fortran or the more general-purpose Python can benefit from adding language keywords, while Julia prompts perform acceptably well for its Threads and CUDA.jl programming models. Finally, we expect to provide an initial quantifiable point of reference for code generation in each programming model using a state-of-the-art LLM. Overall, understanding the convergence of LLMs, AI, and HPC is crucial due to its rapidly evolving nature and how it is redefining human-computer interactions.

97 MATHEMATICS AND COMPUTING

An Auto-Configuration System for the GMSEC Architecture and API

A viewgraph presentation on an automated configuration concept for The Goddard Mission Services Evolution Center (GMSEC) architecture and Application Program Interface (API) is shown. The topics include: 1) The Goddard Mission Services Evolution Center (GMSEC); 2) Automated Configuration Concept; 3) Implementation Approach; and 4) Key Components and Benefits.

Moholt, Joseph

Acoustic Database for Turbofan Engine Core-Noise Sources: Volume - I

In this program, a database of dynamic temperature and dynamic pressure measurements were acquired inside the core of a TECH977 turbofan engine to support investigations of indirect combustion noise. Dynamic temperature and pressure measurements were recorded for engine gas dynamics up to temperatures of 3100 degrees Fahrenheit and transient responses as high as 1000 hertz. These measurements were made at the entrance of the high pressure turbine (HPT) and at the entrance and exit of the low pressure turbine (LPT). Measurements were made at two circumferential clocking positions. In the combustor and inter-turbine duct (ITD), measurements were made at two axial locations to enable the exploration of time delays. The dynamic temperature measurements were made using dual thin-wire thermocouple probes. The dynamic pressure measurements were made using semi-infinite probes. Prior to the engine test, a series of bench, oven, and combustor rig tests were conducted to characterize the performance of the dual wire temperature probes and to define and characterize the data acquisition systems. A measurement solution for acquiring dynamic temperature and pressure data on the engine was defined. A suite of hardware modifications were designed to incorporate the dynamic temperature and pressure instrumentation into the TECH977 engine. In particular, a probe actuation system was developed to protect the delicate temperature probes during engine startup and transients in order to maximize sensor life. A set of temperature probes was procured and the TECH977 engine was assembled with the suite of new and modified hardware. The engine was tested at four steady state operating speeds, with repeats. Dynamic pressure and temperature data were acquired at each condition for at least one minute. At the two highest power settings, temperature data could not be obtained at the forward probe locations since the mean temperatures exceeded the capability of the probes. The temperature data were processed using software that accounts for the effects of convective and conductive heat transfer. The software was developed under previous NASA sponsored programs. Compensated temperature spectra and compensated time histories corresponding to the dynamic temperature of the gas stream were generated. Auto-spectral and cross-spectral analyses of the data were performed to investigate spectral features, acoustic circumferential mode content, signal coherence, and time delays. The dynamic temperature data exhibit a wideband and fairly flat spectral content. The temperature spectra do not change substantially with operating speed. The pressure spectra in the combustor and ITD exhibit generally similar shapes and amplitudes, making it difficult to identify any features that suggest the presence of indirect combustion noise. Cross-spectral analysis reveal a strong correlation between pressure and temperature fluctuations in the ITD, but little correlation between temperature fluctuations at the entrance of the HPT and pressure fluctuations downstream of it. Temperature fluctuations at the entrance of the low pressure turbine were an order of magnitude smaller than those at the entrance to the high pressure turbine. Time delay analysis of the temperature fluctuations in the combustor was inconclusive, perhaps due to the substantial mixing that occurs between the upstream and downstream locations. Time delay analysis of the temperature fluctuations in the ITD indicate that they convect at the mean flow speed. Analysis of the data did not reveal any convincing indications of the presence of indirect combustion noise. However, this analysis has been preliminary and additional exploration of the data is recommended including the use of more sophisticated signal processing to explore subtle issues that have been revealed but which are not yet fully understood or explained.

Aeroacoustics

A multi-language auto differentiation package (mAD) v1.0

This is a multi-language auto differentiation package. It includes multiple language versions of the package. It can be included/used as a module/class in users' application program to enable differentiability of the program. It is simple, transparent, extensible, efficient compared with the other AD package such as Enzyme or Pytorch.

Qiang, Ji [Lawrence Berkeley National Laboratory (

Investigation of surface fluctuating pressures on a 1/4 scale YC-14 upper surface blown flap model

Fluctuating pressures were measured at 30 positions on the surface of a 1/4-scale YC-14 wing and fuselage model during an outdoor static testing program. These data were obtained as part of a NASA program to study the fluctuating loads imposed on STOL aircraft configurations and to further the understanding of the scaling laws of unsteady surface pressure fields. Fluctuating pressure data were recorded at several discrete engine thrust settings for each of 16 configurations of the model. These data were reduced using the technique of random data analysis to obtain auto-and cross-spectral density functions and coherence functions for frequencies from 0 to 10 kHz, and cross-correlation functions for time delays from 0 to 10.24 ms. Results of this program provide the following items of particular interest: (1) Good collapse of normalized PSD functions on the USB flap was found using a technique applied by Lilley and Hodgson to data from a laboratory wall-jet apparatus. (2) Results indicate that the fluctuating pressure loading on surfaces washed by the jet exhaust flow was dominated by hydrodynamic pressure variations, loading on surface well outside the flow region dominated by acoustic pressure variations, and loading near the flow boundaries from a mixture of the two.

Pappa, R. S.

Validation of the DESI DR2 Ly$α$ forest full-shape analysis

We present the validation of the Dark Energy Spectroscopic Instrument (DESI) Data Release 2 (DR2) Lyman-$α$ (Ly$α$) forest full-shape analysis. This analysis combines three-dimensional Ly$α$ forest auto-correlations and cross-correlations with quasars to extract information from both the baryon acoustic oscillation (BAO) feature and the broadband clustering signal, with primary emphasis on the Alcock-Paczynski (AP) measurement. Compared to the DESI DR1 analysis, the DR2 validation uses substantially larger and more realistic mock datasets, including CoLoRe 2LPT and AbacusSummit Ly$α$ forest simulations. The modeling framework is also improved through analytic marginalization over small scales ($<10$$h^{-1}$Mpc) and the impact of ultraviolet background fluctuations. The validation program was completed prior to unblinding and defines quantitative requirements for the cosmological parameters of interest, which are evaluated using hundreds of mock realizations. We further test the analysis through independent fits to the auto- and cross-correlations, multiple catalog splits, and a broad suite of analysis and modeling variations applied to both mocks and blinded observational data. We find that the BAO and AP parameters satisfy all validation requirements and remain stable across all tests. In contrast, mock studies reveal a significant bias in the inferred growth-rate parameter $fσ_8$, leading us to exclude this measurement from the final analysis. The consistency across mocks, data splits, and robustness tests demonstrates that the DR2 Ly$α$ full-shape analysis provides a reliable and substantially improved broadband AP measurement over previous Ly$α$ forest studies.

Herbold, M. [Chicago U., KICP; Ohio State U.] (ORC

Flight Demonstration of Novel Atmospheric Satellite Concept

The major focus of the Phase II effort described herein is to develop and demonstrate an aircraft capable of autonomously sailing (i.e., to cruise without propulsion or external assistance), and thereby prove that the dual-aircraft platform (DAP) atmospheric satellite concept is potentially viable. This sailing mode of flight was identified as the number-1 enabling technology required for the stratospheric DAP concept (also known as Stratosat) in the NIAC (NASA Innovative Advanced Concept) Phase I effort. No scientific demonstration of this technology has ever been done or documented to our knowledge. This report describes efforts to take a major step towards the sailing mode of flight capability using a single aircraft connected by cable to a moving ground vehicle which uses sufficient crosswind to cruise without propulsion while "pulling" the ground vehicle forward (i.e., without external assistance). The development of a prototype aircraft is described in terms of novel and key hardware and software elements. A specialized prototype aircraft is described, including a novel cable release mechanism, novel "lateron" control surfaces, and a highly-accurate onboard wind measurement system. Additionally, a novel means to safely connect the aircraft to the moving ground vehicle is described involving a fishing rod/reel and integrated load cell. All of these devices were designed and developed in-house and validated in flight testing. Software is developed to provide look-up tables that give the flight condition targets (i.e., 3-D position relative to ground vehicle, forward speed, aircraft orientation, etc.), based on current wind speed and direction. These tables are successfully validated in flight simulation and used onboard the aircraft. High fidelity analysis of the aircraft aerodynamics are described - required to produce accurate target sailing flight conditions. A novel wind tunnel measurement technique is developed to accurately assess the aerodynamics of the ultra-thin cable. A new specialized flight simulator is described which is utilized to develop and verify the flight software required onboard the aircraft, and to support training of pilots for flying the aircraft while tethered to a ground vehicle. The DAP flight simulator was developed within the Matlab-Simulink framework and included detailed treatment of aircraft/cable aerodynamics, cable dynamics, experimentally-derived propeller-motor thrust curves, actuator responsiveness, and realistic air turbulence. The specialized formation flight controller algorithm, developed using this flight simulator, and onboard the aircraft is described. Finally, a novel auto-tuning software is described and verified within the flight simulator that is shown to refine the sailing flight condition targets during flight using an optimization technique involving doublet maneuvers. Virtual flights using the auto-tuning software indicate that the prototype aircraft should be able to reach and hold sailing conditions despite moderate levels of turbulence provided there is sufficient mean wind available. An overview of the flight testing program is provided. Hundreds of short flights were conducted, primarily using a “dead” short runway at Deland Municipal Airport which permitted use of a moving ground vehicle. Additional flight tests at Space Florida’s Shuttle Landing Facility are also described. First year results from these tests in which the aircraft is controlled manually, demonstrated that excessive flight testing would be required for a pilot to learn to sail with visual cues. However, second year results from autonomous flight these tests included successful demonstration of the closed-loop autonomous formation flight capability (i.e., autonomously determine, reach, and hold the required 3-D location relative to the ground vehicle required for sailing). The next step of using the auto-tune software to autonomously refine the aircraft orientation targets to finally achieve sailing remains the primary goal of future work.

Flight

JuTrack: A Julia package for auto-differentiable accelerator modeling and particle tracking

Efficient accelerator modeling and particle tracking are key for the design and configuration of modern particle accelerators. In this work, we present JuTrack, a nested accelerator modeling package developed in the Julia programming language and enhanced with compiler-level automatic differentiation (AD). With the aid of AD, JuTrack enables rapid derivative calculations in accelerator modeling, facilitating sensitivity analyses and optimization tasks. Here we demonstrate the effectiveness of AD-derived derivatives through several practical applications, including sensitivity analysis of space-charge-induced emittance growth, nonlinear beam dynamics analysis for a synchrotron light source, and lattice parameter tuning of the future Electron-Ion Collider (EIC). Through the incorporation of automatic differentiation, this package opens up new possibilities for accelerator physicists in beam physics studies and accelerator design optimization.

43 PARTICLE ACCELERATORS

In-Service Evaluation of the Turbulence Auto-PIREP System and Enhanced Turbulence Radar Technologies

From August 2003 to December 2006, In-Service Evaluations (ISE) of the Turbulence Auto-PIREP System (TAPS) and Enhanced Turbulence (E-Turb) Radar, technologies developed in NASA's Turbulence Prediction and Warning System (TPAWS) element of its Aviation Safety and Security Program (AvSSP), were conducted. NASA and AeroTech Research established an industry team comprising AeroTech, Delta Air Lines, Rockwell Collins, and ARINC to conduct the ISEs. The technologies were installed on Delta aircraft and their effectiveness was evaluated in day-to-day operations. This report documents the establishment and conduct of the ISEs and presents results and feedback from various users.

Prince, Jason B.