Search NASASearch

SEARCH · Search NASA

Results for “Program Transformation”

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 109 records · Page 6

Adding Concrete Syntax to a Prolog-Based Program Synthesis System

Program generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.

Fischer, Bernd

Postirradiation Examination of HFIR-Irradiated Yttrium Hydrides

The US Department of Energy Microreactor Program is developing compact, high-temperature microreactors that require robust neutron moderators. Known for its high hydrogen retention and structural stability, YH x is a leading candidate for this purpose. As part of an ongoing evaluation, Oak Ridge National Laboratory conducted post-irradiation examinations on YH x specimens irradiated in the High Flux Isotope Reactor under the legacy Transformational Challenge Reactor program, focusing on their structural integrity, hydrogen retention, and thermal properties. The post-irradiation examination campaign primarily examined specimens from two irradiation campaigns, covering a range of hydrogen-to-yttrium atomic ratios (H/Y), neutron damage levels (0.1–2 displacements per atom), and targeted irradiation temperature of 600°C. The investigations included electron microscopy, high-energy x-ray diffraction, laser flash analysis, differential scanning calorimetry, and SiC thermometry analysis.

22 GENERAL STUDIES OF NUCLEAR REACTORS

Program Options to Explore Ocean Worlds

Including Earth, roughly a dozen water ocean worlds exist in the solar system: the relict worlds Ceres and Mars, vast oceans inside most of the large Jovian and Saturnian icy moons, and Kuiper Belt Objects like Triton, Charon, and Pluto whose geologies are dominated by water and ammonia. Key pieces of the ocean-world science puzzle – which when completed may reveal whether life is widespread in the cosmos, why it exists where it does, and how it originates – are distributed among them. The eventual exploration of all these worlds will yield humanity’s total tangible knowledge about life in the universe, essentially forever. Thus, their exploration has existential significance for humanity’s self-regard, and indeed perhaps of our place in the natural scheme. The matter of planning how to pursue such a difficult and unprecedented exploration opportunity is therefore historic. The technical challenges are formidable, far harder than at Mars: missions to the Jovian and Saturnian ocean worlds are severely power-limited; trip times can be as much as a half decade and decade, respectively. And the science targets are global-scale oceans beneath kilometers of cryogenic ice. Reaching and exploring them would be a multi-generational undertaking, so again it is essential to plan and prepare. Today, we lack the instrumentation, subsystems, and remote operational-intelligence technologies needed to build and use exploration avatars as good as what we can envision needing. Each ocean world holds a piece of the puzzle, but the three priority targets are Europa at Jupiter, and Enceladus and Titan at Saturn. As with the systematic exploration of Mars, exploring these diverse worlds poses a complex technical and programmatic challenge – a strategic challenge – that needs to be designed and managed if each generation is to see its work bear fruit, and if the space science community is to make most effective use of the public money devoted to the quest. Strategic programs benefit from coherence. In only 15 years, the Mars Exploration Program (MEP) has transformed humanity’s view of Mars as a once and future habitable place, a world quite possibly holding relict evidence of life. Finding such evidence, we would study it to know if that life shared an origin common with Earth life. However, life in the ocean worlds could not have shared our origin, so exploring them opens another level in our quest to understand life in the universe: not only to places with vast salt-water seas known to contain organics and hydrothermal seafloors active today, but to places where anything alive cannot be related to us. MEP’s success – from its presence in the public consciousness to its rewriting of planetary habitability – make it an obvious template and source of lessons learned for a viable ocean worlds exploration program (OWEP). Six attributes of the MEP are analyzed for application to a potential OWEP. From this, five hypothetical programmatic scenarios are compared to the default case, and conclusions drawn. A coherent OWEP should have several parts: first, dedicated continuous investment in enabling technologies; and second, two directed-purpose, medium-class (~$1B) missions per decade that conduct pivotal investigations on a documented roadmap. Science could start in 2035, informing development of decadal flagship missions after Europa Clipper, to the places revealed to hold the most promise. The fastest pace of scientific discoveries would require access to high-performance propulsion infrastructure, e.g., the Space Launch System, Falcon Heavy, and high-power in-space solar electric propulsion, all capable of halving trip time. Not including these boosts, such a program would cost about a half-billion dollars more per year than NASA’s existing mission portfolio; the program architecture funded today cannot deliver a strategic OWEP while also sustaining balance among other solar system exploration priorities and opportunities.

Naderi, F.

Tolerating failures of continuous-valued sensors

