Results for “Resource theories” — Page 7

NASA NTRS2023

Ch. 12. A Theoretical Approach to Management of Limited Attentional Resources to Support the m:N Operation in Advanced Air Mobility Ecosystem

Advanced air mobility (AAM) technologies incorporate increasingly autonomous systems that allow fully remote, independent, and intelligent operation of air vehicles to support the transportation of goods and passengers within and across urban and rural areas. With a myriad of automated technologies enabling the AAM ecosystem, the human operator’s role will likely be a passive supervisory monitor of the air vehicles, involving increasingly fewer humans (m) that manage many more autonomous systems (N), or m:N operations. Unfortunately, the human performance literature suggests that human operators will exhibit poor supervision of numerous autonomous agents due to the limits of attentional resources in the operators. In the general human information-processing model, a human operator exercises a limited pool of attentional resources to engage various information-processing stages including detecting, perceiving, comprehending, and predicting objects around them. Yamani and Horrey (2018) expanded the human information-processing model to characterize a tradeoff between information-processing demand and resource relief that automation brings in the context of automated driving. In their model, a driver interacting with an automated driving system is assumed to reallocate resources “freed” by automation to support other information-processing stages required for successful task performance. A future AAM ecosystem enabled by an orchestration of advanced automated systems, however, requires a single operator to interact with more than one air vehicle with varying levels and degrees of automated systems, making the traditional framework of human-automation interaction insufficient. To address this gap, we provide a review of the literature on situation assessment and trust, two constructs identified as critical for a fuller understanding of intimate and intricate interactions between a human operator and multiple air vehicles equipped with increasingly autonomous systems. Then, we propose an expansion of Yamani and Horrey’s (2018) model to motivate systematic research on the human operator’s role, identify factors that influence resource allocation and guide human-centered design of an interface supporting the m:N operation in the AAM environment.

Advanced Air Mobility↗

NASA NTRS1980

A model of plant canopy polarization response

Sensors to remotely measure the linear polarization of ground scenes have been proposed for the Multispectral Resource Sampler (MRS), a satellite sensor system proposed to complement the Thematic Mapper. At present justification for a sensor on MRS to measure scene polarization is limited. This paper discusses a model for the amount of linearly polarized light reflected by the shiny leaves of such crops as wheat, corn, and sorghum. The theory demonstrates that, potentially, measurements of the linearly polarized light from a crop canopy may be used as an additional feature to discriminate between crops. Examination of the model suggests that, potentially, satellite polarization measurements may be used to monitor crop development stage, leaf water content, leaf area index, hail damage, and certain plant diseases. The model adds to the understanding of the potential information content of scene polarization measurements acquired by future satellite sensor systems such as MRS.

Vanderbilt, V. C.↗

NASA NTRS1990

Annual Research Briefs, 1989

This report contains the 1989 annual progress reports of the Research Fellows of the Center for Turbulence Research. It is intended as a year end report to NASA, Ames Research Center which supports this group through core funding and by making available physical and intellectual resources. The Center for Turbulence Research is devoted to the fundamental study of turbulent flows; its objectives are to simulate advances in the physical understanding of turbulence, in turbulence modeling and simulation, and in turbulence control. The reports appearing in the following pages are grouped in the general areas of modeling, experimental research, theory, simulation and numerical methods, and compressible and reacting flows.

Debra Spinks↗

NASA NTRS1995

Structural design using equilibrium programming formulations

Solutions to increasingly larger structural optimization problems are desired. However, computational resources are strained to meet this need. New methods will be required to solve increasingly larger problems. The present approaches to solving large-scale problems involve approximations for the constraints of structural optimization problems and/or decomposition of the problem into multiple subproblems that can be solved in parallel. An area of game theory, equilibrium programming (also known as noncooperative game theory), can be used to unify these existing approaches from a theoretical point of view (considering the existence and optimality of solutions), and be used as a framework for the development of new methods for solving large-scale optimization problems. Equilibrium programming theory is described, and existing design techniques such as fully stressed design and constraint approximations are shown to fit within its framework. Two new structural design formulations are also derived. The first new formulation is another approximation technique which is a general updating scheme for the sensitivity derivatives of design constraints. The second new formulation uses a substructure-based decomposition of the structure for analysis and sensitivity calculations. Significant computational benefits of the new formulations compared with a conventional method are demonstrated.

Scotti, Stephen J.↗

NASA NTRS2013

Good Practices in Free-energy Calculations

