Search NASA⌕ Search

SEARCH · Search NASA

Results for “Overflow”

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 469 records · Page 26

A Comparison of Rotor Disk Modeling and Blade-Resolved CFD Simulations for NASA's Tiltwing Air Taxi

A multi-fidelity computational fluid dynamics analysis is carried out for NASA’s tiltwing air taxi concept operating in airplane and helicopter mode. High-fidelity simulations are computationally expensive due to individual rotor blade modeling in a time-dependent computational domain with rotating grids. The mid-fidelity rotor disk option, in its source term implementation, is explored as a more affordable alternative. Computations are performed with NASA’s OVERFLOW flow solver loosely-coupled with the comprehensive code CAMRAD II for appropriate rotor trim. Detailed comparisons are shown for the trim solution, airloads, wake geometry, and rotor performance. While the rotor disk model is able to capture the flow field with satisfactory agreement in airplane mode, it faces difficulties in helicopter mode due to the three-dimensional effects of the wake. Although this study is limited to a specific vehicle geometry, it is expected that the results are somewhat generalizable to the analysis of multi-rotor configurations.

ARMD↗

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

The NASA DAIDALUS library provides formal definitions for Detect-and-Avoid avionics concepts such as when an aircraft is well-clear with respect to the surrounding air traffic, i.e., it does not operate in such proximity to create a collision hazard. While several properties are proven correct for DAIDALUS assuming ideal real number arithmetic, an actual implementation that uses floating-point numbers may behave unexpectedly because of round-off errors and run-time exceptions. This paper presents an experience report on the application of a formal methods toolchain to extract and verify floating-point C code from a real-valued specification of the well-clear module of DAIDALUS. This toolchain comprises the PVS theorem prover, the PRECiSA floating-point analyzer and code generator, and the Frama-C analysis suite. The generated code is automatically instrumented to detect when the control flow of the floating-point program may diverge from the ideal real number specification, and it is annotated with contracts that state the maximum accumulated round-off error. The absence of overflows is also formally verified for the generated code. In order to apply the toolchain to an industrial case study such as DAIDALUS, a formally verified pre-processing of the input specification is performed, which includes a program slicing and several semantic-preserving simplifications.

Program verification↗

Simulation of a Single Rotor and a Quadrotor Hovering in Full and Partial Ground Effect

With the development of urban air mobility, the safety of multirotor vehicle operations in proximity to vertiports must be assessed. This paper examines high-fidelity blade-resolved OVERFLOW simulations and medium-fidelity vortex particle–mesh simulations that capture the aerodynamics of a rotorcraft in full and partial ground effect. Results obtained with each CFD method are compared to verify the consistency of the models introduced in the latter, which include an immersed lifting line for the blade aerodynamics and various boundary conditions to account for solid surfaces such as ground and walls. Satisfactory agreement is obtained for the blade loads and rotorwash velocity profiles in the case of a single rotor, except for small discrepancies at the blade tip. Finally, a quadrotor air taxi is simulated to quantify the load imbalance when the vehicle hovers above a rooftop edge. The combined use of high- and medium-fidelity methods is envisioned to accelerate the workflow when a large number of configurations need to be tested.

HEC↗

Transition Analysis for the Pazy Wing

The Pazy wing, designed as a benchmark for highly flexible wings that experience large deformations, presents intriguing nonlinear phenomena due to its unique geometry with spanwise varying static deformation and low Reynolds number flow conditions. These phenomena include limit cycle oscillation related to laminar separation bubbles, boundary-layer transition, and dynamic stall. The primary focus of this study is to investigate transition behavior on the sagged Pazy wing under static loading by using the shear-stress-transport (SST)-based Langtry-Menter 𝜸 − 𝑹𝒆𝜽𝒕 transition model in the NASA OVERFLOW and FUN3D solvers. Based on the steady-state results obtained via different variants of the Langtry-Menter model, we investigate the likely transition behavior over a range of incidence angles. The predicted flowfield on the sagged Pazy wing is strongly three dimensional and the application of turbulence index as a viable indicator of the transition front in such flows is also explored. The study demonstrates the limitations of the Langtry-Menter model when applied to low Reynolds number flows. We introduce a spanwise periodic configuration to simulate a narrow-span section of the Pazy wing, specifically centered on one of the 14 nearly equidistant ribs spanning the wing. The computational results demonstrate that the spanwise periodic configuration provides a straightforward environment for studying transition characteristics as well as demonstrating systematic grid convergence and successful code-to-code comparisons. The research offers useful insights into the transition characteristics of flexible wings under various loading conditions, contributing to the field of aeroelastic simulations.