One aspect of fault tolerance in process control programs is the ability to tolerate sensor failure. A methodology for transforming a process control program that cannot tolerate sensor failures onto one that can is presented. Issues addressed include modifying specifications in order to accommodate uncertainty in sensor values and averaging sensor values in a fault tolerant manner. In addition, a hierarchy of sensor failure models is identified, and both the attainable accuracy and the run-time complexity of sensor averaging with respect to this hierarchy is discussed.

Marzullo, Keith

Transformational Nano-confined Ionic Liquid Membrane for Greater than or Equal to 97 Percent Carbon Dioxide Capture from Natural Gas Combined Cycle Flue Gas

A transformational process based on nano-confined ionic liquid (NCIL) membranes was developed for capturing ≥97% CO 2 from natural gas combined cycle (NCCC) flue gas. The NCIL membranes were prepared by loading amino acid ionic liquid into a framework composed of single-walled carbon nanotube mesh filled with graphene oxide quantum dots. The membranes exhibited CO 2 permeance as high as 2,000 GPU with a CO 2 /N2 selectivity of 2,300 for a typical NGCC flue gas composition. When H 2 O vapor sweep was applied in the permeate side, 96.6% CO2 dry-basis purity and 97.6% CO 2 capture rate were achieved for a simulated NGCC flue gas with single stage. In the process design, a highly H 2 O-selective membrane would be needed to recover majority of the H 2 O vapor, and the recovered H 2 O vapor could be recycled to the permeate side of the NCIL membrane. Sulfonated poly(ether ether ketone) membranes were successfully developed for this purpose. These membranes exhibited H 2 O permeance great than 11,000 GPU and H 2 O/CO 2 selectivity greater than 1,000 at 70ºC for a feed mixture consisting of 14.5 vol% H2O and balanced CO 2 . A standalone membrane model using MATLAB platform was developed for process simulation. The model was validated with experimental data. Techno-economic analysis based on the testing data collected during the current program suggests this transformational membrane process can achieve 97% CO 2 capture efficiency with a cost of $47.8/tonne of CO 2 , which is a 21% reduction versus DOE’s reference case B31B.97.

03 NATURAL GAS

Compiler-Driven FPGA Virtualization with SYNERGY

FPGAs are increasingly common in modern applications, and cloud providers now support on-demand FPGA acceleration in datacenters. Applications in datacenters run on virtual infrastructure, where consolidation, multi-tenancy, and workload migration enable economies of scale that are fundamental to the provider's business. However, a general strategy for virtualizing FPGAs has yet to emerge. While manufacturers struggle with hardware-based approaches, we propose a compiler/runtime-based solution called Synergy. We show a compiler transformation for Verilog programs that produces code able to yield control to software atsub-clock-tickgranularity according to the semantics of the original program. Synergy uses this property to efficiently support core virtualization primitives: suspend and resume, program migration, and spatial/temporal multiplexing, on hardware which is availabletoday.We use Synergy to virtualize FPGA workloads across a cluster of Intel SoCs and Xilinx FPGAs on Amazon F1. The workloads require no modification, run within 3--4x of unvirtualized performance, and incur a modest increase in FPGA fabric usage.

Computer Science

FAIR Data and Interpretable AI Framework for Architectured Metamaterials (Final Report)

This research program established a transformative framework for the discovery and design of mechanical metamaterials, which are architected structures engineered to control physical phenomena like sound and vibration in ways natural materials cannot. To overcome the traditional reliance on trial-and-error, the project developed an interpretable Artificial Intelligence (AI) framework that moves beyond "black box" models to reveal the specific geometric patterns—such as "unit-cell templates"—that govern a material’s performance. A major breakthrough was the development of a hierarchical design method, which allows a single material to block vibrations across multiple frequency ranges simultaneously by layering patterns at different scales without them interfering with one another. This was further expanded to include irregular, graph-based designs that use spanning tree algorithms to ensure structural connectivity while allowing for customized, direction-dependent properties like stiffness and acoustic impedance. Beyond design, the project addressed the practicalities of real-world production by developing uncertainty quantification techniques that account for manufacturing defects and material variability, reducing the need for expensive physical testing by orders of magnitude. To speed up the discovery process, the team implemented Gaussian Process Regression and other surrogate models that provide accurate performance predictions at a fraction of the traditional computational cost. The AI-generated designs were successfully validated through fabrication of physical samples and wave propagation experiments, confirming their ability to accurately guide or reflect waves as predicted. By contributing these tools and high-quality FAIR benchmark datasets to the wider scientific community, this work provides a scalable foundation for advancing technologies in aerospace vibration control, medical imaging, and noise reduction.