As access to computational resources continues to increase, free-energy calculations have emerged as a powerful tool that can play a predictive role in drug design. Yet, in a number of instances, the reliability of these calculations can be improved significantly if a number of precepts, or good practices are followed. For the most part, the theory upon which these good practices rely has been known for many years, but often overlooked, or simply ignored. In other cases, the theoretical developments are too recent for their potential to be fully grasped and merged into popular platforms for the computation of free-energy differences. The current best practices for carrying out free-energy calculations will be reviewed demonstrating that, at little to no additional cost, free-energy estimates could be markedly improved and bounded by meaningful error estimates. In energy perturbation and nonequilibrium work methods, monitoring the probability distributions that underlie the transformation between the states of interest, performing the calculation bidirectionally, stratifying the reaction pathway and choosing the most appropriate paradigms and algorithms for transforming between states offer significant gains in both accuracy and precision. In thermodynamic integration and probability distribution (histogramming) methods, properly designed adaptive techniques yield nearly uniform sampling of the relevant degrees of freedom and, by doing so, could markedly improve efficiency and accuracy of free energy calculations without incurring any additional computational expense.

Pohorille, Andrew↗

NASA NTRS1992

Combined Gamma Ray/neutron Spectroscopy for Mapping Lunar Resources

Some elements in the Moon can be resources, such as hydrogen and oxygen. Other elements, like Ti or the minerals in which they occur, such as ilmenite, could be used in processing lunar materials. Certain elements can also be used as tracers for other elements or lunar processes, such as hydrogen for mature regoliths with other solar-wind-implanted elements like helium, carbon, and nitrogen. A complete knowledge of the elemental composition of a lunar region is desirable both in identifying lunar resources and in lunar geochemical studies, which also helps in identifying and using lunar resources. The use of gamma ray and neutron spectroscopy together to determine abundances of many elements in the top few tens of centimeters of the lunar surface is discussed. To date, very few discussions of elemental mapping of planetary surfaces considered measurements of both gamma rays and the full range of neutron energies. The theories for gamma ray and neutron spectroscopy of the Moon and calculations of leakage fluxes are presented here with emphasis on why combined gamma ray/neutron spectroscopy is much more powerful than measuring either radiation alone.

Reedy, R. C.↗

NASA NTRS1999

Journal of Air Transportation World Wide, Volume 4, No. 2

The Journal of Air Transportation World Wide's (JATWW) mission is to provide the global community immediate key resource information in all areas of air transportation. The goal of the Journal is to be recognized as the preeminent scholarly journal in the aeronautical aspects of transportation. As an international and interdisciplinary journal, the JATWW will provide a forum for peer-reviewed articles in all areas of aviation and space transportation research, policy, theory, case study, practice, and issues. While maintaining a broad scope, a focal point of the journal will be in the area of aviation administration and policy.

Bowen, Brent D.↗

NASA NTRS2004

Journal of Air Transportation; Volume 9, No. 3

The mission of the Journal of Air Transportation (JAT) is to provide the global community immediate key resource information in all areas of air transportation. The goal of the Journal is to be recognized as the preeminent scholarly journal in the aeronautical aspects of transportation. As an international and interdisciplinary journal, the JAT will provide a forum for peer-reviewed articles in all areas of aviation and space transportation research, policy, theory, case study, practice, and issues. While maintaining a broad scope, a focal point of the journal will be in the area of aviation administration and policy.

Bowen, Brent D.↗

NASA NTRS2005

Journal of Air Transportation, Volume 10, No. 1

