Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “ABSTRACT”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Abstract-Reasoning Software for Coordinating Multiple Agents

A computer program for scheduling the activities of multiple agents that share limited resources has been incorporated into the Automated Scheduling and Planning Environment (ASPEN) software system, aspects of which have been reported in several previous NASA Tech Briefs articles. In the original intended application, the agents would be multiple spacecraft and/or robotic vehicles engaged in scientific exploration of distant planets. The program could also be used on Earth in such diverse settings as production lines and military maneuvers. This program includes a planning/scheduling subprogram of the iterative repair type that reasons about the activities of multiple agents at abstract levels in order to greatly improve the scheduling of their use of shared resources. The program summarizes the information about the constraints on, and resource requirements of, abstract activities on the basis of the constraints and requirements that pertain to their potential refinements (decomposition into less-abstract and ultimately to primitive activities). The advantage of reasoning about summary information is that time needed to find consistent schedules is exponentially smaller than the time that would be needed for reasoning about the same tasks at the primitive level.

Clement, Bradley↗
NASA NTRS2008

Moving Away from Ones and Zeros, Designing a Ground Data System Based on Higher Levels of Abstraction

Previous JPL ground systems have been designed with the Ground Data System (GDS) engineer in mind. The focus on these systems has been on packaging and delivery of low level information (frames, packets, telemetry values) to the end user. It was not that long ago when project teams would be huddled over a workstation, examining crude displays of telemetry bits organized in various ways, trying to determine the status of a spacecraft. Understanding the data often required additional levels of GDS expertise, or worse, transformation of the raw data into alternative formats followed by ingestion into other tools so that the data became meaningful. The primary focus was often to answer these types of questions: "Why did this particular frame fail Reed-Solomon decode? Why did this packet get marked as invalid? Why am I missing a block of telemetry from my query?" -- which are completely valid questions to ask from a GDS Engineer's point of view, and large families of tools have been designed to help answer these questions. But these are not the questions that most users care about - which are more like: "Why is the battery state of charge trending down? Show me a summary image report for the last traverse to the target. Show me a data accountability summary for the last DSN pass." Answers to these questions, which are what users are looking for, requires a higher level of abstraction and supporting tools than mining through ones and zeros. JPL has created a next generation capability called the Mission Data Processing and Control System (MPCS) which is designed to support this higher level of abstraction by providing customizable views of the ground system combining collections of lower level information into more meaningful ways. Instead of examining frames, packets, and individual telemetry data points -- MPCS is capable of providing comprehensive summary reports, product status, overall flight/ground event status, as well as payload health summaries. Based on these higher level views, end users can make tactical or strategic decisions, or drop into detailed analysis as needed. System designers need to continue building systems that support low level GDS troubleshooting - but the basic design of a GDS should be geared towards what end users actually need to see. This paper will describe the capabilities of MPCS that directly support these higher levels of abstraction, and which are being used today in missions such as the Mars Science Laboratory and other NASA missions.

MPCS↗
NASA NTRS2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.

Reliability↗
NASA NTRS1970

Reliability Abstracts and Technical Reviews January - December 1970: R70-14805 - R70-15438 - Volume 10, Nos. 1-12

Reliability Abstracts and Technical Reviews is an abstract and critical analysis service covering published and report literature on reliability. The service is designed to provide information on theory and practice of reliability as applied to aerospace and an objective appraisal of the quality, significance, and applicability of the literature abstracted.

Source record↗
NASA NTRS2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

This paper presents an abstract interpretation framework for the round-off error analysis of floating-point programs. This framework defines a parametric abstract analysis that computes, for each combination of ideal and floating-point execution path of the program, a sound over-approximation of the accumulated floating-point round-off error that may occur. In addition, a Boolean expression that characterizes the input values leading to the computed error approximation is also computed. An abstraction on the control flow of the program is proposed to mitigate the explosion of the number of elements generated by the analysis. Additionally, a widening operator is defined to ensure the convergence of recursive functions and loops. An instantiation of this framework is implemented in the prototype tool PRECiSA that generates formal proof certificates stating the correctness of the computed round-off errors.

Titolo, Laura↗
NASA NTRS2019

Static Analysis Using Abstract Interpretation

Lecture about abstract interpretation. This lecture starts with a brief introduction to validation and verification using formal methods. It then demonstrates IKOS (Inference Kernel for Open Static Analyzers), a static analyzer for C/C++ based on Abstract Interpretation. Then, it describes in details the theory of Abstract Interpretation, a mathematical framework to over-approximate the reachable states of a program.

Arthaud, Maxime↗
DOE OSTI2019

