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 973 records · Page 54

All sources NASA NTRS DOE OSTI

DOE OSTI2018

Mean-Variance Optimization-Based Energy Storage Scheduling Considering Day-Ahead and Real-Time LMP Uncertainties

In this letter, a new mean-variance optimization-based energy storage scheduling method is proposed with the consideration of both day-ahead (DA) and real-time (RT) energy markets price uncertainties. It considers the locational marginal price (LMP) forecast uncertainties in the DA and RT markets. The energy storage arbitrage risk associated with the LMP forecast uncertainty is explicitly modeled through the variance component in the objective function. The quadratic term of this variance is transformed into a second-order cone constraint using the charging and discharging power complementarity of the energy storage system. Finally, the proposed model is formulated as a mixed-integer conic programming problem. Numerical case studies demonstrate the effectiveness of the proposed model for energy storage scheduling considering price uncertainty.

25 ENERGY STORAGE↗

DOE OSTI2018

FLPR: The Fortran Language Program Remodeling system

The Fortran Language Program Remodeling system (FLPR) is a C++ library designed to manipulate Fortran language source code files. A client can use FLPR to rapidly develop utilities that perform application-specific source code transformations. Examples of transformations are varied, ranging from simple tasks such as reformatting source code, to complex transformations that implement application-specific extensions to the Fortran language. Two unique features of FLPR are that it allows the client to extend the language that it recognizes, and that it allows the client to manipulate all of the text in a source code file, including formatting and comments.

henning, Robert↗

DOE OSTI2024

Modular Subsurface Sensors and Integrated Software for Advanced Subsurface Characterization and Monitoring using Unoccupied Vehicles

The advent and subsequent proliferation of autonomous airborne, waterborne, and groundbased vehicles (i.e., “drones”) promises to broadly transform the geosciences and associated industries, including fossil energy exploration and development, mineral resource exploration and development, water-resource management, and environmental remediation. For geophysical characterization and monitoring, the prospect of programming highly repeatable and low-cost drone missions for subsurface imaging will allow for deployments in hazardous and previously inaccessible areas. Coupled with autonomous workflows for data processing, management, and visualization, drone-based geophysical characterization and monitoring will enable unprecedented, real-time insight into diverse subsurface properties and processes of scientific and engineering importance. Toward this end, the objectives of this Lab Directed Research and Development (LDRD) project were to develop new (1) instrumentation for dronebased electromagnetic induction (EMI) geophysical imaging, including separated transmitter and receivers and associated electronics, (2) software for real-time data telemetry, processing, management, and visualization. Although EMI has been previously deployed using unoccupied aerial systems (UASs), these applications failed to capitalize on the game-changing capabilities of drone platforms. Whereas drone-based data acquisition allows for collection of rich, three-dimensional (3D) multi-offset/multi-angle configurations between transmitters and receivers, past efforts have relied on conventional instrumentation that was designed for ground-based data collection with the transmitter and a single receiver housed in the same unit; nor did these previous applications demonstrate real-time delivery of results to support rapid management decisions in the field. In this 1-year project, we (1) designed and constructed new lightweight independent transmitter and receiver antenna platforms that communicate with a laptop computer; (2) developed software to control data acquisition, manage/transfer data, and visualize data as its collected; and (3) demonstrated the operation of the new hardware and software systems in a ground-based field test. Our work entails major technological advances for EMI and established a foundation on which to build a new drone-based, real-time geophysical EMI imaging capability to support diverse challenges facing the nation.

47 OTHER INSTRUMENTATION↗

NASA NTRS1974

Program for the analysis of time series

A digital computer program for the Fourier analysis of discrete time data is described. The program was designed to handle multiple channels of digitized data on general purpose computer systems. It is written, primarily, in a version of FORTRAN 2 currently in use on CDC 6000 series computers. Some small portions are written in CDC COMPASS, an assembler level code. However, functional descriptions of these portions are provided so that the program may be adapted for use on any facility possessing a FORTRAN compiler and random-access capability. Properly formatted digital data are windowed and analyzed by means of a fast Fourier transform algorithm to generate the following functions: (1) auto and/or cross power spectra, (2) autocorrelations and/or cross correlations, (3) Fourier coefficients, (4) coherence functions, (5) transfer functions, and (6) histograms.

