Results for “hierarchical system development” — Page 9

NASA NTRS2024

SUbsonic Single Aft eNgine (SUSAN) Power/Propulsion System Control Architecture Updates

The development of hybrid-electric propulsion technology for commercial transport aircraft presents opportunities for new designs that can reduce fuel consumption and greenhouse gas emissions and improve safety and reliability compared to modern aircraft. The SUbsonic Single Aft eNgine (SUSAN) Electrofan is a conceptual design for a transport aircraft with a series/parallel partial hybrid-electric propulsion system being developed by NASA as a reference design for a regional transport aircraft with a high degree of electrification. The SUSAN concept incorporates multiple tightly coupled power, propulsion, and flight control systems that introduce new challenges to the control design process, requiring a hierarchical and more coordinated control approach. This report summarizes updates to the SUSAN power/propulsion system (PPS) model and control architecture made in preparation for planned flight simulator and hardware-in-the-loop testing at the NASA Glenn Research Center. These updates include a new electrical power system model developed using the NASA-developed Electrical Modeling and Thermal Analysis Toolbox (EMTAT) and a new PPS control architecture that improves the operational flexibility and responsiveness of the propulsion system. The performance of the updated controller is demonstrated and discussed.

SUSAN↗

DOE OSTI2022

Decentralized Distribution System Restoration with Grid-Forming/Following Inverter-Based Resources

The high penetration of distributed energy resources (DERs) in active distribution systems has posed challenges to the centralized distribution system restoration (DSR) strategies in current practice. On the other hand, the advancement in smart inverter technologies enables the bottom-up restoration capability. This paper is motivated to develop a 3-layered hierarchical framework for decentralized DSR, based on the grid-forming (GFM) and grid-following (GFL) grid-edge inverters. The first layer presents the tertiary control, which determines the load pickup schedule and generation dispatch of DERs, using the alternating direction method of the multipliers algorithm. The second layer consists of two control functions: GFM control, which regulates voltage and frequency, establishing a stable grid for GFL inverters to follow; and GFL control, which regulates the real and reactive power. In the third layer, the primary control is proposed to regulate the inverter voltage and current, which is developed based on the virtual oscillator control (VOC). Furthermore, the developed framework is tested in the modified IEEE 13-node test feeder. Two scenarios of grid-connected and islanded operating modes are designed, and simulation results demonstrate the effectiveness of decentralized DSR strategies for controlling grid-edge inverters to enhance the distribution system resilience.

24 POWER TRANSMISSION AND DISTRIBUTION↗

NASA NTRS1989

Formal verification of a fault tolerant clock synchronization algorithm

A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system.

Rushby, John↗

NASA NTRS1992

Human life support during interplanetary travel and domicile. V - Mars expedition technology trade study for solid waste management

A model has been developed for NASA to quantitatively compare and select life support systems and technology options. The model consists of a modular, top-down hierarchical breakdown of the life support system into subsystems, and further breakdown of subsystems into functional elements representing individual processing technologies. This paper includes the technology trades for a Mars mission, using solid waste treatment technologies to recover water from selected liquid and solid waste streams. Technologies include freeze drying, thermal drying, wet oxidation, combustion, and supercritical-water oxidation. The use of these technologies does not have any significant advantages with respect to weight; however, significant power penalties are incurred. A benefit is the ability to convert hazardous waste into a useful resource, namely water.

Ferrall, Joe↗

NASA NTRS2009

TRMM .25 deg x .25 deg Gridded Precipitation Text Product

