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,045 records · Page 58

Workforce Development Bioenergy Experiential Learning Tool (Final Report)

The "Pathways to Bio-Power" program was designed as a workforce development initiative aimed at addressing the workforce gap in the bioenergy sector while promoting diversity and inclusion. The program incorporated advanced technologies, such as artificial intelligence (AI) and learning algorithms, to provide individualized training plans and pathways for Minority Business Enterprises (MBEs) and the current workforce to enter the bioenergy industry. However, after careful consideration, it was determined that proceeding to Phase II was not feasible due to several reasons related to resource allocation, market demand, and technical challenges.

15 GEOTHERMAL ENERGY↗

Mapping Spiking Neural Networks to Heterogeneous Crossbar Architectures using Integer Linear Programming

Advances in novel hardware devices and architectures allow Spiking Neural Network (SNN) evaluation using ultra-low power, mixed-signal, memristor crossbar arrays. As individual network sizes quickly scale beyond the dimensional capabilities of single crossbars, networks must be mapped onto multiple crossbars. Crossbar sizes within modern Memristor Crossbar Architectures (MCAs) are determined predominately not by device technology but by network topology; more, smaller crossbars consume less area thanks to the high structural sparsity found in larger, brain-inspired SNNs. Motivated by continuing increases in SNN sparsity due to improvements in training methods, we propose utilizing heterogeneous crossbar sizes to further reduce area consumption. This approach was previously unachievable as prior compiler studies only explored solutions targeting homogeneous MCAs. Our work improves on the state-of-the-art by providing Integer Linear Programming (ILP) formulations supporting arbitrarily heterogeneous architectures. By modeling axonal interactions between neurons, our methods produce better mappings while removing inhibitive a priori knowledge requirements. We first show a 16.7-27.6% reduction in area consumption for square-crossbar homogeneous architectures. Then, we demonstrate 66.9-72.7% further reduction when using a reasonable configuration of heterogeneous crossbar dimensions. Next, we present a new optimization formulation capable of minimizing the number of inter-crossbar routes. When applied to solutions already near-optimal in area, an 11.9-26.4% routing reduction is observed without impacting area consumption. Finally, we present a profile-guided optimization capable of minimizing the number of runtime spikes between crossbars. Compared to the best-area-then-route optimized solutions, we observe a further 0.5-14.8% inter-crossbar spike reduction while requiring 1–3 orders of magnitude less solver time.

Pohl, Devin [ORNL] (ORCID:0009000040149027)↗

Analysis of experimental results of the inlet for the NASA hypersonic research engine aerothermodynamic integration model

An aerodynamic engine inlet analysis was performed on the experimental results obtained at nominal Mach numbers of 5, 6, and 7 from the NASA Hypersonic Research Engine (HRE) Aerothermodynamic Integration Model (AIM). Incorporation on the AIM of the mixed-compression inlet design represented the final phase of an inlet development program of the HRE Project. The purpose of this analysis was to compare the AIM inlet experimental results with theoretical results. Experimental performance was based on measured surface pressures used in a one-dimensional force-momentum theorem. Results of the analysis indicate that surface static-pressure measurements agree reasonably well with theoretical predictions except in the regions where the theory predicts large pressure discontinuities. Experimental and theoretical results both based on the one-dimensional force-momentum theorem yielded inlet performance parameters as functions of Mach number that exhibited reasonable agreement. Previous predictions of inlet unstart that resulted from pressure disturbances created by fuel injection and combustion appeared to be pessimistic.

Andrews, E. H., Jr.↗

The development of aerodynamic uncertainties for the Space Shuttle Orbiter

The methodology involved in developing the ability to reproduce aerodynamic results between various wind tunnel tests and to determine uncertainties due to differences between preflight aerodynamic predictions and flight results derived from analysis of past aircraft programs is presented. The uncertainties were developed for pitching moment, lateral-directional stability, rudder power, and aileron power, and were formulated to yield aerodynamic uncertainties for an orbital, manned first flight. The compressed development schedule required the aerodynamics results from wind tunnel tests be equipped with tolerances, which accounted for reasonable changes in the vehicle configuration. A worst case scenario was decided on, with the results that every prediction included the widest possible aerodynamic margins. Repeatibility was emphasized between wind tunnel model tests, and was achieved with an accuracy of 0.006 with inclusion of Reynolds effects.

