SEARCH · Search NASA
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.
Computer program uses fast-polynomial-transformation (FPT) algorithm applicable to two-dimensional mathematical convolutions. Two-dimensional cyclic convolutions converted to one-dimensional convolutions in polynomial rings. Program decomposes cyclic polynomials into polynomial convolutions of same length. Only FPT's and fast Fourier transforms of same length required. Modular approach saves computional resources. Program written in C.
We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quantified statements about symbolic array segments, such as "every data item stored in the segment A[i] to A[j] is equal to the corresponding item stored in the segment B[i] to B[j]." We define a simple abstract machine which allows for set-valued variables and we show how to translate programs with array operations to array-free code for this machine. For the purpose of program analysis, the translated program remains faithful to the semantics of array manipulation. Based on our implementation in LLVM, we evaluate the approach with respect to its ability to extract useful invariants and the cost in terms of code size.
Not provided.
The purpose of this guide is to provide a resource for state utility regulators, utilities, the evaluation community and regulatory stakeholders on methods to measure energy savings from the ENERGY STAR Retail Products Platform (link is external). The guidelines outlined in this document were developed by evaluation experts.
A program to study the geophysical characteristics of the earth is presented as an integration of the different disciplines that constitute the earth sciences, through the foundation of a generalized geodynamic theory of earth physics. A program is considered for defining the physical constants of the earth's material which parametrize the hydrodynamic equation in the microscopic solid state behavior of the crystals of the lithosphere. In addition, in order to lay the foundation for a generalized theory in earth physics, specific research areas are considered, such as the nature of the kinetics of the phase transitions in mineral assemblages, the equilibrium thermodynamic properties of crystals which are major constituents of mineral assemblages, and the transport properties of pure crystals which are major constituents of mineral assemblages.
A program derivation support system called Focus is being constructed. It will formally derive programs using the paradigm of program transformation. The following issues are discussed: (1) the integration of validation and program derivation activities in the Focus system; (2) its tree-based user interface; (3) the control of search spaces in program derivation; and (4) the structure and organization of program derivation records. The inference procedures of the system are based on the integration of functional and logic programming principles. This brings about a synthesis of paradigms that were heretofore considered far apart, such as logical and executable specifications and constructive and transformational approaches to program derivation. A great emphasis has been placed, in the design of Focus, on achieving small search spaces during program derivation. The program manipulation operations such as expansion, simplification and rewriting were designed with this objective. The role of operations that are expensive in search spaces, such as folding, has been reduced. Program derivations are documented in Focus in a way that the high level descriptions of derivations are expressed only using program level information. All the meta-level information, together with dependencies between derivations of program components, is automatically recorded by the system at a lower level of description for its own use in replay.
Program relieves designer of most of the computational details, while he maintains control over most engineering decisions. Number of specifications that must be supplied by user allows for considerable flexibility and for exercise of engineering judgment. Speed of program makes it possible to run many cases, economically determining effect of various parameter changes.
This paper presents the aspects of language programming transformations that were unknown in the early 1980's.
Estimates of temperature, weight, efficiency, regulation, and final dimensions are included in the output of the computer program for the design of transformers for use in the basic parallel inverter. The program, written in FORTRAN 4, selects a tape wound toroidal magnetic core and, taking temperature, materials, core geometry, skin depth, and ohmic losses into account, chooses the appropriate wire sizes and number of turns for the center tapped primary and single secondary coils. Using the program, 2- and 4-kilovolt-ampere transformers are designed for frequencies from 200 to 3200 Hz and the efficiency of a basic transistor inverter is estimated.
Computer program for finite Fourier transforms
Transformative technologies are enabling the construction of three dimensional (3D) maps of tissues with unprecedented spatial and molecular resolution. Over the next seven years, the NIH Common Fund Human Biomolecular Atlas Program (HuBMAP) aims to develop a widely accessible framework for comprehensively mapping the human body at single-cell resolution by supporting technology development, data acquisition, and detailed spatial mapping. HuBMAP will integrate its efforts with other funding agencies, programs, and the biomedical research community at large towards the shared vision of a comprehensive, accessible 3D molecular and cellular atlas of the human body, in health and various disease settings.
Abstract Controlled synthesis of optical fields having nonuniform polarization distributions presents a challenging task. Here, a universal polarization transformer is demonstrated that can synthesize a large set of arbitrarily‐selected, complex‐valued polarization scattering matrices between the polarization states at different positions within its input and output field‐of‐views (FOVs). This framework comprises 2D arrays of linear polarizers positioned between isotropic diffractive layers, each containing tens of thousands of diffractive features with optimizable transmission coefficients. After its deep learning‐based training, this diffractive polarization transformer can successfully implement N i N o = 10 000 different spatially‐encoded polarization scattering matrices with negligible error, where N i and N o represent the number of pixels in the input and output FOVs, respectively. This universal polarization transformation framework is experimentally validated in the terahertz spectrum by fabricating wire‐grid polarizers and integrating them with 3D‐printed diffractive layers to form a physical polarization transformer. Through this set‐up, an all‐optical polarization permutation operation of spatially‐varying polarization fields is demonstrated, and distinct spatially‐encoded polarization scattering matrices are simultaneously implemented between the input and output FOVs of a compact diffractive processor. This framework opens up new avenues for developing novel devices for universal polarization control and may find applications in, e.g., remote sensing, medical imaging, security, material inspection, and machine vision.
Fast Fourier Transform Spectral Analysis Program is used in frequency spectrum analysis of postflight, space vehicle telemetered trajectory data. This computer program with a digital algorithm can calculate power spectrum rms amplitudes and cross spectrum of sampled parameters at even time increments.
Blocked algorithms have much better properties of data locality and therefore can be much more efficient than ordinary algorithms when a memory hierarchy is involved. On the other hand, they are very difficult to write and to tune for particular machines. The reorganization is considered of nested loops through the use of known program transformations in order to create blocked algorithms automatically. The program transformations used are strip mining, loop interchange, and a variant of loop skewing in which invertible linear transformations (with integer coordinates) of the loop indices are allowed. Some problems are solved concerning the optimal application of these transformations. It is shown, in a very general setting, how to choose a nearly optimal set of transformed indices. It is then shown, in one particular but rather frequently occurring situation, how to choose an optimal set of block sizes.
Shape memory alloys find increasing use in airspace applications. Using theoretical and computational methods, we investigate correlations between the selected properties and composition in doped NiTi-based shape memory alloys. Among the properties we consider relative energies, phase transition temperature, and hysteresis. We compare predictions to experimental data. Our theoretical guidance facilitates design of future alloys. We acknowledge support from the NASA Transformative Aeronautics Concepts Program, Transformational Tools & Technologies (TTT) Project.
Developing secure, resilient, and adaptive energy infrastructure that fosters economic growth while reducing environmental impact is among the most pressing challenges—and greatest opportunities—of our time. It will require the next generation of thought leaders to capably and creatively guide this vital energy sector transition. Through a new interdisciplinary graduate program, Colorado School of Mines (Mines) and the National Renewable Energy Laboratory (NREL) are cultivating the rich opportunity landscape needed to develop these future innovators. The Mines/NREL Advanced Energy Systems (AES) degree program prepares researchers at the doctoral level and energy professionals at the master’s level to address the full complexity of tomorrow's infrastructure, economic, and environmental challenges. The combination of a thriving cleantech market in Colorado, world-class resources and researchers at NREL, and rigorous educational and technical programs at Mines create a truly one-of-a-kind opportunity for advancing fields related to energy systems. These links can uniquely equip top-caliber students to become the scientists and engineers at the forefront of our global energy economy transformation.
Improving the energy efficiency of room air conditioners (RACs) while transitioning to low global-warming-potential (GWP) refrigerants will be a critical step toward reducing the energy, peak load, and emissions impacts of RACs while keeping costs low. Previous research quantified the benefits of leapfrogging to high efficiency in tandem with the transition to low-GWP refrigerants for RACs (Shah et al., 2015) and identified opportunities for initial action to coordinate energy efficiency with refrigerant transition in economies constituting about 65% of the global RAC market (Shah et al., 2017). This report describes further research performed to identify the best-performing (i.e., most efficient and low-GWP-refrigerant using) RACs on the market, to support an understanding of the best available technology (BAT). Understanding BAT can help support market-transformation programs for high-efficiency and low-GWP equipment such as minimum energy performance standards (MEPS), labeling, procurement, and incentive programs. We studied RACs available in six economies—China, Europe, India, Japan, South Korea, and the United States—that together account for about 70% of global RAC demand, as well as other emerging economies. The following are our key findings: • Highly efficient RACs using low-GWP refrigerants, e.g., HFC-32 (R-32) and HC-290 (R-290), are commercially available today at prices comparable to similar RACs using high-GWP HCFC-22 (R-22) or HFC-410A (R-410A). • High efficiency is typically a feature of high-end products. However, highly efficient, cost-competitive (less than 1,000 or 1,500 U.S. dollars in retail price, depending on size) RACs are available. • Where R-22 is being phased out, high GWP R-410A still dominates RAC sales in most mature markets except Japan, where R-32 dominates. • In all of the economies studied except Japan, only a few models are energy efficient and use low-GWP refrigerants. For example, in Europe, India, and Indonesia, the highest-efficiency RAC models employ the low-GWP refrigerants R-32 or R-290. • RACs are available in most regions and worldwide that surpass the highest efficiency levels recognized by labeling programs. • Fixed-speed RACs using high-GWP and ozone-depleting R-22 refrigerant still dominate the market in many emerging economies. There is significant scope to improve RAC efficiency and transition to low-GWP refrigerants using commercially available technology and to design market-transformation programs for high-efficiency, low-GWP equipment including standards, labeling, procurement, and incentive programs.