Since the launch of the Tropical Rainfall Measuring Mission (TRMM), the Precipitation Measurement Missions science team has endeavored to provide TRMM precipitation retrievals in a variety of formats that are more easily usable by the broad science community than the standard Hierarchical Data Format (HDF) in which TRMM data is produced and archived. At the request of users, the Precipitation Processing System (PPS) has developed a .25 x .25 gridded product in an easily used ASCII text format. The entire TRMM mission data has been made available in this format. The paper provides the details of this new precipitation product that is designated with the TRMM designator 3G68.25. The format is packaged into daily files. It provides hourly precipitation information from the TRMM microwave imager (TMI), precipitation radar (PR), and TMI/PR combined rain retrievals. A major advantage of this approach is the inclusion only of rain data, compression when a particular grid has no rain from the PR or combined, and its direct ASCII text format. For those interested only in rain retrievals and whether rain is convection or stratiform, these products provide a huge reduction in the data volume inherent in the standard TRMM products. This paper provides examples of the 3G68 data products and their uses. It also provides information about C tools that can be used to aggregate daily files into larger time samples. In addition, it describes the possibilities inherent in the spatial sampling which allows resampling into coarser spatial sampling. The paper concludes with information about downloading the gridded text data products.

Stocker, Erich↗

NASA NTRS2023

Procedure Automation Rating Matrix

The National Aeronautics and Space Administration (NASA) Advanced Air Mobility (AAM) National Campaign (NC) is researching the means by which future Urban Air Mobility (UAM) aircraft will operate safely in an integrated and scalable airspace architecture. Consistent with this objective, the NASA NC Airspace Procedures team designed a matrix to evaluate UAM instrument flight procedure design, flyability and interoperability of candidate departure, enroute, and approach architectures in live flight or simulation. The Procedure Automation Rating Matrix (PARM) is a multi-dimensional rating scale designed to provide direct feedback from test pilots and operators to airspace procedure designers developing airspace constructs for the integration and scalability of AAM operations in the National Airspace System (NAS). The PARM is assessed using a hierarchical decision tree that guides the operator through a ten-point alpha-numeric rating scale initiated either with or without the use of automation.

National Campaign↗

DOE OSTI2023

Counter Unmanned Aircraft System Metrics Tool

SAND2023-05387O The Counter Unmanned Aircraft System (CUAS) Metrics Tool consists of three applications: • The Data Collection Tool is designed to be used during testing and captures details that can be imported into the Figure Creator application. • The Unmanned Aircraft System (UAS) Log Converter converts different UAS logs into a standardized hierarchical data format with a timeline of geospatial data. • The Figure Creator develops relevant images for the test event. The application includes logic to ingest and correlate data from the Data Collection Tool and the UAS Log Converter to produce the chosen figures. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Mayle, Ashley↗

NASA NTRS1991

Applications of an automated programming system

A Computer-Aided Software Engineering (CASE) system has been developed at the Charles Stark Draper Laboratory (CSDL) under the direction of the NASA Langley Research Center. The Automated Programming Subsystem is the core of the CSDL CASE system. The Automated Programming Subsystem allows an engineer to describe software specifications as hierarchical engineering block diagrams, a natural design technique for the specification of real-time software. The objective of the Automated Programming Subsystem is to capture completely and consistently both logical and schematic information as diagrams are developed, and then to automatically transform this information into source code (Ada or C) and documentation. The Automated Programming Subsystem of CSDL CASE has been used on many applications, from small to moderate size. Six of these applications are described in this paper.

Walker, Carrie K.↗

DOE OSTI2020

ExaHDF5: Delivering Efficient Parallel I/O on Exascale Computing Systems

Scientific applications at exascale generate and analyze massive amounts of data. A critical requirement of these applications is the capability to access and manage this data efficiently on exascale systems. As such, parallel I/O, the key technology enables moving data between compute nodes and storage, faces monumental challenges from new applications, memory, and storage architectures considered in the designs of exascale systems. As the storage hierarchy is expanding to include node-local persistent memory, burst buffers, etc., as well as disk-based storage, data movement among these layers must be efficient. Parallel I/O libraries of the future should be capable of handling file sizes of many terabytes and beyond. In this paper, we describe new capabilities we have developed in Hierarchical Data Format version 5 (HDF5), the most popular parallel I/O library for scientific applications. HDF5 is one of the most used libraries at the leadership computing facilities for performing parallel I/O on existing HPC systems. The state-of-the-art features we describe include: Virtual Object Layer (VOL), Data Elevator, asynchronous I/O, full-featured single-writer and multiple-reader (Full SWMR), and parallel querying. In this paper, we introduce these features, their implementations, and the performance and feature benefits to applications and other libraries.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

