Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “experience report”

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 379 records · Page 21

Modeling the Effects of a Backward-Facing Step on Boundary-Layer Transition

We model transition to turbulence in a two-dimensional boundary layer downstream of a backward-facing step (BFS) along a flat plate. With the goal of evaluating the available engineering models for predicting the effects of step excrescences on the transition characteristics, two separate methodologies are used to monitor the streamwise shift in the transition onset location as the step height and the flow speed are varied across the range of a previously reported experiment involving step-height-to-local-displacement-thickness ratios of 0 < h/δ* < 1.6. Unlike the variable N -factor method from the previous literature, both of these methods are general in scope and do not involve any empirical correlations that are specific to step excrescences. The first of these techniques involves an N -factor method that directly accounts for the change in boundary-layer instability characteristics due to the step. Stability computations using the harmonic linearized Navier-Stokes equations (HLNSE), which fully account for the nonparallel-mean-flow effects close to the BFS, indicate that the measured transition locations at nearly all test conditions ( h/δ* < 1.3) correlate well with a computed N -factor of N tr = 7.6, demonstrating a successful stability-based transition criterion related to step excrescences. Linear stability theory, which does not account for nonparallel effects, demonstrates reasonable agreement with the HLNSE results, yielding good predictions for the overall trends, but predicts a somewhat earlier onset of transition than HLNSE. The other methodology used in this work involves transport-equation-based transition models. We first show that the Langtry-Menter y - Re θt transition model cannot accurately predict the location of transition onset for moderate BFS heights because it is unable to accurately account for the flow history effects. Along with the Langtry-Menter transition model, we also show the amplification factor transport model does not produce accurate transition locations for subsonic flow over steps even though it accounts for some flow history effects.

Transition↗

Modeling the Effects of a Backward-Facing Step on Boundary-Layer Transition

We model transition to turbulence in a two-dimensional boundary layer downstream of a backward-facing step (BFS) along a flat plate. With the goal of evaluating the available engineering models for predicting the effects of step excrescences on the transition characteristics, two separate methodologies are used to monitor the streamwise shift in the transition onset location as the step height and the flow speed are varied across the range of a previously reported experiment involving step-height-to-local-displacement-thickness ratios of 0 < h/δ* < 1.6. Unlike the variable N -factor method from the previous literature, both of these methods are general in scope and do not involve any empirical correlations that are specific to step excrescences. The first of these techniques involves an N -factor method that directly accounts for the change in boundary-layer instability characteristics due to the step. Stability computations using the harmonic linearized Navier-Stokes equations (HLNSE), which fully account for the nonparallel-mean-flow effects close to the BFS, indicate that the measured transition locations at nearly all test conditions ( h/δ* < 1.3) correlate well with a computed N -factor of N tr = 7.6, demonstrating a successful stability-based transition criterion related to step excrescences. Linear stability theory, which does not account for nonparallel effects, demonstrates reasonable agreement with the HLNSE results, yielding good predictions for the overall trends, but predicts a somewhat earlier onset of transition than HLNSE. The other methodology used in this work involves transport-equation-based transition models. We first show that the Langtry-Menter y - Re θt transition model cannot accurately predict the location of transition onset for moderate BFS heights because it is unable to accurately account for the flow history effects. Along with the Langtry-Menter transition model, we also show the amplification factor transport model does not produce accurate transition locations for subsonic flow over steps even though it accounts for some flow history effects.

Transition↗

Statistical learning framework for safety and failure analysis of a DNN-based autonomous aircraft system

Deep Neural Networks (DNNs) and Machine Learning technology is increasingly used for safety-critical applications in the Aerospace domain. To ensure safe operations, the DNN and the system must undergo rigorous verification and validation, including advanced statistical analyses. Performance and safety of the DNN and system behavior must not only be analyzed for the nominal case, but under numerous off-nominal and failure cases. In this paper we will describe how our statistical learning framework SYSAI can efficiently perform such analyses using the tool’s unique combination of advanced learning modeling and statistical analysis techniques. SYSAI can effectively explore the high-dimensional state and failure space of the system under test; geometrical shape detection of safety regions and boundaries support explainability of the results to the designer. In this paper, we report experiments and results obtained with a vision-based DNN control system (ACT) that is capable of autonomously steering an aircraft down a runway.

Yuning He↗

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↗

CTS United States experiments. A progress report

The results are presented of the United States experiments activity to date. Wide segments of the population are involved in the Experiments Program including the scientific community, other government agencies, industry, and the education and health entities. The experiments are associated with both technological objectives and the demonstration of new community and social services via satellite.

Robbins, W. H.↗