CFD Modeling↗

Modeling Boundary-Layer Transition in Subsonic Flow over a Swept Wing

Predicting the onset of boundary-layer transition is often more accurate using physics-based models that directly compute disturbance growth rather than phenomenological models often implemented into industrial CFD codes. The aim of this ongoing study is to calibrate linear, physics-based computations of transition in subsonic flows over swept wings against a large set of experimental data. Advancing the calibration of linear models of transition contributes to the CFD-Vision-2030 goal of automated boundary-layer transition prediction. This progress report uses the dual N-factor method to model transition over the swept NACA 64-2-015A wing. The flow conditions match selected test conditions from an extensive experimental dataset acquired from the NASA Ames 12-ft Pressure Tunnel. The OVERFLOW 2.4b flow solver is used to obtain laminar basic states based on an infinite-span assumption. Stability analyses are performed on 365 distinct configurations with linear stability theory (LST) and parabolized stability equations (PSE) from the Langley Stability and Transition Analysis Codes (LASTRAC), modeling the growth of Tollmien-Schlichting (TS) and stationary crossflow (SCF) disturbances. From a total of 67 data points for unswept, i.e., TS-dominant configurations, the critical N-factor based on PSE is found to be N_TS = 9. The SCF critical N-factor is found to be near 8 for the highly swept, SCF-dominant configurations. Dual N-factor curves for both LST and PSE computations demonstrate a high level of interaction between TS and SCF. It may be worthwhile to investigate an alternate metric to visualize maximal SCF amplification upstream of the transition location to account for the growth of SCF modes near the leading edge, which is not considered in the conventional applications of the dual N-factor criterion.

boundary-layer transition↗

Transition Analysis for the Pazy Wing

The Pazy wing, designed as a benchmark for highly flexible wings that experience large deformations, presents intriguing nonlinear phenomena due to its unique geometry with spanwise varying static deformation and low Reynolds number flow conditions. These phenomena include limit cycle oscillation related to laminar separation bubbles, boundary-layer transition, and dynamic stall. The primary focus of this study is to investigate transition behavior on the sagged Pazy wing under static loading by using the shear-stress-transport (SST)-based Langtry-Menter 𝜸 − 𝑹𝒆𝜽𝒕 transition model in the NASA OVERFLOW and FUN3D solvers. Based on the steady-state results obtained via different variants of the Langtry-Menter model, we investigate the likely transition behavior over a range of incidence angles. The predicted flowfield on the sagged Pazy wing is strongly three dimensional and the application of turbulence index as a viable indicator of the transition front in such flows is also explored. The study demonstrates the limitations of the Langtry-Menter model when applied to low Reynolds number flows. We introduce a spanwise periodic configuration to simulate a narrow-span section of the Pazy wing, specifically centered on one of the 14 nearly equidistant ribs spanning the wing. The computational results demonstrate that the spanwise periodic configuration provides a straightforward environment for studying transition characteristics as well as demonstrating systematic grid convergence and successful code-to-code comparisons. The research offers useful insights into the transition characteristics of flexible wings under various loading conditions, contributing to the field of aeroelastic simulations.

CFD Modeling↗

Modeling Boundary-Layer Transition in Subsonic Flow over a Swept Wing

Predicting the onset of boundary-layer transition is often more accurate using physics-based models that directly compute disturbance growth rather than phenomenological models often implemented into industrial CFD codes. The aim of this ongoing study is to calibrate linear, physics-based computations of transition in subsonic flows over swept wings against a large set of experimental data. Advancing the calibration of linear models of transition contributes to the CFD-Vision-2030 goal of automated boundary-layer transition prediction. This progress report uses the dual N-factor method to model transition over the swept NACA 64-2-015A wing. The flow conditions match selected test conditions from an extensive experimental dataset acquired from the NASA Ames 12-ft Pressure Tunnel. The OVERFLOW 2.4b flow solver is used to obtain laminar basic states based on an infinite-span assumption. Stability analyses are performed on 365 distinct configurations with linear stability theory (LST) and parabolized stability equations (PSE) from the Langley Stability and Transition Analysis Codes (LASTRAC), modeling the growth of Tollmien-Schlichting (TS) and stationary crossflow (SCF) disturbances. From a total of 67 data points for unswept, i.e., TS-dominant configurations, the critical N-factor based on PSE is found to be N_TS = 9. The SCF critical N-factor is found to be near 8 for the highly swept, SCF-dominant configurations. Dual N-factor curves for both LST and PSE computations demonstrate a high level of interaction between TS and SCF. It may be worthwhile to investigate an alternate metric to visualize maximal SCF amplification upstream of the transition location to account for the growth of SCF modes near the leading edge, which is not considered in the conventional applications of the dual N-factor criterion.

