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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 433 records · Page 24

All sources NASA NTRS DOE OSTI

DOE OSTI2017

In situ hydrogenation and decarboxylation of oleic acid into heptadecane over a Cu–Ni alloy catalyst using methanol as a hydrogen carrier

In this paper, supported Cu–Ni bimetallic catalysts were synthesized and evaluated for the in situ hydrogenation and decarboxylation of oleic acid using methanol as a hydrogen donor. The supported Cu–Ni alloy exhibited a significant improvement in both activity and selectivity towards the production of heptadecane in comparison with monometallic Cu and Ni based catalysts. The formation of the Cu–Ni alloy is demonstrated by high-angle annular dark-field scanning transmission electron microscopy (HADDF-STEM), energy dispersive X-ray spectroscopy (EDS-mapping), X-ray diffraction (XRD) and temperature programmed reduction (TPR). A partially oxidized Cu in the Cu–Ni alloy is revealed by diffuse reflectance infrared Fourier transform spectroscopy (DRIFTS) following CO adsorption and X-ray photoelectron spectroscopy (XPS). The temperature programmed desorption of ethylene and propane (ethylene/propane-TPD) suggested that the formation of the Cu–Ni alloy inhibited the cracking of C–C bonds compared to Ni, and remarkably increased the selectivity to heptadecane. The temperature programmed desorption of acetic acid (acetic acid-TPD) indicated that the bimetallic Cu–Ni alloy and Ni catalysts had a stronger adsorption of acetic acid than that of the Cu catalyst. Finally, the formation of the Cu–Ni alloy and a partially oxidized Cu facilitates the decarboxylation reaction and inhibits the cracking reaction of C–C bonds, leading to enhanced catalytic activity and selectivity.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS1980

Efficient program for decoding the /255, 223/ Reed-Solomon code over GF/2 to the 8th/ with both errors and erasures, using transform decoding

The paper deals with a method developed for decoding a (255, 223) Reed-Solomon code over GF(2 to the 8th) with both errors and erasures. The matrix of decoding times for correcting errors and erasures of the code using a simplified decoder is presented. It is shown that the algorithm proposed is faster by a factor of from three to seven.

Miller, R. L.↗

NASA NTRS1987

Maintaining an expert system for the Hubble Space Telescope ground support

The transformation portion of the Hubble Space Telescope (HST) Proposal Entry Processor System converts astronomer-oriented description of a scientific observing program into a detailed description of the parameters needed for planning and scheduling. The transformation system is one of a very few rulebased expert systems that has ever entered an operational phase. The day to day operations of the system and its rulebase are no longer the responsibility of the original developer. As a result, software engineering properties of the rulebased approach become more important. Maintenance issues associated with the coupling of rules within a rulebased system are discussed and a method is offered for partitioning a rulebase so that the amount of knowledge needed to modify the rulebase is minimized. This method is also used to develop a measure of the coupling strength of the rulebase.

Lindenmayer, Kelly↗

NASA NTRS2005

A Formal Approach to Requirements-Based Programming

No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.

Hinchey, Michael G.↗

DOE OSTI2019

Managing code transformations for better performance portability

Code optimization is an intricate task that is getting more complex as computing systems evolve. Managing the program optimization process, including the implementation and evaluation of code variants, is tedious, inefficient, and errors are likely to be introduced in the process. Moreover, because each platform typically requires a different sequence of transformations to fully harness its computing power, the optimization process complexity grows as new platforms are adopted. To address these issues, systems and frameworks have been proposed to automate the code optimization process. They, however, have not been widely adopted and are primarily used by experts with deep knowledge about underlying architecture and compiler intricacies. This article describes the requirements that we believe necessary for making automatic performance tuning more broadly used, especially in complex, long-lived high-performance computing applications. Besides discussing limitations of current systems and strategies to overcome these, we describe the design of a system that is able to semi-automatically generate efficient platform-specific code. In the proposed system, the code optimization is programmer-guided, separately from application code, on an external file in what we call optimization programming. The language to program the optimization process is able to represent complex collections of transformations and, as a result, generate efficient platform-specific code. A database manages different optimized versions of code regions, providing a pragmatic approach to performance portability, and the framework itself has separate components, allowing the optimized code to be used on systems without installing all of the modules required for the code generation. We present experiments on two different platforms to illustrate the generation of efficient platform-specific code that performs comparable to hand-optimized, vendor-provided code.

Computer Science↗

NASA NTRS1972

Image Display and Manipulation System (IDAMS) program documentation, Appendixes A-D