A Sensitivity-informed, Process Model Abstraction Implementation in GoldSim - 19276

System-level Performance Assessment (PA) models rely on specific process-level models for some inputs, such as infiltration. For probabilistic PA, the value of the process model output depends on the values of input parameters that also vary in the PA model. The simplest conceptual solution is to draw values of the input parameters from their distributions, run the process level model at these values, and then use the output where it is needed in the PA model. However, this solution is unsatisfactory for multiple reasons: (1) the PA Model should be set up such that new runs can be made and distributions can change without having to go back and run the process-level model; (2) calling the process model from the system model is possible, but technical difficulties remain in coupling the two; and (3) there is no uncertainty in the process-level model results incorporated into the PA model. Therefore, it is desirable to develop a method that maps the values of PA Model inputs to process level model outputs, in real time within the PA Model set up and using as simple of a map as possible without losing key features of the relationship. This has been termed 'model abstraction' because information about process model runs is 'abstracted' to be used with the PA model. A simple 'nearest neighbor' abstraction approach is presented to overcome these problems, in which a sensitivity-informed distance metric is used to map a system-level model realization to the most appropriate process-level model realization. (authors)

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2023

From electronic structure to model application of key reactions for gasoline/alcohol combustion: Hydrogen-atom abstractions by $CH_3\dot{O}$ radical

H-atom abstraction by methoxy radical ($CH_3\dot{O}$) plays an important role in capturing the kinetics of reactions between gasoline components and alcohols. This study focuses on determining the reaction rates and thermodynamic properties of methoxy radical reactions with five gasoline fuel components: n-heptane, iso-octane, 1-hexene, cyclopentane and toluene. Electronic structure calculations were per-formed for all the stationary points with M06-2X/6 -311 ++ g(d,p) method. G3 composite method with atomization method is used for determining Δ f H 0 of all the closed shell and radical species, using which the necessary thermodynamic data of all the species was determined. Coupled cluster theory QCISD(T)/cc-pVXZ (where X = D and T) and Møller-Plesset perturbation theory MP2/cc-pVXZ (where X = D, T and Q) were used to calculate single point energies. Subsequently, rate constants for all hydrogen atom ab-straction channels have been performed using conventional transition state theory with unsymmetric tunneling corrections. A systematic comparison of rates for abstraction from different sites within the same species and same site from different species is done in order to get insights into this reaction class. Here, the computed thermodynamic properties and rate constants were incorporated into a recent gasoline mechanism to investigate the impact of the calculations performed in this work. A shift in predicted NTC (negative temperature coefficient) behavior and significant reduction in model reactivity is observed upon incorporating the rates calculated herein.

33 ADVANCED PROPULSION SYSTEMS↗
DOE OSTI2017

Trends in data locality abstractions for HPC systems

The cost of data movement has always been an important concern in high performance computing (HPC) systems. It has now become the dominant factor in terms of both energy consumption and performance. Support for expression of data locality has been explored in the past, but those efforts have had only modest success in being adopted in HPC applications for various reasons. However, with the increasing complexity of the memory hierarchy and higher parallelism in emerging HPC systems, locality management has acquired a new urgency. Developers can no longer limit themselves to low-level solutions and ignore the potential for productivity and performance portability obtained by using locality abstractions. Fortunately, the trend emerging in recent literature on the topic alleviates many of the concerns that got in the way of their adoption by application developers. Data locality abstractions are available in the forms of libraries, data structures, languages and runtime systems; a common theme is increasing productivity without sacrificing performance. Furthermore, this paper examines these trends and identifies commonalities that can combine various locality concepts to develop a comprehensive approach to expressing and managing data locality on future large-scale high-performance computing systems.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Investigating User Experiences with Data Abstractions on High Performance Computing Systems

Scientific exploration generates expanding volumes of data that commonly require High Performance Computing (HPC) systems to facilitate research. HPC systems are complex ecosystems of hardware and software that frequently are not user friendly. The Usable Data Abstractions (UDA) project set out to build usable software for scientific workflows in HPC environments by undertaking multiple rounds of qualitative user research. Qualitative research investigates how individuals accomplish their work and our interview-based study surfaced a variety of insights about the experiences of working in and with HPC ecosystems. This report examines multiple facets to the experiences of scientists and developers using and supporting HPC systems. We discuss how stakeholders grasp the design and configuration of these systems, the impacts of abstraction layers on their ability to successfully do work, and the varied perceptions of time that shape this work. Examining the adoption of the Cori HPC at NERSC we explore the anticipations and lived experiences of users interacting with this system’s novel storage feature, the Burst Buffer. We present lessons learned from across these insights to illustrate just some of the challenges HPC facilities and their stakeholders need to account for when procuring and supporting these essential scientific resources to ensure their usability and utility to a variety of scientific practices.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS2014

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)