computational modeling↗

Depositional History of the Upper Sequence of the Western Fan: Evidence for Late-Stage Fluvial and Potential Igneous Activity, Jezero Crater, Mars

Within Jezero crater, a 45 km diameter Noachian-aged crater on Mars, the Upper Fan group (UFg) stratigraphy records the youngest interval of sediment deposition via aqueous activity on the western fan. From orbital images, the UFg surface is characterized by ridges interpreted to be associated with channels that can be group based on orientation into distinct elongate and fan-shaped deposits. UFg deposits primarily consist of a sandstone to granule conglomerate facies covered by a lithified boulder conglomerate or dense accumulations of loose boulders along the surface. The coarse-grained nature of UFg deposits and the unconformable contact with the underlying fan stratigraphy suggest that the UFg represents a higher-energy shift from the relatively longer-lived, lower-energy aqueous systems interpreted in underlying fan stratigraphy. The Mars 2020 Perseverance rover encountered the main exposures of the UFg deposits beginning on Sol 755 and has been continuously collecting data along its northwestward traverse across the fan, enabling reconciliation of orbitally-derived geomorphology with in-situ observations from the rover and Ingenuity helicopter. This work represents a combined assessment of the geomorphology and the sedimentology and stratigraphy of the UFg in order to establish its depositional and emplacement history. Determining the origins of the Upper Fan sequence will clarify how, when, and in what order aqueous environments evolved through time within Jezero crater (e.g. crater infill, overflow, breach, and lake level drop;). Finally, this work will provide critical context for the three rock samples within the UFg sample suite.

Mars 2020↗

ELISA: A Tool for Optimization of Rotor Hover Performance at Low Reynolds Number in the Mars Atmosphere

The Evolutionary aLgorithm for Iterative Studies of Aeromechanics (ELISA) was developed in support of the Rotorcraft Optimization for the Advancement of Mars eXploration (ROAMX) project. ELISA was developed to enable aerodynamic rotor hover optimization for low Reynolds number flows in the Mars atmosphere. The first objective of the algorithm allows for unconventional airfoil parameterization and multi-objective airfoil geometry optimization using OVERFLOW. The Pareto-optimal airfoil sets are converted to a set of Pareto-optimal airfoil decks, providing the lowest drag air foil geometry for each angle of attack, removing the need to arbitrarily select the airfoils to be used in the rotor optimization. The second objective allows for rotor geometry optimization with simultaneous maximization of blade loading and minimization of rotor power using the comprehensive analysis CAMRADII. The result is a Pareto-optimal rotor set, providing the lowest power rotor for each attainable blade loading, and one of the first tools for hover-optimized rotors for high-subsonic low Reynolds number conditions. The airfoil thickness can be modified after the airfoil optimization is complete, allowing for a post-airfoil-optimization adjustment of blade thickness to facilitate conforming to external structural analyses requirements. The relevance of the code is demonstrated with case studies for the ROAMX rotor optimization for Ingenuity-sized single rotors in the Mars atmosphere, a performance study optimizing the chord and twist of Ingenuity’s coaxial rotor resulting in the Sample Recovery Helicopters candidate rotor, and high-subsonic low Reynolds number airfoil optimization providing novel insights for higher-efficiency low Reynolds number airfoil geometries and flow physics.

ELISA↗

Computational Aerodynamics Study of the Lift+Cruise VTOL Concept Vehicle Components

This paper describes a building-block approach for high-fidelity computational fluid dynamic simulations of NASA’s Lift+Cruise (L+C) Vertical Take-off and Landing (VTOL) concept vehicle. The Reynolds-Averaged Navier-Stokes (RANS) equations are solved on overset structured grids using OVERFLOW. For these analyses, overset meshes are generated using recently developed automated meshing tools. A baseline study is initially performed on the vehicle fuselage with wings and tails. Vehicle components such as pylons and gears are then added individually and together to study incremental component aerodynamic effects. The results from this study are also used to demonstrate the capabilities of the automatic meshing tools for performing rapid computational analyses.