The IDAMS Processor is a package of task routines and support software that performs convolution filtering, image expansion, fast Fourier transformation, and other operations on a digital image tape. A unique task control card for that program, together with any necessary parameter cards, selects each processing technique to be applied to the input image. A variable number of tasks can be selected for execution by including the proper task and parameter cards in the input deck. An executive maintains control of the run; it initiates execution of each task in turn and handles any necessary error processing.

Cecil, R. W.↗

DOE OSTI2023

Differentiable Quantum Programming with Unbounded Loops

The emergence of variational quantum applications has led to the development of automatic differentiation techniques in quantum computing. Existing work has formulated differentiable quantum programming with bounded loops, providing a framework for scalable gradient calculation by quantum means for training quantum variational applications. However, promising parameterized quantum applications, e.g., quantum walk and unitary implementation, cannot be trained in the existing framework due to the natural involvement of unbounded loops. To fill in the gap, we provide the first differentiable quantum programming framework with unbounded loops, including a newly designed differentiation rule, code transformation, and their correctness proof. Technically, we introduce a randomized estimator for derivatives to deal with the infinite sum in the differentiation of unbounded loops, whose applicability in classical and probabilistic programming is also discussed. We implement our framework with Python and Q# and demonstrate a reasonable sample efficiency. Through extensive case studies, we showcase an exciting application of our framework in automatically identifying close-to-optimal parameters for several parameterized quantum applications.

Computer Science↗

NASA NTRS2001

A Software Architecture for Intelligent Synthesis Environments

The NASA's Intelligent Synthesis Environment (ISE) program is a grand attempt to develop a system to transform the way complex artifacts are engineered. This paper discusses a "middleware" architecture for enabling the development of ISE. Desirable elements of such an Intelligent Synthesis Architecture (ISA) include remote invocation; plug-and-play applications; scripting of applications; management of design artifacts, tools, and artifact and tool attributes; common system services; system management; and systematic enforcement of policies. This paper argues that the ISA extend conventional distributed object technology (DOT) such as CORBA and Product Data Managers with flexible repositories of product and tool annotations and "plug-and-play" mechanisms for inserting "ility" or orthogonal concerns into the system. I describe the Object Infrastructure Framework, an Aspect Oriented Programming (AOP) environment for developing distributed systems that provides utility insertion and enables consistent annotation maintenance. This technology can be used to enforce policies such as maintaining the annotations of artifacts, particularly the provenance and access control rules of artifacts-, performing automatic datatype transformations between representations; supplying alternative servers of the same service; reporting on the status of jobs and the system; conveying privileges throughout an application; supporting long-lived transactions; maintaining version consistency; and providing software redundancy and mobility.

Filman, Robert E.↗

DOE OSTI2022

The Future of Building Science Education with the U.S. Department of Energy Solar Decathlon: Preprint

Experience the future of Building Science Education with the U.S. Department of Energy Solar Decathlon, from community-focused designs to real-life innovative zero energy buildings constructed by students. In this paper, we will introduce the Solar Decathlon programs and a reimagined Building Science Education curriculum that is transforming education to inspire future building design professionals and bring sustainable, equitable design and construction strategies to the real world. The Solar Decathlon is a collegiate-level building design competition that challenges students in 10 Contests, from embodied environmental impact to affordability and resilience. We will cover the structure of the competition and its two Challenges - the Build Challenge and the Design Challenge - as well as additional programs that impact all aspects of the buildings industry. These programs include the Solar Decathlon Building Science Education course, a free online video series that provides students and working professionals with building science fundamentals; the Design Partners Program, which connects innovative student design teams and local building owners seeking low-risk, low-cost opportunities to incorporate sustainable design alternatives into their building portfolio; and Solar Decathlon Pro, a program piloted in 2021 that brings Solar Decathlon resources to design professionals. The Solar Decathlon's effective approach to bringing real-world solutions to building science empowers future professionals to do impactful work.

buildings↗

NASA NTRS1985

Front-End Program for SYSGEN

SYSGEN, Power Generation System Production costing and Reliability Analysis program, simulates production costs and reliability of electric utility with and without time-dependent generating units. FEPS transforms inputs into proper formats, builds data files and adds Job Control Language necessary to running SYSGEN program.

Carlson, C. R.↗

DOE OSTI2023

A Review of Sociotechnical Approaches for Nuclear Power Plant Modernization

The current United States nuclear power plant fleet is in need of transforming the way work is performed to remain competitive with other electricity-generating sources. The use of new digital technologies can be applied to significantly reduce operating and maintenance costs. Recent research by the United States Department of Energy Light Water Reactor Sustainability Program has identified new opportunities to leverage advanced digital technologies to transform the way work is performed at existing plants. However, to ensure that the capabilities of people and advanced digital technologies are jointly optimized, a sociotechnical approach should be considered. This work explores recently introduced sociotechnical approaches to address the function allocation and data visualization considerations in the integration of new digital technologies to ensure safety, reliability, and maximizing the capabilities of proposed technological solutions that ensure the economic viability of the existing United States nuclear power plant fleet.