Young, J. C.↗

Assessment, development and application of combustor aerothermal models

The gas turbine combustion system design and development effort is an engineering exercise to obtain an acceptable solution to the conflicting design trade-offs between: combustion efficiency, gaseous emissions, smoke, ignition, restart, lean blowout, burner exit temperature quality, structural durability, and life cycle cost. For many years, these combustor design trade-offs have been carried out with the help of fundamental reasoning and extensive component and bench testing, backed by empirical and experience correlations. Recent advances in the capability of computational fluid dynamics (CFD) codes have led to their application to complex three-dimensional flows such as those in the gas turbine combustor. A number of US. Government and industry sponsored programs have made significant contributions to the formulation, development, and verification of an analytical combustor design methodology which will better define the aerothermal loads in a combustor, and be a valuable tool for design of future combustion systems. The contributions made by NASA Hot Section Technology (HOST) sponsored Aerothermal Modeling and supporting programs are described in this paper.

Aerothermal modeling↗

Optimised radiative cooling of infrared space telescopes and applications to possible missions

Simple guidelines are presented for designing radiatively cooled space telescopes that must reach low temperatures. The limits achievable by such means are explored and secondary issues such as the on-orbit cooling time are examined. Results to date from a program of more detailed model simulations are summarized. These indicate that radiative cooling can indeed lower the temperatures of large-aperture telescopes sufficiently to make the technique of great interest for future IR space missions, while retaining advantages of size and duration, and can attain such low temperatures in quite reasonable times. Possible missions of this type are outlined, including the Edison proposal, the Japanese SMIRT survey mission, and an intermediate-size ESA/NASA mission.

Hawarden, T. G.↗

Monitoring and Modeling Astronaut Occupational Radiation Exposures in Space: Recent Advances

In 1982 astronauts were declared to be radiation workers by OSHA, and as such were subject to the rules and regulations applied to that group. NASA was already aware that space radiation was a hazard to crewmembers and had been studying and monitoring astronaut doses since 1962 at the Johnson Space Center. It was quickly realized NASA would not be able to accomplish all of its goals if the astronauts were subject to the ground based radiation worker limits, and thus received a waiver from OSHA to establish independent limits. As part of the stipulation attached to setting new limits, OSHA included a requirement to perform preflight dose projections for each crew and inform them of the associated risks. Additional requirements included measuring doses from various sources during the flight, making every effort to prevent a crewmember from exceeding the new limits, and keeping all exposures As Low As Reasonably Achievable (a.k.a. ALARA - a common health physics principle). The assembly of the International Space Station (ISS) and its initial manned operations will coincide with the 4-5 year period of high space weather activity at the next maximum in the solar cycle. For the first time in NASA's manned program, US astronauts will be in orbit continuously throughout a solar maximum period. During this period, crews are at risk of significantly increased radiation exposures due to solar particle events and trapped electron belt enhancements following geomagnetic storms. The problem of protecting crews is compounded by the difficulty of providing continuous real-time monitoring over a period of a decade in an era of tightly constrained budgets. In order to prepare for ISS radiological support needs, the NASA Space Radiation Analysis Group and the NOAA Space Environment Center have undertaken a multiyear effort to improve and automate ground-based space weather monitoring systems and real-time radiation analysis tools. These improvements include a coupled, automated space weather monitoring and alarm system--SPE exposure analysis system, an advanced space weather data distribution and display system, and a high-fidelity space weather simulation system. In addition, significant new real-time space weather data sets, which will enhance the forecasting and now-casting of near-Earth space environment conditions, are being made available through unique NASA-NOAA-USAF collaborations. These new data sets include coronal mass ejection monitoring by the Solar and Heliospheric Observatory (SOHO) and in-situ plasma and particle monitoring at the L1 libration point by the Solar Wind Monitor (SWIM) and Advanced Composition Explorer (ACE) spacecraft. Advanced real-time radiation monitoring data from charged particle telescopes and tissue equivalent proportional counters will also be available to assist crew and flight controllers in monitoring the external and intravehicular radiation environment.