LANL Contributions to pyiron: An integrated development environment for computational materials science

To support and accelerate the development of simulation protocols in atomistic modelling, we introduce an integrated development environment (IDE) for computational materials science called pyiron (http://pyiron.org). The pyiron IDE combines a web based source code editor, a job management system for build automation, and a hierarchical data management solution. The core components of the pyiron IDE are pyiron objects based on an abstract class, which links application structures such as atomistic structures, projects, jobs, simulation protocols and computing resources with persistent storage and an interactive user environment. The simulation protocols within the pyiron IDE are constructed using the Python programming language. To highlight key concepts of this tool as well as to demonstrate its ability to simplify the implementation and testing of simulation protocols we discuss two applications. In these examples we show how pyiron supports the whole life cycle of a typical simulation, seamlessly combines ab initio with empirical potential calculations, and how complex feedback loops can be implemented. While originally developed with focus on ab initio thermodynamics simulations, the concepts and implementation of pyiron are general thus allowing to employ it for a wide range of simulation topics.

Janssen, Jan↗

DOE OSTI2020

A Comprehensive System of Energy Intensity Indicators for the U.S.: Methods, Data and Key Trends

This report describes a comprehensive system of energy intensity indicators for the United States that has been developed for the Department of Energy’s Office of Energy Efficiency and Renewable Energy (EERE) over the past decade. This system of indicators is hierarchical in nature, beginning with detailed indexes of energy intensity for various sectors of the economy, which are ultimately aggregated to an overall energy intensity index for the economy as a whole. The aggregation of energy intensity indexes to higher levels in the hierarchy is performed with a version of the Log Mean Divisia index (LMDI) method. Based upon the data and methods in the system of indicators, the economy-wide energy intensity index shows a decline of about 16% in 2014 relative to a 1985 base year. Discussion of energy intensity indicators for each of the broad end-use sectors of the economy—residential, commercial, industrial, and transportation—is presented in the report. An analysis of recent changes in the efficiency of electricity generation in the U.S. is also included. A detailed appendix describes the data sources and methodology behind the energy intensity indicators for each sector.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

DOE OSTI2020

A Comprehensive System of Energy Intensity Indicators for the U.S.: Methods, Data and Key Trends

This report describes a comprehensive system of energy intensity indicators for the United States that has been developed for the Department of Energy’s Office of Energy Efficiency and Renewable Energy (EERE) over the past decade. This system of indicators is hierarchical in nature, beginning with detailed indexes of energy intensity for various sectors of the economy, which are ultimately aggregated to an overall energy intensity index for the economy as a whole. The aggregation of energy intensity indexes to higher levels in the hierarchy is performed with a version of the Log Mean Divisia index (LMDI) method. Based upon the data and methods in the system of indicators, the economy-wide energy intensity index shows a decline of about 16% in 2014 relative to a 1985 base year. Discussion of energy intensity indicators for each of the broad end-use sectors of the economy—residential, commercial, industrial, and transportation—is presented in the report. An analysis of recent changes in the efficiency of electricity generation in the U.S. is also included. A detailed appendix describes the data sources and methodology behind the energy intensity indicators for each sector.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

NASA NTRS1987

Advanced techniques for the storage and use of very large, heterogeneous spatial databases. The representation of geographic knowledge: Toward a universal framework

A new approach to building geographic data models that is based on the fundamental characteristics of the data is presented. An overall theoretical framework for representing geographic data is proposed. An example of utilizing this framework in a Geographic Information System (GIS) context by combining artificial intelligence techniques with recent developments in spatial data processing techniques is given. Elements of data representation discussed include hierarchical structure, separation of locational and conceptual views, and the ability to store knowledge at variable levels of completeness and precision.

Peuquet, Donna J.↗

NASA NTRS2024

SUbsonic Single Aft eNgine (SUSAN) Power/Propulsion System Control Architecture Updates

The development of hybrid-electric propulsion technology for transport aircraft presents opportunities for new designs that can reduce fuel consumption and greenhouse gas emissions from commercial aviation and improve on safety and reliability when compared to modern aircraft. The SUbsonic Single Aft eNgine (SUSAN) Electrofan is a conceptual design for a transport aircraft with a series/parallel partial hybrid-electric propulsion system that is being developed by NASA as a reference design for a regional transport aircraft with a high degree of electrification. The SUSAN concept incorporates multiple tightly coupled power, propulsion, and flight control systems that introduce new challenges to the control design process, requiring a hierarchical and more coordinated control architecture. This paper summarizes updates to the SUSAN Power/Propulsion System (PPS) model and control architecture made in preparation for planned flight simulator and hardware-in-the-loop testing at NASA Glenn Research Center (GRC). These updates include a new electrical power system (EPS) model based on the NASA-developed Electrical Modeling and Thermal Analysis Toolbox (EMTAT), and a new PPS control architecture that improves the operational flexibility and responsiveness of the propulsion system. The performance of the upgraded control system is also demonstrated and discussed.

SUSAN↗

NASA NTRS2024

SUbsonic Single Aft eNgine (SUSAN) Power/Propulsion System Control Architecture Updates

The development of hybrid-electric propulsion technology for transport aircraft presents opportunities for new designs that can reduce fuel consumption and greenhouse gas emissions from commercial aviation and improve on safety and reliability when compared to modern aircraft. The SUbsonic Single Aft eNgine (SUSAN) Electrofan is a conceptual design for a transport aircraft with a series/parallel partial hybrid-electric propulsion system that is being developed by NASA as a reference design for a regional transport aircraft with a high degree of electrification. The SUSAN concept incorporates multiple tightly coupled power, propulsion, and flight control systems that introduce new challenges to the control design process, requiring a hierarchical and more coordinated control architecture. This paper summarizes updates to the SUSAN Power/Propulsion System (PPS) model and control architecture made in preparation for planned flight simulator and hardware-in-the-loop testing at NASA Glenn Research Center (GRC). These updates include a new electrical power system (EPS) model based on the NASA-developed Electrical Modeling and Thermal Analysis Toolbox (EMTAT), and a new PPS control architecture that improves the operational flexibility and responsiveness of the propulsion system. The performance of the upgraded control system is also demonstrated and discussed.

SUSAN↗

NASA NTRS1995

Introduction to Penelope

A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.

Guaspari, David↗

DOE OSTI2019

Characterizing the length-dependence of DNA nanotube end-to-end joining rates

DNA nanotechnology provides a route towards the synthesis of custom nano-structured materials and circuits through hierarchical assembly processes. Although predictive kinetic models are being developed for the assembly of DNA nanostructures from small monomeric components, a general model for the hierarchical assembly of DNA nanostructures remains elusive. DNA tile nanotubes provide an ideal model system for the study of hierarchical assembly via end-to-end joining. In this study, we experimentally characterize the length-dependence of the end-to-end joining rate of DNA tile nanotubes. We then test the ability of three different models of polymer end-to-end joining to reproduce experimentally measured changes in nanotube lengths during a joining reaction using an ODE model for nanotube joining. All three models predict physically realistic joining rates that are consistent with prior measurements, with a length-independent end-to-end joining rate model providing the best fit to the experimental data. A length-independent constant joining rate is consistent with other DNA self-assembly processes across a broad range of length scales and also suggests how tractable models for hierarchical DNA nanostructure could be developed.

59 BASIC BIOLOGICAL SCIENCES↗

NASA NTRS1986

Queueing Network Models for Parallel Processing of Task Systems: an Operational Approach

Computer performance modeling of possibly complex computations running on highly concurrent systems is considered. Earlier works in this area either dealt with a very simple program structure or resulted in methods with exponential complexity. An efficient procedure is developed to compute the performance measures for series-parallel-reducible task systems using queueing network models. The procedure is based on the concept of hierarchical decomposition and a new operational approach. Numerical results for three test cases are presented and compared to those of simulations.

Mak, Victor W. K.↗