99 GENERAL AND MISCELLANEOUS↗

DOE OSTI2020

South Africa’s Appliance Energy Efficiency Standards and Labeling Program

Electricity consumption in South Africa comes with a hefty environmental cost to the society. For every kilowatt-hour (kWh) produced, 1 kilogram (kg) of carbon dioxide (CO 2 ) is emitted, 1.4 liters of water are used, and 0.37 grams of particulate emissions are released in the atmosphere. These environmental implications result from the large share of electricity produced from coal (91 percent in 2015). While planned new capacity will ramp up renewable energy, the integrated resource plan for the country still projects the share of col to be 64 percent in 2030. Energy savings provide environmental benefits as well as economic benefits. Energy efficiency standards and labeling (S&L) programs are a policy measure proven to save energy. Such programs have been implemented in many countries to remove inefficient technologies and transform markets to more efficient technologies. In this study, we describe the methodology, assumptions and results of a stock turnover modeling tool that estimates the energy savings achievable by South Africa’s S&L program in the residential sector. We show that if regulations are passed in 2020 and effective in 2021 for 10 major end-use adopting international standards best practices, 6 terawatt-hours (TWh) will be saved in 2030 and 9.5 TWh will be saved in 2040, representing a CO 2 mitigation of 3.7 megatonnes (Mt) in 2030 and 5.8 Mt in 2040, which will contribute to the South African government’s international engagement in fighting against climate change through its National Determined Contribution (NDC). Additional environmental benefits include saving of 6.5 billion liters of water in 2030, representing approximately 100 liters per capita in 2030. Air quality will also improve, as 4 kilotons (kt) of particulate emissions will be avoided, as well as 4.3 Mt of sulfur oxides (SOx) and 23 kt of nitrogen oxides (NOx) in 2030.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2017

Aerobic oxidation of alcohols over Ru-Mn-Ce and Ru-Co-Ce catalysts: The effect of calcination temperature

We report two ternary mixed oxides, Ru-Mn-Ce and Ru-Co-Ce, were prepared by a co-precipitation method and used in the aerobic oxidation of alcohols to corresponding aldehydes (ketones). Interestingly, different catalytic results were obtained when these compounds were calcined. The calcination temperature had an adverse effect on the catalytic performance of Ru-Mn-Ce catalysts, while being beneficial to the Ru-Co-Ce catalysts. To illustrate these effects, these materials were characterized using X-ray diffraction (XRD), Fourier transformed infrared spectroscopy (FT-IR), X-ray photoelectron spectroscopy (XPS), Temperature-programmed reduction (TPR), Electron paramagnetic resonance (EPR) and other techniques. The data showed that ruthenium oxides were uniformly dispersed in the mixed oxides, and phase transformations occur after calcination. Mn 3 O 4 was transformed to MnO 2 for the Ru-Mn-Ce catalyst, while CoO(OH) was transformed to Co 3 O 4 in the Ru-Co-Ce catalyst. The interactions between ruthenium oxides and Co (Mn)-Ce mixed oxides of the former strengthened while the latter weakened. Calcination decreased the content of adsorbed oxygen and restricted oxygen transfer mechanism in the manganese system, while the opposite effect was observed with the cobalt-containing catalyst. Under optimal reaction conditions, various kinds of alcohols were transformed to corresponding aldehydes (ketones) in high yields over the Ru-Mn-Ce catalyst suggesting these ternary oxides are environmental friendly and economical catalytic systems.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2024

HHL algorithm with mapping function and enhanced sampling for model predictive control in microgrids

Here, this paper presents a refined quantum Harrow Hassidim Lloyd (HHL) algorithm for microgrid control. The first novelty of the developed method is that a mapping shift function enables the original HHL algorithm to handle general linear equations with non-singular and indefinite matrix. Second, a method of Matrix Extension for Amplifying Sampling Probabilities of Intended Solution (ME-ASPI) is proposed to design the reformulated linear algebraic equations, allowing for improved sampling efficiency of the quantum tomography in the refined HHL algorithm. Then, we applied the method to solve the model predictive control (MPC) problem in nonlinear dynamical microgrids. Specifically, with the ME-ASPI method, the refined HHL algorithm can effectively obtain the intended partial optimal control inputs for MPC. The optimization of quadratic programming problem in each time step of MPC is transformed into a linear system problem, which is addressed by the proposed quantum solver through using only partial information, with the time complexity improved from $\mathscr{O}(\mathscr{N}^{2.37286})$ classically to $\mathscr{O}(\mathscr{N}^{2} log \mathscr{N}$ x $p$ log $p)$ in quantum. Numerical examples have validated the effectiveness of the refined HHL algorithm with the proposed mapping function and the ME-ASPI method. By leveraging quantum properties, the proposed method provides a hybrid quantum–classical framework for microgrid control. This generic method can also potentially tackle many other challenges in analyzing and controlling general complex engineered systems.

