Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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,117 records · Page 62
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

February 2020 Bayou Choctaw Subsidence Analysis

Subsidence monitoring is a crucial component to understanding cavern integrity of salt storage caverns. This report looks at the historical and current subsidence monitoring program and includes interpretation of the data from the Bayou Choctaw Strategic Petroleum Reserve site. The current monitoring program consists of an annual elevation survey as well as GPS and tiltmeter instruments above both Cavern 4 and Cavern 20. This year's level and rod survey indicates little subsidence across the site. In addition, the GPS and tiltmeter instruments do not indicate any substantial movement above caverns 4 and 20. As such, there is no reason to indicate any of the caverns at Bayou Choctaw have lost integrity.

02 PETROLEUM↗
NASA NTRS1975

Transient airload computer analysis for simulating wind induced impulsive noise conditions of a hovering helicopter rotor

A numerical analysis was developed to determine the airloads on helicopter rotors operating under near-hovering flight conditions capable of producing impulsive noise. A computer program was written in which the solutions for the rotor tip vortex geometry, inflow, aeroelastic response, and airloads are solved in a coupled manner at sequential time steps, with or without the influence of an imposed steady ambient wind or transient gust. The program was developed for future applications in which predicted airloads would be incorporated in an acoustics analysis to attempt to predict and analyze impulsive noise (blade slap). The analysis was applied to a hovering full-scale rotor for which impulsive noise was recorded in the presence of ambient wind. The predicted tip vortex coordinates are in reasonable agreement with the test data, and the blade airload solutions converged to a periodic behavior for an imposed steady ambient wind conditions.

Hall, G. F.↗
NASA NTRS1979

Space vehicle acoustics prediction improvement for payloads

The modal analysis method was extensively modified for the prediction of space vehicle noise reduction in the shuttle payload enclosure, and this program was adapted to the IBM 360 computer. The predicted noise reduction levels for two test cases were compared with experimental results to determine the validity of the analytical model for predicting space vehicle payload noise environments in the 10 Hz one-third octave band regime. The prediction approach for the two test cases generally gave reasonable magnitudes and trends when compared with the measured noise reduction spectra. The discrepancies in the predictions could be corrected primarily by improved modeling of the vehicle structural walls and of the enclosed acoustic space to obtain a more accurate assessment of normal modes. Techniques for improving and expandng the noise prediction for a payload environment are also suggested.

Dandridge, R. E.↗
NASA NTRS1985

Current and future engine applications of Gr/PI composites

The application of organic matrix composites to gas turbine engine components has been the subject of numerous government and company funded programs since the 1960's. The possibility of significant weight reductions, performance improvements and lower component costs have made the organic matrix composites extremely attractive to aircraft engine designers. Very little of this potential was incorporated into production engines over the years even though a significant number of components were designed, fabricated and tested. Some of the reasons behind the slow rate of incorporation include the following: (1) criticality; (2) engine operating temperature; (3) small component size; (4) small production volume; (5) high production cost; and (6) interfacing with metal parts.

Cavano, P. J.↗
NASA NTRS1986

Finite-element reentry heat-transfer analysis of space shuttle Orbiter

A structural performance and resizing (SPAR) finite-element thermal analysis computer program was used in the heat-transfer analysis of the space shuttle orbiter subjected to reentry aerodynamic heating. Three wing cross sections and one midfuselage cross section were selected for the thermal analysis. The predicted thermal protection system temperatures were found to agree well with flight-measured temperatures. The calculated aluminum structural temperatures also agreed reasonably well with the flight data from reentry to touchdown. The effects of internal radiation and of internal convection were found to be significant. The SPAR finite-element solutions agreed reasonably well with those obtained from the conventional finite-difference method.

Ko, William L.↗
NASA NTRS1999

Acoustic Scattering by Three-Dimensional Stators and Rotors Using the SOURCE3D Code: Analysis and Results - Volume 1

