SEARCH · Engineering Papers

Results for “Formal analysis”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,027 records · Page 57

All sources NASA NTRS DOE OSTI

DOE OSTI2023

LA100 Equity Strategies. Chapter 2: Procedural Justice

The LA100 Equity Strategies project synthesizes community guidance with robust research, modeling, and analysis to identify strategy options that can increase equitable outcomes in Los Angeles' clean energy transition. Grounded in the analysis of past and ongoing energy inequities and engagement with underserved communities, the project presents community-guided and community-tailored strategies that aim to operationalize recognition and procedural justice. This chapter focuses on procedural justice, examining priorities identified during the community engagement portion of the LA100 Equity Strategies project. This process, and our approach to partnering with community-based organizations (CBOs) and the communities they serve, was developed from the baseline analysis in Chapter 1, which centers on recognition justice, examining past and current inequities in LA. Recognition, procedural, and distributional justice are the three tenets of energy justice around which the LA100 Equity Strategies project is organized. Procedural justice prioritizes fair, equitable, and inclusive participation in the decision-making process. This tenet's practical application entails who is invited and able to participate, whose voices are considered as decisions are made, the co-development of procedures to inform this deliberative process, and who has access to formal measures of regulation and accountability. Engaging with Angelenos to examine the causes of inequities and identify impact areas and priorities that center community experiences, values, and goals represents a first step in developing energy equity strategies for the Los Angeles Department of Water and Power (LADWP) to achieve distributional justice - the just and equitable distribution of energy benefits and burdens in LA's energy transition. Equity, as community members insisted, is about making - and following through with - a commitment to prioritize historically underserved and overburdened communities. Community engagement is a principal method for operationalizing this commitment, guiding our analytic approach and potential equity strategies. Using procedural justice as an analytical tool, this chapter presents the LA100 Equity Strategies approach to community engagement from 2021 to 2023 and the results of this process in relation to community-identified barriers and burdens impacting procedural justice outcomes. We analyze the procedural elements of reaching the equity goals Angelenos set to inform future LADWP decision-making and program development.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

NASA NTRS1992

The masses of Uranus and its major satellites from Voyager tracking data and earth-based Uranian satellite data

Improved values for the masses of the Uranian system and the satellites Ariel, Umbriel, Titania, Oberon, and Miranda are obtained on the basis of an analysis of the Doppler-tracking data and star-satellite imaging from the Voyager 2 spacecraft combined with earth-based astrometric satellite observations. Masses are expressed as the product, the universal gravitational constant times the mass of the body, in units of (cu km/sq s). The satellite masses are (4.4 +/- 0.5) for Miranda, (90.3 +/- 8.0) for Ariel, (78.2 +/- 9.0) for Umbriel, (235.3 +/- 6.0) for Titania, and (201.1 +/- 5.0) for Oberon. Quoted errors are standard errors and are the present assessment of the true rather than the formal errors. The Uranus rotational pole orientation angles and gravity harmonic coefficients were fixed at the values determined by French et al. (1988) from stellar occultations of the Uranian rings observed from both the earth and Voyager 2 and from the occultation of the spacecraft radio signal.

Jacobson, R. A.↗

NASA NTRS1995

NASA Systems Engineering Handbook

This handbook brings the fundamental concepts and techniques of systems engineering to NASA personnel in a way that recognizes the nature of NASA systems and environment. It is intended to accompany formal NASA training courses on systems engineering and project management when appropriate, and is designed to be a top-level overview. The concepts were drawn from NASA field center handbooks, NMI's/NHB's, the work of the NASA-wide Systems Engineering Working Group and the Systems Engineering Process Improvement Task team, several non-NASA textbooks and guides, and material from independent systems engineering courses taught to NASA personnel. Five core chapters cover systems engineering fundamentals, the NASA Project Cycle, management issues in systems engineering, systems analysis and modeling, and specialty engineering integration. It is not intended as a directive. Superseded by: NASA/SP-2007-6105 Rev 1 (20080008301).

