Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “analyzed”

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,657 records · Page 92
All sourcesNASA NTRSDOE OSTI
NASA NTRS2022

Analyzing Recharge Dynamics and Storage in a Thick, Karstic Vadose Zone

Karst vadose zone heterogeneity creates complex transmission and storage dynamics that affect the timing and magnitude of aquifer recharge. Young, high-matrix permeability eogenetic karst aquifers may have significantly higher matrix storage than older, lower matrix permeability counterparts. In vulnerable and water-limited karst regions, the timescales of storage may be important for seasonal and sub-seasonal water resource management. We create a framework to quantify storage dynamics in karst aquifers using high-resolution precipitation and groundwater levels from the Northern Guam Lens Aquifer in the US territory of Guam. We estimate recharge using the Water Table Fluctuation method, and then develop transfer functions between precipitation and recharge to quantify storage and release of water from the vadose zone. The transfer functions are partitioned into different flow pathways including conduit, conduit/matrix, and slowly draining matrix. Probability distributions are fit to each pathway to determine the average travel times of infiltrated waters. The results show that aquifer recharge through secondary porosity features typically occurs within a few hours of a rainfall event, but this rapid recharge accounts for only 12%–28% of total recharge. The majority of aquifer recharge (>70%) occurs within a month of a contributing storm event. An additional 10% of recharge, on average, took longer than a month to reach the water table. The framework established can help improve the hydrological modeling and freshwater management for karst aquifers.

Patricia Spellman↗
NASA NTRSDate not supplied

Framework for Analyzing the Complex Interactions Between Spacecraft Motion and Slosh Dynamics in Low-G Environments

The fuel-to-dry-mass ratio of spacecraft continues to grow as new human spaceflight missions target destinations from Earth. Large amounts of liquid propellant can lead to significant coupling between the rigid-body dynamics of the spacecraft and the motion of the fuel within its storage tank. The present work gives an overview of the dynamic features and a flowchart for a method of simulating the motion of a spacecraft with fuel slosh inside a cylindrical, domed tank in a low-g environment. The method involves modeling the liquid propellant as a particle that transfers momentum to the spacecraft through perfectly inelastic collisions with the tank wall. The foundation of the modeling methodology is the approach taken during the Apollo program used to predict the effect of fuel slosh on the complex motion exhibited by the Service Module following separation from the Crew Module. This paper discusses the motivation, methodology, and conclusions from the Apollo-era method, and subsequently builds upon it by incorporating corrections to the derivation of the dynamics and filling in the gaps due to unavailability of the detailed contractor report and simulation code. The results presented in this paper provide an example that demonstrates the effect that fuel slosh can have on the trajectory of a spacecraft in a low-g environment.

William J Elke III↗
NASA NTRSDate not supplied

Framework for Analyzing the Complex Interactions Between Spacecraft Motion and Slosh Dynamics in Low-G Environments

The fuel-to-dry-mass ratio of spacecraft continues to grow as new human spaceflight missions target destinations farther from Earth. Large amounts of liquid propellant can lead to significant coupling between the rigid-body dynamics of the spacecraft and the motion of the fuel within its storage tank. The present work gives an overview of the dynamic features and a flowchart for a method of simulating the motion of a spacecraft with fuel slosh inside a cylindrical, domed tank in a low-g environment. The method involves modeling the liquid propellant as a particle that transfers momentum to the spacecraft through perfectly inelastic collisions with the tank wall. The foundation of the modeling methodology is the approach taken during the Apollo program used to predict the effect of fuel slosh on the complex motion exhibited by the Service Module following separation from the Command Module. This paper discusses the motivation, methodology, and conclusions from the Apollo-era method, then presents corrections to the derivation of the dynamics and fills in the gaps left from the unavailability of the detailed contractor report and simulation code. The results presented in this paper provide an example that demonstrates the effect that fuel slosh can have on the trajectory of a spacecraft in a low-g environment.

William J Elke III↗
NASA NTRSDate not supplied

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft

Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. [Question/problem] In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. [Principal ideas/results] We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. [Contribution] Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.

Requirements engineering↗
NASA NTRS2023

Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study

In this technical report we provide information on the use of the NASA Formal RequirementsElicitation Tool (FRET) to create requirements for a Lift Plus Cruise (LPC) aircraft case study. Furthermore, we provide details on using FRET to translate these requirements into an appropriate format for the Copilot tool, enabling their usage to perform runtime verification on a synthesized LPC system.