This report provides a study of rotor and stator scattering using the SOURCE3D Rotor Wake/Stator Interaction Code. SOURCE3D is a quasi-three-dimensional computer program that uses three-dimensional acoustics and two-dimensional cascade load response theory to calculate rotor and stator modal reflection and transmission (scattering) coefficients. SOURCE3D is at the core of the TFaNS (Theoretical Fan Noise Design/Prediction System), developed for NASA, which provides complete fully coupled (inlet, rotor, stator, exit) noise solutions for turbofan engines. The reason for studying scattering is that we must first understand the behavior of the individual scattering coefficients provided by SOURCE3D, before eventually understanding the more complicated predictions from TFaNS. To study scattering, we have derived a large number of scattering curves for vane and blade rows. The curves are plots of output wave power divided by input wave power (in dB units) versus vane/blade ratio. Some of these plots are shown in this report. All of the plots are provided in a separate volume. To assist in understanding the plots, formulas have been derived for special vane/blade ratios for which wavefronts are either parallel or normal to rotor or stator chords. From the plots, we have found that, for the most part, there was strong transmission and weak reflection over most of the vane/blade ratio range for the stator. For the rotor, there was little transmission loss.

Meyer, Harold D.↗
NASA NTRS1992

STS-52 Post Launch Press Conference

Dick Young, NASA Public Affairs, introduces Brewster Shaw, Deputy Program Manager Space Shuttle, and Bob Sieck, Launch Director, Kennedy Space Center, who give brief statements about the countdown and launch of the STS-52 Columbia Orbiter. The problems encountered during countdown are discussed, including details on the hydrogen leak in the ground umbilical carrier tank, the 100% exceedance of load on the external tank, and the reasons why the flight rule for an upper limit of cross winds was waived. The men then answered questions from the press.

Source record↗
NASA NTRS2002

The Summer Robotic Autonomy Course

We offered a first Robotic Autonomy course this summer, located at NASA/Ames' new NASA Research Park, for approximately 30 high school students. In this 7-week course, students worked in ten teams to build then program advanced autonomous robots capable of visual processing and high-speed wireless communication. The course made use of challenge-based curricula, culminating each week with a Wednesday Challenge Day and a Friday Exhibition and Contest Day. Robotic Autonomy provided a comprehensive grounding in elementary robotics, including basic electronics, electronics evaluation, microprocessor programming, real-time control, and robot mechanics and kinematics. Our course then continued the educational process by introducing higher-level perception, action and autonomy topics, including teleoperation, visual servoing, intelligent scheduling and planning and cooperative problem-solving. We were able to deliver such a comprehensive, high-level education in robotic autonomy for two reasons. First, the content resulted from close collaboration between the CMU Robotics Institute and researchers in the Information Sciences and Technology Directorate and various education program/project managers at NASA/Ames. This collaboration produced not only educational content, but will also be focal to the conduct of formative and summative evaluations of the course for further refinement. Second, CMU rapid prototyping skills as well as the PI's low-overhead perception and locomotion research projects enabled design and delivery of affordable robot kits with unprecedented sensory- locomotory capability. Each Trikebot robot was capable of both indoor locomotion and high-speed outdoor motion and was equipped with a high-speed vision system coupled to a low-cost pan/tilt head. As planned, follow the completion of Robotic Autonomy, each student took home an autonomous, competent robot. This robot is the student's to keep, as she explores robotics with an extremely capable tool in the midst of a new community for roboticists. CMU provided undergraduate course credit for this official course, 16-162U, for 13 students, with all other students receiving course credit from National Hispanic University.

Nourbakhsh, Illah R.↗
DOE OSTI2024

Improving and Automating Building Model Data Exchange