Shishko, Robert↗

NASA NTRS2000

Quantifying Vegetation Change in Semiarid Environments: Precision and Accuracy of Spectral Mixture Analysis and the Normalized Difference Vegetation Index

Because in situ techniques for determining vegetation abundance in semiarid regions are labor intensive, they usually are not feasible for regional analyses. Remotely sensed data provide the large spatial scale necessary, but their precision and accuracy in determining vegetation abundance and its change through time have not been quantitatively determined. In this paper, the precision and accuracy of two techniques, Spectral Mixture Analysis (SMA) and Normalized Difference Vegetation Index (NDVI) applied to Landsat TM data, are assessed quantitatively using high-precision in situ data. In Owens Valley, California we have 6 years of continuous field data (1991-1996) for 33 sites acquired concurrently with six cloudless Landsat TM images. The multitemporal remotely sensed data were coregistered to within 1 pixel, radiometrically intercalibrated using temporally invariante surface features and geolocated to within 30 m. These procedures facilitated the accurate location of field-monitoring sites within the remotely sensed data. Formal uncertainties in the registration, radiometric alignment, and modeling were determined. Results show that SMA absolute percent live cover (%LC) estimates are accurate to within ?4.0%LC and estimates of change in live cover have a precision of +/-3.8%LC. Furthermore, even when applied to areas of low vegetation cover, the SMA approach correctly determined the sense of clump, (i.e., positive or negative) in 87% of the samples. SMA results are superior to NDVI, which, although correlated with live cover, is not a quantitative measure and showed the correct sense of change in only 67%, of the samples.

Elmore, Andrew J.↗

NASA NTRS1991

Design Strategy for a Formally Verified Reliable Computing Platform

This paper presents a high-level design for a reliable computing platform for real-time control applications. The design tradeoffs and analyses related to the development of a formally verified reliable computing platform are discussed. The design strategy advocated in this paper requires the use of techniques that can be completely characterized mathematically as opposed to more powerful or more flexible algorithms whose performance properties can only be analyzed by simulation and testing. The need for accurate reliability models that can be related to the behavior models is also stressed. Tradeoffs between reliability and voting complexity are explored. In particular, the transient recovery properties of the system are found to be fundamental to both the reliability analysis as well as the "correctness" models.

Butler, Ricky W.↗

NASA NTRS1990

Reliability analysis of continuous fiber composite laminates

A composite lamina may be viewed as a homogeneous solid whose directional strengths are random variables. Calculation of the lamina reliability under a multi-axial stress state can be approached by either assuming that the strengths act separately (modal or independent action), or that they interact through a quadratic interaction criterion. The independent action reliability may be calculated in closed form, while interactive criteria require simulations; there is currently insufficient data to make a final determination of preference between them. Using independent action for illustration purposes, the lamina reliability may be plotted in either stress space or in a non-dimensional representation. For the typical laminated plate structure, the individual lamina reliabilities may be combined in order to produce formal upper and lower bounds of reliability for the laminate, similar in nature to the bounds on properties produced from variational elastic methods. These bounds are illustrated for a (0/plus or minus 15)sub s Graphite/Epoxy (GR/EP) laminate. And addition, simple physically plausible phenomenological rules are proposed for redistribution of load after a lamina has failed. These rules are illustrated by application to (0/plus or minus 15)sub s and (90/plus or minus 45/0)sub s GR/EP laminates and results are compared with respect to the proposed bounds.

Thomas, David J.↗

DOE OSTI2019

Background independent quantum field theory and gravitating vacuum fluctuations

