Search NASA⌕ Search

SEARCH · Search NASA

Results for “backward”

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 235 records · Page 13

Correct Compilation of Concurrent C Code

The CompCert compiler represents a landmark effort in program verification as both a piece of verified software and as a compiler for verified C programs. A key shortcoming of CompCert however is that it does not support multithreaded programs. Prior work to add threads to CompCert has either required major rewrites of parts of the proof or only works for well synchronized programs. The problem is that CompCert’s backward simulation derives from a forward simulation via the determinism of the semantics of intermediate representation languages. This makes the proofs in CompCert easier but also makes them incompatible with standard models of multithreading which are non-deterministic. Here we propose an alternate formulation of CompCert’s proof structure that parameterizes the existing single threaded semantics with nondeterministic behavior generated at the multithreading level. While this is an old trick where program equivalence is concerned, performing it in the context of CompCert is quite subtle. Our approach allows for expressive concurrent semantics and does not require major proof rewrites but still results in a global backward simulation for multithreaded programs.

97 MATHEMATICS AND COMPUTING↗

Direct Numerical Simulation Database of High-Speed Flow over Parameterized Curved Walls

This study presents a direct numerical simulation (DNS) database of high-speed turbulent boundary layers (TBLs) subject to pressure gradients due to parametrically varied backward-facing and forward-facing wall curvatures, with an inflow Mach number of 4.9 and a friction Reynolds number of [Formula: see text] immediately before the onset of wall curvature. The Mach and Reynolds numbers are significantly higher than those reported in the literature for the DNS of pressure-gradient TBLs. The flow conditions and baseline wall geometries are representative of experiments in the high-speed blowdown wind tunnel at the National Aerothermochemistry Laboratory at Texas A&M University. The wall steepness of the baseline geometry for both the backward-facing and forward-facing walls was systematically varied to cause attached, incipiently separated, and fully separated flows. Precomputed flow statistics, including turbulent kinetic energy budgets, are available on the website of the Turbulence Modeling Resource of the NASA Langley Research Center, allowing other investigators to query any property of interest.

Engineering↗

THE STRUCTURE FUNCTION OF THE FREE NEUTRON AT HIGH X-BJORKEN

Understanding the internal structure of nucleons is one of the primary goal of nuclear physicists. As protons and neutrons are only the bound state solution of the QCD lagrangian (at least inside atomic nuclei), studying protons and neutrons helps uncover nuclear struc ture. Due to its easy availability, many studies on protons have been done on a wide range of kinematics. However, free neutron targets are not readily achievable. So, any information on neutrons has to be extracted from neutron-rich nuclei, and some nuclear models have to be used to subtract the contributions from other nucleons to extract the information on neutrons. So, the Barely Off-shell Nucleon Structure (BONuS12) experiment at Jefferson Lab was conducted to overcome these challenges by using spectator tagging. The experiment effectively created a quasi-free neutron target by scattering electrons off a deuterium target and detecting low-momentum, backward-moving protons using a custom-built Radial Time Projection Chamber (RTPC). Selecting the low momentum and backward-moving spectators would enable us to minimize the model-dependent effects due to final state interactions and target fragmentation. The RTPC was a 40 cm-long cylindrical detector that works on the principle of gaseous ionization. It had three layers of Gas Electron Multipliers (GEMs) for charge amplification and a surrounding readout pad. The scattered electrons were measured using the CLAS12 detector, and data were collected using a 10.4 GeV electron beam dur ing Spring and Summer 2020. Using spectator tagging, we extracted the structure function ratio Fn 2 of the quasi-free neutron in the deep inelastic scattering at high x, upto x ~ 0.8. The result was extracted in the region with the invariant mass W > 1.8 GeV/c2, and Q2 in the range 1.3 to 11 GeV2. This dissertation presents the methodology, event selection criteria and refinements, estimation and subtraction of backgrounds, and complete analysis of extraction of Fn 2/Fp 2 in a model-independent way. Also, systematic uncertainties in our final analysis will be discussed in detail.

