Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “dynamic framework”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS1991

A viscoplastic theory with thermodynamic considerations

A thermodynamic foundation using the concept of internal state variables is given for a general theory of viscoplasticity for initially isotropic materials. Three, fundamental, internal, state variables are admitted; they are: a tensorial back stress for kinematic effects, and scalar drag and yield strengths for isotropic effects. All three are considered to evolve phenomenologically according to competitive processes between strain hardening, deformation induced dynamic recovery, and thermally induced static recovery. Within this phenomenological framework, a thermodynamically admissible set of evolution equations is proposed. The theory allows each of the three internal variables to be composed as a sum of independently evolving constituents. The evolution of internal state can also include terms that vary linearly with the external variable rates, whose presence affects the energy dissipation properties of a material.

Freed, A. D.↗
NASA NTRS1994

Reciprocity-based experimental determination of dynamic forces and moments: A feasibility study

BBN Systems and Technologies has been tasked by the Georgia Tech Research Center to carry Task Assignment No. 7 for the NASA Langley Research Center to explore the feasibility of 'In-Situ Experimental Evaluation of the Source Strength of Complex Vibration Sources Utilizing Reciprocity.' The task was carried out under NASA Contract No. NAS1-19061. In flight it is not feasible to connect the vibration sources to their mounting points on the fuselage through force gauges to measure dynamic forces and moments directly. However, it is possible to measure the interior sound field or vibration response caused by these structureborne sound sources at many locations and invoke principle of reciprocity to predict the dynamic forces and moments. The work carried out in the framework of Task 7 was directed to explore the feasibility of reciprocity-based measurements of vibration forces and moments.

Ver, Istvan L.↗
NASA NTRS1994

The navigation toolkit

This report summarizes the experience of the authors in managing, designing, and implementing an object-oriented applications framework for orbital navigation analysis for the Flight Design and Dynamics Department of the Rockwell Space Operations Company in Houston, in support of the Mission Operations Directorate of NASA's Johnson Space Center. The 8 person year project spanned 1.5 years and produced 30,000 lines of C++ code, replacing 150,000 lines of Fortran/C. We believe that our experience is important because it represents a 'second project' experience and generated real production-quality code - it was not a pilot. The project successfully demonstrated the use of 'continuous development' or rapid prototyping techniques. Use of formal methods and executable models contributed to the quality of the code. Keys to the success of the project were a strong architectural vision and highly skilled workers. This report focuses on process and methodology, and not on a detailed design description of the product. But the true importance of the object-oriented paradigm is its liberation of the developer to focus on the problem rather than the means used to solve the problem.

Rich, William F.↗
NASA NTRS1996

The Stability of Particulate Ladden Laminar Boundary-Layer Flows

During the course of this investigation, the following two topics were studied theoretically: (1) forced convection and sedimentation past a flat plate, and (2) the effect of rain on airfoil performance. The prototype of the first topic is that of air flowing past the wing section of an aircraft under heavy rain and high windshear. The long-range objective of this project was to identify the various factors determining the dynamics of the flow and then to develop a theoretical framework for modeling such systems. The second topic focused on the idea that the presence of the gas-liquid interface (being the air flow around the airfoil and the thin liquid film created by the rain) accelerates flow separation and thus induces performance losses.

Acrivos, Andreas↗
NASA NTRS1987

A Qualitative Model of Human Interaction with Complex Dynamic Systems

A qualitative model describing human interaction with complex dynamic systems is developed. The model is hierarchical in nature and consists of three parts: a behavior generator, an internal model, and a sensory information processor. The behavior generator is responsible for action decomposition, turning higher level goals or missions into physical action at the human-machine interface. The internal model is an internal representation of the environment which the human is assumed to possess and is divided into four submodel categories. The sensory information processor is responsible for sensory composition. All three parts of the model act in consort to allow anticipatory behavior on the part of the human in goal-directed interaction with dynamic systems. Human workload and error are interpreted in this framework, and the familiar example of an automobile commute is used to illustrate the nature of the activity in the three model elements. Finally, with the qualitative model as a guide, verbal protocols from a manned simulation study of a helicopter instrument landing task are analyzed with particular emphasis on the effect of automation on human-machine performance.