There are many instances throughout a project’s lifecycle where there arises a need for quick and accurate risk assessment of building designs. For example, an unexpected design change during construction may necessitate structural engineers to perform a seismic risk assessment on analytical models of the updated building design using high fidelity structural analysis software, such as ANSYS or Abaqus. However, the efficiency of such workflows often depends upon the interoperability of architectural design software and structural analysis software. When the quality of this interoperability is lacking or even non-existent, the efficiency of virtual engineering workflows is hampered, which increases project costs. A McGraw Hill industry survey of professional users of Building Information Modeling (BIM) technologies found that there is high demand for BIM interoperability for structural analysis, but that the value/difficulty ratio is currently too low for practical use. There have been efforts by the academic community to facilitate model data exchange between the architectural design and structural analysis domains, but such solutions have not been widely adopted by industry, face technical challenges, and oftentimes are limited in applicability for users of various BIM software. Therefore, INL is developing capabilities to improve, automate, and generalize model data exchange between architectural BIM software (e.g., Revit) and structural analysis software (e.g., SAP2000, ANSYS). The goal is to help expedite and automate as much of the pre-processing step for creating analytical models in finite element analysis software as reasonably as possible. Such a "BIM-to-FEA" conversion tool should provide direct benefit to end-users through accuracy, automation, quick turn-around, and wide applicability. To generalize the application of this BIM-to-FEA conversion tool and increase its useability among the many different commercial BIM software currently used by industry, the program is being developed with the concept of openBIM. OpenBIM is the application of non-proprietary, open data standards that allow for BIM model data exchange in a format that is accessible, retainable, and useable for all users. The most widely used open, non-proprietary data exchange format for BIM is the Industry Foundation Classes (IFC) schema. IFC is developed by buildingSMART international and is ISO certified (ISO 16739-1:2018). The BIM-to-FEA conversion tool is being developed for compatibility with typical commercial building designs of steel framed structures. The tool is currently capable of importing architectural BIM data of framed building structures, recognizing and extracting the aspects of the model that are required for structural analysis, adjusting the connectivity of frame members, and finally exporting to an analytical model stored in the IFC format. The exported IFC analytical model can then be imported into various openBIM compliant software, such as SAP2000. Such capabilities have already been tested on commercial software, as shown above, and continue to be improved. Work is underway to test the conversion on various commercial BIM software, develop a user-friendly interface, incorporate the program into the broader DeepLynx data warehouse project being developed by INL, and to eventually open-source the tool for the benefit of the community. Future development of the tool envisions the ability for efficient iterative risk assessment of generative building designs, all within a workflow utilizing open-source tools. One such open-source tool will be MOOSE, an advanced finite element analysis tool developed at INL. The conversion tool will also branch out from typical commercial building designs and will aim to incorporate nuclear construction. The aim will be to convert both structural and non-structural components of nuclear facilities, such as curved concrete containment structures and piping systems, respectively.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Can Large Language Models Understand Intermediate Representations?

Intermediate Representations (IRs) are essential in compiler design and program analysis, yet their comprehension by Large Language Models (LLMs) remains underexplored. This paper presents a pioneering empirical study to investigate the capabilities of LLMs, including GPT-4, GPT-3, Gemma 2, LLaMA 3.1, and Code Llama, in understanding IRs. We analyze their performance across four tasks: Control Flow Graph (CFG) reconstruction, decompilation, code summarization, and execution reasoning. Our results indicate that while LLMs demonstrate competence in parsing IR syntax and recognizing high-level structures, they struggle with control flow reasoning, execution semantics, and loop handling. Specifically, they often misinterpret branching instructions, omit critical IR operations, and rely on heuristic-based reasoning, leading to errors in CFG reconstruction, IR decompilation, and execution reasoning. The study underscores the necessity for IR-specific enhancements in LLMs, recommending fine-tuning on structured IR datasets and integration of explicit control flow models to augment their comprehension and handling of IR-related tasks.

Jiang, Hailong↗
DOE OSTI2014

Building America Case Study: Meeting DOE Challenge Home Program Certification, Chicago, Illinois; Denver, Colorado; Devens, Massachusetts (Fact Sheet)

The purpose of this project was to evaluate integrated packages of advanced measures in individual test homes to assess their performance with respect to Building America Program goals, specifically compliance with the DOE Challenge Home Program. BSC consulted on the construction of five test houses by three Cold Climate production builders in three separate US cities. BSC worked with the builders to develop a design package tailored to the cost-related impacts for each builder. Therefore, the resulting design packages do vary from builder to builder. BSC provided support through this research project on the design, construction and performance testing of the five test homes. Overall, the builders have concluded that the energy related upgrades (either through the prescriptive or performance path) represent reasonable upgrades. The builders commented that while not every improvement in specification was cost effective (as in a reasonable payback period), many were improvements that could improve the marketability of the homes and serve to attract more energy efficiency discerning prospective homeowners. However, the builders did express reservations on the associated checklists and added certifications. An increase in administrative time was observed with all builders. The checklists and certifications also inherently increase cost due to: 1. Adding services to the scope of work for various trades, such as HERS Rater, HVAC contractor. 2. Increased material costs related to the checklists, especially the EPA Indoor airPLUS and EPA WaterSense Efficient Hot Water Distribution requirement.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2021

Electron–Nucleus Hyperfine Coupling Calculated from Restricted Active Space Wavefunctions and an Exact Two-Component Hamiltonian

