Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Abstracts”

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 1,117 records · Page 62
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

Parallel computation of manipulator inverse dynamics

In this article, parallel computation of manipulator inverse dynamics is investigated. A hierarchical graph-based mapping approach is devised to analyze the inherent parallelism in the Newton-Euler formulation at several computational levels, and to derive the features of an abstract architecture for exploitation of parallelism. At each level, a parallel algorithm represents the application of a parallel model of computation that transforms the computation into a graph whose structure defines the features of an abstract architecture, i.e., number of processors, communication structure, etc. Data-flow analysis is employed to derive the time lower bound in the computation as well as the sequencing of the abstract architecture. The features of the target architecture are defined by optimization of the abstract architecture to exploit maximum parallelism while minimizing architectural complexity. An architecture is designed and implemented that is capable of efficient exploitation of parallelism at several computational levels. The computation time of the Newton-Euler formulation for a 6-degree-of-freedom (dof) general manipulator is measured as 187 microsec. The increase in computation time for each additional dof is 23 microsec, which leads to a computation time of less than 500 microsec, even for a 12-dof redundant arm.

Fijany, Amir↗
NASA NTRS1993

Acronym dictionary

This reference was originally compiled as a tool for abstracters who need to know the expansion of acronyms they may encounter in the texts they are analyzing. It is a general rule of abstracting at the NASA Center For Aerospace Information (CASI) that acronyms are expanded in the abstract to enhance both information content and searchability. Over the last 22 years, abstracters at CASI have recorded acronyms and their expansions as they were encountered in documents. This is therefore an ad-hoc reference, rather than a systematic collection of all acronyms related to aerospace science and technology.

Source record↗
NASA NTRS1993

Irrelevance Reasoning in Knowledge Based Systems

This dissertation considers the problem of reasoning about irrelevance of knowledge in a principled and efficient manner. Specifically, it is concerned with two key problems: (1) developing algorithms for automatically deciding what parts of a knowledge base are irrelevant to a query and (2) the utility of relevance reasoning. The dissertation describes a novel tool, the query-tree, for reasoning about irrelevance. Based on the query-tree, we develop several algorithms for deciding what formulas are irrelevant to a query. Our general framework sheds new light on the problem of detecting independence of queries from updates. We present new results that significantly extend previous work in this area. The framework also provides a setting in which to investigate the connection between the notion of irrelevance and the creation of abstractions. We propose a new approach to research on reasoning with abstractions, in which we investigate the properties of an abstraction by considering the irrelevance claims on which it is based. We demonstrate the potential of the approach for the cases of abstraction of predicates and projection of predicate arguments. Finally, we describe an application of relevance reasoning to the domain of modeling physical devices.

INFERENCE↗
NASA NTRS1999

Practical Application of Model Checking in Software Verification

This paper presents our experiences in applying the JAVA PATHFINDER (J(sub PF)), a recently developed JAVA to SPIN translator, in the finding of synchronization bugs in a Chinese Chess game server application written in JAVA. We give an overview of J(sub PF) and the subset of JAVA that it supports and describe the abstraction and verification of the game server. Finally, we analyze the results of the effort. We argue that abstraction by under-approximation is necessary for abstracting sufficiently smaller models for verification purposes; that user guidance is crucial for effective abstraction; and that current model checkers do not conveniently support the computational models of software in general and JAVA in particular.

Havelund, Klaus↗
NASA NTRS2003

Sixth International Conference on Mars

This publication contains the extended abstracts that were accepted for presentation at the 6th International Conference on Mars, held in Pasadena, CA July 20-25, 2003. The file contains the preface, table of contents, program, abstracts, and indexes. The extended abstracts review and debate some of the key questions and controversies that have matured during the flood of MGS and Odyssey data. The papers are presented in PDF format and are indexed by abstract author, and program author.

Steven Mackwell↗
NASA NTRS2004

Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

AutoBayes is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. i.e., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, AutoBayes is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain. In this paper we describe how AutoBayes is retrofitted with concrete syntax. We show how it is integrated into Prolog and describe how the seamless interaction of concrete syntax fragments with AutoBayes's remaining legacy meta-programming kernel based on abstract syntax is achieved. We apply the approach to gradually mitigate individual schemas without forcing a disruptive migration of the entire system to a different First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments.