Laboratory simulations of the pyrolytic release experiments - An interim report

During its operation on Mars the pyrolytic release experiment (PR) detected the fixation of small amounts of CO2 and/or CO. Laboratory simulations of the experimental conditions were made in an attempt to substantiate the previous conclusion that these reactions were chemical rather than biological. After pretreatment and incubation under various conditions, pyrolytic analysis was used to indicate the extent of surface catalyzed conversion of (C-14)O2 or (C-14)O to (C-14)-organic compounds. This abiotic synthesis was detected in experiments with three iron oxides, viz. hematite, magnetite and maghemite. When the incubation atmosphere was supplemented with water vapor, the levels of synthesis were in a range comparable to that detected in the Viking PR tests. An abiotic synthesis was also detected in experiments with a mixture of clays and minerals (Mars analog soil) or with montmorillonite artificially enriched in iron. With either substratum the reaction appeared to be the result of a photocatalytic synthesis of (C-14)-organics from (C-14)O and surface hydroxyl groups. This process was not dependent on the presence of water vapor in the incubation atmosphere. Although a duplication of the Viking data has not been achieved, these findings support the abiotic interpretation of the PR results.

Hubbard, J. S.↗

Crustal dynamics project session 4 validation and intercomparison experiments 1979-1980 report

As part of the Crustal Dynamics Project, an experiment was performed to verify the ability of Satellite Laser Ranging (SLR), Very Long Baseline interferometry (VLBI) and Doppler Satellite Positioning System (Doppler) techniques to estimate the baseline distances between several locations. The Goddard Space Flight Center (GSFC) lasers were in operation at all five sites available to them. The ten baselines involved were analyzed using monthly orbits and various methods of selecting data. The standard deviation of the monthly SLR baseline lengths was at the 7 cm level. The GSFC VLBI (Mark III) data was obtained during three separate experiments. November 1979 at Haystack and Owens Valley, and April and July 1980 at Haystack, Owens Valley, and Fort Davis. Repeatability of the VLBI in determining baseline lengths was calculated to be at the 2 cm level. Jet Propulsion Laboratory (JPL) VLBI (Mark II) data was acquired on the Owens Valley to Goldstone baseline on ten occasions between August 1979 and November 1980. The repeatability of these baseline length determinations was calculated to be at the 5 cm level. National Geodetic Survey (NGS) Doppler data was acquired at all five sites in January 1980. Repeatability of the Doppler determined baseline lengths results were calculated at approximately 30 cm. An intercomparison between baseline distances and associated parameters was made utilizing SLR, VLBI, and Doppler results on all available baselines. The VLBI and SLR length determinations were compared on four baselines with a resultant mean difference of -1 cm and a maximum difference of 12 cm. The SLR and Doppler length determinations were compared on ten baselines with a resultant mean difference of about 30 cm and a maximum difference of about 60 cm. The VLBI and Doppler lengths from seven baselines showed a resultant mean difference of about 30 cm and maximum difference of about 1 meter. The intercomparison of baseline orientation parameters were consistent with past analysis.

Liebrecht, P.↗

Relativity experiment on Helios - A status report

The relativity experiment on Helios (Experiment 11) uses S-band and Doppler data, and spacecraft-solar-orbital data to measure the effects of general relativity in the solar system and the quadrupole moment in the solar gravitational field. Specifically, Experiment 11 is converned with measuring the following effects: (1) relativistic orbital corrections described by two parameters of the space-time metric which are both equal to unity in Einstein's theory; (2) orbital perturbations caused by a finite quadrupole moment of an oblate sun, described by zonal harmonics in the solar gravitational field.

Anderson, J. D.↗

More Life-Science Experiments For Spacelab

Report describes experiments done as part of Spacelab Life Sciences 2 mission (SLS-2). Research planned on cardiovascular, vestibular, metabolic, and thermal responses of animals in weightlessness. Expected to shed light on effects of prolonged weightlessness on humans.

Savage, P. D., Jr.↗

Mariner 9 celestial mechanics experiment - A status report.

There are two basic efforts in the Mariner 9 celestial mechanics experiment: the determination of the gravity field of Mars and the performance of a very precise test of the theory of general relativity. In addition, there are a number of astrodynamic constants that are being determined. All the analyses are based on the Mariner 9 radio tracking data.

Lorell, J.↗

Ninety day mission report for Skylab experiment T025

The problems encountered in the observing programs using the airlock coronagraph (T025) are reported for the atmospheric scattering program, Kohoutek photography, and the spacecraft contamination analysis. The impact of the difficulties on the results is discussed.

Schuerman, D. W.↗