Weyland, Mark↗

Nonenzymatic, template-directed ligation of oligoribonucleotides is highly regioselective for the formation of 3'-5' phosphodiester bonds

We have found that nonenzymatic, template-directed ligation reactions of oligoribonucleotides display high selectivity for the formation of 3'-5' rather than 2'-5' phosphodiester bonds. Formation of the 3'-5'-linked product is favored regardless of the metal ion catalyst or the leaving group, and for several different ligation junction sequences. The degree of selectivity depends on the leaving group: the ratio of 3'-5'- to 2'-5'-linked products was 10-15:1 when the 5'-phosphate was activated as the imidazolide, and 60-80:1 when the 5'-phosphate was activated by the formation of a 5'-triphosphate. Comparison of oligonucleotide ligation reactions with previously characterized single nucleotide primer extension reactions suggests that the strong preference for 3'-5'-linkages in oligonucleotide ligation is primarily due to occurence of ligation within the context of an extended Watston-Crick duplex. The ability of RNA to correctly self-assemble by template-directed ligation is an intrinsic consequence of its chemical structure and need not be imposed by an external catalyst (i.e., an enzyme polymerase); RNA therefore provides a reasonable structural basis for a self-replicating system in a prebiological world.

Non-NASA Center↗

Biochemical and hematologic changes after short-term space flight

Clinical laboratory data from blood samples obtained from astronauts before and after 28 flights (average duration = 6 days) of the Space Shuttle were analyzed by the paired t-test and the Wilcoxon signed-rank test and compared with data from the Skylab flights (duration approximately 28, 59, and 84 days). Angiotensin I and aldosterone were elevated immediately after short-term space flights, but the response of angiotensin I was delayed after Skylab flights. Serum calcium was not elevated after Shuttle flights, but magnesium and uric acid decreased after both Shuttle and Skylab. Creatine phosphokinase in serum was reduced after Shuttle but not Skylab flights, probably because exercises to prevent deconditioning were not performed on the Shuttle. Total cholesterol was unchanged after Shuttle flights, but low density lipoprotein cholesterol increased and high density lipoprotein cholesterol decreased. The concentration of red blood cells was elevated after Shuttle flights and reduced after Skylab flights. Reticulocyte count was decreased after both short- and long-term flights, indicating that a reduction in red blood cell mass is probably more closely related to suppression of red cell production than to an increase in destruction of erythrocytes. Serum ferritin and number of platelets were also elevated after Shuttle flights. In determining the reasons for postflight differences between the shorter and longer flights, it is important to consider not only duration but also countermeasures, differences between spacecraft, and procedures for landing and egress.

NASA Program Flight↗

Investigation of MMOD Impact on STS-115 Shuttle Payload Bay Door Radiator