Exact two-component (X2C) relativistic nuclear hyperfine magnetic field operators were incorporated in X2C ab-initio wavefunction calculations at the multi-reference restricted active space (RAS) level for calculations of nuclear hyperfine magnetic properties. Spin-orbit coupling was treated via RAS state interaction (SO-RASSI). The method was tested by calculations of electron – nucleus hyperfine coupling constants. The approach, implemented in the OpenMolcas program, overcomes a major limitation of a previous SO-RASSI implementation for hyperfine coupling that relied on non-relativistic hyperfine operators [J. Chem. Theor. Comput. 2015, 11, 538–549] and therefore had only limited applicability. Furthermore, results from calculations on systems with light and heavy main group elements, transition metals, lanthanides, and one actinide complex, demonstrate reasonably good agreement with experimental data, where available, as long as the active space can generate sufficient spin polarization.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2018

Modeling and Integration of Flexible Demand in Heat and Electricity Integrated Energy System

This paper is focused on utilizing customers' flexible energy demand, including both heat demand and electricity demand, to provide balancing resources and relieve the difficulties of integrating variable wind power with the combined heat and power. The integration of heat and electricity energy systems providing customers with multiple options for fulfilling their energy demand is described. Customer aggregators are introduced to supply downstream demand in the most economical way. Controlling customers' energy consumption behaviors enables aggregators to adjust their energy demand in response to supply conditions. Incorporating aggregators' flexible energy demand into the centralized energy dispatch model, a two-level optimization problem (TLOP) is first formed where the system operatormaximizes social welfare subject to aggregators' strategies, which minimize the energy purchase cost. Furthermore, the subproblems are linearized based on several reasonable assumptions. Optimal conditions of the subproblems are then transformed as energy demands to be described as explicit piecewise-linear functions of electricity prices corresponding to the demand bid curves. In this way, the TLOP is transformed to a standard optimization problem, which requires aggregators to only submit a demand bid to run the centralized energy dispatch program. All the parameters pertaining to the aggregators' energy consumption models are internalized in the bid curves. The proposed technique is illustrated in a modified testing system.

combined heat and power (CHP)↗
DOE OSTI2012

Passive Acoustic Detection of Wind Turbine In-Flow Conditions for Active Control and Optimization

Wind is a significant source of energy; however, the human capability to produce electrical energy still has many hurdles to overcome. One of these is the unpredictability of the winds in the atmospheric boundary layer (ABL). The ABL is highly turbulent in both stable and unstable conditions (based on the vertical temperature profile) and the resulting fluctuations can have a dramatic impact on wind turbine operation. Any method by which these fluctuations could be observed, estimated, or predicted could provide a benefit to the wind energy industry as a whole. Based on the fundamental coupling of velocity fluctuations to pressure fluctuations in the nearly incompressible flow in the ABL, This work hypothesizes that a ground-based array of infrasonic pressure transducers could be employed to estimate the vertical wind profile over a height relevant for wind turbines. To analyze this hypothesis, experiments and field deployments were conducted. Wind tunnel experiments were performed for a thick turbulent boundary layer over a neutral or heated surface. Surface pressure and velocity probe measurements were acquired simultaneously. Two field deployments yielded surface pressure data from a 49 element array. The second deployment at the Reese Technology Center in Lubbock, TX, also included data from a smaller aperture, 96-element array and a 200-meter tall meteorological tower. Analysis of the data successfully demonstrated the ability to estimate the vertical velocity profile using coherence data from the pressure array. Also, dynamical systems analysis methods were successful in identifying and tracking a gust type event. In addition to the passive acoustic profiling method, this program also investigated a rapid response Doppler SODAR system, the optimization of wind turbine blades for enhanced power with reduced aeroacoustic noise production, and the implementation of a wireless health monitoring system for the wind turbine blades. Each of these other objectives was met successfully. The use of phase unwrapping applied to SODAR data was found to yield reasonable results for per-pulse measurements. A health monitoring system design analysis was able to demonstrate the ability to use a very small number of sensors to monitor blade health based on the blade's overall structural modes. Most notable was the development of a multi-objective optimization methodology that successfully yielded an aerodynamic blade design that produces greater power output with reduced aerodynamic loading noise. This optimization method could be significant for future design work.

17 WIND ENERGY↗
DOE OSTI2013

Development of Plasticity Model Using Non-Associated Flow Rule for HCP Materials Including Zirconium for Nuclear Applications