Pokhrel, Madhusudhan [Old Dominion Univ., Norfolk,↗

Influence functions for the Delaware Oil and Gas Basin Tower Network

This data consists of influence functions created for the Delaware tower network for the purpose of calculating methane enhancements in the region. Two different footprint models were used. The Lagrangian Particle Dispersion model (LPDM, Uliasz 1993) was run from March 2020-May 2023. The model uses in-house WRF simulations for the meteorological transport as described in Barkley et al., (2023). Nine hundred (900) particles were released during each hourly period and are traced back 72 hours backwards in time. A static binning height of 110 m AGL was used to calculate surface influence. After May 2023, the LPDM simulations were phased out and replaced with influence functions created using HYSPLIT under the STILT configuration (Lin et al., 2003). The STILT influence functions use HRRR for the meteorological transport (Dowell et al., 2022). Nine hundred (900) particles were released during each hourly period and are traced back 72 hours backwards in time. A binning height of half the boundary layer height was used to calculate surface influence. Footprints are currently available from Sept 2020-December 2024 and will be updated periodically as more are generated in time. No STILT influence functions were created for tower site Maljimar, which was decommissioned in March 2022. Lat/Lon grid information for the LPDM influence functions is contained in lpdm-lat-lon-grid.nc. STILT grid information is contained within the influence functions themselves. Tower coordinates and heights can be found in tower-info.csv

Barkley, Z. R.↗

Numerical and Experimental Investigation of Nanostructure-Based Asymmetric Light Transmission Interfaces for Solar Concentrator Applications

Research in asymmetric light transmission interfaces has been recently gaining traction. While traditionally considered for optical circuitry applications, there is a new interest to use these interfaces in luminescent solar concentrators. Previous studies have shown that applying them to the top surface of a concentrator could mitigate surface losses. This paper presents experimental results for proof-of-concept asymmetric light transmission interfaces that may have potential applications in luminescent solar concentrators. The interfaces and the underneath substrate were created in a single step from polydimethylsiloxane using silicon molds fabricated on <100> wafers via anisotropic wet etching. The resulting structures were pyramidal in shape. Large surface areas of nanostructures repeating at 800 nm, 900 nm, and 1000 nm were tested for backward and forward transmission using a spectrometer. Results showed a 21%, 10%, and 0% average transmissivity difference between the forward and backward directions for each periodicity, respectively. The trends seen experimentally were confirmed numerically via COMSOL simulations.

Oliveto, Vincent↗

The sources and diurnal variations of submicron aerosols in a coastal–rural environment near Houston, US

Aerosol properties were characterized at a rural site southwest of Houston from May to September 2022 during the intensive operation periods (IOPs) of the Tracking Aerosol Convection Interactions ExpeRiment (TRACER). Backward trajectory analysis reveals three major air mass types: marine air mass from the Gulf, urban air mass influenced by urban emissions, and regional air mass. Marine aerosols typically show a bimodal size distribution and have the lowest particle number and mass concentrations of PM 1 (particulate matter with an aerodynamic diameter of less than 1 µm), while aerosols from air masses strongly influenced by urban emissions exhibit the highest concentrations. Organic aerosol (OA) accounts for more than 50 % of PM 1 for urban and regional air masses, whereas sulfate is comparable to OA in marine air masses. Positive matrix factorization (PMF) analysis of aerosol mass spectra identifies 6 OA factors: hydrocarbon-like OA (HOA), OA from the oxidation of monoterpenes (MT-SOA), OA from the reactive uptake of isoprene epoxydiols by acidic sulfate particles (isoprene-SOA), oxygenated OA arising from shipping emissions (shipping-OOA), and two oxygenated OA factors with high O : C ratios (OOA1 and OOA2). OOA2 has the highest O : C ratio and exhibits elevated mass concentration in the afternoon. Similar diurnal variation of highly oxidized OA factors was commonly observed in the Houston area during previous studies and attributed to the SOA formation by photochemistry and mixing from aloft. Here, using air mass backward trajectories and a 1-D box model, we show the diurnal trend of OOA2 mass concentration is instead driven by changes in air mass arriving at the rural site. The air mass changes are likely caused by the shift between land breezes and sea/bay breezes. Within the same air mass type (e.g., either urban or marine air mass), OOA2 mass concentration is largely independent of wind direction and shows essentially no diurnal variation, suggesting OOA2 is related to aged OA with minimal influence by local emissions. This study helps identify the major sources of OA in the Houston region and highlights the impacts of both atmospheric chemistry and meteorology on aerosol properties in the coastal–rural environment.

54 ENVIRONMENTAL SCIENCES↗

Studies in tilt-rotor VTOL aircraft aeroelasticity, volume 1

Aeroelastic and dynamic studies which complement and extend various aspects of technology applicable to tilt-rotor VTOL aircraft are discussed. Particular attention is given to proprotor/pylon whirl instability, a precession-type instability akin to propeller/nacelle whirl flutter. The blade flapping and pitch-change freedoms of a proprotor are shown to lead to a fundamentally different situation as regards the manner in which the precession-generated aerodynamic forces and moments act on the pylon and induce whirl flutter relative to that of a propeller. The implication of these forces and moments with regard to their capacity for instigating a whirl instability is examined, demonstrating why a proprotor can exhibit whirl flutter in either the backward or forward directions in contrast to a propeller which is found to always whirl in the backward direction. Analytical trend studies delineating the effect of several system design parameters on proprotor/pylon stability and response are shown.

Kvaternik, R. G.↗

GEODYN programmer's guide, volume 2, part 2

A computer program for executive control routine for orbit integration of artificial satellites is presented. At the beginning of each arc, the program initiates required constants as well as the variational partials at epoch. If epoch needs to be reset to a previous time, the program negates the stepsize, and calls for integration backward to the desired time. After backward integration is completed, the program resets the stepsize to the proper positive quantity.

Mullins, N. E.↗

The Adams formulas for numerical integration of differential equations from 1st to 20th order

The Adams Bashforth predictor coefficients and the Adams Moulton corrector coefficients for the integration of differential equations are presented for methods of 1st to 20th order. The order of the method as presented refers to the highest order difference formula used in Newton's backward difference interpolation formula, on which the Adams method is based. The Adams method is a polynomial approximation method derived from Newton's backward difference interpolation formula. The Newton formula is derived and expanded to 20th order. The Adams predictor and corrector formulas are derived and expressed in terms of differences of the derivatives, as well as in terms of the derivatives themselves. All coefficients are given to 18 significant digits. For the difference formula only, the ratio coefficients are given to 10th order.

Kirkpatrick, J. C.↗

Effects of multiple scattering on light pulses reflected by turbid atmospheres

Multiple scattering contributions to lidar returns from turbid atmospheres are derived by means of an analytical theory. It is assumed that scattering takes place mainly at small angles except for one event that scatters the light backward. The phase functions are approximated by the sum of Gaussian functions of the scattering angle in both the forward and backward directions. The three-dimensional radiative transfer equation is transformed to a one-dimensional problem by means of Fourier transforms. Neumann solutions to the transformed equation of radiative transfer are then found. A number of examples are presented for cloud, fog and haze models. The results are found to be in satisfactory agreement with results obtained from the Monte Carlo analysis of Kunkel (1974) and the theory of light pulses doubly scattered by turbid atmospheres which was developed by Eloranta (1972).

Weinman, J. A.↗

Flight inspection data and crack initiation times

Lockheed C-130 service-flight inspection data is reduced by means of fracture mechanics and statistical analysis into a form from which the probability of time to crack initiation and the distribution of initial flaw sizes for various locations on the aircraft can be determined. Crack sizes are normalized by extrapolating a growing crack backwards from its first recorded size to .03 inches (crack initiation size) yielding the time to crack initiation. In a similar fashion, the crack is grown backwards to a time equal to zero to yield an initial flaw size. In order to perform the discussed computations, crack growth constants were computed for each individual location and were analyzed statistically. Statistical distributions were fitted to times to crack initiation and to initial flaw sizes in order to describe their expected behavior. Weibull and Johnson distributions have been found to fit the data reasonably well but for a better fit convolution integrals of Poisson load distributions and Weibull strength distributions are needed.

Johnson, W. S.↗

An experimental and analytical investigation of proprotor whirl flutter

The results of an experimental parametric investigation of whirl flutter are presented for a model consisting of a windmilling propeller-rotor, or proprotor, having blades with offset flapping hinges mounted on a rigid pylon with flexibility in pitch and yaw. The investigation was motivated by the need to establish a large data base from which to assess the predictability of whirl flutter for a proprotor since some question has been raised as to whether flutter in the forward whirl mode could be predicted with confidence. To provide the necessary data base, the parametric study included variation in the pylon pitch and yaw stiffnesses, flapping hinge offset, and blade kinematic pitch-flap coupling over a large range of advance ratios. Cases of forward whirl flutter and of backward whirl flutter are documented. Measured whirl flutter characteristics were shown to be in good agreement with predictions from two different linear stability analyses which employed simple, two dimensional, quasi-steady aerodynamics for the blade loading. On the basis of these results, it appears that proprotor whirl flutter, both forward and backward, can be predicted.

Kvaternik, R. G.↗

Computations of supersonic viscous flow over a finite-width plate

Finite difference methods were applied to solve the parabolic Navier-Stokes equations for the flow over a finite width plate at 0 deg and 10 deg angles of attack. The methods were developed on the basis of the operator factorization concept resulting in the split of a three dimensional equation into successive two dimensional equations. Backward and centered implicit factorization schemes, were used and their results were compared. Available numerical solutions and experimental data obtained at low Reynolds number conditions were also used for comparison. The backward implicit method provides a more successful solution, which ranges from the merged layer to the strong interaction regimes. Detailed structures were revealed of the shear layer around and behind the side edge.

Li, C. P.↗

The solar reflectance of a snow field

The radiative transfer equation was solved using a modified Schuster-Schwartzschild approximation to obtain an expression for the solar reflectance of a snow field. The parameters in the reflectance formula are the single scattering albedo and the fraction of energy scattered in the backward direction. The single scattering albedo is calculated from the crystal size using a geometrical optics formula and the fraction of energy scattered in the backward direction is calculated from the Mie scattering theory. Numerical results for reflectance are obtained for visible and near infrared radiation for different snow conditions. Good agreement was found with the whole spectral range. The calculation also shows the observed effect of aging on the snow reflectance.

Choudhury, B. J.↗

An experimental investigation of fractionation by sputter deposition

Artificial glass targets composed of elements varying widely in atomic weight were irradiated at an angle of incidence of 45 deg by 2-keV hydrogen ions at a current density of .33 mA/sq cm, and sputtered atoms were caught on a molybdenum film. Analyses of the sputter-deposited films and unsputtered target glasses were carried out by electron microprobe. The backward-sputtered component was found to be enriched in elements of low atomic weight, while the forward-sputtered component was enriched in heavy atoms. These results indicate that at the lunar surface lighter elements and isotopes would tend to be ejected in backward directions, escaping directly through the openings which admit bombarding ions without first striking an adjacent grain surface; heavy elements and isotopes would be forward-sputtered deeper into the soil and be preferentially retained, contributing to the reported enrichments of heavy elements and isotopes. Additional results show that the binding energy of an element in its oxide form influences the sticking coefficient of a sputtered atom; elements of low binding energy are likely to desorb, while elements of high binding energy tend to stick to the first bounce surface.

Paruso, D. M.↗

The response of turbine engine rotors to interference rubs

A method was developed for the direct integration of a rotor dynamics system experiencing a blade loss induced rotor rub. Both blade loss and rotor rub were simulated on a rotor typical of a small gas turbine. A small change in the coefficient of friction (from 0.1 to 0.2) caused the rotor to change from forward to backward whirl and to theoretically destroy itself in a few rotations. This method provides an analytical capability to study the susceptibility of rotors to rub induced backward whirl problems.

Kascak, A. F.↗

Physical explanations of the destabilizing effect of damping in rotating parts

The destabilizing effect of rotating damping was investigated. When the rotation was faster than the whirl, rotating damping drags the orbiting particle forward. When stationary damping was also present, the stability borderline was readily determined by balancing the backward and forward drags. A key notion was that a forward whirl at rate omega a sub n with respect to stationary axes appears to be a backward whirl at rate Omega - omega sub n with respect to a system rotating supercritically at rate Omega. The growth rate of unstable whirls (or the decay rate of stable whirls was readily estimated by a simple energy balance.

Crandall, S. H.↗

A Quasi-Parabolic technique for computation of three-dimensional viscous flows

A computational technique is presented for obtaining flowfield solutions to a parabolic form of the Navier-Stokes equations. The point of departure is the General Interpolant Method (GIM) which provides a discretization for partial differential equations on arbitrary three-dimensional geometries. The new scheme, termed Quasi-Parabolic, treats the parabolized equations but with 'time-like' terms appended. Addition of these extra terms, which are relaxed by iteration, avoid many of the singularities inherent in classical parabolic Navier-Stokes methods. Streamwise derivatives are approximated by three-point backward differences and the cross plane operators use an alternating forward-backward sweep. A two-step sequence is used to implement the difference scheme in the spatial dimensions and a time-like relaxation converges the quasi-parabolic procedure at each plane. Solutions are presented for flows in two and three dimensions. Inviscid flows are solved for internal and external applications and viscous flows in boundary layers and free shear layers are also computed with the GIM/Quasi-Parabolic scheme.

Spradley, L. W.↗