The scale dependent effective average action for quantum gravity complies with the fundamental principle of Background Independence. Ultimately the background metric it formally depends on is selected self-consistently by means of a tadpole condition, a generalization of Einstein’s equation. Self-consistent background spacetimes are scale dependent, and therefore “going on-shell” at the points along a given renormalization group (RG) trajectory requires understanding two types of scale dependencies: the (familiar) direct one carried by the off-shell action functional, and an equally important indirect one related to the continual re-adjustment of the background geometry. This paper is devoted to a careful delineation and analysis of certain general questions concerning the indirect scale dependence, as well as a detailed explicit investigation of the case where the self-consistent metrics are determined predominantly by the RG running of the cosmological constant. Mathematically, the object of interest is the spectral flow induced by the background Laplacian which, on-shell, acquires an explicit scale dependence. Among other things, it encodes the complete information about the specific set of field modes which, at any given scale, are the degrees of freedom constituting the respective effective field theory. For a large class of RG trajectories (Type IIIa) we discover a seemingly paradoxical behavior that differs substantially from the off-shell based expectations: A Background Independent theory of (matter coupled) quantum gravity looses rather than gains degrees of freedom at increasing energies. As an application, we investigate to what extent it is possible to reformulate the exact theory in terms of matter and gravity fluctuations on a rigid flat space. It turns out that, in vacuo, this “rigid picture” breaks down after a very short RG time already (less than one decade of scales) because of a “scale horizon” that forms. Furthermore, we critically reanalyze and refute the frequent claim that the huge energy densities one obtains in standard quantum field theory by summing up to zero-point energies imply a naturalness problem for the observed small value of the cosmological constant.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2023

Yb Substitution and Ultralow Thermal Conductivity of the Ca 3– x Yb x AlSb 3 (0 ≤ x ≤ 0.81(1)) System

Here, a series of Yb-substituted Zintl phases in the Ca 3–x Yb x AlSb 3 (0 ≤ x ≤ 0.81(1)) system has been synthesized by initial arc melting and post-heat treatment, and their isotypic crystal structures were characterized by both powder and single crystal X-ray diffraction analysis. All four title compounds adopted the Ca 3 AlAs 3 -type structure (space group Pnma, Pearson code oP28, Z = 4). The overall structure can be described as a combination of the 1-dimensional (1D) infinite chain of ∞ 1 [Al(Sb 2 Sb 2/2 )] formed by two vertices sharing [AlSb 4 ] tetrahedral moieties and three Ca 2+ /Yb 2+ mixed sites located in between these 1D chains. The charge balance and the resultant independency of the 1D chains in the title system were explained by the Zintl-Klemm formalism [Ca 2+ /Yb 2+ ] 3 [(4b-Al 1– )(1b-Sb 2– ) 2 (2b-Sb 1– ) 2/2 ]. A series of DFT calculations proved that (1) the band overlap between the d-orbital states from two types of cations and the p-orbital states from Sb at the high symmetry Γ point implied a heavily doped degenerate semiconducting behavior of the quaternary Ca 2 YbAlSb 3 model and (2) the site preference of Yb for the M1 site was due to the electronic-factor criterion based on the Q values of each atomic site. The electron localization function calculations also proved that the two different shapes of lone pairs of the Sb atoms—the “umbrella-shape” and the “C-shape”—are determined by local geometry and the coordination environment on the anionic frameworks. Thermoelectric measurements of the quaternary title compound Ca 2.19(1) Yb 0.81 AlSb 3 showed an approximately two times larger ZT value than that of ternary Ca 3 AlSb 3 at 623 K due to increased electrical conductivity and ultralow thermal conductivity originated from Yb substitution for Ca.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

NASA NTRS2003

A Comparison of Solar p-Mode Parameters from MDI and Gong: Mode Frequencies and Structure Inversions

Helioseismic analysis of solar global oscillations allows investigation of the internal structure of the Sun. One important test of the reliability of the inferences from helioseismology is that the results from independent sets of contemporaneous data are consistent with one another. Here we compare mode frequencies from the Global Oscillation Network Group and Michelson Doppler Imager on board SOHO and resulting inversion results on the Sun's internal structure. The average relative differences between the data sets are typically less than 1 x 10(exp -5) substantially smaller than the formal errors in the differences; however, in some cases the frequency differences show a systematic behavior that might nonetheless influence the inversion results. We find that the differences in frequencies are not a result of instrumental effects but are almost entirely related to the data pipeline software. Inversion of the frequencies shows that their differences do not result in any significant effects on the resulting inferences on solar structure. We have also experimented with fitting asymmetric profiles to the oscillation power spectra and find that, compared with the symmetric fits, this causes no significant change in the inversion results.