Hess, Ronald A.↗
NASA NTRSDate not supplied

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Capturing and analyzing requirements of Cyber-Physical Systems (CPS) can be challenging, since CPS models typically involve time-varying and real-valued variables, physical system dynamics, or even adaptive behavior. MATLAB/Simulinkis a development and simulation framework that is widely used in industry to capture such systems. In this paper, we report on the application of NASA Ames tools to perform end-to-end analysis of the Ten Lockheed Martin Challenge Problems (LMCPS). LMCPS is a set of industrial Simulink model benchmarks and natural language requirements developed by domain experts. Our framework, which integrates the tools FRET and COCOSIM, is used to: 1) elicit, explain, and formalize the semantics of the given natural language requirements; 2) generate verification code and monitors that can be automatically attached to the Simulink models; 3) perform verification by using SMT-based model checkers. FRET and COCOSIM are open source, and can be used by other researchers and practitioners to replicate our case study. We provide a categorization of recurring patterns in the formalization of the requirements and discuss the strengths and weaknesses of our automated verification approach.

Anastasia Mavridou↗
NASA NTRSDate not supplied

Evolving the Design of a Volcanic Monitoring UAS over Several Flight Campaigns

A multi-organization effort has been underway for several years to develop and validate the use of small unmanned aircraft systems (UAS) for volcanic monitoring. The overall goal is to develop the aircraft, supporting systems, concept of operations, scientific payloads and regulatory framework to allow regular and reliable sampling in challenging and dynamic atmospheric conditions around volcanic summits. Central to this effort has been the development and refinement of the “S2” aircraft, which contains a tightly integrated system consisting of the airframe, avionics, and payload sensors specifically designed to measure atmospheric properties around volcanic plumes. The aircraft has a 3-meter wingspan and can carry a 2.3 kg payload for up to 100 km while operating at altitudes up to 6,000 m. To date, the system has been flown in Costa Rica to sample CO2 gases around Turrialba Volcano (Costa Rica), in Hawaii to assess the 2018 eruption of Kīlauea with several different sensors, and is currently planned for deployment in Alaska for gas sampling and photogrammetry at Makushin Volcano. Before and after each deployment, all aspects of the system and concept of operations (CONOPS) were extensively examined and modified to improve the safety and performance. This has culminated in the upcoming deployment which will fly up to 30 km - beyond visual line of sight for the first time. This expansion of the operational range through additional safety features and redundancy will pave the way for monitoring and accessing areas that were previously very difficult to reach from both a technical and regulatory perspective. These developments can be extended to a variety of missions requiring UAS for atmospheric sampling, specifically ones that would benefit from beyond visual line of sight operations or flights into harsh or difficult atmospheric environments.

UAS↗
NASA NTRS2022

pyCRTM: A Python Interface for the Community Radiative Transfer Model

The Community Radiative Transfer Model (CRTM) is a powerful and versatile scalar radiative transfer model for satellite data assimilation and remote sensing applications. It is implemented as an object-oriented Fortran library, enabling flexible code development and optimal runtime performance on clusters. The downsides of the Fortran interface are a steep learning curve for students and the reduced productivity of users that is typical for static compiled languages, in contrast to dynamic interpreted languages like Python. pyCRTM is a new software framework that directly interfaces the CRTM Fortran data structures and procedures in Python, leveraging both the simplicity and ease of use of Python syntax as well as the flexibility arising from the vast contemporary Python ecosystem. The goal of pyCRTM is to lower the barrier of entry for university students to learn and use the CRTM and to boost the productivity of researchers seeking to create new methods in radiative transfer and data assimilation, or seeking to apply the CRTM to study atmospheric phenomena without having to go through the pre-existing complexity of the CRTM Fortran interface.

Python↗
NASA NTRSDate not supplied

The Seasonal Evolution of Atmospheric Vertical Structure of Smoke and Humidity Over the Southeast Atlantic Biomass Burning Region

The atmosphere over the southeast Atlantic Ocean (SEA) sees a consistent springtime biomass burning (BB) smoke from widespread agricultural fires on the African continent. This smoke layer is initially lofted high in a continental mixed layer (~5-6km) and is then transported westward in the free troposphere, where it overlies and ultimately mixes into the SEA stratocumulus-topped oceanic boundary layer. Coincident with this smoke is an elevated humidity signal which is present from the time a given airmass is over the continental source region; this correlation is persistent through the biomass burning season, although varying through the course of the season. ORACLES (ObseRvations of Aerosols above CLouds and their intEractionS) was a NASA Earth Venture Suborbital mission with the goal of measuring aerosol, cloud, and atmospheric properties over this region during three deployments in September 2016, August 2017, and October 2018. We use the ORACLES observations to assess this smoke-vapor relationship. First, we discuss the good agreement between the airborne ORACLES dataset and the ECMWF ERA5 and CAMS reanalyses, as well as results from NASA’s MERRA-2, as seen over the three deployment years. We then use the reanalyses to develop a framework in which to understand more broadly the radiative and dynamical interactions between the elevated smoke and water vapor over the SEA through the biomass burning season, beyond the three ORACLES observation periods. Looking at seven years of reanalysis data for the BB season, we find distinct variations between each month/deployment in terms of vertical smoke distribution and correlation to atmospheric specific humidity, due to changing conditions through the BB season. Using k-means clustering of these climatological reanalyses, we identify six canonical atmospheric profile types of varying total atmospheric humidity and vertical structure and describe their changing incidence spatially and throughout the season, and six analogous profile types for carbon monoxide, allowing us to characterize the atmospheric structure of both vapor and BB over time throughout the SEA region. The radiative heating of both aerosol and water vapor has potential to influence the cloud-top entrainment and atmospheric turbulence, thus modifying the underlying stratocumulus cloud properties. We next discuss how these smoke-humidity variations influence both the low-cloud fraction (as observed by MODIS and VIIRS, and output by ERA5) and the boundary layer height in the region. This classification will ultimately allow for a more complete analysis of the broader radiative and dynamical effects of humid aerosols overlying stratocumulus clouds.