Fischer, Bernd↗
NASA NTRS2004

Structure, Intent and Conformance Monitoring in ATC

Infield studies of current Air Traffic Control operations it is found that controllers rely on underlying airspace structure to reduce the complexity of the planning and conformance monitoring tasks. The structure appears to influence the controller's working mental model through abstractions that reduce the apparent cognitive complexity. These structure-based abstractions are useful for the controller's key tasks of planning, implementing, monitoring, and evaluating tactical situations. In addition, the structure-based abstractions appear to be important in the maintenance of Situation Awareness. The process of conformance monitoring is analyzed in more detail and an approach to conformance monitoring which utilizes both the structure-based abstractions and intent is presented.

Reynolds, Tom G.↗
NASA NTRS2015

A Modeling Pattern for Layered System Interfaces

Communications between systems is often initially represented at a single, high level of abstraction, a link between components. During design evolution it is usually necessary to elaborate the interface model, defining it from several different, related viewpoints and levels of abstraction. This paper presents a pattern to model such multi-layered interface architectures simply and efficiently, in a way that supports expression of technical complexity, interfaces and behavior, and analysis of complexity. Each viewpoint and layer of abstraction has its own properties and behaviors. System elements are logically connected both horizontally along the communication path, and vertically across the different layers of protocols. The performance of upper layers depends on the performance of lower layers, yet the implementation of lower layers is intentionally opaque to upper layers. Upper layers are hidden from lower layers except as sources and sinks of data. The system elements may not be linked directly at each horizontal layer but only via a communication path, and end-to-end communications may depend on intermediate components that are hidden from them, but may need to be shown in certain views and analyzed for certain purposes. This architectural model pattern uses methods described in ISO 42010, Recommended Practice for Architectural Description of Software-intensive Systems and CCSDS 311.0-M-1, Reference Architecture for Space Data Systems (RASDS). A set of useful viewpoints and views are presented, along with the associated modeling representations, stakeholders and concerns. These viewpoints, views, and concerns then inform the modeling pattern. This pattern permits viewing the system from several different perspectives and at different layers of abstraction. An external viewpoint treats the systems of interest as black boxes and focuses on the applications view, another view exposes the details of the connections and other components between the black boxes. An internal view focuses on the implementation within the systems of interest, either showing external interface bindings and specific standards that define the communication stack profile or at the level of internal behavior. Orthogonally, a horizontal view isolates a single layer and a vertical viewpoint shows all layers at a single interface point between the systems of interest. Each of these views can in turn be described from both behavioral and structural viewpoints.

Shames, Peter M.↗
NASA NTRSDate not supplied

Reflecting on Planning Models: A Challenge for Verification and Validation of Planning Systems

We discuss the opportunities for autonomous sys- tems to perform reflection on their planners by adapting the models used to build plans. We first describe model-based planning systems, a form of automated planning system driven by declarative models of the planning domain. These models include descriptions of the conditions and effects of actions on the state of the world. When planning the activities of cyber-physical systems, the command and data representation of the system must be formally abstracted to the actions and states described in the planning system model. When the execution of a plan either fails or produces unexpected outcomes, the execution trace can be abstracted and compared to the predicted state according to the planning model, producing a list of discrepancies; these discrepancies can then be used to fix the model. This provides part of a reflection capability, namely, a set of well-formed problems with the domain model, the abstractions, or both. The challenge lies in the rest of the reflection capability, namely, a set of techniques for changing the models or the abstractions. We discuss these challenges and describe some of the options for addressing them

Mission Planning↗
DOE OSTI2022

Bay capping via acetylene addition to polycyclic aromatic hydrocarbons: Mechanism and kinetics