The Orbiter radiator system consists of eight individual 4.6 m x 3.2 m panels located with four on each payload bay door. Forward panels #1 and #2 are 2.3 cm thick while the aft panels #3 and #4 have a smaller overall thickness of 1.3 cm. The honeycomb radiator panels consist of 0.028 cm thick Aluminum 2024-T81 facesheets and Al5056-H39 cores. The face-sheets are topped with 0.005 in. (0.127 mm) silver-Teflon tape. The radiators are located on the inside of the shuttle payload bay doors, which are closed during ascent and reentry, limiting damage to the on-orbit portion of the mission. Post-flight inspections at the Kennedy Space Center (KSC) following the STS-115 mission revealed a large micrometeoroid/orbital debris (MMOD) impact near the hinge line on the #4 starboard payload bay door radiator panel. The features of this impact make it the largest ever recorded on an orbiter payload bay door radiator. The general location of the damage site and the adjacent radiator panels can be seen in Figure 2. Initial measurements of the defect indicated that the hole in the facesheet was 0.108 in. (2.74 mm) in diameter. Figure 3 shows an image of the front side damage. Subsequent observations revealed exit damage on the rear facesheet. Impact damage features on the rear facesheet included a 0.03 in. diameter hole (0.76 mm), a approx.0.05 in. tall bulge (approx.1.3 mm), and a larger approx.0.2 in. tall bulge (approx.5.1 mm) that exhibited a crack over 0.27 in. (6.8 mm) long. A large approx.1 in. (25 mm) diameter region of the honeycomb core was also damaged. Refer to Figure 4 for an image of the backside damage to the panel. No damage was found on thermal blankets or payload bay door structure under the radiator panel. Figure 5 shows the front facesheet with the thermal tape removed. Ultrasound examination indicated a maximum facesheet debond extent of approximately 1 in. (25 mm) from the entry hole. X-ray examinations revealed damage to an estimated 31 honeycomb cells with an extent of 0.85 in. x 1.1 in. (21.6 x 27.9 mm). Pieces of the radiator at and surrounding the impact site were recovered during the repair procedures at KSC. They included the thermal tape, front facesheet, honeycomb core, and rear facesheet. These articles were examined at JSC using a scanning electron microscope (SEM) with an energy dispersive x-ray spectrometer (EDS). Figure 6 shows SEM images of the entry hole in the facesheet. The asymmetric height of the lip may be attributed to projectile shape and impact angle. Numerous instances of a glass-fiber organic matrix composite were observed in the facesheet tape sample. The fibers were approximately 10 micrometers in diameter and variable lengths. EDS analysis indicated a composition of Mg, Ca, Al, Si, and O. Figures 7 and 8 present images of the fiber bundles, which were believed to be circuit board material based on similarity in fiber diameter, orientation, consistency, and composition. A test program was initiated in an attempt to simulate the observed damage to the radiator facesheet and honeycomb. Twelve test shots were performed using projectiles cut from a 1.6 mm thick fiberglass circuit board substrate panel. Results from test HITF07017, shown in figures 9 and 10, correlates with the observed impact features reasonably well. The test was performed at 4.14 km/sec with an impact angle of 45 degrees using a cylindrical projectile with a diameter and length of 1.25 mm. The fiberglass circuit board material had a density of 1.65 g/cu cm, giving a projectile mass of 2.53 mg. An analysis was performed using the Bumper code to estimate the probability of impact to the shuttle from a 1.25 mm diameter particle. Table 1 shows a 1.6% chance (impact odds = 1 in 62) of a 1.25 mm or larger MMOD impact on the radiators of the vehicle during a typical ISS mission. There is a 0.4% chance (impact odds = 1 in 260) that a 1.25 mm or larger MMOD particle would impact the RCC wing leading edge and nose cap during a typical miion. Figure 11 illustrates the vulnerable areas of the wing leading edge reinforced carbon-carbon (RCC), an area of the vehicle that is very sensitive to impact damage. The highlighted red, orange, yellow, and light green areas would be expected to experience critical damage if impacted by an OD particle such as the one that hit the RH4 radiator panel on STS-115.

Hyde, J.↗

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certified safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certification system and its individual components. Keywords: Automated code generation, Hoare logic, formal code certification, safety case, Goal Structuring Notation.

Basir, Nurlida↗

GMI-IPS: Python Processing Software for Aircraft Campaigns