The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger class of static analysis developers by separating concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy. The benefits of the approach is demonstrated by a buffer overflow analysis applied to flight control systems.

Abstract Interpretation↗
NASA NTRS2017

Static Analysis Using Abstract Interpretation

Short presentation about static analysis and most particularly abstract interpretation. It starts with a brief explanation on why static analysis is used at NASA. Then, it describes the IKOS (Inference Kernel for Open Static Analyzers) tool chain. Results on NASA projects are shown. Several well known algorithms from the static analysis literature are then explained (such as pointer analyses, memory analyses, weak relational abstract domains, function summarization, etc.). It ends with interesting problems we encountered (such as C++ analysis with exception handling, or the detection of integer overflow).

Static Analysis↗
DOE OSTI2026

CRADA Abstract 2025-01U-JWS01

CRADA abstract for collaboration with Washington State University on shock physics research. Public abstract at time of execution is required per DOE O 483.1B.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2026

CRADA Abstract - 2023-01U-JWS04

Abstract for CRADA joint work statement 4 with UNLV to support the BUILTT for DOE project. CRADA abstract is required to be submitted to OSTI after execution of agreement per DOE O 483.1B.

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2026

CRADA Abstract - 2023-01U-JWS03

CRADA abstract 2023-01U-JWS03 with UNLV. Public abstract after execution is required per DOE O 483.1B

99 GENERAL AND MISCELLANEOUS↗
DOE OSTI2019

Catalytic Ammonia Oxidation to Dinitrogen by Hydrogen Atom Abstraction

Abstract Catalysts for the oxidation of NH 3 are critical for the utilization of NH 3 as a large‐scale energy carrier. Molecular catalysts capable of oxidizing NH 3 to N 2 are rare. This report describes the use of [Cp*Ru(P t Bu 2 N Ph 2 )( 15 NH 3 )][BAr F 4 ], (P t Bu 2 N Ph 2 =1,5‐di(phenylaza)‐3,7‐di(tert‐butylphospha)cyclooctane; Ar F =3,5‐(CF 3 ) 2 C 6 H 3 ), to catalytically oxidize NH 3 to dinitrogen under ambient conditions. The cleavage of six N−H bonds and the formation of an N≡N bond was achieved by coupling H + and e − transfers as net hydrogen atom abstraction (HAA) steps using the 2,4,6‐tri‐ tert ‐butylphenoxyl radical ( t Bu 3 ArO . ) as the H atom acceptor. Employing an excess of t Bu 3 ArO . under 1 atm of NH 3 gas at 23 °C resulted in up to ten turnovers. Nitrogen isotopic ( 15 N) labeling studies provide initial mechanistic information suggesting a monometallic pathway during the N⋅⋅⋅N bond‐forming step in the catalytic cycle.

Bhattacharya, Papri↗
DOE OSTI2022

A Heterogeneous Palladium Catalyst for the Polymerization of Olefins Prepared by Halide Abstraction Using Surface R 3 Si + Species

Abstract The silylium‐like surface species [ i Pr 3 Si][(R F O) 3 Al−OSi≡)] activates (N^N)Pd(CH 3 )Cl (N^N=Ar−N=CMeMeC=N−Ar, Ar=2,6‐bis(diphenylmethyl)‐4‐methylbenzene) by chloride ion abstraction to form [(N^N)Pd−CH 3 ][(R F O) 3 Al−OSi≡)] ( 1 ). A combination of FTIR, solid‐state NMR spectroscopy, and reactions with CO or vinyl chloride establish that 1 shows similar reactivity patterns as (N^N)Pd(CH 3 )Cl activated with Na[B(Ar F ) 4 ]. Multinuclear 13 C{ 27 Al} RESPDOR and 1 H{ 19 F} S‐REDOR experiments are consistent with a weakly coordinated ion‐pair between (N^N)Pd−CH 3 + and [(R F O) 3 Al−OSi≡)]. 1 catalyzes the polymerization of ethylene with similar activities as [(N^N)Pd−CH 3 ] + in solution and incorporates up to 0.4 % methyl acrylate in copolymerization reactions. 1 produces polymers with significantly higher molecular weight than the solution catalyst, and generates the highest molecular weight polymers currently reported in copolymerization reactions of ethylene and methylacrylate.

Gao, Jiaxin↗