Kristina Marie Myers Pistone↗
NASA NTRSDate not supplied

Scale Resolving Simulations of Contra Rotating Open Rotor Noise Prediction

The development of breakthrough open-rotor propulsion systems that meet performance, fuel efficiency, and noise requirements for commercial viability relies heavily on the availability of reliable and computationally efficient aerodynamic performance and noise prediction tools.This investigation showcases the proficiency of the structured curvilinear overset grid Computational Fluid Dynamics solver implemented in the Launch, Ascent, and Vehicle Aerodynamics framework for predicting the aerodynamic and aeroacoustic characteristics of a Contra-RotatingOpen Rotor propulsion system. Additionally, the study includes comprehensive sensitivity analyses employing a Hybrid Reynolds-Averaged Navier-Stokes/Large Eddy Simulation - based scale-resolving turbulence closure treatment. The computed results are validated through comparison with existing experimental measurements.

ARMD↗
NASA NTRS1993

Acquisition and production of skilled behavior in dynamic decision-making tasks

This status report consists of a thesis entitled 'Ecological Task Analysis: A Method for Display Enhancements.' Previous use of various analysis processes for the purpose of display interface design or enhancement has run the risk of failing to improve user performance due to the analysis resulting in only a sequencial listing of user tasks. Adopting an ecological approach to performing the task analysis, however, may result in the necessary modeling of an unpredictable and variable task domain required to improve user performance. Kirlik has proposed an Ecological Task Analysis framework which is designed for this purpose. It is the purpose of this research to measure this framework's effectiveness at enhancing display interfaces in order to improve user performance. Following the proposed framework, an ecological task analysis of experienced users of a complex and dynamic laboratory task, Star Cruiser, was performed. Based on this analysis, display enhancements were proposed and implemented. An experiment was then conducted to compare this new version of Star Cruiser to the original. By measuring user performance at different tasks, it was determined that during early sessions, use of the enhanced display contributed to better user performance compared to that achieved using the original display. Furthermore, the results indicate that the enhancements proposed as a result of the ecological task analysis affected user performance differently depending on whether they are enhancements which aid in the selection of a possible action or in the performance of an action. Generalizations of these findings to larger, more complex systems were avoided since the analysis was only performed on this one particular system.

Kirlik, Alex↗
NASA NTRS1986

Numerical approximation for the infinite-dimensional discrete-time optimal linear-quadratic regulator problem

An abstract approximation framework is developed for the finite and infinite time horizon discrete-time linear-quadratic regulator problem for systems whose state dynamics are described by a linear semigroup of operators on an infinite dimensional Hilbert space. The schemes included the framework yield finite dimensional approximations to the linear state feedback gains which determine the optimal control law. Convergence arguments are given. Examples involving hereditary and parabolic systems and the vibration of a flexible beam are considered. Spline-based finite element schemes for these classes of problems, together with numerical results, are presented and discussed.

Gibson, J. S.↗
NASA NTRS1988

Numerical approximation for the infinite-dimensional discrete-time optimal linear-quadratic regulator problem

An abstract approximation framework is developed for the finite and infinite time horizon discrete-time linear-quadratic regulator problem for systems whose state dynamics are described by a linear semigroup of operators on an infinite dimensional Hilbert space. The schemes included the framework yield finite dimensional approximations to the linear state feedback gains which determine the optimal control law. Convergence arguments are given. Examples involving hereditary and parabolic systems and the vibration of a flexible beam are considered. Spline-based finite element schemes for these classes of problems, together with numerical results, are presented and discussed.

Gibson, J. S.↗
NASA NTRS1981

On-line optimization of aircraft altitude and flight path angle dynamics