RVLT↗

On the Application of an Actuator Line Model for Rotorcraft Outwash Predictions

As the next generation of Vertical Take-Off and Landing (VTOL) vehicles develops and the VTOL industry makes significant progress in utilizing them for public transportation, it is crucial to have validated and cost-effective computational models accessible to both industry professionals and academics in the rotorcraft community. This study investigates the implementation of a new actuator line model within NASA’s OVERFLOW computational fluid dynamics (CFD) solver, with a focus on predicting rotorcraft outwash. This reduced-order rotor model was developed to provide reasonably accurate outwash predictions while reducing computational costs compared to traditional blade-resolved CFD simulations. To validate the actuator line model for outwash predictions, the model was compared against existing experimental data across three validation cases: single rotor Out-of-Ground Effect (OGE), single rotor In-Ground Effect (IGE), and tandem rotor IGE. All three cases were based on the rotor geometry and configuration of the CH-47D. To evaluate the feasibility and advantages of using an actuator line model for outwash predictions the results were compared to a series of high-fidelity blade-resolved CFD simulations as well as comprehensive analyses simulations based on CHARM predictions. The results of this study demonstrate the feasibility of leveraging this new actuator line model for reasonably accurate outwash predictions. The outwash results obtained from the actuator line model closely matched those from high-fidelity blade-resolved simulations while significantly reducing the overall computational costs of the simulations. Results from this study further demonstrated the feasibility of using CHARM for efficient, and reasonably accurate time-averaged outwash predictions for multi-rotor configurations.

CFD↗

Coarse-Grained Modeling Elucidates Differential Metabolism of Saccharomyces cerevisiae under Varied Nutrient Limitations

Microorganisms such as Saccharomyces cerevisiae have a native ability to adapt their metabolism to varying nutrient conditions. Understanding their responses to nutrient limitations is critical for decoding cellular physiology and designing strategies for metabolic engineering. While the influence of carbon availability on yeast metabolism has been extensively studied, the role of nitrogen availability remains relatively underexplored. In this study, we utilized a coarse-grained kinetic model to systematically analyze and compare the effects of carbon and nitrogen limitations on yeast metabolism. Our model successfully revealed the differential metabolic characteristics of S. cerevisiae under carbon- and nitrogen-limited chemostat conditions. It also highlighted the significance of protein activity regulation at varying carbon-to-nitrogen ratios, and elucidated distinct strategies employed to maintain ATP homeostasis. Furthermore, this study provides a computational tool for investigating yeast physiology under nutrient limitations and offers quantitative and mechanistic insights into yeast metabolism.

59 BASIC BIOLOGICAL SCIENCES↗

Curvature, Variable Density and Compressibility Effects in Turbulent Shear Layers

The combined effects of variable density, curvature, and convective Mach number on turbulence in time-developing free shear layers are studied using turbulence-resolving simulations. The range of parameters considered include the convective Mach number at 0.2 and 0.8, the density ratio at 1/7, 1 and 7, and the level of streamwise curvature, measured by the shear layer thickness ratio to the radius of curvature at 0.001 and 0.01. Simulations at the limit of zero curvature exhibit mean profiles and turbulent stresses comparable with previously simulated planar (non-curved) shear layers. Growth rate changes depending on compressibility, curvature and density ratio are compared with expected behavior and unexpected trends due to combined effects are investigated. Standard turbulent shear layer statistics are presented, including spreading rates, turbulent stresses, and stress budgets to characterize individual and combined effects of the selected physical parameters.

shear layer↗

FY23 Descent Systems Study Annual Review

Previous NASA studies of landing human-scale payloads on Mars have concluded that supersonic retropropulsion (SRP), or using multiple retrorocket engines beginning at supersonic descent conditions, is an enabling technology. DSS is partnering with the Aerosciences Evaluation and Test Capabilities (AETC) office to conduct a SRP test in the Langley Unitary Plan Wind Tunnel (UPWT) to quantify the SRP prediction capabilities of multiple computational fluid dynamics (CFD) solvers for a range of model configurations, thrust magnitudes, and tunnel conditions.

Propulsive Descent↗