The bay-capping mechanism on PAH armchair edges and the kinetics of acetylene addition to 6–6–5 and 5–6–5 bays have been explored by ab initio/RRKM-ME calculations. The bays on the edges were modeled by C 21 H 11 and C 20 H 9 radicals produced by H abstractions from 7H-benzo[c]cyclopenta[e]pyrene and dicyclopenta[cf]pyrene. The C 20 H 9 + C 2 H 2 reaction is shown to have a low entrance barrier and to rapidly form the capped product, indaceno[2,1,8,7-cdefg]pyrene, along with ethynyl substituted dicyclopenta[cf]pyrene at temperatures above 1400 K. The reactivity of C 21 H 11 is shown to be governed by the location of the unpaired electron; the π radical R1 formed by H abstraction from the CH 2 group in 7H-benzo[c]cyclopenta[e]pyrene reacts with C 2 H 2 very slowly owing to a high entrance barrier, with the bay-capping rate constant approaching 10 -16 cm 3 molecule -1 s -1 only at temperatures above 2000K. Further, this result reaffirms that the growth of π aryl radicals via acetylene addition is inefficient and reflects the generally low reactivity of such radicals where the spin density is highly delocalized over the entire polyaromatic system. Alternatively, the σ C 21 H 11 radical R2 produced by H abstraction from the five-membered ring at the bay rapidly reacts with C 2 H 2 forming the bay-capped product, with the rate constant on the order of 10 -12 cm 3 molecule -1 s -1 at T≥1500K. Rate constants for the capping reactions at the 6–6–5 and 5–6–5 bays are compared with those at the 6–0–6, 6–6–6, and 6–5–6 bays. The site-specific bay-capping rate constants have been utilized in kMC simulations of the PAH growth and the results showed measurable differences when the 6–6–5 and 5–6–5 bay-capping reactions are taken into account, including an increase of the growth rate and the formation of closed-shell PAH and a rise of the number of embedded five-membered rings accompanied with a slight decrease of their overall amount.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2021

Redefining Net-Zero Water for Resilient Aquifers

Groundwater has long been a critical source of potable water, supplying one-third of all global water withdrawals and providing strategic reserves in times of drought (Konikow, 2012; Famiglietti, 2014). The risk in relying on groundwater is that it is often pumped at rates far greater than it can be naturally replenished. With increasing population and a changing climate, the depletion of potable water supplies has become an ever-growing concern (Srinivasan et al., 2012). Recently, the concept of “resilience” has been applied to groundwater, leaving many questions to be explored in terms of what resilience should mean for aquifers (Foster and MacDonald, 2014; Grönwall and Oduro-Kwarteng, 2017). The term is commonly used to indicate resilience to impacts of climate change specifically, but here we consider resilience in the context of more general water insecurity. Relatedly, the concept of “sustainable yield” has emerged in an attempt to determine a metric that can ensure the long-term resilience of groundwater systems, but the definition is fraught with inherent uncertainties and its quantification poses challenges (Rudestam and Langridge, 2014; Grönwall and Oduro-Kwarteng, 2017). At the heart of these concepts is a focus on sustainable management of aquifers. A sustainable approach to managing groundwater resources usually involves balancing long-term abstraction with the long-term recharge taking into account the needs for environmental flows and implementing drought-preparedness measures (Robins et al. 2006; Foster and MacDonald, 2014). At a high level, a sustainable balance of groundwater abstraction versus aquifer recharge may be considered “Net Zero” (NZ) or “Net Positive” (NP) in cases where recharge is equal to or in excess of abstraction, respectively. However, NZ/NP water management programs that address these concerns have varied definitions of compliance, which include considerations for the application at hand (ILFI, 2020; USGBC, 2020). Locations with high risk of low or poor water supply may be particularly interested in pursuing NZ/NP water. The AQUEDUCT Water Risk Atlas (World Resources Institute, 2019) indicates long-term availability, providing risk levels for quantity and quality of water at specific locations across the globe, for existing and predicted future conditions. This paper follows the U.S. Department of Energy (DOE) Federal Energy Management Program (FEMP) NZ water definition adopted by the U.S. Army for use at their installations, including Army Reserve Centers (ARCs). This definition also relates to the U.S. Army’s current focus on water resilience, which includes short-term and long-term availability of water resources.

net zero water, HUC12, Saipan, American Samoa, Mau↗
DOE OSTI2020

Shock‐tube spectroscopic water measurements and detailed kinetics modeling of 1‐pentene and 3‐methyl‐1‐butene