Basu, S.↗

NASA NTRS2013

Final Report - Regulatory Considerations for Adaptive Systems

This report documents the findings of a preliminary research study into new approaches to the software design assurance of adaptive systems. We suggest a methodology to overcome the software validation and verification difficulties posed by the underlying assumption of non-adaptive software in the requirementsbased- testing verification methods in RTCA/DO-178B and C. An analysis of the relevant RTCA/DO-178B and C objectives is presented showing the reasons for the difficulties that arise in showing satisfaction of the objectives and suggested additional means by which they could be satisfied. We suggest that the software design assurance problem for adaptive systems is principally one of developing correct and complete high level requirements and system level constraints that define the necessary system functional and safety properties to assure the safe use of adaptive systems. We show how analytical techniques such as model based design, mathematical modeling and formal or formal-like methods can be used to both validate the high level functional and safety requirements, establish necessary constraints and provide the verification evidence for the satisfaction of requirements and constraints that supplements conventional testing. Finally the report identifies the follow-on research topics needed to implement this methodology.

Wilkinson, Chris↗

NASA NTRS1992

Asteroid orbital error analysis: Theory and application

We present a rigorous Bayesian theory for asteroid orbital error estimation in which the probability density of the orbital elements is derived from the noise statistics of the observations. For Gaussian noise in a linearized approximation the probability density is also Gaussian, and the errors of the orbital elements at a given epoch are fully described by the covariance matrix. The law of error propagation can then be applied to calculate past and future positional uncertainty ellipsoids (Cappellari et al. 1976, Yeomans et al. 1987, Whipple et al. 1991). To our knowledge, this is the first time a Bayesian approach has been formulated for orbital element estimation. In contrast to the classical Fisherian school of statistics, the Bayesian school allows a priori information to be formally present in the final estimation. However, Bayesian estimation does give the same results as Fisherian estimation when no priori information is assumed (Lehtinen 1988, and reference therein).

Muinonen, K.↗

DOE OSTI2021

Crack Stability in Breached Fuel

This report describes the fracture mechanics formalism to evaluate the stability of cracks in a fuel cladding. Recognized consensus-body linear elastic fracture mechanics (LEFM) was applied to identify the crack instability length, or the length at which unstable mechanical crack extension would occur, as a function of pellet swelling loading (radial strain and fraction conversion from UO 2 to U 3 O 8 ) at the local cracked cladding region for two postulated fracture toughness (K IC ) values of the cladding. The crack opening displacement (COD) and the crack opening area (COA) were also identified. This analysis informs evaluations for crack extension and the potential for pellet debris loss from the fuel rod for cases of pellet oxidation in dry storage canisters where inadvertent residual water may undergo radiolysis causing oxidizing conditions to pellets exposed to the canister environment through breached cladding.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2021

Crack Stability in Breached Fuel

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

DOE OSTI2024

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2025

One Galaxy Sample to Rule Them All: Halo Occupation Distribution Modeling of DES Year 3 Source Galaxies