36 MATERIALS SCIENCE

Advanced communication system time domain modeling techniques ASYSTD software description. Volume 2: Program support documentation

The theoretical basis for the ASYSTD program is discussed in detail. In addition, the extensive bibliography given in this document illustrates some of the extensive work accomplished in the area of time domain simulation. Additions have been in the areas of modeling and language program enhancements, orthogonal transform modeling, error analysis, general filter models, BER measurements, etc. Several models have been developed which utilize the COMSAT generated orthogonal transform algorithms.

Source record

ISIS-2 satellite imagery and auroral morphology

Auroral morphology is emphasized over auroral dynamics in a paper describing conspicuous auroral features picked up by the ISIS-2 scanning photometer. Results of improved programs designed to transform the data into a corrected geomagnetic coordinate frame and generate latitude profiles of auroral intensities at different magnetic local times are reported. The diffuse aurora and its relation to the morphology of discrete aurorae is given special attention.

Anger, C. D.

Joint observations of 4U1223-62 by the SAS-3 satellite and Columbia University proportional counter experiment on NASA rocket 26.054 UH

The pulsating X-ray binary 4U1223-62 and Vela X-1 were observed by Aerobee rocket-borne proportional counters. Valid X-ray events were telemetered and analyzed for possible flaring, quasiperiodic, and periodic pulsations, and for other nonstatistical behavior in the source. Both fast Fourier transform and autocorrelation programs were used. For several hours four days before and after the rocket flight, the SAS-3 satellite scanned the galactic plane in order to identify X-ray sources in the vicinity of 4U1223-62 and their intensities, and to provide positional accuracy of 0.25 for sources with intensity greater than 10% of the target. Observations of the source near the main peak of its pulsating period as defined by SAS-3 are discussed. There is no evidence of a spectral feature although twice as many photons were received as than from Vela X-1.

Novick, R.

A flight expert system for on-board fault monitoring and diagnosis

An architecture for a flight expert system (FLES) to assist pilots in monitoring, diagnosing, and recovering from inflight faults is described. A prototype was implemented and an attempt was made to automate the knowledge acquisition process by employing a learning by being told methodology. The scope of acquired knowledge ranges from domain knowledge, including the information about objects and their relationships, to the procedural knowledge associated with the functionality of the mechanisms. AKAS (automatic knowledge acquisition system) is the constructed prototype for demonstration proof of concept, in which the expert directly interfaces with the knowledge acquisition system to ultimately construct the knowledge base for the particular application. The expert talks directly to the system using a natural language restricted only by the extent of the definitions in an analyzer dictionary, i.e., the interface understands a subset of concepts related to a given domain. In this case, the domain is the electrical system of the Boeing 737. Efforts were made to define and employ heuristics as well as algorithmic rules to conceptualize data produced by normal and faulty jet engine behavior examples. These rules were employed in developing the machine learning system (MLS). The input to MLS is examples which contain data of normal and faulty engine behavior and which are obtained from an engine simulation program. MLS first transforms the data into discrete selectors. Partial descriptions formed by those selectors are then generalized or specialized to generate concept descriptions about faults. The concepts are represented in the form of characteristic and discriminant descriptions, which are stored in the knowledge base and are employed to diagnose faults. MLS was successfully tested on jet engine examples.

Ali, Moonis

Explanations in knowledge systems - Design for Explainable Expert Systems

The Explainable Expert Systems framework (EES), in which the focus is on capturing those design aspects that are important for producing good explanations, including justifications of the system's actions, explications of general problem-solving strategies, and descriptions of the system's terminology, is discussed. EES was developed as part of the Strategic Computing Initiative of DARPA. Both the general principles from which the system was derived and how the system was derived from those principles can be represented in EES. The Program Enhancement Advisor, which is the main prototype on which the explanation work has been developed and tested, is presented. PEA is an advice system that helps users improve their Common Lisp programs by recommending transformations that enhance the user's code. How EES produces better explanations is shown.

Swartout, William

Analysis of Thick Sandwich Shells with Embedded Ceramic Tiles