Abstract To understand the effects of the chemical structure of two C 5 alkene isomers on their combustion properties, and to highlight the major chemical reactions occurring during their high‐temperature oxidation, water time histories were measured behind reflected shock waves for the oxidation of 1‐pentene (C 5 H 10 ‐1) and 3‐methyl‐1‐butene (3M1B) in 99.5% Ar. The experiments were carried out at three different equivalence ratios ( φ = 0.5, 1.0, and 2.0) at pressures and temperatures ranging from 1.29 to 1.47 atm and 1 331 to 1 877 K, respectively. The H 2 O quantification extends the database for 1‐pentene and provides new insights for 3M1B. These unique results were used to validate and to develop a new detailed kinetics model. Numerical predictions are presented, and the new model was able to capture the results with suitable accuracy, with 3M1B being notably more reactive than C 5 H 10 ‐1. Sensitivity and rate‐of‐production analyses were performed to help explain the results. Under the present conditions, the reactivity is rapidly initiated by molecular dissociation of a fraction of the pentene isomers. The initiation phase then induces H‐atom abstraction by active radicals (H, OH, O, HO 2 , and CH 3 ) to first produce alkenyl C 5 H 9 radicals (or an alkyl radical and an alkenyl radical by breaking a C─C bond) and subsequent, smaller fragments. The difference in terms of reactivity between the isomers is essentially due to the fact that 3M1B has one particularly weak tertiary allylic C─H bond, which allows for fast H‐atom abstraction compared with 1‐pentene.

Grégoire, Claire M.↗
DOE OSTI2024

MatRIS: Addressing the Challenges for Portability and Heterogeneity Using Tasking for Matrix Decomposition (Cholesky)

The ubiquitous in-node heterogeneity of HPC and cloud computing platforms makes software portability and performance optimization extremely challenging. Described here, the MatRIS multilevel math library abstraction framework employs tasking to alleviate these difficulties. MatRIS includes the IRIS task-based runtime on the bottom level and exposes different layers of abstraction to render algorithms architecturally agnostic. MatRIS ensures the decomposition and creation of tasks that represent the necessary encapsulation of the optimized kernels from both vendor and open-source math libraries. Once built, MatRIS can select different combinations of accelerators at runtime, making it portable even on diverse heterogeneous architectures. By leveraging the IRIS runtime’s features for managing heterogeneity, MatRIS deploys algorithms that remove the need to specify orchestration and data transfer. This study describes how the serial task abstraction of a tiled Cholesky factorization is made portable and scalable in the case of multi-device and multi-vendor heterogeneity on a node with NVIDIA and AMD GPUs by using MatRIS. First, we demonstrate that Cholesky in MatRIS provides multi-GPU scalability that offers competitive performance versus cuSolverMG. Then, we present the challenges and opportunities for heterogeneous execution.

Monil, M. A. H.↗
DOE OSTI2026

Graph-Based Modeling and Decomposition of Hierarchical Optimization Problems

We present a graph-theoretic modeling approach for hierarchical optimization that leverages the OptiGraph abstraction implemented in the Julia package Plasmo.jl. We show that the abstraction is flexible and can effectively capture complex hierarchical connectivity that arises from decision-making over multiple spatial and temporal scales (e.g., integration of planning, scheduling, and operations in manufacturing and infrastructures). We also show that the graph abstraction facilitates the conceptualization and implementation of decomposition and approximation schemes. Specifically, we propose a graph-based Benders decomposition (gBD) framework that enables the exploitation of hierarchical (nested) structures and that uses graph aggregation/partitioning procedures to discover such structures. In addition, we provide a Julia implementation of gBD, which we call PlasmoBenders.jl. We illustrate the capabilities using examples arising in the context of energy and power systems.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2022

ADAM: A web platform for graph-based modeling and optimization of supply chains

Modeling and optimization are essential tasks that arise in the analysis and design of supply chains (SCs). SC models are essential for understanding emergent behavior such as transactions between participants, inherent value of products exchanged, as well as impact of externalities (e.g., policy and climate) and of constraints. Unfortunately, most users of SC models have limited expertise in mathematical optimization, and this hinders the adoption of advanced decision-making tools. Here, in this work, we present ADAM, a web platform that enables the modeling and optimization of SCs. ADAM facilitates modeling by leveraging intuitive and compact graph-based abstractions that allow the user to express dependencies between locations, products, and participants. ADAM model objects serve as repositories of experimental, technology, and socio-economic data; moreover, the graph abstractions facilitate the organization and exchange of models and provides a natural framework for education and outreach. Here, we discuss the graph abstractions and software design principles behind ADAM, its key functional features and workflows, and application examples.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