NASA's Atmospheric Tomography Mission (ATom) seeks to understand the impact of anthropogenic air pollution on gases in the Earth's atmosphere. Four flight campaigns are being deployed on a seasonal basis to establish a continuous global-scale data set intended to improve the representation of chemically reactive gases in global atmospheric chemistry models. The Global Modeling Initiative (GMI), is creating chemical transport simulations on a global scale for each of the ATom flight campaigns. To meet the computational demands required to translate the GMI simulation data to grids associated with the flights from the ATom campaigns, the GMI ICARTT Processing Software (GMI-IPS) has been developed and is providing key functionality for data processing and analysis in this ongoing effort. The GMI-IPS is written in Python and provides computational kernels for data interpolation and visualization tasks on GMI simulation data. A key feature of the GMI-IPS, is its ability to read ICARTT files, a text-based file format for airborne instrument data, and extract the required flight information that defines regional and temporal grid parameters associated with an ATom flight. Perhaps most importantly, the GMI-IPS creates ICARTT files containing GMI simulated data, which are used in collaboration with ATom instrument teams and other modeling groups. The initial main task of the GMI-IPS is to interpolate GMI model data to the finer temporal resolution (1-10 seconds) of a given flight. The model data includes basic fields such as temperature and pressure, but the main focus of this effort is to provide species concentrations of chemical gases for ATom flights. The software, which uses parallel computation techniques for data intensive tasks, linearly interpolates each of the model fields to the time resolution of the flight. The temporally interpolated data is then saved to disk, and is used to create additional derived quantities. In order to translate the GMI model data to the spatial grid of the flight path as defined by the pressure, latitude, and longitude points at each flight time record, a weighted average is then calculated from the nearest neighbors in two dimensions (latitude, longitude). Using SciPya's Regular Grid Interpolator, interpolation functions are generated for the GMI model grid and the calculated weighted averages. The flight path points are then extracted from the ATom ICARTT instrument file, and are sent to the multi-dimensional interpolating functions to generate GMI field quantities along the spatial path of the flight. The interpolated field quantities are then written to a ICARTT data file, which is stored for further manipulation. The GMI-IPS is aware of a generic ATom ICARTT header format, containing basic information for all flight campaigns. The GMI-IPS includes logic to edit metadata for the derived field quantities, as well as modify the generic header data such as processing dates and associated instrument files. The ICARTT interpolated data is then appended to the modified header data, and the ICARTT processing is complete for the given flight and ready for collaboration. The output ICARTT data adheres to the ICARTT file format standards V1.1. The visualization component of the GMI-IPS uses Matplotlib extensively and has several functions ranging in complexity. First, it creates a model background curtain for the flight (time versus model eta levels) with the interpolated flight data superimposed on the curtain. Secondly, it creates a time-series plot of the interpolated flight data. Lastly, the visualization component creates averaged 2D model slices (longitude versus latitude) with overlaid flight track circles at key pressure levels. The GMI-IPS consists of a handful of classes and supporting functionality that have been generalized to be compatible with any ICARTT file that adheres to the base class definition. The base class represents a generic ICARTT entry, only defining a single time entry and 3D spatial positioning parameters. Other classes inherit from this base class; several classes for input ICARTT instrument files, which contain the necessary flight positioning information as a basis for data processing, as well as other classes for output ICARTT files, which contain the interpolated model data. Utility classes provide functionality for routine procedures such as: comparing field names among ICARTT files, reading ICARTT entries from a data file and storing them in data structures, and returning a reduced spatial grid based on a collection of ICARTT entries. Although the GMI-IPS is compatible with GMI model data, it can be adapted with reasonable effort for any simulation that creates Hierarchical Data Format (HDF) files. The same can be said of its adaptability to ICARTT files outside of the context of the ATom mission. The GMI-IPS contains just under 30,000 lines of code, eight classes, and a dozen drivers and utility programs. It is maintained with GIT source code management and has been used to deliver processed GMI model data for the ATom campaigns that have taken place to date.

Damon, M. R.↗

Non Linear Beam Dynamics Studies at SPEAR

The frequency map analysis of a Hamiltonian system recently introduced to accelerators physics in combination with turn-by-turn phase space measurements opens new experimental opportunities for studying non linear dynamic in storage rings. In this paper we report on the experimental program at SPEAR having the goal of measuring the frequency map of the machine. In this paper we discuss the accuracy of the instantaneous tune extraction from experimental data and demonstrate the possibility of the frequency map measurement. The instantaneous tune extraction technique can be applied to experimental tracking data with reasonable accuracy. Frequency map can be experimentally determined using the existing turn-by-turn phase space measurement techniques and NAFF instantaneous tune extraction.

43 PARTICLE ACCELERATORS↗

The NASA/Industry Design Analysis Methods for Vibrations (DAMVIBS) Program - Boeing helicopters airframe finite element modeling