The mission of the Journal of Air Transportation (JA is to provide the global community immediate key resource information in all areas of air transportation. The goal of the Journal is to be recognized as the preeminent scholarly journal in the aeronautical aspects of transportation. As an international and interdisciplinary journal, the JAT will provide a forum for peer-reviewed articles in all areas of aviation and space transportation research, policy, theory, case study, practice, and issues. While maintaining a broad scope, a focal point of the journal will be in the area of aviation administration and policy.

Bowen, Brent D.↗

NASA NTRS2007

Calculation of Excavation Force for ISRU on Lunar Surface

Accurately predicting the excavation force that will be encountered by digging tools on the lunar surface is a crucial element of in-situ resource utilization (ISRU). Based on principles of soil mechanics, this paper develops an analytical model that is relatively simple to apply and uses soil parameters that can be determined by traditional soil strength tests. The influence of important parameters on the excavation force is investigated. The results are compared with that predicted by other available theories. Results of preliminary soil tests on lunar stimulant are also reported.

Zeng, Xiangwu (David)↗

NASA NTRS2007

Journal of Air Transportation, Volume 11, No. 3

The mission of the Journal of Air Transportation (JAT) is to provide the global community immediate key resource information in all areas of air transportation. The goal of the Journal is to be recognized as the preeminent scholarly journal in the aeronautical aspects of transportation. As an international and interdisciplinary journal, the JAT will provide a forum for peer-reviewed articles in all areas of aviation and space transportation research, policy, theory, case study, practice, and issues. While maintaining a broad scope, a focal point of the journal will be in the area of aviation administration and policy

Bowen, Brent↗

NASA NTRS2022

Planting a Flag in the Tropics: The Essential Tropical Geometric Background for Networking Applications

This Technical Memorandum serves to guide future NASA researchers and the public at large in terms of how Tropical Geometry can be applied to optimization problems, namely in networking. We give a basic overview of Tropical Geometry through a collection of resources we have summarized. Lastly, we include a discussion of power diagrams viewed as stratified spaces which may be a useful tool to study tropical varieties.

Tropical Geometry↗

NASA NTRS2024

Theoretical Prediction of Thermal Expansion Anisotropy for Y 2 Si 2 O 7 Environmental Barrier Coatings Using a Deep Neural Network Potential and Comparison to Experiment

Environmental barrier coatings (EBCs) are an enabling technology for silicon carbide (SiC)-based ceramic matrix composites (CMCs) in extreme environments such as gas turbine engines. However, development of new coating systems is hindered by the large design space and difficulty in predicting properties for these materials. Density Functional Theory (DFT) has successfully been used to model and predict some thermodynamic and thermo-mechanical properties of high-temperature ceramics for EBCs, although these calculations are challenging due to their high computational costs. In this work, we use machine learning to train a deep neural network potential (DNP) for Y 2 Si 2 O 7 , which is then applied to calculate thermodynamic and thermo-mechanical properties at near-DFT accuracy much faster and using less computational resources than DFT. We use this DNP to predict phonon-based thermodynamic properties of Y 2 Si 2 O 7 with good agreement to DFT and experiments. We also utilize the DNP to calculate the anisotropic, lattice direction-dependent coefficients of thermal expansion (CTEs) for Y 2 Si 2 O 7 . Molecular dynamics trajectories using the DNP correctly demonstrate accurate prediction of the anisotropy of the CTE in good agreement with diffraction experiments. In the future, this DNP could be applied to accelerate additional property calculations for Y 2 Si 2 O 7 compared to DFT or experiments.

rare earth silicates↗

NASA NTRS1989

A two-phase methodology for technology selection and system design

A two-phase methodology that can be used to guide R&D managers in the evaluation and selection of competing technologies is presented. Deterministic multiattribute utility theory is used in the first phase to rank the technological alternatives; the example presented involves the evaluation of electric and hybrid passenger vehicles. In all, 39 individuals from eight automotive firms were interviewed to assess their risk preferences and attitudes toward the vehicle design. In the second phase, the decision-maker must allocate a fixed amount of resources to different projects for the technology selected, some of which may be undertaken in parallel, to maximize a given measure of performance. When parallel funding is pursued the best outcome is chosen. The problem is formulated as a probabilistic network and solved heuristically using Monte Carlo simulation. Results are presented for two decision-makers and three budget options. In each case, the heuristic finds the optimal allocation of funds.

Bard, Jonathan F.↗

NASA NTRSDate not supplied

Surface Instability of Liquid Propellants in Microgravity During Pulsed Settling Operations

Pulsing reaction control system (RCS) thrusters, vent valves, or other propulsion devices can preserve propellant resources in space, but this operation also effectively introduces a vibration to the vehicle. When the vibration is perpendicular to the liquid propellant surface, Faraday waves may be generated at the liquid-vapor interface. These Faraday instabilities can perturb or break up the liquid surface of cryogenic tanks, leading to inefficiencies in thermal management or even ullage collapse. Drawing from theory and experiments, an engineering model defining the allowable design regions for pulsed settling in microgravity was assembled and verified with computational fluid dynamics (CFD) simulations. A traditional settling metric, the Bond number, was also overlaid in the model to indicate which duty cycles were insufficient to overcome surface tension and aggregate propellant. Mission planners and engineers can consult the tool to rapidly evaluate the stability of a liquid-vapor interface given the pulse frequency and the excitation acceleration. Expressions developed for Faraday waves induced by a sinusoidal forcing input at standard gravity were found to provide excellent predictive capabilities for pulsed, or rectangular, waveforms in the absence of a consistent gravitational acceleration. This study extends the usage of these equations to an alternative forcing function and microgravity environments for the purpose of estimating natural frequencies, surface mode shapes, surface wave amplitudes, and the onset of droplet ejection. CFD simulations with the Loci/STREAM-VoF (Volume of Fluid) solver were initially validated against experimental results in standard gravity. Discrete points on the design map were then investigated with CFD and confirmed that the engineering model reliably indicates surface stability and most Faraday wave characteristics without requiring higher-fidelity tools. The engineering model is highly extensible and can be adapted for various propellant fill fractions, fluid properties, and tank sizes.

Faraday Waves↗

NASA NTRSDate not supplied

Surface Instability of Liquid Propellants in Microgravity During Pulsed Settling Operations

Pulsing reaction control system (RCS) thrusters, vent valves, or other propulsion devices can preserve propellant resources in space, but this operation also effectively introduces a vibration to the vehicle. When the vibration is perpendicular to the liquid propellant surface, Faraday waves may be generated at the liquid-vapor interface. These Faraday instabilities can perturb or break up the liquid surface of cryogenic tanks, leading to inefficiencies in thermal management or even ullage collapse. Drawing from theory and experiments, an engineering model defining the allowable design regions for pulsed settling in microgravity was assembled and verified with computational fluid dynamics (CFD) simulations. A traditional settling metric, the Bond number, was also overlaid in the model to indicate which duty cycles were insufficient to overcome surface tension and aggregate propellant. Mission planners and engineers can consult the tool to rapidly evaluate the stability of a liquid-vapor interface given the pulse frequency and the excitation acceleration. Expressions developed for Faraday waves induced by a sinusoidal forcing input at standard gravity were found to provide excellent predictive capabilities for pulsed, or rectangular, waveforms in the absence of a consistent gravitational acceleration. This study extends the usage of these equations to an alternative forcing function and microgravity environments for the purpose of estimating natural frequencies, surface mode shapes, surface wave amplitudes, and the onset of droplet ejection. CFD simulations with the Loci/STREAM-VoF (Volume of Fluid) solver were initially validated against experimental results in standard gravity. Discrete points on the design map were then investigated with CFD and confirmed that the engineering model reliably indicates surface stability and most Faraday wave characteristics without requiring higher-fidelity tools. The engineering model is highly extensible and can be adapted for various propellant fill fractions, fluid properties, and tank sizes.

Faraday Waves↗

NASA NTRS1974

The application of sensitivity analysis to models of large scale physiological systems

A survey of the literature of sensitivity analysis as it applies to biological systems is reported as well as a brief development of sensitivity theory. A simple population model and a more complex thermoregulatory model illustrate the investigatory techniques and interpretation of parameter sensitivity analysis. The role of sensitivity analysis in validating and verifying models, and in identifying relative parameter influence in estimating errors in model behavior due to uncertainty in input data is presented. This analysis is valuable to the simulationist and the experimentalist in allocating resources for data collection. A method for reducing highly complex, nonlinear models to simple linear algebraic models that could be useful for making rapid, first order calculations of system behavior is presented.

Leonard, J. I.↗

NASA NTRS1998

Cooperation Among Theorem Provers

This is a final report, which supports NASA's PECSEE (Persistent Cognizant Software Engineering Environment) effort and complements the Kestrel Institute project "Inference System Integration via Logic Morphism". The ultimate purpose of the project is to develop a superior logical inference mechanism by combining the diverse abilities of multiple cooperating theorem provers. In many years of research, a number of powerful theorem-proving systems have arisen with differing capabilities and strengths. Resolution theorem provers (such as Kestrel's KITP or SRI's, SNARK) deal with first-order logic with equality but not the principle of mathematical induction. The Boyer-Moore theorem prover excels at proof by induction but cannot deal with full first-order logic. Both are highly automated but cannot accept user guidance easily. The PVS system (from SRI) in only automatic within decidable theories, but it has well-designed interactive capabilities: furthermore, it includes higher-order logic, not just first-order logic. The NuPRL system from Cornell University and the STeP system from Stanford University have facilities for constructive logic and temporal logic, respectively - both are interactive. It is often suggested - for example, in the anonymous "QED Manifesto"-that we should pool the resources of all these theorem provers into a single system, so that the strengths of one can compensate for the weaknesses of others, and so that effort will not be duplicated. However, there is no straightforward way of doing this, because each system relies on its own language and logic for its success. Thus. SNARK uses ordinary first-order logic with equality, PVS uses higher-order logic. and NuPRL uses constructive logic. The purpose of this project, and the companion project at Kestrel, has been to use the category-theoretic notion of logic morphism to combine systems with different logics and languages. Kestrel's SPECWARE system has been the vehicle for the implementation.

Waldinger, Richard J.↗