In this report (prepared in collaboration with Prof. Jeong Whan Yoon, Deakin University, Melbourne, Australia) a research effort was made to develop a non associated flow rule for zirconium. Since Zr is a hexagonally close packed (hcp) material, it is impossible to describe its plastic response under arbitrary loading conditions with any associated flow rule (e.g. von Mises). As a result of strong tension compression asymmetry of the yield stress and anisotropy, zirconium displays plastic behavior that requires a more sophisticated approach. Consequently, a new general asymmetric yield function has been developed which accommodates mathematically the four directional anisotropies along 0 degrees, 45 degrees, 90 degrees, and biaxial, under tension and compression. Stress anisotropy has been completely decoupled from the r value by using non associated flow plasticity, where yield function and plastic potential have been treated separately to take care of stress and r value directionalities, respectively. This theoretical development has been verified using Zr alloys at room temperature as an example as these materials have very strong SD (Strength Differential) effect. The proposed yield function reasonably well models the evolution of yield surfaces for a zirconium clock rolled plate during in plane and through thickness compression. It has been found that this function can predict both tension and compression asymmetry mathematically without any numerical tolerance and shows the significant improvement compared to any reported functions. Finally, in the end of the report, a program of further research is outlined aimed at constructing tensorial relationships for the temperature and fluence dependent creep surfaces for Zr, Zircaloy 2, and Zircaloy 4.

42 ENGINEERING↗
NASA NTRS1971

Dynamic analysis of large structures by modal synthesis techniques.

Several criteria that may be used to evaluate the merits of some of the existing techniques for the dynamic analysis of large structures which involve division into substructures or components are examined. These techniques make use of component displacement modes to synthetize global systems of generalized coordinates and, for that reason, they have come to be known as modal synthesis or component mode methods. Two techniques have been found to be particularly useful - i.e., the modal synthesis method with fixed attachment modes, and the modal synthesis method with free attachment modes. These two methods are treated in detail, and general flow charts are presented for guidance in computer programming.

Hurty, W. C.↗
NASA NTRS1992

High level cognitive information processing in neural networks

Two related research efforts were addressed: (1) high-level connectionist cognitive modeling; and (2) local neural circuit modeling. The goals of the first effort were to develop connectionist models of high-level cognitive processes such as problem solving or natural language understanding, and to understand the computational requirements of such models. The goals of the second effort were to develop biologically-realistic model of local neural circuits, and to understand the computational behavior of such models. In keeping with the nature of NASA's Innovative Research Program, all the work conducted under the grant was highly innovative. For instance, the following ideas, all summarized, are contributions to the study of connectionist/neural networks: (1) the temporal-winner-take-all, relative-position encoding, and pattern-similarity association techniques; (2) the importation of logical combinators into connection; (3) the use of analogy-based reasoning as a bridge across the gap between the traditional symbolic paradigm and the connectionist paradigm; and (4) the application of connectionism to the domain of belief representation/reasoning. The work on local neural circuit modeling also departs significantly from the work of related researchers. In particular, its concentration on low-level neural phenomena that could support high-level cognitive processing is unusual within the area of biological local circuit modeling, and also serves to expand the horizons of the artificial neural net field.

Barnden, John A.↗
DOE OSTI2015

Establishing a value chain for human factors in nuclear power plantcontrol room modernization

Commercial nuclear power plants in the United States (U.S.) have operated reliably and efficiently for decades. With the life extensions of plants now being planned for operation beyond their original operating licenses, there are opportunities to achieve even greater efficiencies, while maintaining high operational reliabilities, with strategic, risk- and economically-informed, upgrades to plant systems and infrastructure. The U.S. Department of Energy’s Light Water Reactor Sustainability (LWRS) program supports the commercial nuclear industry’s modernization efforts through research and development (R&D) activities across many areas to help establish the technical and economic bases for modernization activities. The Advanced Instrumentation, Information, and Control Systems Technologies pathway is one R&D focus area for the LWRS program, and has researchers at Idaho National Laboratory working with select utility partners to use human factors and instrumentation and controls R&D to help modernize the plant’s main control room. However, some in the nuclear industry have not been as enthusiastic about using human factors R&D to inform life extension decision making. Part of the reason for this may stem from uncertainty decision-makers have regarding how human factors fits into the value chain for nuclear power plant control room modernization. This paper reviews past work that has attempted to demonstrate the value of human factors, and then describes the value chain concept, how it applies to control room modernization, and then makes a case for how and why human factors is an essential link in the modernization value chain.

Control room modernization↗