PlasmoData.jl — A Julia framework for modeling and analyzing complex data as graphs

Datasets encountered in scientific and engineering applications appear in complex formats (e.g., images, multivariate time series, molecules, video, text strings, networks). Graph theory provides a unifying framework to model such datasets and enables the use of powerful tools that can help analyze, visualize, and extract value from data. In this work, we present PlasmoData.jl, an open-source, Julia framework that uses concepts of graph theory to facilitate the modeling and analysis of complex datasets. The core of our framework is a general data modeling abstraction, which we call a DataGraph. We show how the abstraction and software implementation can be used to represent diverse data objects as graphs and to enable the use of tools from topology, graph theory, and machine learning (e.g., graph neural networks) to conduct a variety of tasks. We illustrate the versatility of the framework by using real datasets: (i) an image classification problem using topological data analysis to extract features from the graph model to train machine learning models; (ii) a disease outbreak problem where we model multivariate time series as graphs to detect abnormal events; and (iii) a technology pathway analysis problem where we highlight how we can use graphs to navigate connectivity. Further, our discussion also highlights how PlasmoData.jl leverages native Julia capabilities to enable compact syntax, scalable computations, and interfaces with diverse packages. Overall, we show that the DataGraph abstraction and PlasmoData.jl Julia package are able to model data within graphs and enable useful analysis.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
DOE OSTI2025

Corrigendum to ‘Under-capacitated and over-powered? Rural austerity and asymmetrical negotiating relationships in US wind energy development’ [J. Rural Stud., 119 (2025) 1–14]

The authors regret that there is an incomplete sentence in the abstract of the article, and request that the portion “, and counties incre” be deleted from the abstract (found at the end of the sentence beginning with “However …”). The portion to be deleted is underlined and bolded below. The authors would like to apologise for any inconvenience caused. Current abstract: Though rural local governments are central actors in renewable energy development, local governments in the United States (US) remain systematically under-funded. This paper considers what the manifestations of austerity in local governments broadly and rural localities specifically mean for renewable energy development and for energy transitions. Drawing on a survey of 262 elected county officials with experience with wind energy in eight US states, this paper asks how local officials understand the impacts of wind development, how local governments are involved in wind energy negotiations, how the resources and expertise needed to navigate negotiations are distributed among counties, and analyze the relationship between local capacity, access to resources, and involvement in negotiations. We find that local officials express simultaneously affective and material concerns with the impacts of wind development and see negotiations with the developer as central to realizing local benefits. However, the expertise and staffing needed to negotiate with developers is less accessible to poorer or sparsely populated counties, and counties with lower overall revenues have narrower scopes of negotiation, and counties incre. Our results suggest that uneven rural capacity heightens an already asymmetrical relationship between localities and developers. In analyzing how infrastructure developments are shaped by relationships between localities and developers that are conditioned by austerity and (under)capacity, this paper contributes to and bridges scholarly discussions on rural austerity, rescaling, and renewable energy transitions. These results challenge conventional wisdoms around centralizing energy siting processes, contextualize popular and academic debates about opposition to renewable energy development, and highlight the need for rural reinvestment to realize meaningfully participatory energy developments.

Elmallah, Salma↗
DOE OSTI2025

Understanding the impact of the gas diffusion layer structure on catalyst utilization in the PEM water electrolyzer

A multiphysics half-cell model of a polymer electrolyte membrane water electrolyzer (PEMWE) was developed to probe impacts of the detailed 3-dimensional pore structure of the gas diffusion layer (GDL) on performance characteristics. We show that pores in the titanium GDL mesh led to significant underutilization of the catalyst layer (CL), with only 45% of the catalyst effectively utilized. This contradicts the assumption of uniform electron flow across the CL, as shown in graphical abstract (a), as near-zero current was observed near GDL pore regions and the current distribution in CL was influenced by GDL structure, as shown in graphical abstract (b). Instead, oxygen generation was primarily concentrated under the solid titanium regions, diffusing out around the pore walls. High current density peaks were also noted at the GDL-catalyst contact, correlating with degradation hotspots that were directly observed in companion experiments, as shown in graphical abstract (c). Collectively, these findings point to the critical importance of the heterogeneous GDL porous architecture not only for PEMWE efficiency but also for uneven degradation of the CL.

COMSOL↗