Formal Requirements Elicitation Tool↗
NASA NTRSDate not supplied

Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft

Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. In this paper, we report on our experience in requirements creation and analysis, as well as run-time monitor generation using the Formal Requirement Elicitation Tool (FRET), on an industrial case study for a Lift-Plus-Cruise concept aircraft. We study the creation of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. Our study is the first complete attempt at using FRET to create industrial, realizable requirements and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.

Requirements engineering↗
NASA NTRS2022

Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander

Plan execution in unknown environments poses a number of challenges: uncertainty in domain modeling, stochasticity at execution time, and the presence of exogenous events. These challenges motivate an integrated approach to planning and execution that is able to respond intelligently to variation. We examine this problem in the context of the Europa Lander mission concept, and evaluate a planning and execution framework that responds to feedback and task failure using two techniques: flexible execution and replanning with plan optimization. We develop a theoretical framework to estimate gains from these techniques, and we compare these predictions to empirical results generated in simulation. These results indicate that an integrated approach to planning and execution leveraging flexible execution, replanning, and utility maximization shows significant promise for future tightly-constrained space missions that must address significant uncertainty.

Chien, Steve↗
NASA NTRS2021

Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander

Plan execution in unknown environments poses a number of challenges: uncertainty in domain modeling, stochasticity at execution time, and the presence of exogenous events. These challenges motivate an integrated approach to planning and execution that is able to respond intelligently to variation. We examine this problem in the context of the Europa Lander mission concept, and propose a planning and execution framework that responds to feedback and task failure using two techniques: flexible execution and replanning with plan optimization. We develop a theoretical framework to predict the value of each of these techniques, and we compare these predictions to empirical results generated in simulation. We demonstrate that an integrated approach to planning and execution that is grounded in flexible execution, replanning, and utility maximization will be an enabling technology for future tightly-constrained planetary surface missions.

Chien, Steve↗
NASA NTRS2022

Analyzing the Efficacy of Flexible Execution, Replanning, and Plan Optimization for a Planetary Lander

Plan execution in unknown environments poses a number of challenges: uncertainty in domain modeling, stochasticity at execution time, and the presence of exogenous events. These challenges motivate an integrated approach to planning and execution that is able to respond intelligently to variation. We examine this problem in the context of the Europa Lander mission concept, and propose a planning and execution framework that responds to feedback and task failure using two techniques: flexible execution and replanning with plan optimization. We develop a theoretical framework to predict the value of each of these techniques, and we compare these predictions to empirical results generated in simulation. We demonstrate that an integrated approach to planning and execution that is grounded in flexible execution, replanning, and utility maximization will be an enabling technology for future tightly-constrained planetary surface missions.

Basich, Connor↗
NASA NTRSDate not supplied

Analyzing the Subjectivity of Hole-Type Image Quality Indicators for Radiography

Hole-type penetrameters used as image quality indicators (IQIs) for radiography have an inherent degree of subjectivity to their interpretation. The 1T (one times the thickness of the penetrameter) hole is so small, it can be difficult to distinguish from noise. It is suspected that an operator’s knowledge of the true location of the 1T hole may subconsciously influence a false positive identification of the 1T hole when in fact it cannot be discerned. In the case of computed radiography (CR), the size of the phosphor particles may lead to a noise pattern with features on the scale of the 1T hole. Per NASA-STD-5009, the 1T hole must be detected in order to achieve adequate sensitivity. This is based on the historical understanding that this sensitivity will enable detection of the minimum detectable flaw sizes listed in the standard. It’s important to understand if 1T sensitivity is being achieved, and the associated risk if not. This study sought to determine the true detectability of 1T-sized holes in aluminum and Inconel by creating and inspecting a set of penetrameters with randomly placed holes. Enough holes and vacant zones were created to enable a full probability of detection study with 90% detectability, 95% confidence. Testing is ongoing, but preliminary results have shown poor detectability. The detection rate is slightly better for Inconel than aluminum, slightly better using a micro-focus vs. mini-focus tube, and definitively better for film than CR. One of the key questions of this study is whether historical requirements for film are applicable for CR, and these initial findings suggest they may not be. There is also a requirement in the NASA standard for the minimum contrast-to-noise ratio of the hole. The results have shown that this numerical threshold does not correlate well with visual detection. This raises questions about the true nature of detection, in an age of image processing vs. human judgement. As the results indicate that the detection of 1T holes is unreliable, the next challenge will be determining what sensitivity is really achieved, and what is needed.

Erin Lanigan↗