The optimization of aircraft altitude and flight path angle dynamics is addressed in a form suitable for on-line computation and control. The approach here is a direct extension of the work reported by Calise (1979), where singular perturbation methods were used to optimize position, energy and heading dynamics; it thus represents an optimal control solution that models all of the primary trajectory related dynamics. It is pointed out that the resulting algorithm can be regarded as a nonlinear feedback control law. The minimum time intercept of a fixed terminal point is used in setting the framework in which the analytical results are developed. The main theoretical result is that the dynamics, while not completely separable, can be approximated by singular perturbation methods when the control model includes relative position dynamics.

Calise, A. J.↗
NASA NTRS2017

Comparing Proxy and Model Estimates of Hydroclimate Variability and Change over the Common Era

Water availability is fundamental to societies and ecosystems, but our understanding of variations in hydroclimate (including extreme events, flooding, and decadal periods of drought) is limited because of a paucity of modern instrumental observations that are distributed unevenly across the globe and only span parts of the 20th and 21st centuries. Such data coverage is insufficient for characterizing hydroclimate and its associated dynamics because of its multidecadal to centennial variability and highly regionalized spatial signature. High-resolution (seasonal to decadal) hydroclimatic proxies that span all or parts of the Common Era (CE) and paleoclimate simulations from climate models are therefore important tools for augmenting our understanding of hydroclimate variability. In particular, the comparison of the two sources of information is critical for addressing the uncertainties and limitations of both while enriching each of their interpretations. We review the principal proxy data available for hydroclimatic reconstructions over the CE and highlight the contemporary understanding of how these proxies are interpreted as hydroclimate indicators. We also review the available last-millennium simulations from fully coupled climate models and discuss several outstanding challenges associated with simulating hydroclimate variability and change over the CE. A specific review of simulated hydroclimatic changes forced by volcanic events is provided, as is a discussion of expected improvements in estimated radiative forcings, models, and their implementation in the future. Our review of hydroclimatic proxies and last-millennium model simulations is used as the basis for articulating a variety of considerations and best practices for how to perform proxy-model comparisons of CE hydroclimate. This discussion provides a framework for how best to evaluate hydroclimate variability and its associated dynamics using these comparisons and how they can better inform interpretations of both proxy data and model simulations.We subsequently explore means of using proxy-model comparisons to better constrain and characterize future hydroclimate risks. This is explored specifically in the context of several examples that demonstrate how proxy-model comparisons can be used to quantitatively constrain future hydroclimatic risks as estimated from climate model projections.

Common Era↗
NASA NTRSDate not supplied

A CFD Framework for Film Boiling and Quenching in Cryogenic Chilldown

Tests of cryogenic chilldown in a vertical stainless-steel tube are simulated using computational fluid dynamics (CFD). Subcooled liquid nitrogen enters a room-temperature tube at one end, resulting in film boiling and eventual quenching of the tube walls. A CFDbased modeling framework employing the mixture multiphase model was developed to simulate this chilldown process and was applied to validate it against experimental data. Extensive sensitivity studies have been performed to create a consistent modeling framework, and a range of test conditions are simulated to assess the modeling capability. The importance of the rewetting temperature and its relation to the foam limit temperature is discussed and considered in the CFD framework. The presented results demonstrate a qualitatively consistent representation of the film boiling and quenching regime. However, the quantitative accuracy of the simulations varies with the test conditions. In addition, simulated distributions of the vapor volume fraction are presented, but the current lack of experimental volume fraction data prevents comparisons.

Computational Fluid Dynamics↗
NASA NTRSDate not supplied

A CFD Framework for Film Boiling and Quenching in Cryogenic Chilldown

Tests of cryogenic chilldown in a vertical stainless-steel tube are simulated using computational fluid dynamics (CFD). Subcooled liquid nitrogen enters a room-temperature tube at one end, resulting in film boiling and eventual quenching of the tube walls. A CFDbased modeling framework employing the mixture multiphase model was developed to simulate this chilldown process and was applied to validate it against experimental data. Extensive sensitivity studies have been performed to create a consistent modeling framework, and a range of test conditions are simulated to assess the modeling capability. The importance of the rewetting temperature and its relation to the foam limit temperature is discussed and considered in the CFD framework. The presented results demonstrate a qualitatively consistent representation of the film boiling and quenching regime. However, the quantitative accuracy of the simulations varies with the test conditions. In addition, simulated distributions of the vapor volume fraction are presented, but the current lack of experimental volume fraction data prevents comparisons.

Computational Fluid Dynamics↗
NASA NTRS2004

Verification of Java Programs using Symbolic Execution and Invariant Generation

Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

Pasareanu, Corina↗