Brown, T. J.↗

NASA NTRS1973

A semi-automated system for plotting and computer cataloging of remote sensing imagery

Description of a computer-assisted system for plotting and descriptor-cataloging of aerial imagery - an ingredient of the aerial image data handling system of the NASA Earth Resources Aircraft Project (ERAP). The system under consideration uses two graphic tablets linked interactively with a digital computer as input devices for deriving frame coordinates by correlating image points to map points. The various software programs and operating modes facilitate a semiautomatic plotting of an image by selecting two or more points within the image for matching with map details. The computer performs the scaling and orientation transformations for the calculation of the center and corner coordinates of the frame. Twenty five other descriptors for each frame are fed into a computerized data base requiring a minimum operator's time for verification and correction.

Gnauck, G. E.↗

NASA NTRS1985

Secondary pattern computation of an offset reflector antenna

Reflector antennas are widely used in communications satellite systems because they provide high gain at low cost. In analyzing reflector antennas the computation of the secondary pattern is the main concern. A computer program for calculating the secondary pattern of an offset reflector has been developed and implemented at the NASA Lewis Research Center. The theoretical foundation for this program is based on the use of geometrical optics to describe the fields from the feed to the reflector surface and to the aperture plane. The resulting aperture field distribution is then transformed to the far-field zone by the fast Fourier transform algorithm. Comparing this technique with other well-known techniques (the geometrical theory of diffraction, physical optics (Jacobi-Bessel), etc.) shows good agreement for large (diameter of 100 lambda or greater) reflector antennas.

Acosta, R. J.↗

NASA NTRS1987

Profile modification to minimize spur gear dynamic loading

An analytical computer simulation program for dynamic modeling of low-contact-ratio spur gear systems is presented. The procedure computes the static transmission error of the gears operating under load and uses a fast Fourier transform to generate the frequency spectrum of the static transmission error at various tooth profile modifications. The dynamic loading response of an unmodified (perfect involute) gear pair was compared with that of gears with various profile modifications. Correlations were found between various profile modifications and the resulting dynamic loads. An effective error, obtained from frequency domain analysis of the static transmission error of the gears, gave a very good indication of the optimum profile modification to reduce gear dynamic loading. Design curves generated by dynamic simulation at various profile modifications are given for gear systems operated at various loads. Optimum profile modifications can be determined from these design curves for improved gear design.

Lin, Hsiang Hsi↗

NASA NTRS1989

Simulating Scenes In Outer Space

Multimission Interactive Picture Planner, MIP, computer program for scientifically accurate and fast, three-dimensional animation of scenes in deep space. Versatile, reasonably comprehensive, and portable, and runs on microcomputers. New techniques developed to perform rapidly calculations and transformations necessary to animate scenes in scientifically accurate three-dimensional space. Written in FORTRAN 77 code. Primarily designed to handle Voyager, Galileo, and Space Telescope. Adapted to handle other missions.

Callahan, John D.↗

NASA NTRS1989

Profile modification to minimize spur gear dynamic loading

Lin, H. H.↗

NASA NTRS2015

NASA's Vision for Potential Energy Reduction from Future Generations of Propulsion Technology

Through a robust partnership with the aviation industry, over the past 50 years NASA programs have helped foster advances in propulsion technology that enabled substantial reductions in fuel consumption for commercial transports. Emerging global trends and continuing environmental concerns are creating challenges that will very likely transform the face of aviation over the next 20-40 years. In recognition of this development, NASA Aeronautics has established a set of Research Thrusts that will help define the future direction of the agency's research technology efforts. Two of these thrusts, Ultra-Efficient Commercial Vehicles and Transition to Low-Carbon Propulsion, serve as cornerstones for the Advanced Air Transport Technology (AATT) project. The AATT project is exploring and developing high-payoff technologies and concepts that are key to continued improvement in energy efficiency and environmental compatibility for future generations of fixed-wing, subsonic transports. The AATT project is primarily focused on the N+3 timeframe, or 3 generations from current technology levels. As should be expected, many of the propulsion system architectures technologies envisioned for N+3 vary significantly from todays engines. The use of batteries in a hybrid-electric configuration or deploying multiple fans distributed across the airframe to enable higher bypass ratios are just two examples of potential advances that could enable substantial energy reductions over current propulsion systems.