Finite-element modeling of the airframe vibration of the Army/Boeing CH-47D helicopter is conducted with comparisons to experimental data in an effort to improve the design process. A NASTRAN FEM is developed that is fully representative of the test configuration and includes the support fixture, shakers, and the aircraft/shaker suspension system. The analysis is conducted with specific attention given to the prediction of reasonable forced amplitudes throughout the airframe. Reasonable correlation is noted between the FEM and experimental results, although improved correlation can be obtained by including more accurate damping values and secondary effects such as stringer shear loading. It is shown that the general stress model does not provide an adequate dynamic analysis on which to base design improvements. A more detailed model is required that emphasizes highly detailed helicopter elements and employs a finer mesh particularly in the description of the mass distribution.

Gabel, R.↗

The Mars Surveyor Program, Human Exploration Objectives and the Case for Gusev Crater

It has been demonstrated during the past years that by its configuration, extended history of water ponding and sedimentary deposition, Gusev crater is one of the most favorable sites to consider for the incoming exploration of Mars. It provides exceptional possibilities to document the evolution of water, climate changes, and possibly the evolution of life on Mars through time. Because of all these reasons, it is probably one of the most interesting sites to target for sample return missions and human exploration, but as well, it is by all means an excellent target for the Surveyor '01, in spite of the current imposed mission constraints, as we propose to demonstrate.

Cabrol, Nathalie A.↗

Electrofuels: A New Paradigm for Renewable Fuels

Biofuels are by now a well-established component of the liquid fuels market and will continue to grow in importance for both economic and environmental reasons. To date, all commercial approaches to biofuels involve photosynthetic capture of solar radiation and conversion to reduced carbon; however, the low efficiency inherent to photosynthetic systems presents significant challenges to scaling. In 2009, the US Department of Energy (DOE) Advanced Research Projects Agency-Energy (ARPA-E) created the Electrofuels program to explore the potential of nonphotosynthetic autotrophic organisms for the conversion of durable forms of energy to energy-dense, infrastructure-compatible liquid fuels. The Electrofuels approach expands the boundaries of traditional biofuels and could offer dramatically higher conversion efficiencies while providing significant reductions in requirements for both arable land and water relative to photosynthetic approaches. The projects funded under the Electrofuels program tap the enormous and largely unexplored diversity of the natural world, and may offer routes to advanced biofuels that are significantly more efficient, scalable and feedstock-flexible than routes based on photosynthesis. Here, we describe the rationale for the creation of the Electrofuels program, and outline the challenges and opportunities afforded by chemolithoautotrophic approaches to liquid fuels.

09 BIOMASS FUELS↗

Assessment, development, and application of combustor aerothermal models

The gas turbine combustion system design and development effort is an engineering exercise to obtain an acceptable solution to the conflicting design trade-offs between: combustion efficiency, gaseous emissions, smoke, ignition, restart, lean blowout, burner exit temperature quality, structural durability, and life cycle cost. For many years, these combustor design trade-offs have been carried out with the help of fundamental reasoning and extensive component and bench testing, backed by empirical and experience correlations. Recent advances in the capability of computational fluid dynamics (CFD) codes have led to their application to complex three-dimensional flows such as those in the gas turbine combustor. A number of U.S. Govern- ment and industry sponsored programs have made significant contributions to the formulation, development, and verification of an analytical combustor design methodology which will better define the aerothermal loads in a combustor, and be a valuable tool for design of future combustion systems. The contributions made by NASA Hot Section Technology (HOST) sponsored Aero- thermal Modeling and supporting programs are described in this paper

J D Holdeman↗

Wind-tunnel investigation of the heat transfer to the X-15 airplane

Paper describes the wind tunnel test program which has provided a picture of the general distribution of heat transfer coefficients over the X-15 airplane. The tunnel tests have emphasized the importance of the interactions of the flow fields of components and have shown that in some cases, where the local flow direction and total pressure can be reasonably closely inferred, use of experimental pressures to compute flow conditions yields very good predictions of heat transfer rate. There are still some regions of the airplane for which the heat transfer could not be adequately studied because of the size or construction of the model. Such local regions will not necessarily limit the operation of the airplane but will require evaluation in the full-scale tests. (author)

Feller, William V↗