The Composite Armored Vehicle (CAV) is an advanced technology demonstrator of an all-composite ground combat vehicle. The CAV upper hull is made of a tough light-weight S2-glass/epoxy laminate with embedded ceramic tiles that serve as armor. The tiles are bonded to a rubber mat with a carefully selected, highly viscoelastic adhesive. The integration of armor and structure offers an efficient combination of ballistic protection and structural performance. The analysis of this anisotropic construction, with its inherent discontinuous and periodic nature, however, poses several challenges. The present paper describes a shell-based 'element-layering' technique that properly accounts for these effects and for the concentrated transverse shear flexibility in the rubber mat. One of the most important advantages of the element-layering technique over advanced higher-order elements is that it is based on conventional elements. This advantage allows the models to be portable to other structural analysis codes, a prerequisite in a program that involves the computational facilities of several manufacturers and government laboratories. The element-layering technique was implemented into an auto-layering program that automatically transforms a conventional shell model into a multi-layered model. The effects of tile layer homogenization, tile placement patterns, and tile gap size on the analysis results are described.

Davila, Carlos G.

Advanced Environmental Barrier Coating Development for SiC-SiC Ceramic Matrix Composite Components

This presentation reviews the NASA advanced environmental barrier coating (EBC) system development for SiC-SiC Ceramic Matrix Composite (CMC) combustors particularly under the NASA Environmentally Responsible Aviation, Fundamental Aeronautics and Transformative Aeronautics Concepts Programs. The emphases have been placed on the current design challenges of the 2700-3000F capable environmental barrier coatings for low NOX emission combustors for next generation turbine engines by using advanced plasma spray based processes, and the coating processing and integration with SiC-SiC CMCs and component systems. The developments also have included candidate coating composition system designs, degradation mechanisms, performance evaluation and down-selects; the processing optimizations using TriplexPro Air Plasma Spray Low Pressure Plasma Spray (LPPS), Plasma Spray Physical Vapor Deposition and demonstration of EBC-CMC systems. This presentation also highlights the EBC-CMC system temperature capability and durability improvements under the NASA development programs, as demonstrated in the simulated engine high heat flux, combustion environments, in conjunction with high heat flux, mechanical creep and fatigue loading testing conditions.

CMAS

Autonomous Guidance Algorithms for NASA Learn-to-Fly Technology Development

Learn-to-Fly (L2F) is an advanced technology development effort under the NASA Transformative Aeronautics Concepts Program (TACP) that is aimed at assessing the feasibility of self-learning flight vehicles. Specifically, research has been conducted to demonstrate the potential to merge two enabling technologies; real-time aerodynamic modeling and adaptive controls, to substantially reduce the typical ground and flight testing requirements for air vehicle design. The approach to this effort involved development of unique airframes and on-board algorithms to demonstrate key L2F technologies on a fully autonomous flight test vehicle. This research, that included an aggressive flight test program, was intended to rapidly advance these technologies and demonstrate capabilities of the L2F approach. Key components of the L2F architecture include real-time aerodynamic modeling, adaptive controls and control allocation, and guidance. This paper provides an overview of the guidance algorithm which primarily served as an executive function to coordinate control commands for range navigation and the desired test conditions, provide autonomous envelope limiting/expansion and enable automatic landing to touchdown with no intervention from a human operator. A discussion of the L2F concept-of-operations and unique flight testing considerations, which influenced the guidance functional requirements, is included and results of recent flight testing are presented.

Foster, John V.

STEReO

STEReO brings together several technologies in Unmanned Aircraft Systems (UAS) Traffic Management (UTM), Autonomy, Communications, Human Factors, and Domain Expertise & Tools, aimed at providing scalability and flexibility, as well as operational resiliency to dynamic changes during a disaster event. Some of the concepts STEReO explores are: collaborative tools to ingest remote sensing information and distribute a common mission operating picture, apply ad-hoc communication networks to facilitate timely information sharing and communication of changes, vehicle-to-vehicle and onboard autonomy technologies ensure the safety and resiliency of operations, and apply NASA’s UAS traffic management system (UTM) as a public safety UAS Service Supplier (USS) to access and coordinate use of the airspace by both manned and unmanned operations. The potential benefits of STEReO include: standardized, cross-platform communication means increased interoperability and ease of cooperation/collaboration, increased situation awareness and common operating picture allow for earlier detection and decision making, and scalable to size and complexity of environment, operations, and mission objectives. This brochure/posture gives an overview of the STEReO project and identifies STEReO as one of the research efforts under the Convergent Aeronautics Solutions (CAS) project within ARMD's Transformative Aeronautics Concepts Program (TACP).

traffic management