Airbreathing Propulsion↗

DOE OSTI2020

Plowing Through the Cost Barrier: Zero Energy K-12 Schools for Less: Preprint

There is a perception that zero energy K–12 schools cost more than conventional schools. Zero energy schools provide a number of unique benefits to school districts, students and staff, and communities. Among other things, a zero energy school requires far less energy to operate than a conventional school and uses on-site renewable energy systems to offset that reduced energy load. The money saved on energy can often be used to enhance educational programs. But does the extra value come at a premium? Research findings indicate that not only can zero energy schools be designed and built on conventional school budgets, they can cost less. In an integrated design and construction process, the cost of zero energy measures can be offset by, for example, downsizing heating, ventilating, and air-conditioning systems, reducing both life cycle and first costs. These findings are based on an examination of 88 zero energy or zero energy ready schools across the United States built during the last 15 years. The data collected on these schools include capital costs and the experiences of owners and design teams. The goal was to understand the perceived cost barrier, given that each building was built with a predetermined budget. The results will help future school stakeholders, program administrators, and design teams counter the perceived cost barriers. Successful strategies for achieving zero energy at no initial cost are presented. The lessons learned from existing zero energy schools can help transform the market such that all new schools can be zero energy.

30 DIRECT ENERGY CONVERSION↗

DOE OSTI2023

Complete Evaluation of ION Cost Reduction Opportunities for LWRS Pathways

The Light Water Reactor Sustainability (LWRS) Program, sponsored by the U.S. Department of Energy (DOE), plays a pivotal role in enhancing the sustainability, safety, and economic viability of the nation's fleet of nuclear power plants. This program collaborates extensively with industry, vendors, suppliers, regulatory agencies, and research and development organizations within the nuclear energy sector. The overarching goals of the LWRS program are twofold: to provide innovative science and technology-based solutions to the nuclear industry, surpassing current performance models, and to manage the aging of systems, structures, and components (SSCs) to extend the operational lifetimes of nuclear power plants safely, efficiently, and economically. The program focuses on five research and development pathways: Plant Modernization: This pathway seeks to enhance the economic viability of nuclear power plants in evolving energy markets through innovation, efficiency improvements, and digital transformation. The integration of digital technologies into plant operations is a central theme, aiming to create a seamless digital environment that improves plant economics and safety. Flexible Plant Operation and Generation: Research efforts in this pathway explore opportunities for light-water reactors (LWRs) to directly supply energy to industrial processes, diversifying revenue generation approaches and improving economic sustainability.

42 ENGINEERING↗

NASA NTRS2001

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗

NASA NTRS2010

Model Transformation for a System of Systems Dependability Safety Case

Software plays an increasingly larger role in all aspects of NASA's science missions. This has been extended to the identification, management and control of faults which affect safety-critical functions and by default, the overall success of the mission. Traditionally, the analysis of fault identification, management and control are hardware based. Due to the increasing complexity of system, there has been a corresponding increase in the complexity in fault management software. The NASA Independent Validation & Verification (IV&V) program is creating processes and procedures to identify, and incorporate safety-critical software requirements along with corresponding software faults so that potential hazards may be mitigated. This Specific to Generic ... A Case for Reuse paper describes the phases of a dependability and safety study which identifies a new, process to create a foundation for reusable assets. These assets support the identification and management of specific software faults and, their transformation from specific to generic software faults. This approach also has applications to other systems outside of the NASA environment. This paper addresses how a mission specific dependability and safety case is being transformed to a generic dependability and safety case which can be reused for any type of space mission with an emphasis on software fault conditions.