24 POWER TRANSMISSION AND DISTRIBUTION↗

DOE OSTI2023

Surface Basic Site Effect on Boron-Promoted Platinum Catalysts for Dry Reforming of Methane

Platinum has been shown to be an active catalyst for the dry reforming of methane (DRM), which converts CO 2 and CH 4 into 2CO and 2H 2 (synthesis gases) that can further be processed to produce valuable chemical feedstocks. Catalytic activity is often improved by the addition of promoter atoms, which are typically transition metals or noble metals, such as PtNi and PtSn. Recently, boron has shown to be an effective and low-cost catalyst promoter. Pt/B/SiO 2 catalysts were prepared for DRM catalysis and compared with Pt/SiO 2 catalysts without boron promotion. Both catalysts had similar surface concentrations of platinum, but the catalytic activity at 750 °C after 14 h for boron-containing catalyst was very high, resulting in nearly 100% CO 2 conversion and a H 2 /CO ratio close to unity, compared to 12% CO 2 conversion and H 2 /CO of 0.35 for boron-free Pt/SiO 2 . The catalysts were investigated with X-ray absorption spectroscopy (XAS), transmission electron microscopy (TEM), X-ray photoelectron spectroscopy (XPS), Fourier-transform infrared spectroscopy (FTIR), and CO 2 temperature-programmed desorption (CO 2 -TPD) to identify the deactivating factors. It was determined that neither platinum nanoparticle sintering nor coking was a significant factor in catalyst deactivation; instead, boron had an effect on the reactive surface groups on the SiO 2 support. Finally, these surface groups, such as hydroxyls and surface basic sites, enhance the adsorption of CO 2 and potentially stabilize intermediate carbonate species, resulting in a high CO 2 conversion for boron-promoted platinum catalysts.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2024

Bond Selective Photochemistry at Metal Nanoparticle Surfaces: CO Desorption from Pt and Pd

The use of visible photon fluxes to influence catalytic reactions on metal nanoparticle surfaces has attracted attention based on observations of reaction mechanisms and selectivity not observed under equilibrium heating. These observations suggest that photon fluxes can selectively impact the rates of certain elementary steps, creating nonequilibrium energy distributions among various reaction pathways. However, quantitative studies validating these hypotheses on metal nanoparticle surfaces are lacking. Here, we examine the influence of continuous wave visible photon fluxes on the CO desorption rates from 1 to 2 nm diameter Pt and Pd nanoparticle surfaces supported on γ-Al 2 O 3 . Temperature-programmed desorption measurements quantified via diffuse reflectance infrared Fourier transform spectroscopy demonstrate that visible photon fluxes significantly enhanced the rate of CO desorption from Pt nanoparticles in a wavelength-dependent manner. 440 nm photons most efficiently promoted CO desorption from Pt nanoparticle surfaces, aligning with the excitation energy for the interfacial electronic transition within the Pt–CO bond. Conversely, visible photon fluxes had no measurable influence on CO desorption rates from Pd nanoparticle surfaces after accounting for photon-induced heating. Density functional theory calculations demonstrate that the Pt–CO bond exhibits a narrower LUMO resonance, stronger coupling between the photoexcitation and forces induced on the metal–C bond, and vibrational energy dissipation that more effectively couples to desorption as compared to Pd–CO. These results demonstrate the specificity photons provide in facilitating chemical reactions on metal nanoparticle surfaces and substantiate the idea that photon fluxes can steer processes and outcomes of catalytic reactions in ways not achievable by equilibrium heating.

desorption↗

DOE OSTI2021

DOE National Laboratories: Vital to U.S. science and technology [Slides]

DOE has extremely challenging and diverse missions, each born out of national need. The national labs serve as the science and technology engine for DOE missions. Each Lab stewards distinctive capabilities which DOE leverages through networks of labs address core missions, dynamic programs and rapid response needs. National lab networks have transformative impact.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

NASA NTRS1971

Layered recognition networks that pre-process, classify, and describe

A brief overview is presented of six types of pattern recognition programs that: (1) preprocess, then characterize; (2) preprocess and characterize together; (3) preprocess and characterize into a recognition cone; (4) describe as well as name; (5) compose interrelated descriptions; and (6) converse. A computer program (of types 3 through 6) is presented that transforms and characterizes the input scene through the successive layers of a recognition cone, and then engages in a stylized conversation to describe the scene.

Uhr, L.↗