Search NASA⌕ Search

SEARCH · Search NASA

Results for “Argumentation”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1976

New treatment of the critical argument in resonance problems

Traditional methods for isolating the critical argument in Hamiltonian mechanics involve the introduction of a special set of action variables which are both complicated in form and arbitrary in nature. The new variables are in general obscure in their interpretation. This paper introduces a new canonical system corresponding to the original one, but with one more degree of freedom, in which all the variables of the original Hamiltonian can be treated on the same footing. It appears to have significant advantages for machine calculations.

Jefferys, W. H.↗
NASA NTRS1992

Eccentricity and argument of perigee control for orbits with repeat ground tracks

In order to gain an understanding into the problem of eccentricity (e) and argument of perigee (omega) control for TOPEX/Poseidon, the two cases where the highest latitude crossing time and one of the equator crossings are held constant are investigated. Variations in e and omega cause a significant effect on the satellite's ground-track repeatability. Maintaining e and omega near their frozen values will minimize this variation. Analytical expressions are found to express this relationship while keeping an arbitrary point of the ground track fixed. The initial offset of the ground track from its nominal path determines the subsequent evolution of e and omega about their frozen values. This long-term behavior is numerically determined using an earth gravitational field including the first 17 zonal harmonics. The numerical results are plotted together with the analytical constraints to see if the later values of e and omega cause unacceptable deviation in the ground track.

Vincent, Mark A.↗
NASA NTRS2004

Argumentation for coordinating shared activities

an increasing need for space missions to be able to collaboratively (and competitively) develop plans both within and across missions. In addition, interacting spacecraft that interleave onboard planning and execution must reach consensus on their commitments to each other prior to execution. In domains where missions have varying degrees of interaction and different constraints on communication and computation, the missions will require different coordination protocols in order to efficiently reach consensus with in their imposed deadlines. We describe a Shared Activity Coordination (SHAC) framework that provides a decentralized algorithm for negotiating the scheduling of shared activities over the lifetimes of multiple agents and a foundation for customizing protocols for negotiating planner interactions. We investigate variations of a few simple protocols based on argumentation and distributed constraints satisfaction techniques and evaluate their abilities to reach consistent solutions according to computation, time, and communication costs in an abstract domain where spacecraft propose joint measurements.

Mars↗
NASA NTRS2015

Argument-Based Airworthiness Assurance of Small UAS

Presently, there are three avenues by which Unmanned Aircraft System (UAS) operations are authorized in the U.S. National Airspace System (NAS): obtaining either (i) a certificate of authorization (COA), or (ii) a special airworthiness certificate (SAC) in either the experimental, or the restricted category, or (iii) an exemption from an airworthiness certificate together with a civil COA. The first is meant primarily for public entities, such as NASA; the remaining two are the only available means for civil UAS operations. Recently, the Federal Aviation Administration (FAA) has also proposed a regulatory framework targeted for certain small UAS, specifically those weighing 55 pounds or less, although final rulemaking remains pending. We have previously shown how an assurance case can aggregate heterogeneous reasoning and safety evidence, with application to UAS safety. In this paper, we describe how assurance cases can serve as a common framework to justify overall system safety, unifying both operational aspects and airworthiness, in particular system design assurance. We also show how this approach can coexist with, and augment, existing safety analysis processes and best-practices, by transforming the artifacts they produce into structured assurance arguments. To illustrate the applicability and utility of our approach, we have been applying it for the design assurance of an unmanned rotorcraft system, intended for precision agriculture operations, as part of the NASA Unmanned Aircraft System (UAS) Integration in the National Airspace System (NAS) project.

Rotocraft↗
NASA NTRS2017

The Safety Argumentation Schools of Thought

Safety cases have been produced and researched for decades. Definitions of `safety case' agree on both the need to generate suitable evidence and the central role of argument. But the relevant literature seems to exhibit multiple schools of thought that are largely unrecognized and somewhat at odds with each other. This paper presents preliminary results from research to identify and characterize the safety case schools of thought so as to reduce confusion and discord in research and practice.

Graydon, Patrick John↗
DOE OSTI2025

An argument for using anaerobes as microbial cell factories to advance synthetic biology and biomanufacturing

Anaerobes thrive in the absence of oxygen and are an untapped reservoir of biotechnological potential. Therefore, bioprospecting efforts focused on anaerobic microbial diversity could rapidly uncover new enzymes, pathways, and chassis organisms to drive biotechnology innovation. Despite their potential utility, anaerobic fermenters are viewed as inefficient from a biochemical perspective because their metabolisms produce fewer ATP (~2) per molecule of glucose processed than heterotrophic respirers (~32–38 ATP). While aerobes excel at ATP generation, they are often less efficient than anaerobes at processes that compete with ATP generation for cellular resources. This perspective highlights how anaerobic adaptations are advantageous for synthetic biology and biomanufacturing applications through the engineering of microbial cell factories. We further highlight emerging applications of anaerobic bioprocessing, including the use of anaerobic metabolisms for lignocellulosic bioprocessing, human and environmental health, and value-added bioproduction.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

User-Defined Types as Task Parameters and Arguments in FleCSI

FleCSI is a C++ framework for writing multi-physics simulations. FleCSI abstracts away complicated backends, enabling high performance while eliminating the need for users to directly manage memory and execution. This is done via FleCSI’s data and execution model.

97 MATHEMATICS AND COMPUTING↗