Murphy, Judy↗

DOE OSTI2022

Guide to the Distributed Energy Resource Risk Management Framework

The emergence of distributed energy resources (DERs) has transformed the electric power sector and will likely have even more profound impacts on the future evolution of the United States energy sector as it modernizes and becomes more reliant upon complex informatics programming and systems to ensure that our power grid remains safe from malicious interference. To mitigate risks associated with the increased and diversified use of DERs, the Distributed Energy Resource Cybersecurity Framework (DER-CF) was developed in 2019. The National Renewable Energy Laboratory extended the scope of the DER-CF to include the RMF. To address the challenges faced by federal energy managers and energy system stakeholders in applying the RMF to DER systems, the Distributed Energy Resource Risk Manager (DER-RM) is a six-step process to proactively manage cybersecurity risk in a methodical manner. The DER-RM is independent of the DER-CF's existing assessment, allowing users to focus specifically on the RMF steps. The tools are targeted to different processes - DER-CF enables organizations to perform self-assessments to improve their cybersecurity posture, while DER-RM assists organizations in achieving compliance with specific requirements. This document provides an overview of the DER-RM. The RMF process outlined in this report serves as a guide to diagnose information and operational system threats, gather required materials to comply with industry standards, and document plans for achieving Authority to Operate. Using the DER-RM, federal agencies and other organizations can easily and intuitively follow the RMF process, manage the risks to their grid-edge infrastructure through the integration of their on-site DERs, and comply with appropriate requirements.

24 POWER TRANSMISSION AND DISTRIBUTION↗

NASA NTRS1982

Experiences with explicit finite-difference schemes for complex fluid dynamics problems on STAR-100 and CYBER-203 computers

Several two- and three-dimensional external and internal flow problems solved on the STAR-100 and CYBER-203 vector processing computers are described. The flow field was described by the full Navier-Stokes equations which were then solved by explicit finite-difference algorithms. Problem results and computer system requirements are presented. Program organization and data base structure for three-dimensional computer codes which will eliminate or improve on page faulting, are discussed. Storage requirements for three-dimensional codes are reduced by calculating transformation metric data in each step. As a result, in-core grid points were increased in number by 50% to 150,000, with a 10% execution time increase. An assessment of current and future machine requirements shows that even on the CYBER-205 computer only a few problems can be solved realistically. Estimates reveal that the present situation is more storage limited than compute rate limited, but advancements in both storage and speed are essential to realistically calculate three-dimensional flow.

Kumar, A.↗

NASA NTRS1985

Engineering calculations for communications satellite systems planning

Computer-based techniques for optimizing communications-satellite orbit and frequency assignments are discussed. A gradient-search code was tested against a BSS scenario derived from the RARC-83 data. Improvement was obtained, but each iteration requires about 50 minutes of IBM-3081 CPU time. Gradient-search experiments on a small FSS test problem, consisting of a single service area served by 8 satellites, showed quickest convergence when the satellites were all initially placed near the center of the available orbital arc with moderate spacing. A transformation technique is proposed for investigating the surface topography of the objective function used in the gradient-search method. A new synthesis approach is based on transforming single-entry interference constraints into corresponding constraints on satellite spacings. These constraints are used with linear objective functions to formulate the co-channel orbital assignment task as a linear-programming (LP) problem or mixed integer programming (MIP) problem. Globally optimal solutions are always found with the MIP problems, but not necessarily with the LP problems. The MIP solutions can be used to evaluate the quality of the LP solutions. The initial results are very encouraging.

Reilly, C. H.↗

NASA NTRS1990

Model checking for linear temporal logic: An efficient implementation

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described. One is based on transforming the model checking problem into a satisfiability problem; the other checks an LTL formula for a finite model by computing the cross-product of the finite state transition graph of the program with a structure containing all possible models for the property. An experiment was done with a set of mutual exclusion algorithms and tested safety and liveness under fairness for these algorithms.

Sherman, Rivi↗