Abstract For the joint analysis of second-order weak-lensing and galaxy clustering statistics, so-called 3 × 2 analyses, the selection and characterization of optimal galaxy samples is a major area of research. One promising choice is to use the same galaxy sample as lenses and sources, which reduces the systematics parameter space that describes the uncertainties related to galaxy samples. Such a “lens-equal-source” analysis significantly improves the self-calibration of photo- z systematics, leading to improved cosmological constraints. With the aim of enabling a lens-equal-source analysis on small scales, we investigate the halo–galaxy connection of DES Year 3 source galaxies. We develop a technique to construct mock source galaxy populations by matching COSMOS/UltraVISTA photometry to U niverse M achine galaxies. These mocks predict a source halo occupation distribution (HOD) that exhibits significant redshift evolution, nontrivial central incompleteness, and galaxy assembly bias. We produce multiple realizations of mock source galaxies drawn from the U niverse M achine posterior, with added uncertainties in the measured Dark Energy Survey photometry and galaxy shapes. We fit a modified HOD formalism to these realizations to produce priors on the galaxy–halo connection for cosmological analyses. We additionally train an emulator that predicts this HOD to ∼2% accuracy from redshift z = 0.1−1.3 that models the dependence of this HOD on (1) observational uncertainties in galaxy size and photometry and (2) uncertainties in the U niverse M achine predictions.

Salcedo, Andrés N. (ORCID:000000031420527X)↗

NASA NTRS1976

Supersonic flow of chemically reacting gas-particle mixtures. Volume 1: A theoretical analysis and development of the numerical solution

A numerical solution for chemically reacting supersonic gas-particle flows in rocket nozzles and exhaust plumes was described. The gas-particle flow solution is fully coupled in that the effects of particle drag and heat transfer between the gas and particle phases are treated. Gas and particles exchange momentum via the drag exerted on the gas by the particles. Energy is exchanged between the phases via heat transfer (convection and/or radiation). Thermochemistry calculations (chemical equilibrium, frozen or chemical kinetics) were shown to be uncoupled from the flow solution and, as such, can be solved separately. The solution to the set of governing equations is obtained by utilizing the method of characteristics. The equations cast in characteristic form are shown to be formally the same for ideal, frozen, chemical equilibrium and chemical non-equilibrium reacting gas mixtures. The particle distribution is represented in the numerical solution by a finite distribution of particle sizes.

Penny, M. M.↗

NASA NTRS2009

Multispectrum Analysis of 12CH4 in the v4 Band: I. Air-Broadened Half Widths, Pressure-Induced Shifts, Temperature Dependences and Line Mixing

Lorentz air-broadened half widths, pressure-induced shifts and their temperature dependences have been measured for over 430 transitions (allowed and forbidden) in the v4 band of (CH4)-12 over the temperature range 210 to 314 K. A multispectrum non linear least squares fitting technique was used to simultaneously fit a large number of high-resolution (0.006 to 0.01/cm) absorption spectra of pure methane and mixtures of methane diluted with dry air. Line mixing was detected for pairs of A-, E-, and F-species transitions in the P- and R-branch manifolds and quantified using the off-diagonal relaxation matrix elements formalism. The measured parameters are compared to air- and N2-broadened values reported in the literature for the v4 and other bands. The dependence of the various spectral line parameters upon the tetrahedral symmetry species and rotational quantum numbers of the transitions is discussed. All data used in the present work were recorded using the McMath-Pierce Fourier transform spectrometer located at the National Solar Observatory on Kitt Peak.

Smith, MaryAnn H.↗

NASA NTRS1999

Multidisciplinary Probabilistic Heat Transfer/Structural Analysis Code Developed: NESTEM

High-Speed Civil Transport (HSCT) engine combustor liners are subjected to complex thermal environments and have to endure these for thousands of hours with assured reliability. In the past, several deterministic analyses have been performed, including detailed heat transfer analyses to obtain thermal profiles and deterministic stress analyses to identify critical locations of high stresses. Actual rig tests also have been performed for segments by simulating these loading situations as closely as possible. However, it is well known that many uncertainties exist in loading (primarily thermal loads due to heat transfer), boundary conditions (end fixity unknowns), and material properties (moduli, thermal-expansion coefficients, and conductivities). The present in-house effort at the NASA Lewis Research Center is directed toward accounting for these in a formal way to assess the performance of liner components under complex and uncertain loading conditions as well as subject to other geometry- and material-related uncertainties.

Murthy, Pappu L. N.↗